Trait ferrite_session::prelude::Monad [−][src]
pub trait Monad: Applicative { fn bind<A, B>(
fa: App<Self, A>,
cont: impl Fn(A) -> App<Self, B>
) -> App<Self, B>
where
A: Send + 'static,
B: Send + 'static; }
Required methods
fn bind<A, B>(
fa: App<Self, A>,
cont: impl Fn(A) -> App<Self, B>
) -> App<Self, B> where
A: Send + 'static,
B: Send + 'static, [src]
fa: App<Self, A>,
cont: impl Fn(A) -> App<Self, B>
) -> App<Self, B> where
A: Send + 'static,
B: Send + 'static,