Trait agnes::label::SetDiffStep

pub trait SetDiffStep<RightSet, FullRightSet> {
    type Set;
}

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.

Loading content...

Implementors

impl<LLabel, LValue, LTail, FullRightSet> SetDiffStep<Nil, FullRightSet> for LVCons<LLabel, LValue, LTail> where
    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>, 

type Set = Self::Set

impl<RightSet, FullRightSet> SetDiffStep<RightSet, FullRightSet> for Nil

type Set = Nil

Loading content...