X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Fhope_option.erl;h=2bd9e7b05180a436993afd3d54ff5e2d563565c2;hb=HEAD;hp=996e3428eeac2cb66a2f4005745352a5fdd6d374;hpb=352ddeb475ab48aabfab59558827e0e8d927551f;p=hope.git diff --git a/src/hope_option.erl b/src/hope_option.erl index 996e342..2bd9e7b 100644 --- a/src/hope_option.erl +++ b/src/hope_option.erl @@ -19,6 +19,7 @@ , iter/2 , of_result/1 , of_undefined/1 + , to_undefined/1 , validate/2 ]). @@ -57,10 +58,13 @@ return(X, Condition) -> 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 iter(t(A), fun((A) -> (any()))) -> + {}. +iter({some, X}, F) -> + _ = F(X), + {}; +iter(none, _) -> + {}. -spec pipe([fun((A) -> t(B))], A) -> t(B). @@ -82,6 +86,11 @@ of_result({error, _}) -> none. of_undefined(undefined) -> none; of_undefined(X) -> {some, X}. +-spec to_undefined(t(A)) -> + undefined | A. +to_undefined(none) -> undefined; +to_undefined({some, X}) -> X. + -spec validate(t(A), fun((A) -> boolean())) -> t(A). validate(none, _) ->