Trait hado::Monad

pub trait Monad<O> {
    type Inner;

    fn bind<F>(t: Self, f: F) -> O
    where
        F: FnMut(Self::Inner) -> O;
    fn ret(_: Self::Inner) -> Self;
}

Required Associated Types

type Inner

Required Methods

fn bind<F>(t: Self, f: F) -> Owhere
    F: FnMut(Self::Inner) -> O,

fn ret(_: Self::Inner) -> Self

Implementations on Foreign Types

impl<T, O> Monad<Option<O>> for Option<T>

type Inner = T

fn bind<F>(t: Option<T>, f: F) -> Option<O>where
    F: FnMut(T) -> Option<O>,

fn ret(inner: T) -> Self

impl<T, O, E> Monad<Result<O, E>> for Result<T, E>

type Inner = T

fn bind<F>(t: Result<T, E>, f: F) -> Result<O, E>where
    F: FnMut(T) -> Result<O, E>,

fn ret(inner: T) -> Self

impl<T, O> Monad<Vec<O, Global>> for Vec<T>

type Inner = T

fn bind<F>(t: Self, f: F) -> Vec<O>where
    F: FnMut(T) -> Vec<O>,

fn ret(inner: T) -> Vec<T>

Implementors