[−][src]Trait type_freak::list::LMapOp

pub trait LMapOp<Func> where
    Self: TList,
    Self::Output: TList, {
    type Output;
}

A type operator that apply a Functor to all types in TList.

Associated Types

`type Output`

Loading content...

Implementors

`impl<Func> LMapOp<Func> for LNil`[src]

`type Output = LNil`

`impl<Func, Head, Tail> LMapOp<Func> for LCons<Head, Tail> where Func: Functor<Head>, Tail: TList + LMapOp<Func>,` [src]

`type Output = LCons<ApplyFunctor<Func, Head>, LMapOpOutput<Tail, Func>>`

Loading content...