[][src]Trait type_freak::list::LSetEqualOp

pub trait LSetEqualOp<Rhs, Indexes> where
    Rhs: TList,
    Indexes: TList,
    Self: TList
{ type Output; }

Compare if a left-hand-side TList has the same set of types with Rhs TList.

The Indexes argument can be left unspecified.

Associated Types

type Output

Loading content...

Implementors

impl LSetEqualOp<LNil, LNil> for LNil[src]

type Output = ()

impl<LHead, LTail, RHead, RTail, Index, IRemain> LSetEqualOp<LCons<RHead, RTail>, LCons<Index, IRemain>> for LCons<LHead, LTail> where
    Index: Counter,
    IRemain: TList,
    LTail: TList,
    RTail: TList,
    Self: LRemoveAtOp<RHead, Index>,
    LRemoveAtOpOutput<Self, RHead, Index>: LSetEqualOp<RTail, IRemain>, 
[src]

type Output = LSetEqualOpOutput<LRemoveAtOpOutput<Self, RHead, Index>, RTail, IRemain>

Loading content...