Trait funlib::Monad

pub trait Monad<B>: Applicative<B> {
    fn bind<F>(&self, f: F) -> Self::M
    where
        F: Fn(&Self::A) -> Self::M;

    fn return_(v: B) -> Self::M
    where
        Self: HKT<B, A = B>,
    { ... }
    fn fmap<F>(&self, f: F) -> Self::M
    where
        F: Fn(&Self::A) -> B,
        Self: HKT<B, A = B>,
    { ... }
}

Required methods

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

Loading content...

Provided methods

fn return_(v: B) -> Self::M where
    Self: HKT<B, A = B>, 

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

Loading content...

Implementations on Foreign Types

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

fn bind<F>(&self, f: F) -> Option<B> where
    F: FnMut(&A) -> Option<B>, 

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

fn bind<F>(&self, f: F) -> Box<B> where
    F: FnMut(&A) -> Box<B>, 

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

fn bind<F>(&self, f: F) -> Rc<B> where
    F: FnMut(&A) -> Rc<B>, 

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

fn bind<F>(&self, f: F) -> Vec<B> where
    F: FnMut(&A) -> Vec<B>, 

Loading content...

Implementors

Loading content...