Trait type_freak::list::LInsertAtOp

pub trait LInsertAtOp<Item, Target, Index> where
    Index: Counter,
    Self: TList,
    Self::Output: TList, {
    type Output;
}

Inserts a Item type to TList after Target type.

The trait operator has an auxiliary Index argument for list traversal. Usaually it can be left unspecified and the compiler will figure it out.

Associated Types

type Output

Loading content...

Implementors

impl<Item, Target, Index, NonTarget, Tail> LInsertAtOp<Item, Target, Next<Index>> for LCons<NonTarget, Tail> where
    Tail: TList + LInsertAtOp<Item, Target, Index>,
    Index: Counter, 

type Output = LCons<NonTarget, LInsertAtOpOutput<Tail, Item, Target, Index>>

impl<Target, Item, Tail> LInsertAtOp<Item, Target, Current> for LCons<Target, Tail> where
    Tail: TList, 

type Output = LCons<Item, LCons<Target, Tail>>

Loading content...