Trait higher_cat::Ap

pub trait Ap<A, F, B>: Lift3<A, F, B> + Bind<A, B> where
    A: Clone,
    Self::Target2: Bind<F, B> + Clone,
    <Self::Target2 as Lift<F, B>>::Target1: Pure<B>,
    F: Fn(A) -> B, {
    fn ap(self, f: Self::Target2) -> Self::Target1;
}

Ap provides an implementation for Apply::apply using only Bind and Pure.

Required methods

fn ap(self, f: Self::Target2) -> Self::Target1

Loading content...

Implementors

impl<M, A, F, B> Ap<A, F, B> for M where
    M: Lift3<A, F, B> + Bind<A, B>,
    A: Clone,
    <M as Lift3<A, F, B>>::Target2: Bind<F, B> + Clone,
    <<M as Lift3<A, F, B>>::Target2 as Lift<F, B>>::Target1: Pure<B>,
    F: Fn(A) -> B, 

fn ap(self, f: Self::Target2) -> Self::Target1

Loading content...