Trait Bind

pub trait Bind {
    // Required method
    fn bind<F, A, B>(ma: &Apply<Self, A>) -> impl Fn(&F) -> Apply<Self, B>
       where Self: Kind<A> + Kind<B> + Sized,
             F: Fn(&A) -> Apply<Self, B>,
             Apply<Self, B>: Clone;
}

Required Methods

fn bind<F, A, B>(ma: &Apply<Self, A>) -> impl Fn(&F) -> Apply<Self, B>

where Self: Kind<A> + Kind<B> + Sized, F: Fn(&A) -> Apply<Self, B>, Apply<Self, B>: Clone,

forall a b. Bind m => m a -> (a -> m b) -> m b

Implementors

impl Bind for OptionBrand

impl Bind for SoloBrand

impl<E> Bind for ResultWithErrBrand<E>

where E: Clone,