Trait agnes::label::LabelSubset

pub trait LabelSubset<LabelList> {
    type Output;
}

Trait to find the subset of cons-list Self which are labeled with labels in LabelList.

Any labels in LabelList not found in Self will be ignored (see HasLabels for a trait that requires all members of LabelList to be found).

Associated Types

type Output

Subset of Self that are labeled with labels in LabelList.

Loading content...

Implementors

impl<LabelList> LabelSubset<LabelList> for Nil

type Output = Nil

impl<LabelList, L, V, T> LabelSubset<LabelList> for LVCons<L, V, T> where
    LabelList: Member<L>,
    LVCons<L, V, T>: LabelSubsetPred<LabelList, <LabelList as Member<L>>::IsMember>, 

type Output = <LVCons<L, V, T> as LabelSubsetPred<LabelList, <LabelList as Member<L>>::IsMember>>::Output

Loading content...