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,
             Apply<Self, (A,)>: Clone,
             F: Fn(A) -> Apply<Self, (B,)>;
}

Required Methods

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

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

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

Implementors

impl Bind for OptionBrand

impl Bind for SoloBrand

impl Bind for VecBrand

impl<E> Bind for ResultWithErrBrand<E>

where E: Clone,

impl<T> Bind for ResultWithOkBrand<T>

where T: Clone,