Trait haskell_bits::functor::Functor

pub trait Functor: LinearFunctor {
    fn fmap<TIn, TOut, F>(f: F, x: &Self::Type) -> Self::Type
    where
        Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
        F: Fn(&TIn) -> TOut;

    fn fmapconst<TIn, TOut>(e: &TOut, x: &Self::Type) -> Self::Type
    where
        Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
        TOut: Clone,
    { ... }
}

Required methods

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

Loading content...

Provided methods

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

Loading content...

Implementors

impl Functor for haskell_bits::impls::OptionTypeCon

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

impl Functor for haskell_bits::impls::VecTypeCon

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

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

fn fmap<TIn, TOut, F>(
    f: F,
    x: &<TypeCon<E> as WithTypeArg<TIn>>::Type
) -> <TypeCon<E> as WithTypeArg<TOut>>::Type where
    F: Fn(&TIn) -> TOut, 

Loading content...