View Source monad behaviour (erlandono v3.1.2)

Summary

monad/0

monadic/2

>>=/2

fail/1

return/1

join(M, X)

sequence(M, Xs)

-type monad() :: module() | {module(), monad()}.

-type monadic(_M, _A) :: any().

-callback '>>='(monadic(M, A), fun((A) -> monadic(M, B))) -> monadic(M, B) when M :: monad().

-callback fail(any()) -> monadic(M, _A) when M :: monad().

-callback return(A) -> monadic(M, A) when M :: monad().

-spec join(M, monadic(M, monadic(M, A))) -> monadic(M, A).

-spec sequence(M, [monadic(M, A)]) -> monadic(M, [A]).