src/hope_gen_dictionary.erl

   1 -module(hope_gen_dictionary).
   2
   3 -export_type(
   4     [ t/2
   5     ]).
   6
   7
   8 -type t(_Key, _Value) ::
   9     term().
  10
  11
  12 -callback empty() ->
  13     t(_K, _V).
  14
  15 -callback get(t(K, V), K) ->
  16     hope_option:t(V).
  17
  18 -callback get(t(K, V), K, V) ->
  19     V.
  20
  21 -callback set(t(K, V), K, V) ->
  22     t(K, V).
  23
  24 -callback update(t(K, V), K, fun((hope_option:t(V)) -> V)) ->
  25     t(K, V).
  26
  27 -callback pop(t(K, V), K) ->
  28     {hope_option:t(V), t(K, V)}.
  29
  30 -callback map(t(K, V), fun((K, V) -> V)) ->
  31     t(K, V).
  32
  33 -callback filter(t(K, V), fun((K, V) -> boolean())) ->
  34     t(K, V).
  35
  36 -callback fold(t(K, V), fun((K, V, Acc) -> Acc), Acc) ->
  37     Acc.
  38
  39 -callback iter(t(K, V), fun((K, V) -> ok)) ->
  40     ok.
  41
  42 %% TODO: Decide if validation is to be done. If yes - wrap in hope_result:t/1
  43 -callback of_kv_list([{K, V}]) ->
  44     t(K, V).
  45
  46 -callback to_kv_list(t(K, V)) ->
  47     [{K, V}].