[ put/2
, get/2
, map/2
+ , iter/2
+ , of_result/1
]).
t(B).
map({some, X}, F) -> {some, F(X)};
map(none , _) -> none.
+
+-spec iter(t(A), fun((A) -> (ok))) ->
+ ok.
+iter({some, X}, F) -> ok = F(X);
+iter(none , _) -> ok.
+
+-spec of_result(hope_result:t(A, _B)) ->
+ t(A).
+of_result({ok, X}) -> {some, X};
+of_result({error, _}) -> none.