Trait lubeck::prelude::Monad

pub trait Monad<'a, A>: GenType + Functor<'a, A> + Applicative<'a, A> {
    fn bind<F, B: 'a>(self, f: F) -> Self::Type<B>
    where
        F: Fn(A) -> Self::Type<B> + 'a;
}

Required Methods

fn bind<F, B: 'a>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> Self::Type<B> + 'a,

Implementations on Foreign Types

impl<'a, A> Monad<'a, A> for Option<A>where
    A: 'a,

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

impl<'a> Monad<'a, char> for String

fn bind<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(char) -> Self::Type<B> + 'a,
    B: 'a,

impl<'a, A> Monad<'a, A> for Vec<A>where
    A: Clone + 'a,

fn bind<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> Self::Type<B> + 'a,
    B: 'a,

impl<'a, A, E> Monad<'a, A> for Result<A, E>where
    A: 'a,

fn bind<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> Self::Type<B> + 'a,
    B: 'a,

Implementors

impl<'a, R, A> Monad<'a, A> for Cont<'a, R, A>where
    R: 'a,
    A: 'a,

impl<'a, R, A> Monad<'a, A> for Reader<'a, R, A>where
    R: Clone + 'a,
    A: 'a,

impl<'a, R, A> Monad<'a, A> for ReaderOptionT<'a, R, A>where
    R: Clone + 'a,
    A: 'a,

impl<'a, S, A> Monad<'a, A> for State<'a, S, A>where
    S: Clone + 'a,
    A: 'a,

impl<'a, W, A> Monad<'a, A> for Writer<'a, W, A>where
    W: Monoid + 'a,
    A: 'a,