Trait lambek::functor::Monad[−][src]

pub trait Monad: Applicative {
    fn bind<'a, A: 'a, B: 'a>(
        ma: App<'a, Self, A>, 
        cont: impl Fn(A) -> App<'a, Self, B>
    ) -> App<'a, Self, B>;
}

Required methods

`fn bind<'a, A: 'a, B: 'a>( ma: App<'a, Self, A>, cont: impl Fn(A) -> App<'a, Self, B> ) -> App<'a, Self, B>`[src]

Loading content...

Implementors

Loading content...