Trait lambek::functor::Applicative[−][src]

pub trait Applicative: Functor {
    fn pure<'a, A: 'a>(a: A) -> App<'a, Self, A>;

    fn apply<'a, A: 'a, B: 'a, F: 'a>(
        app: App<'a, Self, F>, 
        fa: App<'a, Self, A>
    ) -> App<'a, Self, A>
    where
        Self: 'a,
        F: Fn(A) -> B;
}

Required methods

fn pure<'a, A: 'a>(a: A) -> App<'a, Self, A>[src]

fn apply<'a, A: 'a, B: 'a, F: 'a>(
    app: App<'a, Self, F>,
    fa: App<'a, Self, A>
) -> App<'a, Self, A> where
    Self: 'a,
    F: Fn(A) -> B, [src]

Loading content...

Implementors

Loading content...