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, A>: 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, A>: 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,

impl<T> Bind for ResultWithOkBrand<T>

where T: Clone,