Trait funlib::Applicative

pub trait Applicative<B>: Functor<B> {
    fn pure_(value: B) -> Self::M
    where
        Self: HKT<B, A = B>;
    fn ap<F>(&self, f: Self::M) -> Self::M
    where
        F: Fn(&Self::A) -> B,
        Self: HKT<F>;
}

Required methods

fn pure_(value: B) -> Self::M where
    Self: HKT<B, A = B>, 

fn ap<F>(&self, f: Self::M) -> Self::M where
    F: Fn(&Self::A) -> B,
    Self: HKT<F>, 

Loading content...

Implementations on Foreign Types

impl<A, B> Applicative<B> for Option<A>

fn pure_(b: B) -> Self::M

fn ap<F>(&self, of: Self::M) -> Option<B> where
    F: Fn(&A) -> B, 

impl<A, B> Applicative<B> for Box<A>

fn pure_(b: B) -> Self::M

fn ap<F>(&self, of: Self::M) -> Box<B> where
    F: Fn(&A) -> B, 

impl<A, B> Applicative<B> for Rc<A>

fn pure_(b: B) -> Self::M

fn ap<F>(&self, of: Self::M) -> Rc<B> where
    F: Fn(&A) -> B, 

impl<A, B> Applicative<B> for Vec<A>

fn pure_(b: B) -> Self::M

fn ap<F>(&self, of: Self::M) -> Vec<B> where
    F: Fn(&A) -> B, 

Loading content...

Implementors

Loading content...