Trait haskell_bits::monad::LinearMonad

pub trait LinearMonad: LinearApplicative + Lift {
    fn lbind<TIn, TOut, F>(x: Self::Type, f: F) -> Self::Type
    where
        Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
        F: FnOnce(TIn) -> Self::Type;

    fn lbind_ignore<TIn, TOut>(x: Self::Type, y: &Self::Type) -> Self::Type
    where
        Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
        Self::Type: Clone,
    { ... }
    fn ljoin<T>(x: Self::Type) -> Self::Type
    where
        Self: WithTypeArg<T> + WithTypeArg<Self::Type>,
    { ... }
}

Required methods

fn lbind<TIn, TOut, F>(x: Self::Type, f: F) -> Self::Type where
    Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
    F: FnOnce(TIn) -> Self::Type, 

Loading content...

Provided methods

fn lbind_ignore<TIn, TOut>(x: Self::Type, y: &Self::Type) -> Self::Type where
    Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
    Self::Type: Clone, 

fn ljoin<T>(x: Self::Type) -> Self::Type where
    Self: WithTypeArg<T> + WithTypeArg<Self::Type>, 

Loading content...

Implementors

impl LinearMonad for haskell_bits::impls::OptionTypeCon

fn lbind<TIn, TOut, F>(
    x: <TypeCon as WithTypeArg<TIn>>::Type,
    f: F
) -> <TypeCon as WithTypeArg<TOut>>::Type where
    F: FnOnce(TIn) -> <TypeCon as WithTypeArg<TOut>>::Type, 

impl<E> LinearMonad for haskell_bits::impls::ResultTypeCon<E>

fn lbind<TIn, TOut, F>(
    x: <TypeCon<E> as WithTypeArg<TIn>>::Type,
    f: F
) -> <TypeCon<E> as WithTypeArg<TOut>>::Type where
    F: FnOnce(TIn) -> <TypeCon<E> as WithTypeArg<TOut>>::Type, 

Loading content...