[−][src]Trait higher_cat::Monad
A Monad
is like a burrito, and also anything which implements Bind
and
Applicative
.
Implementors
impl<M, A, F, B> Monad<A, F, B> for M where
M: Bind<A, B> + Applicative<A, F, B>,
F: Fn(A) -> B,
[src]
M: Bind<A, B> + Applicative<A, F, B>,
F: Fn(A) -> B,