Trait haskell_bits::applicative::LinearApplicative

pub trait LinearApplicative: Lift {
    fn llift2<TIn1, TIn2, TOut, TFunc>(
        f: TFunc, 
        x1: Self::Type, 
        x2: Self::Type
    ) -> Self::Type
    where
        Self: WithTypeArg<TIn1> + WithTypeArg<TIn2> + WithTypeArg<TOut>,
        TFunc: FnOnce(TIn1, TIn2) -> TOut;

    fn lap<TIn, TOut, TFunc>(f: Self::Type, x: Self::Type) -> Self::Type
    where
        Self: WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
        TFunc: FnOnce(TIn) -> TOut,
    { ... }
}

Required methods

fn llift2<TIn1, TIn2, TOut, TFunc>(
    f: TFunc,
    x1: Self::Type,
    x2: Self::Type
) -> Self::Type where
    Self: WithTypeArg<TIn1> + WithTypeArg<TIn2> + WithTypeArg<TOut>,
    TFunc: FnOnce(TIn1, TIn2) -> TOut, 

Loading content...

Provided methods

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

Loading content...

Implementors

impl LinearApplicative for haskell_bits::impls::OptionTypeCon

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

fn llift2<TIn1, TIn2, TOut, TFunc>(
    f: TFunc,
    x1: <TypeCon as WithTypeArg<TIn1>>::Type,
    x2: <TypeCon as WithTypeArg<TIn2>>::Type
) -> <TypeCon as WithTypeArg<TOut>>::Type where
    TFunc: FnOnce(TIn1, TIn2) -> TOut, 

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

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

fn llift2<TIn1, TIn2, TOut, TFunc>(
    f: TFunc,
    x1: <TypeCon<E> as WithTypeArg<TIn1>>::Type,
    x2: <TypeCon<E> as WithTypeArg<TIn2>>::Type
) -> <TypeCon<E> as WithTypeArg<TOut>>::Type where
    TFunc: FnOnce(TIn1, TIn2) -> TOut, 

Loading content...