module

CRZ::Monad(A)

Inherits CRZ::Applicative / CRZ::Functor

Instance methods

<<(other : Monad(B)) : Monad(A) forall B

>=(block : A -> Monad(B)) : Monad(B) forall B

>>(other : Monad(B)) : Monad(B) forall B

ap(func : Applicative(A -> B)) : Applicative(B) forall B

map

Nested types

CRZ::Monad::Macros