Trait agnes::label::HasLabels

pub trait HasLabels<LabelList> { }

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>, 

Convenience implementation for the case where only a single label is provided

impl<NeedleLbl, NeedleTail, Haystack> HasLabels<Cons<Labeled<NeedleLbl, ()>, NeedleTail>> for Haystack where
    Haystack: Member<NeedleLbl, IsMember = True>,
    Haystack: HasLabels<NeedleTail>, 

impl<T> HasLabels<Nil> for T

Loading content...