Trait monadic::monad::Monad

pub trait Monad<T>: IntoIterator<Item = T> {
    fn pure(x: T) -> Self;
}

Monad as supertrait of IntoIterator<Item=T>

IntoIterator brings "into_iter().flat_map()" where its lazy result type FlatMap implements IntoIterator

Required methods

fn pure(x: T) -> Self

Loading content...

Implementations on Foreign Types

impl<T> Monad<T> for Option<T>

fn pure(x: T) -> Self

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

fn pure(x: T) -> Self

impl<T> Monad<T> for Vec<T>

fn pure(x: T) -> Self

impl<T> Monad<T> for LinkedList<T>

fn pure(x: T) -> Self

impl<T> Monad<T> for VecDeque<T>

fn pure(x: T) -> Self

Loading content...

Implementors

Loading content...