Trait higher_cat::LiftM1

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.

Required methods

fn lift_m1<F>(self, f: F) -> Self::Target1 where
    F: Fn(A) -> B, 

Loading content...

Implementors

impl<M, A, B> LiftM1<A, B> for M where
    M: Bind<A, B>,
    <M as Lift<A, B>>::Target1: Pure<B>, 

fn lift_m1<F>(self, f: F) -> Self::Target1 where
    F: Fn(A) -> B, 

Loading content...