View Source maybe_m (erlandono v3.1.3)

Summary

Types

maybe/1

Functions

>>=(_, Fun)
fail(X)
mplus(X, Y)
mzero()
return(A)

Types

Link to this type

maybe/1

View Source 
-type 'maybe'(A) :: {just, A} | nothing.

Functions

Link to this function

>>=(_, Fun)

View Source 
-spec '>>='('maybe'(A), fun((A) -> 'maybe'(B))) -> 'maybe'(B).
Link to this function

fail(X)

View Source 
-spec fail(any()) -> 'maybe'(_A).
Link to this function

mplus(X, Y)

View Source 
-spec mplus('maybe'(A), 'maybe'(A)) -> 'maybe'(A).
Link to this function

mzero()

View Source 
-spec mzero() -> 'maybe'(_A).
Link to this function

return(A)

View Source 
-spec return(A) -> 'maybe'(A).