-module(gleam@list). -compile(no_auto_import). -export([length/1, reverse/1, is_empty/1, contains/2, first/1, rest/1, filter/2, filter_map/2, map/2, map_fold/3, index_map/2, try_map/2, drop/2, take/2, new/0, append/2, flatten/1, flat_map/2, fold/3, fold_right/3, index_fold/3, try_fold/3, fold_until/3, find/2, find_map/2, all/2, any/2, zip/2, strict_zip/2, unzip/1, intersperse/2, at/2, unique/1, sort/2, range/2, repeat/2, split/2, split_while/2, key_find/2, pop/2, pop_map/2, key_pop/2, key_set/3, each/2, partition/2, permutations/1, window/2, window_by_2/1, drop_while/2, take_while/2, chunk/2, sized_chunk/2, reduce/2, scan/3, last/1, combinations/2, combination_pairs/1, interleave/1, transpose/1]). -export_type([length_mismatch/0, continue_or_stop/1]). -type length_mismatch() :: length_mismatch. -type continue_or_stop(DB) :: {continue, DB} | {stop, DB}. -spec length(list(any())) -> integer(). length(List) -> erlang:length(List). -spec reverse(list(DG)) -> list(DG). reverse(Xs) -> lists:reverse(Xs). -spec is_empty(list(any())) -> boolean(). is_empty(List) -> List =:= []. -spec contains(list(DO), DO) -> boolean(). contains(List, Elem) -> case List of [] -> false; [Head | Rest] -> (Head =:= Elem) orelse contains(Rest, Elem) end. -spec first(list(DQ)) -> {ok, DQ} | {error, nil}. first(List) -> case List of [] -> {error, nil}; [X | _@1] -> {ok, X} end. -spec rest(list(DU)) -> {ok, list(DU)} | {error, nil}. rest(List) -> case List of [] -> {error, nil}; [_@1 | Xs] -> {ok, Xs} end. -spec do_filter(list(DZ), fun((DZ) -> boolean()), list(DZ)) -> list(DZ). do_filter(List, Fun, Acc) -> case List of [] -> reverse(Acc); [X | Xs] -> New_acc = case Fun(X) of true -> [X | Acc]; false -> Acc end, do_filter(Xs, Fun, New_acc) end. -spec filter(list(ED), fun((ED) -> boolean())) -> list(ED). filter(List, Predicate) -> do_filter(List, Predicate, []). -spec do_filter_map(list(EG), fun((EG) -> {ok, EI} | {error, any()}), list(EI)) -> list(EI). do_filter_map(List, Fun, Acc) -> case List of [] -> reverse(Acc); [X | Xs] -> New_acc = case Fun(X) of {ok, X@1} -> [X@1 | Acc]; {error, _@1} -> Acc end, do_filter_map(Xs, Fun, New_acc) end. -spec filter_map(list(EO), fun((EO) -> {ok, EQ} | {error, any()})) -> list(EQ). filter_map(List, Fun) -> do_filter_map(List, Fun, []). -spec do_map(list(EV), fun((EV) -> EX), list(EX)) -> list(EX). do_map(List, Fun, Acc) -> case List of [] -> reverse(Acc); [X | Xs] -> do_map(Xs, Fun, [Fun(X) | Acc]) end. -spec map(list(FA), fun((FA) -> FC)) -> list(FC). map(List, Fun) -> do_map(List, Fun, []). -spec map_fold(list(FE), FG, fun((FG, FE) -> {FG, FH})) -> {FG, list(FH)}. map_fold(List, Acc, Fun) -> _pipe = fold( List, {Acc, []}, fun(Acc@1, Item) -> {Current_acc, Items} = Acc@1, {Next_acc, Next_item} = Fun(Current_acc, Item), {Next_acc, [Next_item | Items]} end ), gleam@pair:map_second(_pipe, fun reverse/1). -spec do_index_map(list(FJ), fun((integer(), FJ) -> FL), integer(), list(FL)) -> list(FL). do_index_map(List, Fun, Index, Acc) -> case List of [] -> reverse(Acc); [X | Xs] -> Acc@1 = [Fun(Index, X) | Acc], do_index_map(Xs, Fun, Index + 1, Acc@1) end. -spec index_map(list(FO), fun((integer(), FO) -> FQ)) -> list(FQ). index_map(List, Fun) -> do_index_map(List, Fun, 0, []). -spec do_try_map(list(FS), fun((FS) -> {ok, FU} | {error, FV}), list(FU)) -> {ok, list(FU)} | {error, FV}. do_try_map(List, Fun, Acc) -> case List of [] -> {ok, reverse(Acc)}; [X | Xs] -> case Fun(X) of {ok, Y} -> do_try_map(Xs, Fun, [Y | Acc]); {error, Error} -> {error, Error} end end. -spec try_map(list(GC), fun((GC) -> {ok, GE} | {error, GF})) -> {ok, list(GE)} | {error, GF}. try_map(List, Fun) -> do_try_map(List, Fun, []). -spec drop(list(GL), integer()) -> list(GL). drop(List, N) -> case N =< 0 of true -> List; false -> case List of [] -> []; [_@1 | Xs] -> drop(Xs, N - 1) end end. -spec do_take(list(GO), integer(), list(GO)) -> list(GO). do_take(List, N, Acc) -> case N =< 0 of true -> reverse(Acc); false -> case List of [] -> reverse(Acc); [X | Xs] -> do_take(Xs, N - 1, [X | Acc]) end end. -spec take(list(GS), integer()) -> list(GS). take(List, N) -> do_take(List, N, []). -spec new() -> list(any()). new() -> []. -spec append(list(GX), list(GX)) -> list(GX). append(First, Second) -> lists:append(First, Second). -spec do_flatten(list(list(HF)), list(HF)) -> list(HF). do_flatten(Lists, Acc) -> case Lists of [] -> Acc; [L | Rest] -> do_flatten(Rest, append(Acc, L)) end. -spec flatten(list(list(HK))) -> list(HK). flatten(Lists) -> do_flatten(Lists, []). -spec flat_map(list(HO), fun((HO) -> list(HQ))) -> list(HQ). flat_map(List, Fun) -> _pipe = map(List, Fun), flatten(_pipe). -spec fold(list(HT), HV, fun((HV, HT) -> HV)) -> HV. fold(List, Initial, Fun) -> case List of [] -> Initial; [X | Rest] -> fold(Rest, Fun(Initial, X), Fun) end. -spec fold_right(list(HW), HY, fun((HY, HW) -> HY)) -> HY. fold_right(List, Initial, Fun) -> case List of [] -> Initial; [X | Rest] -> Fun(fold_right(Rest, Initial, Fun), X) end. -spec do_index_fold(list(HZ), IB, fun((IB, HZ, integer()) -> IB), integer()) -> IB. do_index_fold(Over, Acc, With, Index) -> case Over of [] -> Acc; [First | Rest] -> do_index_fold(Rest, With(Acc, First, Index), With, Index + 1) end. -spec index_fold(list(IC), IE, fun((IE, IC, integer()) -> IE)) -> IE. index_fold(Over, Initial, Fun) -> do_index_fold(Over, Initial, Fun, 0). -spec try_fold(list(IF), IH, fun((IH, IF) -> {ok, IH} | {error, II})) -> {ok, IH} | {error, II}. try_fold(Collection, Accumulator, Fun) -> case Collection of [] -> {ok, Accumulator}; [First | Rest] -> case Fun(Accumulator, First) of {error, _try} -> {error, _try}; {ok, Accumulator@1} -> try_fold(Rest, Accumulator@1, Fun) end end. -spec fold_until(list(IN), IP, fun((IP, IN) -> continue_or_stop(IP))) -> IP. fold_until(Collection, Accumulator, Fun) -> case Collection of [] -> Accumulator; [First | Rest] -> case Fun(Accumulator, First) of {continue, Next_accumulator} -> fold_until(Rest, Next_accumulator, Fun); {stop, B} -> B end end. -spec find(list(IR), fun((IR) -> boolean())) -> {ok, IR} | {error, nil}. find(Haystack, Is_desired) -> case Haystack of [] -> {error, nil}; [X | Rest] -> case Is_desired(X) of true -> {ok, X}; _@1 -> find(Rest, Is_desired) end end. -spec find_map(list(IV), fun((IV) -> {ok, IX} | {error, any()})) -> {ok, IX} | {error, nil}. find_map(Haystack, Fun) -> case Haystack of [] -> {error, nil}; [X | Rest] -> case Fun(X) of {ok, X@1} -> {ok, X@1}; _@1 -> find_map(Rest, Fun) end end. -spec all(list(JD), fun((JD) -> boolean())) -> boolean(). all(List, Predicate) -> case List of [] -> true; [X | Rest] -> Predicate(X) andalso all(Rest, Predicate) end. -spec any(list(JF), fun((JF) -> boolean())) -> boolean(). any(List, Predicate) -> case List of [] -> false; [X | Rest] -> Predicate(X) orelse any(Rest, Predicate) end. -spec do_zip(list(JH), list(JJ), list({JH, JJ})) -> list({JH, JJ}). do_zip(Xs, Ys, Acc) -> case {Xs, Ys} of {[X | Xs@1], [Y | Ys@1]} -> do_zip(Xs@1, Ys@1, [{X, Y} | Acc]); {_@1, _@2} -> reverse(Acc) end. -spec zip(list(JN), list(JP)) -> list({JN, JP}). zip(Xs, Ys) -> do_zip(Xs, Ys, []). -spec strict_zip(list(JS), list(JU)) -> {ok, list({JS, JU})} | {error, length_mismatch()}. strict_zip(L1, L2) -> case length(L1) =:= length(L2) of true -> {ok, zip(L1, L2)}; false -> {error, length_mismatch} end. -spec do_unzip(list({KD, KE}), list(KD), list(KE)) -> {list(KD), list(KE)}. do_unzip(Input, Xs, Ys) -> case Input of [] -> {reverse(Xs), reverse(Ys)}; [{X, Y} | Rest] -> do_unzip(Rest, [X | Xs], [Y | Ys]) end. -spec unzip(list({KD, KE})) -> {list(KD), list(KE)}. unzip(Input) -> do_unzip(Input, [], []). -spec do_intersperse(list(KI), KI, list(KI)) -> list(KI). do_intersperse(List, Separator, Acc) -> case List of [] -> reverse(Acc); [X | Rest] -> do_intersperse(Rest, Separator, [X, Separator | Acc]) end. -spec intersperse(list(KM), KM) -> list(KM). intersperse(List, Elem) -> case List of [] -> List; [_@1] -> List; [X | Rest] -> do_intersperse(Rest, Elem, [X]) end. -spec at(list(KP), integer()) -> {ok, KP} | {error, nil}. at(List, Index) -> _pipe = List, _pipe@1 = drop(_pipe, Index), first(_pipe@1). -spec unique(list(KT)) -> list(KT). unique(List) -> case List of [] -> []; [X | Rest] -> [X | unique(filter(Rest, fun(Y) -> Y /= X end))] end. -spec merge_sort(list(KW), list(KW), fun((KW, KW) -> gleam@order:order())) -> list(KW). merge_sort(A, B, Compare) -> case {A, B} of {[], _@1} -> B; {_@2, []} -> A; {[Ax | Ar], [Bx | Br]} -> case Compare(Ax, Bx) of lt -> [Ax | merge_sort(Ar, B, Compare)]; _@3 -> [Bx | merge_sort(A, Br, Compare)] end end. -spec do_sort(list(LA), fun((LA, LA) -> gleam@order:order()), integer()) -> list(LA). do_sort(List, Compare, List_length) -> case List_length < 2 of true -> List; false -> Split_length = List_length div 2, A_list = take(List, Split_length), B_list = drop(List, Split_length), merge_sort( do_sort(A_list, Compare, Split_length), do_sort(B_list, Compare, List_length - Split_length), Compare ) end. -spec sort(list(LD), fun((LD, LD) -> gleam@order:order())) -> list(LD). sort(List, Compare) -> do_sort(List, Compare, length(List)). -spec range(integer(), integer()) -> list(integer()). range(Start, Stop) -> case gleam@int:compare(Start, Stop) of eq -> []; gt -> [Start | range(Start - 1, Stop)]; lt -> [Start | range(Start + 1, Stop)] end. -spec do_repeat(LH, integer(), list(LH)) -> list(LH). do_repeat(A, Times, Acc) -> case Times =< 0 of true -> Acc; false -> do_repeat(A, Times - 1, [A | Acc]) end. -spec repeat(LK, integer()) -> list(LK). repeat(A, Times) -> do_repeat(A, Times, []). -spec do_split(list(LM), integer(), list(LM)) -> {list(LM), list(LM)}. do_split(List, N, Taken) -> case N =< 0 of true -> {reverse(Taken), List}; false -> case List of [] -> {reverse(Taken), []}; [X | Xs] -> do_split(Xs, N - 1, [X | Taken]) end end. -spec split(list(LR), integer()) -> {list(LR), list(LR)}. split(List, Index) -> do_split(List, Index, []). -spec do_split_while(list(LV), fun((LV) -> boolean()), list(LV)) -> {list(LV), list(LV)}. do_split_while(List, F, Acc) -> case List of [] -> {reverse(Acc), []}; [X | Xs] -> case F(X) of false -> {reverse(Acc), List}; _@1 -> do_split_while(Xs, F, [X | Acc]) end end. -spec split_while(list(MA), fun((MA) -> boolean())) -> {list(MA), list(MA)}. split_while(List, Predicate) -> do_split_while(List, Predicate, []). -spec key_find(list({ME, MF}), ME) -> {ok, MF} | {error, nil}. key_find(Keyword_list, Desired_key) -> find_map( Keyword_list, fun(Keyword) -> {Key, Value} = Keyword, case Key =:= Desired_key of true -> {ok, Value}; false -> {error, nil} end end ). -spec do_pop(list(MN), fun((MN) -> boolean()), list(MN)) -> {ok, {MN, list(MN)}} | {error, nil}. do_pop(Haystack, Predicate, Checked) -> case Haystack of [] -> {error, nil}; [X | Rest] -> case Predicate(X) of true -> {ok, {X, append(reverse(Checked), Rest)}}; false -> do_pop(Rest, Predicate, [X | Checked]) end end. -spec pop(list(MN), fun((MN) -> boolean())) -> {ok, {MN, list(MN)}} | {error, nil}. pop(Haystack, Is_desired) -> do_pop(Haystack, Is_desired, []). -spec do_pop_map(list(MW), fun((MW) -> {ok, MY} | {error, any()}), list(MW)) -> {ok, {MY, list(MW)}} | {error, nil}. do_pop_map(Haystack, Mapper, Checked) -> case Haystack of [] -> {error, nil}; [X | Rest] -> case Mapper(X) of {ok, Y} -> {ok, {Y, append(reverse(Checked), Rest)}}; {error, _@1} -> do_pop_map(Rest, Mapper, [X | Checked]) end end. -spec pop_map(list(MW), fun((MW) -> {ok, MY} | {error, any()})) -> {ok, {MY, list(MW)}} | {error, nil}. pop_map(Haystack, Is_desired) -> do_pop_map(Haystack, Is_desired, []). -spec key_pop(list({NF, NG}), NF) -> {ok, {NG, list({NF, NG})}} | {error, nil}. key_pop(Haystack, Key) -> pop_map( Haystack, fun(Entry) -> {K, V} = Entry, case K of K@1 when K@1 =:= Key -> {ok, V}; _@1 -> {error, nil} end end ). -spec key_set(list({NL, NM}), NL, NM) -> list({NL, NM}). key_set(List, Key, Value) -> case List of [] -> [{Key, Value}]; [{K, _@1} | Rest] when K =:= Key -> [{Key, Value} | Rest]; [First | Rest@1] -> [First | key_set(Rest@1, Key, Value)] end. -spec each(list(NP), fun((NP) -> any())) -> nil. each(List, F) -> case List of [] -> nil; [X | Xs] -> F(X), each(Xs, F) end. -spec do_partition(list(NX), fun((NX) -> boolean()), list(NX), list(NX)) -> {list(NX), list(NX)}. do_partition(List, Categorise, Trues, Falses) -> case List of [] -> {reverse(Trues), reverse(Falses)}; [X | Xs] -> case Categorise(X) of true -> do_partition(Xs, Categorise, [X | Trues], Falses); false -> do_partition(Xs, Categorise, Trues, [X | Falses]) end end. -spec partition(list(NX), fun((NX) -> boolean())) -> {list(NX), list(NX)}. partition(List, Categorise) -> do_partition(List, Categorise, [], []). -spec permutations(list(OB)) -> list(list(OB)). permutations(L) -> case L of [] -> [[]]; _@1 -> _pipe@2 = map( L, fun(X) -> _pipe = filter(L, fun(Y) -> Y /= X end), _pipe@1 = permutations(_pipe), map(_pipe@1, fun(_capture) -> append([X], _capture) end) end ), flatten(_pipe@2) end. -spec do_window(list(list(OF)), list(OF), integer()) -> list(list(OF)). do_window(Acc, L, N) -> Window = take(L, N), case length(Window) =:= N of true -> do_window([Window | Acc], drop(L, 1), N); false -> Acc end. -spec window(list(OL), integer()) -> list(list(OL)). window(L, N) -> _pipe = do_window([], L, N), reverse(_pipe). -spec window_by_2(list(OP)) -> list({OP, OP}). window_by_2(L) -> zip(L, drop(L, 1)). -spec drop_while(list(OS), fun((OS) -> boolean())) -> list(OS). drop_while(List, Predicate) -> case List of [] -> []; [X | Xs] -> case Predicate(X) of true -> drop_while(Xs, Predicate); false -> [X | Xs] end end. -spec do_take_while(list(OV), fun((OV) -> boolean()), list(OV)) -> list(OV). do_take_while(List, Predicate, Acc) -> case List of [] -> reverse(Acc); [Head | Tail] -> case Predicate(Head) of true -> do_take_while(Tail, Predicate, [Head | Acc]); false -> reverse(Acc) end end. -spec take_while(list(OZ), fun((OZ) -> boolean())) -> list(OZ). take_while(List, Predicate) -> do_take_while(List, Predicate, []). -spec do_chunk(list(PC), fun((PC) -> PE), PE, list(PC), list(list(PC))) -> list(list(PC)). do_chunk(List, F, Previous_key, Current_chunk, Acc) -> case List of [Head | Tail] -> Key = F(Head), case Key =:= Previous_key of false -> New_acc = [reverse(Current_chunk) | Acc], do_chunk(Tail, F, Key, [Head], New_acc); _@1 -> do_chunk(Tail, F, Key, [Head | Current_chunk], Acc) end; _@2 -> reverse([reverse(Current_chunk) | Acc]) end. -spec chunk(list(PK), fun((PK) -> any())) -> list(list(PK)). chunk(List, F) -> case List of [] -> []; [Head | Tail] -> do_chunk(Tail, F, F(Head), [Head], []) end. -spec do_sized_chunk(list(PP), integer(), integer(), list(PP), list(list(PP))) -> list(list(PP)). do_sized_chunk(List, Count, Left, Current_chunk, Acc) -> case List of [] -> case Current_chunk of [] -> reverse(Acc); Remaining -> reverse([reverse(Remaining) | Acc]) end; [Head | Tail] -> Chunk = [Head | Current_chunk], case Left > 1 of false -> do_sized_chunk( Tail, Count, Count, [], [reverse(Chunk) | Acc] ); true -> do_sized_chunk(Tail, Count, Left - 1, Chunk, Acc) end end. -spec sized_chunk(list(PW), integer()) -> list(list(PW)). sized_chunk(List, Count) -> do_sized_chunk(List, Count, Count, [], []). -spec reduce(list(QA), fun((QA, QA) -> QA)) -> {ok, QA} | {error, nil}. reduce(List, Fun) -> case List of [] -> {error, nil}; [Head | Tail] -> {ok, fold(Tail, Head, Fun)} end. -spec do_scan(list(QE), QG, list(QG), fun((QG, QE) -> QG)) -> list(QG). do_scan(List, Accumulator, Accumulated, Fun) -> case List of [] -> reverse(Accumulated); [X | Xs] -> Next = Fun(Accumulator, X), do_scan(Xs, Next, [Next | Accumulated], Fun) end. -spec scan(list(QJ), QL, fun((QL, QJ) -> QL)) -> list(QL). scan(List, Initial, Fun) -> do_scan(List, Initial, [], Fun). -spec last(list(QN)) -> {ok, QN} | {error, nil}. last(List) -> _pipe = List, reduce(_pipe, fun(_, Elem) -> Elem end). -spec combinations(list(QR), integer()) -> list(list(QR)). combinations(Items, N) -> case N of 0 -> [[]]; _@1 -> case Items of [] -> []; [X | Xs] -> First_combinations = begin _pipe = map( combinations(Xs, N - 1), fun(Com) -> [X | Com] end ), reverse(_pipe) end, fold( First_combinations, combinations(Xs, N), fun(Acc, C) -> [C | Acc] end ) end end. -spec do_combination_pairs(list(QV)) -> list(list({QV, QV})). do_combination_pairs(Items) -> case Items of [] -> []; [X | Xs] -> First_combinations = map(Xs, fun(Other) -> {X, Other} end), [First_combinations | do_combination_pairs(Xs)] end. -spec combination_pairs(list(QZ)) -> list({QZ, QZ}). combination_pairs(Items) -> _pipe = do_combination_pairs(Items), flatten(_pipe). -spec interleave(list(list(RC))) -> list(RC). interleave(List) -> _pipe = transpose(List), flatten(_pipe). -spec transpose(list(list(RG))) -> list(list(RG)). transpose(List_of_list) -> Take_first = fun(List) -> case List of [] -> []; [F] -> [F]; [F@1 | _@1] -> [F@1] end end, case List_of_list of [] -> []; [[] | Xss] -> transpose(Xss); Rows -> Firsts = begin _pipe = Rows, _pipe@1 = map(_pipe, Take_first), flatten(_pipe@1) end, Rest = transpose(map(Rows, fun(_capture) -> drop(_capture, 1) end)), [Firsts | Rest] end.