View Source error_t (erlandono v3.1.2)

Summary

Types

-opaque error_t(M, A)

Functions

-spec '>>='(error_t(M, A), fun((A) -> error_t(M, B)), M) -> error_t(M, B).
-spec fail(any(), M) -> error_t(M, _A).
-spec lift(monad:monadic(M, A), M) -> error_t(M, A).
-spec new(M) -> TM when TM :: monad:monad(), M :: monad:monad().
-spec return(A, M) -> error_t(M, A).
-spec run(error_t(M, A), M) -> monad:monadic(M, ok | {ok, A} | {error, any()}).