Trait funlib::Monad

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

Monad type class

Required methods

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

Bind works like map but it flattens nested structures

Examples

use funlib::Applicative;
use funlib::Monad;
fn over5(i: &i32) -> Option<i32> { if *i > 5 { Some(*i) } else { None }}
let a = Some(4).bind(over5);
let b = Some(6).bind(over5);
assert_eq!(None, a);
assert_eq!(Some(6), 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...