[][src]Trait type_freak::list::LSplitOp

pub trait LSplitOp<Target, Index> where
    Index: Counter,
    Self: TList,
    Self::FormerOutput: TList,
    Self::LatterOutput: TList
{ type FormerOutput; type LatterOutput; }

A type operator that splits a TList at Target.

Associated Types

Loading content...

Implementors

impl<Target, Index, NonTarget, Tail> LSplitOp<Target, Next<Index>> for LCons<NonTarget, Tail> where
    Index: Counter,
    Tail: TList + LSplitOp<Target, Index>, 
[src]

type FormerOutput = LCons<NonTarget, LSplitOpFormerOutput<Tail, Target, Index>>

type LatterOutput = LSplitOpLatterOutput<Tail, Target, Index>

impl<Target, Tail> LSplitOp<Target, Current> for LCons<Target, Tail> where
    Tail: TList
[src]

type FormerOutput = LNil

type LatterOutput = Self

Loading content...