Trait lifted::monad::Monad

pub trait Monad: Applicative {
    pub fn bind<A, B, F: Fn(A) -> K1<Self, B>>(
        a: K1<Self, A>, 
        f: F
    ) -> K1<Self, B>;
}

Required methods

pub fn bind<A, B, F: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, f: F) -> K1<Self, B>

Loading content...

Implementors

impl Monad for OptionC

pub fn bind<A, B, G: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, g: G) -> K1<Self, B>

impl Monad for VecC

pub fn bind<A, B, G: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, g: G) -> K1<Self, B>

impl<M: Monad> Monad for K2P1_1<IdentityT, M>

pub fn bind<A, B, F: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, f: F) -> K1<Self, B>

impl<M: Monad> Monad for K2P1_1<OptionT, M>

pub fn bind<A, B, F: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, f: F) -> K1<Self, B>

Loading content...