Trait haskell_bits::functor::MapExt

pub trait MapExt<TCon: ?Sized, F, TIn, TOut, TFuncArgIn, TIsRef> where
    Self: TypeAppMaybeRef<TCon, TIn, TIsRef>,
    F: Fn(TFuncArgIn) -> TOut,
    TCon: WithTypeArg<TIn> + WithTypeArg<TOut>, {
    fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type;
}

Required methods

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

Loading content...

Implementations on Foreign Types

impl<'_, '_, TCon: ?Sized, F, X, TIn, TOut> MapExt<TCon, F, TIn, TOut, &'_ TIn, Ref> for &'_ X where
    X: TypeApp<TCon, TIn>,
    F: Fn(&TIn) -> TOut,
    TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>, 

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

impl<'_, TCon, F, X, TIn, TOut> MapExt<TCon, F, TIn, TOut, TIn, Ref> for &'_ X where
    X: TypeApp<TCon, TIn>,
    F: Fn(TIn) -> TOut,
    TIn: Clone,
    TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>, 

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

Loading content...

Implementors

impl<'_, TCon: ?Sized, F, X, TIn, TOut> MapExt<TCon, F, TIn, TOut, &'_ TIn, Val> for X where
    X: TypeApp<TCon, TIn>,
    F: Fn(&TIn) -> TOut,
    TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>, 

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

impl<TCon: ?Sized, F, X, TIn, TOut> MapExt<TCon, F, TIn, TOut, TIn, Val> for X where
    X: TypeApp<TCon, TIn>,
    F: Fn(TIn) -> TOut,
    TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>, 

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

Loading content...