X-Git-Url: https://git.xandkar.net/?p=hope.git;a=blobdiff_plain;f=src%2Fhope_option.erl;fp=src%2Fhope_option.erl;h=c645c5388d63e0472c8eba6ce58af7d8ec8753cf;hp=996e3428eeac2cb66a2f4005745352a5fdd6d374;hb=0ed4baebe135edc50d24d3613c6ee971f75d8c98;hpb=61cace5b6adc4e9385cda749448b12c81951eef1 diff --git a/src/hope_option.erl b/src/hope_option.erl index 996e342..c645c53 100644 --- a/src/hope_option.erl +++ b/src/hope_option.erl @@ -57,10 +57,13 @@ return(X, Condition) -> map({some, X}, F) -> {some, F(X)}; map(none , _) -> none. --spec iter(t(A), fun((A) -> (ok))) -> +-spec iter(t(A), fun((A) -> (any()))) -> + ok. +iter({some, X}, F) -> + _ = F(X), + ok; +iter(none, _) -> ok. -iter({some, X}, F) -> ok = F(X); -iter(none , _) -> ok. -spec pipe([fun((A) -> t(B))], A) -> t(B).