Trait type_freak::list::LFoldOp

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

A type operator that accumulates all values in TList.

Associated Types

type Output

Loading content...

Implementors

impl<Init, Func> LFoldOp<Init, Func> for LNil

type Output = Init

impl<Init, Func, Head, Tail> LFoldOp<Init, Func> for LCons<Head, Tail> where
    Func: Functor<(Init, Head)>,
    Tail: TList + LFoldOp<ApplyFunctor<Func, (Init, Head)>, Func>, 

type Output = LFoldOpOutput<Tail, ApplyFunctor<Func, (Init, Head)>, Func>

Loading content...