Current section

Files

Jump to
gleam_stdlib src gleam@iterator.erl
Raw

src/gleam@iterator.erl

-module(gleam@iterator).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([unfold/2, repeatedly/1, repeat/1, from_list/1, transform/3, fold/3, run/1, to_list/1, step/1, take/2, drop/2, map/2, map2/3, append/2, flatten/1, concat/1, flat_map/2, filter/2, filter_map/2, cycle/1, find/2, index/1, iterate/2, take_while/2, drop_while/2, scan/3, zip/2, chunk/2, sized_chunk/2, intersperse/2, any/2, all/2, group/2, reduce/2, last/1, empty/0, once/1, range/2, single/1, interleave/2, fold_until/3, try_fold/3, first/1, at/2, length/1, each/2, yield/2]).
-export_type([action/1, iterator/1, step/2, chunk/2, sized_chunk/1]).
-type action(BSZ) :: stop | {continue, BSZ, fun(() -> action(BSZ))}.
-opaque iterator(BTA) :: {iterator, fun(() -> action(BTA))}.
-type step(BTB, BTC) :: {next, BTB, BTC} | done.
-type chunk(BTD, BTE) :: {another_by,
list(BTD),
BTE,
BTD,
fun(() -> action(BTD))} |
{last_by, list(BTD)}.
-type sized_chunk(BTF) :: {another, list(BTF), fun(() -> action(BTF))} |
{last, list(BTF)} |
no_more.
-spec stop() -> action(any()).
stop() ->
stop.
-spec do_unfold(BTI, fun((BTI) -> step(BTJ, BTI))) -> fun(() -> action(BTJ)).
do_unfold(Initial, F) ->
fun() -> case F(Initial) of
{next, X, Acc} ->
{continue, X, do_unfold(Acc, F)};
done ->
stop
end end.
-spec unfold(BTN, fun((BTN) -> step(BTO, BTN))) -> iterator(BTO).
unfold(Initial, F) ->
_pipe = Initial,
_pipe@1 = do_unfold(_pipe, F),
{iterator, _pipe@1}.
-spec repeatedly(fun(() -> BTS)) -> iterator(BTS).
repeatedly(F) ->
unfold(nil, fun(_) -> {next, F(), nil} end).
-spec repeat(BTU) -> iterator(BTU).
repeat(X) ->
repeatedly(fun() -> X end).
-spec from_list(list(BTW)) -> iterator(BTW).
from_list(List) ->
Yield = fun(Acc) -> case Acc of
[] ->
done;
[Head | Tail] ->
{next, Head, Tail}
end end,
unfold(List, Yield).
-spec do_transform(
fun(() -> action(BTZ)),
BUB,
fun((BUB, BTZ) -> step(BUC, BUB))
) -> fun(() -> action(BUC)).
do_transform(Continuation, State, F) ->
fun() -> case Continuation() of
stop ->
stop;
{continue, El, Next} ->
case F(State, El) of
done ->
stop;
{next, Yield, Next_state} ->
{continue, Yield, do_transform(Next, Next_state, F)}
end
end end.
-spec transform(iterator(BUG), BUI, fun((BUI, BUG) -> step(BUJ, BUI))) -> iterator(BUJ).
transform(Iterator, Initial, F) ->
_pipe = do_transform(erlang:element(2, Iterator), Initial, F),
{iterator, _pipe}.
-spec do_fold(fun(() -> action(BUN)), fun((BUP, BUN) -> BUP), BUP) -> BUP.
do_fold(Continuation, F, Accumulator) ->
case Continuation() of
{continue, Elem, Next} ->
do_fold(Next, F, F(Accumulator, Elem));
stop ->
Accumulator
end.
-spec fold(iterator(BUQ), BUS, fun((BUS, BUQ) -> BUS)) -> BUS.
fold(Iterator, Initial, F) ->
_pipe = erlang:element(2, Iterator),
do_fold(_pipe, F, Initial).
-spec run(iterator(any())) -> nil.
run(Iterator) ->
fold(Iterator, nil, fun(_, _) -> nil end).
-spec to_list(iterator(BUV)) -> list(BUV).
to_list(Iterator) ->
_pipe = Iterator,
_pipe@1 = fold(_pipe, [], fun(Acc, E) -> [E | Acc] end),
lists:reverse(_pipe@1).
-spec step(iterator(BUY)) -> step(BUY, iterator(BUY)).
step(Iterator) ->
case (erlang:element(2, Iterator))() of
stop ->
done;
{continue, E, A} ->
{next, E, {iterator, A}}
end.
-spec do_take(fun(() -> action(BVD)), integer()) -> fun(() -> action(BVD)).
do_take(Continuation, Desired) ->
fun() -> case Desired > 0 of
false ->
stop;
true ->
case Continuation() of
stop ->
stop;
{continue, E, Next} ->
{continue, E, do_take(Next, Desired - 1)}
end
end end.
-spec take(iterator(BVG), integer()) -> iterator(BVG).
take(Iterator, Desired) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_take(_pipe, Desired),
{iterator, _pipe@1}.
-spec do_drop(fun(() -> action(BVJ)), integer()) -> action(BVJ).
do_drop(Continuation, Desired) ->
case Continuation() of
stop ->
stop;
{continue, E, Next} ->
case Desired > 0 of
true ->
do_drop(Next, Desired - 1);
false ->
{continue, E, Next}
end
end.
-spec drop(iterator(BVM), integer()) -> iterator(BVM).
drop(Iterator, Desired) ->
_pipe = fun() -> do_drop(erlang:element(2, Iterator), Desired) end,
{iterator, _pipe}.
-spec do_map(fun(() -> action(BVP)), fun((BVP) -> BVR)) -> fun(() -> action(BVR)).
do_map(Continuation, F) ->
fun() -> case Continuation() of
stop ->
stop;
{continue, E, Continuation@1} ->
{continue, F(E), do_map(Continuation@1, F)}
end end.
-spec map(iterator(BVT), fun((BVT) -> BVV)) -> iterator(BVV).
map(Iterator, F) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_map(_pipe, F),
{iterator, _pipe@1}.
-spec do_map2(
fun(() -> action(BVX)),
fun(() -> action(BVZ)),
fun((BVX, BVZ) -> BWB)
) -> fun(() -> action(BWB)).
do_map2(Continuation1, Continuation2, Fun) ->
fun() -> case Continuation1() of
stop ->
stop;
{continue, A, Next_a} ->
case Continuation2() of
stop ->
stop;
{continue, B, Next_b} ->
{continue, Fun(A, B), do_map2(Next_a, Next_b, Fun)}
end
end end.
-spec map2(iterator(BWD), iterator(BWF), fun((BWD, BWF) -> BWH)) -> iterator(BWH).
map2(Iterator1, Iterator2, Fun) ->
_pipe = do_map2(
erlang:element(2, Iterator1),
erlang:element(2, Iterator2),
Fun
),
{iterator, _pipe}.
-spec do_append(fun(() -> action(BWJ)), fun(() -> action(BWJ))) -> action(BWJ).
do_append(First, Second) ->
case First() of
{continue, E, First@1} ->
{continue, E, fun() -> do_append(First@1, Second) end};
stop ->
Second()
end.
-spec append(iterator(BWN), iterator(BWN)) -> iterator(BWN).
append(First, Second) ->
_pipe = fun() ->
do_append(erlang:element(2, First), erlang:element(2, Second))
end,
{iterator, _pipe}.
-spec do_flatten(fun(() -> action(iterator(BWR)))) -> action(BWR).
do_flatten(Flattened) ->
case Flattened() of
stop ->
stop;
{continue, It, Next_iterator} ->
do_append(
erlang:element(2, It),
fun() -> do_flatten(Next_iterator) end
)
end.
-spec flatten(iterator(iterator(BWV))) -> iterator(BWV).
flatten(Iterator) ->
_pipe = fun() -> do_flatten(erlang:element(2, Iterator)) end,
{iterator, _pipe}.
-spec concat(list(iterator(BWZ))) -> iterator(BWZ).
concat(Iterators) ->
flatten(from_list(Iterators)).
-spec flat_map(iterator(BXD), fun((BXD) -> iterator(BXF))) -> iterator(BXF).
flat_map(Iterator, F) ->
_pipe = Iterator,
_pipe@1 = map(_pipe, F),
flatten(_pipe@1).
-spec do_filter(fun(() -> action(BXI)), fun((BXI) -> boolean())) -> action(BXI).
do_filter(Continuation, Predicate) ->
case Continuation() of
stop ->
stop;
{continue, E, Iterator} ->
case Predicate(E) of
true ->
{continue, E, fun() -> do_filter(Iterator, Predicate) end};
false ->
do_filter(Iterator, Predicate)
end
end.
-spec filter(iterator(BXL), fun((BXL) -> boolean())) -> iterator(BXL).
filter(Iterator, Predicate) ->
_pipe = fun() -> do_filter(erlang:element(2, Iterator), Predicate) end,
{iterator, _pipe}.
-spec do_filter_map(
fun(() -> action(BXO)),
fun((BXO) -> {ok, BXQ} | {error, any()})
) -> action(BXQ).
do_filter_map(Continuation, F) ->
case Continuation() of
stop ->
stop;
{continue, E, Next} ->
case F(E) of
{ok, E@1} ->
{continue, E@1, fun() -> do_filter_map(Next, F) end};
{error, _} ->
do_filter_map(Next, F)
end
end.
-spec filter_map(iterator(BXV), fun((BXV) -> {ok, BXX} | {error, any()})) -> iterator(BXX).
filter_map(Iterator, F) ->
_pipe = fun() -> do_filter_map(erlang:element(2, Iterator), F) end,
{iterator, _pipe}.
-spec cycle(iterator(BYC)) -> iterator(BYC).
cycle(Iterator) ->
_pipe = repeat(Iterator),
flatten(_pipe).
-spec do_find(fun(() -> action(BYG)), fun((BYG) -> boolean())) -> {ok, BYG} |
{error, nil}.
do_find(Continuation, F) ->
case Continuation() of
stop ->
{error, nil};
{continue, E, Next} ->
case F(E) of
true ->
{ok, E};
false ->
do_find(Next, F)
end
end.
-spec find(iterator(BYK), fun((BYK) -> boolean())) -> {ok, BYK} | {error, nil}.
find(Haystack, Is_desired) ->
_pipe = erlang:element(2, Haystack),
do_find(_pipe, Is_desired).
-spec do_index(fun(() -> action(BYO)), integer()) -> fun(() -> action({BYO,
integer()})).
do_index(Continuation, Next) ->
fun() -> case Continuation() of
stop ->
stop;
{continue, E, Continuation@1} ->
{continue, {E, Next}, do_index(Continuation@1, Next + 1)}
end end.
-spec index(iterator(BYR)) -> iterator({BYR, integer()}).
index(Iterator) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_index(_pipe, 0),
{iterator, _pipe@1}.
-spec iterate(BYU, fun((BYU) -> BYU)) -> iterator(BYU).
iterate(Initial, F) ->
unfold(Initial, fun(Element) -> {next, Element, F(Element)} end).
-spec do_take_while(fun(() -> action(BYW)), fun((BYW) -> boolean())) -> fun(() -> action(BYW)).
do_take_while(Continuation, Predicate) ->
fun() -> case Continuation() of
stop ->
stop;
{continue, E, Next} ->
case Predicate(E) of
false ->
stop;
true ->
{continue, E, do_take_while(Next, Predicate)}
end
end end.
-spec take_while(iterator(BYZ), fun((BYZ) -> boolean())) -> iterator(BYZ).
take_while(Iterator, Predicate) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_take_while(_pipe, Predicate),
{iterator, _pipe@1}.
-spec do_drop_while(fun(() -> action(BZC)), fun((BZC) -> boolean())) -> action(BZC).
do_drop_while(Continuation, Predicate) ->
case Continuation() of
stop ->
stop;
{continue, E, Next} ->
case Predicate(E) of
false ->
{continue, E, Next};
true ->
do_drop_while(Next, Predicate)
end
end.
-spec drop_while(iterator(BZF), fun((BZF) -> boolean())) -> iterator(BZF).
drop_while(Iterator, Predicate) ->
_pipe = fun() -> do_drop_while(erlang:element(2, Iterator), Predicate) end,
{iterator, _pipe}.
-spec do_scan(fun(() -> action(BZI)), fun((BZK, BZI) -> BZK), BZK) -> fun(() -> action(BZK)).
do_scan(Continuation, F, Accumulator) ->
fun() -> case Continuation() of
stop ->
stop;
{continue, El, Next} ->
Accumulated = F(Accumulator, El),
{continue, Accumulated, do_scan(Next, F, Accumulated)}
end end.
-spec scan(iterator(BZM), BZO, fun((BZO, BZM) -> BZO)) -> iterator(BZO).
scan(Iterator, Initial, F) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_scan(_pipe, F, Initial),
{iterator, _pipe@1}.
-spec do_zip(fun(() -> action(BZQ)), fun(() -> action(BZS))) -> fun(() -> action({BZQ,
BZS})).
do_zip(Left, Right) ->
fun() -> case Left() of
stop ->
stop;
{continue, El_left, Next_left} ->
case Right() of
stop ->
stop;
{continue, El_right, Next_right} ->
{continue,
{El_left, El_right},
do_zip(Next_left, Next_right)}
end
end end.
-spec zip(iterator(BZV), iterator(BZX)) -> iterator({BZV, BZX}).
zip(Left, Right) ->
_pipe = do_zip(erlang:element(2, Left), erlang:element(2, Right)),
{iterator, _pipe}.
-spec next_chunk(fun(() -> action(CAA)), fun((CAA) -> CAC), CAC, list(CAA)) -> chunk(CAA, CAC).
next_chunk(Continuation, F, Previous_key, Current_chunk) ->
case Continuation() of
stop ->
{last_by, lists:reverse(Current_chunk)};
{continue, E, Next} ->
Key = F(E),
case Key =:= Previous_key of
true ->
next_chunk(Next, F, Key, [E | Current_chunk]);
false ->
{another_by, lists:reverse(Current_chunk), Key, E, Next}
end
end.
-spec do_chunk(fun(() -> action(CAG)), fun((CAG) -> CAI), CAI, CAG) -> action(list(CAG)).
do_chunk(Continuation, F, Previous_key, Previous_element) ->
case next_chunk(Continuation, F, Previous_key, [Previous_element]) of
{last_by, Chunk} ->
{continue, Chunk, fun stop/0};
{another_by, Chunk@1, Key, El, Next} ->
{continue, Chunk@1, fun() -> do_chunk(Next, F, Key, El) end}
end.
-spec chunk(iterator(CAL), fun((CAL) -> any())) -> iterator(list(CAL)).
chunk(Iterator, F) ->
_pipe = fun() -> case (erlang:element(2, Iterator))() of
stop ->
stop;
{continue, E, Next} ->
do_chunk(Next, F, F(E), E)
end end,
{iterator, _pipe}.
-spec next_sized_chunk(fun(() -> action(CAQ)), integer(), list(CAQ)) -> sized_chunk(CAQ).
next_sized_chunk(Continuation, Left, Current_chunk) ->
case Continuation() of
stop ->
case Current_chunk of
[] ->
no_more;
Remaining ->
{last, lists:reverse(Remaining)}
end;
{continue, E, Next} ->
Chunk = [E | Current_chunk],
case Left > 1 of
false ->
{another, lists:reverse(Chunk), Next};
true ->
next_sized_chunk(Next, Left - 1, Chunk)
end
end.
-spec do_sized_chunk(fun(() -> action(CAU)), integer()) -> fun(() -> action(list(CAU))).
do_sized_chunk(Continuation, Count) ->
fun() -> case next_sized_chunk(Continuation, Count, []) of
no_more ->
stop;
{last, Chunk} ->
{continue, Chunk, fun stop/0};
{another, Chunk@1, Next_element} ->
{continue, Chunk@1, do_sized_chunk(Next_element, Count)}
end end.
-spec sized_chunk(iterator(CAY), integer()) -> iterator(list(CAY)).
sized_chunk(Iterator, Count) ->
_pipe = erlang:element(2, Iterator),
_pipe@1 = do_sized_chunk(_pipe, Count),
{iterator, _pipe@1}.
-spec do_intersperse(fun(() -> action(CBC)), CBC) -> action(CBC).
do_intersperse(Continuation, Separator) ->
case Continuation() of
stop ->
stop;
{continue, E, Next} ->
Next_interspersed = fun() -> do_intersperse(Next, Separator) end,
{continue, Separator, fun() -> {continue, E, Next_interspersed} end}
end.
-spec intersperse(iterator(CBF), CBF) -> iterator(CBF).
intersperse(Iterator, Elem) ->
_pipe = fun() -> case (erlang:element(2, Iterator))() of
stop ->
stop;
{continue, E, Next} ->
{continue, E, fun() -> do_intersperse(Next, Elem) end}
end end,
{iterator, _pipe}.
-spec do_any(fun(() -> action(CBI)), fun((CBI) -> boolean())) -> boolean().
do_any(Continuation, Predicate) ->
case Continuation() of
stop ->
false;
{continue, E, Next} ->
case Predicate(E) of
true ->
true;
false ->
do_any(Next, Predicate)
end
end.
-spec any(iterator(CBK), fun((CBK) -> boolean())) -> boolean().
any(Iterator, Predicate) ->
_pipe = erlang:element(2, Iterator),
do_any(_pipe, Predicate).
-spec do_all(fun(() -> action(CBM)), fun((CBM) -> boolean())) -> boolean().
do_all(Continuation, Predicate) ->
case Continuation() of
stop ->
true;
{continue, E, Next} ->
case Predicate(E) of
true ->
do_all(Next, Predicate);
false ->
false
end
end.
-spec all(iterator(CBO), fun((CBO) -> boolean())) -> boolean().
all(Iterator, Predicate) ->
_pipe = erlang:element(2, Iterator),
do_all(_pipe, Predicate).
-spec update_group_with(CBQ) -> fun((gleam@option:option(list(CBQ))) -> list(CBQ)).
update_group_with(El) ->
fun(Maybe_group) -> case Maybe_group of
{some, Group} ->
[El | Group];
none ->
[El]
end end.
-spec group_updater(fun((CBU) -> CBV)) -> fun((gleam@dict:dict(CBV, list(CBU)), CBU) -> gleam@dict:dict(CBV, list(CBU))).
group_updater(F) ->
fun(Groups, Elem) -> _pipe = Groups,
gleam@dict:update(_pipe, F(Elem), update_group_with(Elem)) end.
-spec group(iterator(CCC), fun((CCC) -> CCE)) -> gleam@dict:dict(CCE, list(CCC)).
group(Iterator, Key) ->
_pipe = Iterator,
_pipe@1 = fold(_pipe, gleam@dict:new(), group_updater(Key)),
gleam@dict:map_values(_pipe@1, fun(_, Group) -> lists:reverse(Group) end).
-spec reduce(iterator(CCI), fun((CCI, CCI) -> CCI)) -> {ok, CCI} | {error, nil}.
reduce(Iterator, F) ->
case (erlang:element(2, Iterator))() of
stop ->
{error, nil};
{continue, E, Next} ->
_pipe = do_fold(Next, F, E),
{ok, _pipe}
end.
-spec last(iterator(CCM)) -> {ok, CCM} | {error, nil}.
last(Iterator) ->
_pipe = Iterator,
reduce(_pipe, fun(_, Elem) -> Elem end).
-spec empty() -> iterator(any()).
empty() ->
{iterator, fun stop/0}.
-spec once(fun(() -> CCS)) -> iterator(CCS).
once(F) ->
_pipe = fun() -> {continue, F(), fun stop/0} end,
{iterator, _pipe}.
-spec range(integer(), integer()) -> iterator(integer()).
range(Start, Stop) ->
case gleam@int:compare(Start, Stop) of
eq ->
once(fun() -> Start end);
gt ->
unfold(Start, fun(Current) -> case Current < Stop of
false ->
{next, Current, Current - 1};
true ->
done
end end);
lt ->
unfold(Start, fun(Current@1) -> case Current@1 > Stop of
false ->
{next, Current@1, Current@1 + 1};
true ->
done
end end)
end.
-spec single(CCU) -> iterator(CCU).
single(Elem) ->
once(fun() -> Elem end).
-spec do_interleave(fun(() -> action(CCW)), fun(() -> action(CCW))) -> action(CCW).
do_interleave(Current, Next) ->
case Current() of
stop ->
Next();
{continue, E, Next_other} ->
{continue, E, fun() -> do_interleave(Next, Next_other) end}
end.
-spec interleave(iterator(CDA), iterator(CDA)) -> iterator(CDA).
interleave(Left, Right) ->
_pipe = fun() ->
do_interleave(erlang:element(2, Left), erlang:element(2, Right))
end,
{iterator, _pipe}.
-spec do_fold_until(
fun(() -> action(CDE)),
fun((CDG, CDE) -> gleam@list:continue_or_stop(CDG)),
CDG
) -> CDG.
do_fold_until(Continuation, F, Accumulator) ->
case Continuation() of
stop ->
Accumulator;
{continue, Elem, Next} ->
case F(Accumulator, Elem) of
{continue, Accumulator@1} ->
do_fold_until(Next, F, Accumulator@1);
{stop, Accumulator@2} ->
Accumulator@2
end
end.
-spec fold_until(
iterator(CDI),
CDK,
fun((CDK, CDI) -> gleam@list:continue_or_stop(CDK))
) -> CDK.
fold_until(Iterator, Initial, F) ->
_pipe = erlang:element(2, Iterator),
do_fold_until(_pipe, F, Initial).
-spec do_try_fold(
fun(() -> action(CDM)),
fun((CDO, CDM) -> {ok, CDO} | {error, CDP}),
CDO
) -> {ok, CDO} | {error, CDP}.
do_try_fold(Continuation, F, Accumulator) ->
case Continuation() of
stop ->
{ok, Accumulator};
{continue, Elem, Next} ->
gleam@result:'try'(
F(Accumulator, Elem),
fun(Accumulator@1) -> do_try_fold(Next, F, Accumulator@1) end
)
end.
-spec try_fold(iterator(CDU), CDW, fun((CDW, CDU) -> {ok, CDW} | {error, CDX})) -> {ok,
CDW} |
{error, CDX}.
try_fold(Iterator, Initial, F) ->
_pipe = erlang:element(2, Iterator),
do_try_fold(_pipe, F, Initial).
-spec first(iterator(CEC)) -> {ok, CEC} | {error, nil}.
first(Iterator) ->
case (erlang:element(2, Iterator))() of
stop ->
{error, nil};
{continue, E, _} ->
{ok, E}
end.
-spec at(iterator(CEG), integer()) -> {ok, CEG} | {error, nil}.
at(Iterator, Index) ->
_pipe = Iterator,
_pipe@1 = drop(_pipe, Index),
first(_pipe@1).
-spec do_length(fun(() -> action(any())), integer()) -> integer().
do_length(Continuation, Length) ->
case Continuation() of
stop ->
Length;
{continue, _, Next} ->
do_length(Next, Length + 1)
end.
-spec length(iterator(any())) -> integer().
length(Iterator) ->
_pipe = erlang:element(2, Iterator),
do_length(_pipe, 0).
-spec each(iterator(CEO), fun((CEO) -> any())) -> nil.
each(Iterator, F) ->
_pipe = Iterator,
_pipe@1 = map(_pipe, F),
run(_pipe@1).
-spec yield(CER, fun(() -> iterator(CER))) -> iterator(CER).
yield(Element, Next) ->
{iterator, fun() -> {continue, Element, erlang:element(2, Next())} end}.