]).
-export(
- [ put/2
- , get/2
- , return/1
- , return/2
+ % Generic monad interface
+ [ return/1
, map/2
- , iter/2
, pipe/2
+
+ % Specific to hope_option:t()
+ , return/2
+ , put/2
+ , get/2
+ , iter/2
, of_result/1
, of_undefined/1
+ , validate/2
]).
t(A).
of_undefined(undefined) -> none;
of_undefined(X) -> {some, X}.
+
+-spec validate(t(A), fun((A) -> boolean())) ->
+ t(A).
+validate(none, _) ->
+ none;
+validate({some, X}=T, F) ->
+ case F(X)
+ of false -> none
+ ; true -> T
+ end.