Trait LiftM1
higher_cat
pub trait LiftM1<A, B>: Bind<A, B> where Self::Target1: Pure<B>, { fn lift_m1<F>(self, f: F) -> Self::Target1 where F: Fn(A) -> B; }
LiftM1 provides a default implementation for Functor::map using only Bind and Pure.
LiftM1
Functor::map
Bind
Pure
fn lift_m1<F>(self, f: F) -> Self::Target1 where F: Fn(A) -> B,
impl<M, A, B> LiftM1<A, B> for M where M: Bind<A, B>, <M as Lift<A, B>>::Target1: Pure<B>,