[−][src]Trait agnes::label::SetDiffStep
Helper trait used SetDiff to compute the set difference between two label
sets. RightSet
is the set-subtrahend remaining at this point of the process, FullRightSet
is the original full set-subtrahend.
Associated Types
type Set
The set of labels that exist in Self
and not in RightSet
.
Implementors
impl<LLabel, LValue, LTail, FullRightSet> SetDiffStep<Nil, FullRightSet> for LVCons<LLabel, LValue, LTail> where
LTail: SetDiffStep<FullRightSet, FullRightSet>,
[src]
LTail: SetDiffStep<FullRightSet, FullRightSet>,
type Set = LVCons<LLabel, LValue, <LTail as SetDiffStep<FullRightSet, FullRightSet>>::Set>
impl<LLabel, LValue, LTail, RLabel, RValue, RTail, FullRightSet> SetDiffStep<Cons<Labeled<RLabel, RValue>, RTail>, FullRightSet> for LVCons<LLabel, LValue, LTail> where
LLabel: LabelEq<RLabel>,
Self: SetDiffMatch<LVCons<RLabel, RValue, RTail>, FullRightSet, <LLabel as LabelEq<RLabel>>::Eq>,
[src]
LLabel: LabelEq<RLabel>,
Self: SetDiffMatch<LVCons<RLabel, RValue, RTail>, FullRightSet, <LLabel as LabelEq<RLabel>>::Eq>,