home
/
code
/
hope.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use empty tuple as unit type, for all side-effects.
[hope.git]
/
src
/
hope_option.erl
diff --git
a/src/hope_option.erl
b/src/hope_option.erl
index
529158d
..
29836f7
100644
(file)
--- a/
src/hope_option.erl
+++ b/
src/hope_option.erl
@@
-1,20
+1,25
@@
-module(hope_option).
-module(hope_option).
--behavior(hope_monad).
+-behavior(hope_
gen_
monad).
-export_type(
[ t/1
]).
-export(
-export_type(
[ t/1
]).
-export(
- [ put/2
- , get/2
- , return/1
+ % Generic monad interface
+ [ return/1
, map/2
, map/2
- , iter/2
, pipe/2
, pipe/2
+
+ % Specific to hope_option:t()
+ , return/2
+ , put/2
+ , get/2
+ , iter/2
, of_result/1
, of_undefined/1
, of_result/1
, of_undefined/1
+ , validate/2
]).
]).
@@
-27,10
+32,7
@@
-spec put(A, fun((A) -> boolean())) ->
t(A).
put(X, F) ->
-spec put(A, fun((A) -> boolean())) ->
t(A).
put(X, F) ->
- case F(X)
- of true -> {some, X}
- ; false -> none
- end.
+ return(X, F).
-spec get(t(A), Default :: A) ->
A.
-spec get(t(A), Default :: A) ->
A.
@@
-42,15
+44,26
@@
get(none , Y) -> Y.
return(X) ->
{some, X}.
return(X) ->
{some, X}.
+-spec return(A, fun((A) -> boolean())) ->
+ t(A).
+return(X, Condition) ->
+ case Condition(X)
+ of true -> {some, X}
+ ; false -> none
+ end.
+
-spec map(t(A), fun((A) -> (B))) ->
t(B).
map({some, X}, F) -> {some, F(X)};
map(none , _) -> none.
-spec map(t(A), fun((A) -> (B))) ->
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 iter(t(A), fun((A) -> (any()))) ->
+ {}.
+iter({some, X}, F) ->
+ _ = F(X),
+ {};
+iter(none, _) ->
+ {}.
-spec pipe([fun((A) -> t(B))], A) ->
t(B).
-spec pipe([fun((A) -> t(B))], A) ->
t(B).
@@
-71,3
+84,13
@@
of_result({error, _}) -> none.
t(A).
of_undefined(undefined) -> none;
of_undefined(X) -> {some, X}.
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.
This page took
0.030362 seconds
and
4
git commands to generate.