[−][src]Trait agnes::label::LabelSubsetPred
Helper filter trait. Used by Filter
for computing the subset of Self
cons-list which
contains the labels in LabelList
.
IsMember
specifies whether or not the label of the head value of Self
is a member of
LabelList
.
Associated Types
type Output
Subset of Self
that are labeled with labels in LabelList
.
Implementors
impl<LabelList, H, T> LabelSubsetPred<LabelList, B0> for Cons<H, T> where
T: LabelSubset<LabelList>,
[src]
T: LabelSubset<LabelList>,
type Output = <T as LabelSubset<LabelList>>::Output
impl<LabelList, H, T> LabelSubsetPred<LabelList, B1> for Cons<H, T> where
T: LabelSubset<LabelList>,
[src]
T: LabelSubset<LabelList>,