[−][src]Trait type_freak::kvlist::KVRemoveManyOp

pub trait KVRemoveManyOp<Targets, Indexes> where
    Targets: TList,
    Indexes: TList,
    Self: KVList,
    Self::Output: KVList, {
    type Output;
}

A type operator that removes multiple Targets from KVList.

Associated Types

type Output

Loading content...

Implementors

impl<Index, IRemain, Target, TRemain, Key, Value, Tail> KVRemoveManyOp<LCons<Target, TRemain>, LCons<Index, IRemain>> for KVCons<Key, Value, Tail> where
    Index: Counter,
    IRemain: TList,
    TRemain: TList,
    Tail: KVList,
    Self: KVRemoveAtOp<Target, Index>,
    KVRemoveAtOpOutput<Self, Target, Index>: KVRemoveManyOp<TRemain, IRemain>, [src]

type Output = KVRemoveManyOpOutput<KVRemoveAtOpOutput<Self, Target, Index>, TRemain, IRemain>

impl<List> KVRemoveManyOp<LNil, LNil> for List where
    List: KVList, [src]

type Output = List

Loading content...