-module(gleam@map).
-compile([no_auto_import, nowarn_unused_vars]).

-export([size/1, to_list/1, from_list/1, has_key/2, new/0, get/2, insert/3, update/3, map_values/2, keys/1, values/1, filter/2, take/2, merge/2, delete/2, drop/2, fold/3]).
-export_type([map_/2]).

-type map_(KC, KD) :: any() | {gleam_phantom, KC, KD}.

-spec size(map_(any(), any())) -> integer().
size(Map) ->
    maps:size(Map).

-spec to_list(map_(KI, KJ)) -> list({KI, KJ}).
to_list(Map) ->
    maps:to_list(Map).

-spec from_list(list({KN, KO})) -> map_(KN, KO).
from_list(List) ->
    maps:from_list(List).

-spec has_key(map_(KS, any()), KS) -> boolean().
has_key(Map, Key) ->
    maps:is_key(Key, Map).

-spec new() -> map_(any(), any()).
new() ->
    maps:new().

-spec get(map_(LA, LB), LA) -> {ok, LB} | {error, nil}.
get(From, Get) ->
    gleam_stdlib:map_get(From, Get).

-spec insert(map_(LG, LH), LG, LH) -> map_(LG, LH).
insert(Map, Key, Value) ->
    maps:put(Key, Value, Map).

-spec update(map_(NL, NM), NL, fun((gleam@option:option(NM)) -> NM)) -> map_(NL, NM).
update(Map, Key, Fun) ->
    _pipe = Map,
    _pipe@1 = get(_pipe, Key),
    _pipe@2 = gleam@option:from_result(_pipe@1),
    _pipe@3 = Fun(_pipe@2),
    insert(Map, Key, _pipe@3).

-spec map_values(map_(LM, LN), fun((LM, LN) -> LQ)) -> map_(LM, LQ).
map_values(Map, Fun) ->
    maps:map(Fun, Map).

-spec keys(map_(LT, any())) -> list(LT).
keys(Map) ->
    maps:keys(Map).

-spec values(map_(any(), LZ)) -> list(LZ).
values(Map) ->
    maps:values(Map).

-spec filter(map_(MD, ME), fun((MD, ME) -> boolean())) -> map_(MD, ME).
filter(Map, Property) ->
    maps:filter(Property, Map).

-spec take(map_(MJ, MK), list(MJ)) -> map_(MJ, MK).
take(Map, Desired_keys) ->
    maps:with(Desired_keys, Map).

-spec merge(map_(MQ, MR), map_(MQ, MR)) -> map_(MQ, MR).
merge(Map, New_entries) ->
    maps:merge(Map, New_entries).

-spec delete(map_(MY, MZ), MY) -> map_(MY, MZ).
delete(Map, Key) ->
    maps:remove(Key, Map).

-spec drop(map_(NE, NF), list(NE)) -> map_(NE, NF).
drop(Map, Disallowed_keys) ->
    case Disallowed_keys of
        [] ->
            Map;

        [X | Xs] ->
            drop(delete(Map, X), Xs)
    end.

-spec do_fold(list({NS, NT}), NV, fun((NV, NS, NT) -> NV)) -> NV.
do_fold(List, Initial, Fun) ->
    case List of
        [] ->
            Initial;

        [{K, V} | Rest] ->
            do_fold(Rest, Fun(Initial, K, V), Fun)
    end.

-spec fold(map_(NW, NX), OA, fun((OA, NW, NX) -> OA)) -> OA.
fold(Map, Initial, Fun) ->
    _pipe = Map,
    _pipe@1 = to_list(_pipe),
    do_fold(_pipe@1, Initial, Fun).