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,