Trait lifted::applicative::Applicative

pub trait Applicative: Functor {
    pub fn pure<T>(t: T) -> K1<Self, T>;
    pub fn app<A: Clone, B, F: Fn(A) -> B>(
        f: K1<Self, F>, 
        a: K1<Self, A>
    ) -> K1<Self, B>;
}

Required methods

pub fn pure<T>(t: T) -> K1<Self, T>

pub fn app<A: Clone, B, F: Fn(A) -> B>(
    f: K1<Self, F>,
    a: K1<Self, A>
) -> K1<Self, B>

Loading content...

Implementors

impl Applicative for OptionC

pub fn pure<T>(t: T) -> K1<Self, T>

pub fn app<A, B, F: Fn(A) -> B>(f: K1<Self, F>, a: K1<Self, A>) -> K1<Self, B>

impl Applicative for VecC

pub fn pure<T>(t: T) -> K1<Self, T>

pub fn app<A: Clone, B, F: Fn(A) -> B>(
    f: K1<Self, F>,
    a: K1<Self, A>
) -> K1<Self, B>

impl<M: Applicative> Applicative for K2P1_1<IdentityT, M>

pub fn pure<T>(t: T) -> K1<Self, T>

pub fn app<A: Clone, B, F: Fn(A) -> B>(
    f: K1<Self, F>,
    a: K1<Self, A>
) -> K1<Self, B>

impl<M: Applicative> Applicative for K2P1_1<OptionT, M>

pub fn pure<T>(t: T) -> K1<Self, T>

pub fn app<A: Clone, B, F: Fn(A) -> B>(
    f: K1<Self, F>,
    a: K1<Self, A>
) -> K1<Self, B>

Loading content...