diff options
Diffstat (limited to 'src/lqueue.erl')
| -rw-r--r-- | src/lqueue.erl | 39 |
1 files changed, 22 insertions, 17 deletions
diff --git a/src/lqueue.erl b/src/lqueue.erl index 1abe4e0b82..2b75ef4856 100644 --- a/src/lqueue.erl +++ b/src/lqueue.erl @@ -25,27 +25,32 @@ -define(QUEUE, queue). --export_type([?MODULE/0]). +-export_type([ + ?MODULE/0, + ?MODULE/1 + ]). --opaque ?MODULE() :: {non_neg_integer(), queue:queue()}. +-opaque ?MODULE() :: {non_neg_integer(), queue:queue(term())}. +-opaque ?MODULE(T) :: {non_neg_integer(), queue:queue(T)}. -type value() :: any(). --type result() :: 'empty' | {'value', value()}. +-type result(T) :: 'empty' | {'value', T}. --spec new() -> ?MODULE(). --spec drop(?MODULE()) -> ?MODULE(). --spec is_empty(?MODULE()) -> boolean(). --spec len(?MODULE()) -> non_neg_integer(). --spec in(value(), ?MODULE()) -> ?MODULE(). +-spec new() -> ?MODULE(_). +-spec drop(?MODULE(T)) -> ?MODULE(T). +-spec is_empty(?MODULE(_)) -> boolean(). +-spec len(?MODULE(_)) -> non_neg_integer(). +-spec in(T, ?MODULE(T)) -> ?MODULE(T). -spec in_r(value(), ?MODULE()) -> ?MODULE(). --spec out(?MODULE()) -> {result(), ?MODULE()}. --spec out_r(?MODULE()) -> {result(), ?MODULE()}. --spec join(?MODULE(), ?MODULE()) -> ?MODULE(). --spec foldl(fun ((value(), B) -> B), B, ?MODULE()) -> B. --spec foldr(fun ((value(), B) -> B), B, ?MODULE()) -> B. --spec from_list([value()]) -> ?MODULE(). --spec to_list(?MODULE()) -> [value()]. --spec peek(?MODULE()) -> result(). --spec peek_r(?MODULE()) -> result(). +-spec out(?MODULE(T)) -> {result(T), ?MODULE()}. +-spec out_r(?MODULE(T)) -> {result(T), ?MODULE()}. +-spec join(?MODULE(A), ?MODULE(B)) -> ?MODULE(A | B). +-spec foldl(fun ((T, B) -> B), B, ?MODULE(T)) -> B. +-spec foldr(fun ((T, B) -> B), B, ?MODULE(T)) -> B. +-spec from_list([T]) -> ?MODULE(T). +-spec to_list(?MODULE(T)) -> [T]. +% -spec peek(?MODULE()) -> result(). +-spec peek(?MODULE(T)) -> result(T). +-spec peek_r(?MODULE(T)) -> result(T). new() -> {0, ?QUEUE:new()}. |