Trait haskell_bits::applicative::Applicative

pub trait Applicative: Functor + Lift {
    fn lift2<TIn1, TIn2, TOut, F>(
        f: F, 
        x1: &Self::Type, 
        x2: &Self::Type
    ) -> Self::Type
    where
        Self: WithTypeArg<TIn1> + WithTypeArg<TIn2> + WithTypeArg<TOut>,
        F: Fn(&TIn1, &TIn2) -> TOut;

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

Required methods

fn lift2<TIn1, TIn2, TOut, F>(
    f: F,
    x1: &Self::Type,
    x2: &Self::Type
) -> Self::Type where
    Self: WithTypeArg<TIn1> + WithTypeArg<TIn2> + WithTypeArg<TOut>,
    F: Fn(&TIn1, &TIn2) -> TOut, 

Loading content...

Provided methods

fn ap<TIn, TOut, TFunc>(f: &Self::Type, x: &Self::Type) -> Self::Type where
    Self: WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
    TFunc: Fn(&TIn) -> TOut, 

Loading content...

Implementors

impl Applicative for haskell_bits::impls::OptionTypeCon

fn ap<TIn, TOut, TFunc>(
    f: &<TypeCon as WithTypeArg<TFunc>>::Type,
    x: &<TypeCon as WithTypeArg<TIn>>::Type
) -> <TypeCon as WithTypeArg<TOut>>::Type where
    TFunc: Fn(&TIn) -> TOut, 

fn lift2<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: Fn(&TIn1, &TIn2) -> TOut, 

impl Applicative for haskell_bits::impls::VecTypeCon

fn lift2<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: Fn(&TIn1, &TIn2) -> TOut, 

impl<E> Applicative for haskell_bits::impls::ResultTypeCon<E> where
    E: Clone, 

fn ap<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: Fn(&TIn) -> TOut, 

fn lift2<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: Fn(&TIn1, &TIn2) -> TOut, 

Loading content...