[−][src]Trait agnes::label::HasLabels
Trait to ensure that all labels in LabeList
are found in cons-list Self
.
Implementors
impl<Needle, Haystack> HasLabels<Needle> for Haystack where
Needle: Label,
Haystack: Member<Needle, IsMember = True>,
[src]
Needle: Label,
Haystack: Member<Needle, IsMember = True>,
Convenience implementation for the case where only a single label is provided
impl<NeedleLbl, NeedleValue, NeedleTail, Haystack> HasLabels<Cons<Labeled<NeedleLbl, NeedleValue>, NeedleTail>> for Haystack where
Haystack: Member<NeedleLbl, IsMember = True>,
Haystack: HasLabels<NeedleTail>,
[src]
Haystack: Member<NeedleLbl, IsMember = True>,
Haystack: HasLabels<NeedleTail>,