Trait LiftM1

pub trait LiftM1<A, B>: Bind<A, B>
where
    <Self as Lift<A, B>>::Target1: Pure<B>,
{
    // Required method
    fn lift_m1<F>(self, f: F) -> <Self as Lift<A, B>>::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 as Lift<A, B>>::Target1

where F: Fn(A) -> B,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<M, A, B> LiftM1<A, B> for M

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