Current section

Files

Jump to
gleam_stdlib src gleam@queue.erl
Raw

src/gleam@queue.erl

-module(gleam@queue).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([new/0, from_list/1, to_list/1, is_empty/1, length/1, push_back/2, push_front/2, pop_back/1, pop_front/1, reverse/1, is_logically_equal/3, is_equal/2]).
-export_type([queue/1]).
-opaque queue(EXL) :: {queue, list(EXL), list(EXL)}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 22).
-spec new() -> queue(any()).
new() ->
{queue, [], []}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 38).
-spec from_list(list(EXO)) -> queue(EXO).
from_list(List) ->
{queue, [], List}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 54).
-spec to_list(queue(EXR)) -> list(EXR).
to_list(Queue) ->
_pipe = erlang:element(3, Queue),
lists:append(_pipe, lists:reverse(erlang:element(2, Queue))).
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 80).
-spec is_empty(queue(any())) -> boolean().
is_empty(Queue) ->
(erlang:element(2, Queue) =:= []) andalso (erlang:element(3, Queue) =:= []).
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 106).
-spec length(queue(any())) -> integer().
length(Queue) ->
erlang:length(erlang:element(2, Queue)) + erlang:length(
erlang:element(3, Queue)
).
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 119).
-spec push_back(queue(EXY), EXY) -> queue(EXY).
push_back(Queue, Item) ->
{queue, [Item | erlang:element(2, Queue)], erlang:element(3, Queue)}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 132).
-spec push_front(queue(EYB), EYB) -> queue(EYB).
push_front(Queue, Item) ->
{queue, erlang:element(2, Queue), [Item | erlang:element(3, Queue)]}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 164).
-spec pop_back(queue(EYE)) -> {ok, {EYE, queue(EYE)}} | {error, nil}.
pop_back(Queue) ->
case Queue of
{queue, [], []} ->
{error, nil};
{queue, [], Out} ->
pop_back({queue, lists:reverse(Out), []});
{queue, [First | Rest], Out@1} ->
Queue@1 = {queue, Rest, Out@1},
{ok, {First, Queue@1}}
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 203).
-spec pop_front(queue(EYJ)) -> {ok, {EYJ, queue(EYJ)}} | {error, nil}.
pop_front(Queue) ->
case Queue of
{queue, [], []} ->
{error, nil};
{queue, In, []} ->
pop_front({queue, [], lists:reverse(In)});
{queue, In@1, [First | Rest]} ->
Queue@1 = {queue, In@1, Rest},
{ok, {First, Queue@1}}
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 236).
-spec reverse(queue(EYO)) -> queue(EYO).
reverse(Queue) ->
{queue, erlang:element(3, Queue), erlang:element(2, Queue)}.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 259).
-spec check_equal(
list(EYU),
list(EYU),
list(EYU),
list(EYU),
fun((EYU, EYU) -> boolean())
) -> boolean().
check_equal(Xs, X_tail, Ys, Y_tail, Eq) ->
case {Xs, X_tail, Ys, Y_tail} of
{[], [], [], []} ->
true;
{[X | Xs@1], _, [Y | Ys@1], _} ->
case Eq(X, Y) of
false ->
false;
true ->
check_equal(Xs@1, X_tail, Ys@1, Y_tail, Eq)
end;
{[], [_ | _], _, _} ->
check_equal(lists:reverse(X_tail), [], Ys, Y_tail, Eq);
{_, _, [], [_ | _]} ->
check_equal(Xs, X_tail, lists:reverse(Y_tail), [], Eq);
{_, _, _, _} ->
false
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 251).
-spec is_logically_equal(queue(EYR), queue(EYR), fun((EYR, EYR) -> boolean())) -> boolean().
is_logically_equal(A, B, Element_is_equal) ->
check_equal(
erlang:element(3, A),
erlang:element(2, A),
erlang:element(3, B),
erlang:element(2, B),
Element_is_equal
).
-file("/Users/louis/src/gleam/stdlib/src/gleam/queue.gleam", 288).
-spec is_equal(queue(EYZ), queue(EYZ)) -> boolean().
is_equal(A, B) ->
check_equal(
erlang:element(3, A),
erlang:element(2, A),
erlang:element(3, B),
erlang:element(2, B),
fun(A@1, B@1) -> A@1 =:= B@1 end
).