Current section

Files

Jump to
sprocket src sprocket@internal@utils@ordered_map.erl
Raw

src/sprocket@internal@utils@ordered_map.erl

-module(sprocket@internal@utils@ordered_map).
-compile([no_auto_import, nowarn_unused_vars]).
-export([from/3, size/1, iter/1, next/1, fold/3, map/2, new/0, from_list/1, insert/3, update/3, has_key/2, get/2, remove/2, index_map/2, find_next/2, find_previous/2, find/2]).
-export_type([keyed_item/2, ordered_map/2, ordered_map_iter/2]).
-type keyed_item(JXL, JXM) :: {keyed_item, JXL, JXM}.
-opaque ordered_map(JXN, JXO) :: {ordered_map,
list(keyed_item(JXN, JXO)),
gleam@map:map_(JXN, JXO),
integer()}.
-opaque ordered_map_iter(JXP, JXQ) :: {ordered_map_iter,
list(keyed_item(JXP, JXQ))}.
-spec from(list(keyed_item(JXV, JXW)), gleam@map:map_(JXV, JXW), integer()) -> ordered_map(JXV, JXW).
from(Ordered, Map, Size) ->
{ordered_map, Ordered, Map, Size}.
-spec size(ordered_map(any(), any())) -> integer().
size(M) ->
erlang:element(4, M).
-spec iter(ordered_map(JZR, JZS)) -> ordered_map_iter(JZR, JZS).
iter(M) ->
_pipe = erlang:element(2, M),
{ordered_map_iter, _pipe}.
-spec next(ordered_map_iter(JZX, JZY)) -> {ok,
{ordered_map_iter(JZX, JZY), keyed_item(JZX, JZY)}} |
{error, nil}.
next(Iter) ->
case Iter of
{ordered_map_iter, []} ->
{error, nil};
{ordered_map_iter, [Item | Rest]} ->
{ok, {{ordered_map_iter, Rest}, Item}}
end.
-spec fold(ordered_map(KAH, KAI), KAL, fun((KAL, keyed_item(KAH, KAI)) -> KAL)) -> KAL.
fold(M, Acc, Func) ->
_pipe = erlang:element(2, M),
gleam@list:fold(_pipe, Acc, Func).
-spec map(ordered_map(KAO, KAP), fun((keyed_item(KAO, KAP)) -> KAU)) -> list(KAU).
map(M, Func) ->
_pipe = erlang:element(2, M),
gleam@list:map(_pipe, Func).
-spec new() -> ordered_map(any(), any()).
new() ->
{ordered_map, [], gleam@map:new(), 0}.
-spec from_list(list(keyed_item(JYE, JYF))) -> ordered_map(JYE, JYF).
from_list(Ordered) ->
{R_ordered, Map@1, Size@1} = begin
_pipe = Ordered,
gleam@list:fold(
_pipe,
{[], gleam@map:new(), 0},
fun(Acc, Keyed_item) ->
{Ordered@1, Map, Size} = Acc,
{keyed_item, Key, Value} = Keyed_item,
Keyed_item@1 = {keyed_item, Key, Value},
case gleam@map:has_key(Map, Key) of
true ->
{Ordered@1, Map, Size};
false ->
{[Keyed_item@1 | Ordered@1],
gleam@map:insert(Map, Key, Value),
Size + 1}
end
end
)
end,
{ordered_map, gleam@list:reverse(R_ordered), Map@1, Size@1}.
-spec insert(ordered_map(JYL, JYM), JYL, JYM) -> ordered_map(JYL, JYM).
insert(M, Key, Value) ->
{ordered_map,
gleam@list:reverse(
[{keyed_item, Key, Value} |
gleam@list:reverse(erlang:element(2, M))]
),
gleam@map:insert(erlang:element(3, M), Key, Value),
erlang:element(4, M) + 1}.
-spec update(ordered_map(JYR, JYS), JYR, JYS) -> ordered_map(JYR, JYS).
update(M, Key, Value) ->
case gleam@map:has_key(erlang:element(3, M), Key) of
true ->
{ordered_map,
gleam@list:map(
erlang:element(2, M),
fun(Keyed_item) ->
{keyed_item, K, _} = Keyed_item,
case K =:= Key of
true ->
{keyed_item, Key, Value};
false ->
Keyed_item
end
end
),
gleam@map:insert(erlang:element(3, M), Key, Value),
erlang:element(4, M)};
false ->
M
end.
-spec has_key(ordered_map(JYX, any()), JYX) -> boolean().
has_key(M, Key) ->
gleam@map:has_key(erlang:element(3, M), Key).
-spec get(ordered_map(JZB, JZC), JZB) -> {ok, JZC} | {error, nil}.
get(M, Key) ->
gleam@map:get(erlang:element(3, M), Key).
-spec remove(ordered_map(JZH, JZI), JZH) -> ordered_map(JZH, JZI).
remove(M, Key) ->
case gleam@map:has_key(erlang:element(3, M), Key) of
true ->
{ordered_map,
erlang:element(2, M),
gleam@map:delete(erlang:element(3, M), Key),
erlang:element(4, M) - 1};
false ->
M
end.
-spec index_map(
ordered_map(KAW, KAX),
fun((integer(), keyed_item(KAW, KAX)) -> KBC)
) -> list(KBC).
index_map(M, Func) ->
_pipe = erlang:element(2, M),
gleam@list:index_map(_pipe, Func).
-spec find_next_helper(list(keyed_item(any(), KBL))) -> {ok, KBL} | {error, nil}.
find_next_helper(Ordered) ->
case Ordered of
[Item | _] ->
{ok, erlang:element(3, Item)};
_ ->
{error, nil}
end.
-spec find_next(ordered_map(KBE, KBF), KBE) -> {ok, KBF} | {error, nil}.
find_next(M, Key) ->
case erlang:element(2, M) of
[] ->
{error, nil};
[Item | Rest] ->
case Item of
{keyed_item, K, _} ->
case K =:= Key of
true ->
find_next_helper(Rest);
false ->
find_next(
{ordered_map,
Rest,
erlang:element(3, M),
erlang:element(4, M)},
Key
)
end
end
end.
-spec find_previous_helper(ordered_map(KBX, KBY), KBX, {ok, KBY} | {error, nil}) -> {ok,
KBY} |
{error, nil}.
find_previous_helper(M, Key, Prev) ->
case erlang:element(2, M) of
[] ->
{error, nil};
[Item | Rest] ->
case Item of
{keyed_item, K, V} ->
case K =:= Key of
true ->
Prev;
false ->
find_previous_helper(
{ordered_map,
Rest,
erlang:element(3, M),
erlang:element(4, M)},
Key,
{ok, V}
)
end
end
end.
-spec find_previous(ordered_map(KBR, KBS), KBR) -> {ok, KBS} | {error, nil}.
find_previous(M, Key) ->
find_previous_helper(M, Key, {error, nil}).
-spec find(ordered_map(KCF, KCG), fun((keyed_item(KCF, KCG)) -> boolean())) -> {ok,
keyed_item(KCF, KCG)} |
{error, nil}.
find(M, Find_by) ->
case erlang:element(2, M) of
[] ->
{error, nil};
[Item | Rest] ->
case Item of
{keyed_item, K, V} ->
case Find_by(Item) of
true ->
{ok, {keyed_item, K, V}};
false ->
find(
{ordered_map,
Rest,
erlang:element(3, M),
erlang:element(4, M)},
Find_by
)
end
end
end.