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

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

Filters the values in TList.

Associated Types

type Output

Loading content...

Implementors

impl<Func> LFilterOp<Func> for LNil[src]

type Output = LNil

impl<Func, Head, Tail> LFilterOp<Func> for LCons<Head, Tail> where
    Func: Functor<Head>,
    Tail: TList + LFilterOp<Func>,
    Func::Output: Maybe,
    MaybeMapFunctor<LPrependToFunctor<LFilterOpOutput<Tail, Func>>>: Functor<ApplyFunctor<Func, Head>>,
    UnwrapOrFunctor<LFilterOpOutput<Tail, Func>>: Functor<MaybeMap<ApplyFunctor<Func, Head>, LPrependToFunctor<LFilterOpOutput<Tail, Func>>>>,
    UnwrapOr<MaybeMap<ApplyFunctor<Func, Head>, LPrependToFunctor<LFilterOpOutput<Tail, Func>>>, LFilterOpOutput<Tail, Func>>: TList, [src]

type Output = UnwrapOr<MaybeMap<ApplyFunctor<Func, Head>, LPrependToFunctor<LFilterOpOutput<Tail, Func>>>, LFilterOpOutput<Tail, Func>>

Loading content...