Trait type_freak::kvlist::KVInsertAtOp

pub trait KVInsertAtOp<Key, Value, Target, Index> where
    Index: Counter,
    Self: KVList,
    Self::Output: KVList, {
    type Output;
}

A type operator that inserts Key-Value pair into KVList at Target.

Associated Types

type Output

Loading content...

Implementors

impl<Key, Value, Target, Index, NonTarget, NonTargetValue, Tail> KVInsertAtOp<Key, Value, Target, Next<Index>> for KVCons<NonTarget, NonTargetValue, Tail> where
    Tail: KVList + KVInsertAtOp<Key, Value, Target, Index>,
    Index: Counter, 

type Output = KVCons<NonTarget, NonTargetValue, KVInsertAtOpOutput<Tail, Key, Value, Target, Index>>

impl<Key, Value, Target, TargetValue, Tail> KVInsertAtOp<Key, Value, Target, Current> for KVCons<Target, TargetValue, Tail> where
    Tail: KVList, 

type Output = KVCons<Key, Value, KVCons<Target, TargetValue, Tail>>

Loading content...