X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Fhope_kv_list.erl;h=3ca9d07af593d51e5e7a6479947f369ba3508356;hb=4837199955e534be82f8a876171581cf87b3f82a;hp=431932f02abb2c183290492b9d27c98c5711495d;hpb=c1672ac49e394b724184042a4a0458670f455dea;p=hope.git

diff --git a/src/hope_kv_list.erl b/src/hope_kv_list.erl
index 431932f..3ca9d07 100644
--- a/src/hope_kv_list.erl
+++ b/src/hope_kv_list.erl
@@ -52,16 +52,15 @@ update(T, K, F) ->
     set(T, K, V2).
 
 iter(T, F1) ->
-    F2 = lift(F1),
+    F2 = lift_map(F1),
     lists:foreach(F2, T).
 
 map(T, F1) ->
-    F2 = lift(F1),
-    F3 = fun ({K, _}=X) -> {K, F2(X)} end,
-    lists:map(F3, T).
+    F2 = fun ({K, _}=X) -> {K, apply_map(F1, X)} end,
+    lists:map(F2, T).
 
 filter(T, F1) ->
-    F2 = lift(F1),
+    F2 = lift_map(F1),
     lists:filter(F2, T).
 
 fold(T, F1, Accumulator) ->
@@ -80,5 +79,15 @@ of_kv_list(List) ->
 %% Helpers
 %% ============================================================================
 
-lift(F) ->
-    fun ({K, V}) -> F(K, V) end.
+-spec lift_map(F) ->
+    G
+    when F :: fun(( K, V1 ) -> V2)
+       , G :: fun(({K, V1}) -> V2)
+       .
+lift_map(F) ->
+    fun (X) -> apply_map(F, X) end.
+
+-spec apply_map(fun((K, V1) -> V2), {K, V1}) ->
+    V2.
+apply_map(F, {K, V}) ->
+    F(K, V).