Function higher::bind::lift_m1

source ·
pub fn lift_m1<MA, MB, A, B, F>(f: F, a: MA) -> MBwhere
    F: Fn(A) -> B,
    MA: for<'a> Bind<'a, A, Target<B> = MB>,
    MB: Pure<B>,
Expand description

lift_m1 provides a default implementation for Functor::fmap using only Bind and Pure.