View Source monad_trans behaviour (erlandono v3.1.3)

Summary

Callbacks

-callback '>>='(monad:monadic(TM, A), fun((A) -> monad:monadic(TM, B)), M) -> monad:monadic(TM, B)
                   when TM :: monad:monad(), M :: monad:monad().
-callback fail(any(), M) -> monad:monadic(TM, _A) when TM :: monad:monad(), M :: monad:monad().
-callback lift(monad:monadic(M, A), M) -> monad:monadic(TM, A) when TM :: monad:monad(), M :: monad:monad().
-callback return(A, M) -> monad:monadic(TM, A) when TM :: monad:monad(), M :: monad:monad().