View Source maybe_m (erlandono v3.1.2)

Summary

Types

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

Functions

-spec '>>='(maybe(A), fun((A) -> maybe(B))) -> maybe(B).
-spec fail(any()) -> maybe(_A).
-spec mplus(maybe(A), maybe(A)) -> maybe(A).
-spec mzero() -> maybe(_A).
-spec return(A) -> maybe(A).