maybe(A, B) = {ok, A} | {error, B}
| do/1 | doc(Fs) is the result of chaining Fs inside the maybe monad. |
| lift/1 | lift(F) is the value of F() lifted into the maybe monad. |
| lift/2 | |
| map/2 | map(F, Xs) is the result of mapping F over Xs inside the maybe monad. |
| reduce/2 | reduce(F, Xs) is the result of reducing Xs to F inside the maybe monad. |
| reduce/3 | |
| to_bool/1 | to_bool(X) is the boolean representation of the maybe-value X. |
| unlift/1 | unlift(F) is the result of F() extracted from the maybe monad. |
| unlift/2 |
do(Fs::[function()]) -> maybe(term(), term())
doc(Fs) is the result of chaining Fs inside the maybe monad.
lift(F::function()) -> maybe(term(), term())
lift(F) is the value of F() lifted into the maybe monad.
lift(F, X) -> any()
map(F::function(), Xs::[term()]) -> maybe(term(), term())
map(F, Xs) is the result of mapping F over Xs inside the maybe monad.
reduce(F::function(), Xs::[term()]) -> maybe(term(), term())
reduce(F, Xs) is the result of reducing Xs to F inside the maybe monad.
reduce(F, Acc0, Xs) -> any()
to_bool(X1::maybe(term(), term())) -> boolean()
to_bool(X) is the boolean representation of the maybe-value X.
unlift(F::function()) -> term()
unlift(F) is the result of F() extracted from the maybe monad.
unlift(F, X) -> any()
Generated by EDoc