Trait agnes::label::LabelSubsetPred

pub trait LabelSubsetPred<LabelList, IsMember> {
    type Output;
}

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.

Loading content...

Implementors

impl<LabelList, H, T> LabelSubsetPred<LabelList, B0> for Cons<H, T> where
    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>, 

type Output = Cons<H, <T as LabelSubset<LabelList>>::Output>

Loading content...