Trait haskell_bits::functor::LinearFunctor

pub trait LinearFunctor {
    fn lmap<TIn, TOut>(f: impl Fn(TIn) -> TOut, x: Self::Type) -> Self::Type
    where
        Self: WithTypeArg<TIn> + WithTypeArg<TOut>;

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

Required methods

fn lmap<TIn, TOut>(f: impl Fn(TIn) -> TOut, x: Self::Type) -> Self::Type where
    Self: WithTypeArg<TIn> + WithTypeArg<TOut>, 

Loading content...

Provided methods

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

Loading content...

Implementors

impl LinearFunctor for OptionTypeCon

fn lmap<TIn, TOut>(
    f: impl Fn(TIn) -> TOut,
    x: <OptionTypeCon as WithTypeArg<TIn>>::Type
) -> <OptionTypeCon as WithTypeArg<TOut>>::Type

impl LinearFunctor for VecTypeCon

fn lmap<TIn, TOut>(
    f: impl Fn(TIn) -> TOut,
    x: <VecTypeCon as WithTypeArg<TIn>>::Type
) -> <VecTypeCon as WithTypeArg<TOut>>::Type

Loading content...