Trait garfield::monad::Monad

pub trait Monad: Applicative {
    fn bind<B, F: Fn(Self::Inner) -> Self::Wrapped<B>>(
        ma: Self::Wrapped<Self::Inner>,
        f: F
    ) -> Self::Wrapped<B>;

    fn return(a: Self::Inner) -> Self::Wrapped<Self::Inner> { ... }
}

Required Methods

fn bind<B, F: Fn(Self::Inner) -> Self::Wrapped<B>>(
    ma: Self::Wrapped<Self::Inner>,
    f: F
) -> Self::Wrapped<B>

Provided Methods

fn return(a: Self::Inner) -> Self::Wrapped<Self::Inner>

Implementations on Foreign Types

impl<A> Monad for Option<A>

fn bind<B, F: Fn(Self::Inner) -> Self::Wrapped<B>>(
    ma: Self::Wrapped<Self::Inner>,
    f: F
) -> Self::Wrapped<B>

Implementors