Trait rust2fun::monad::Monad

pub trait Monad<B>: FlatMap<B> + Pure { }

A monad. Allows composition of dependent effectful functions. See the module level documentation for more.

Implementors

impl<T, B> Monad<B> for Twhere T: FlatMap<B> + Pure,