Trait agnes::label::IsLabelSet

pub trait IsLabelSet {
    type IsSet;
}

Marker trait for ensuring that the labels of a cons-list constitute a set (no label cardinality greater than 1).

Associated Types

type IsSet

True or False.

Loading content...

Implementors

impl IsLabelSet for Nil

type IsSet = True

impl<L, V, T> IsLabelSet for LVCons<L, V, T> where
    T: Member<L>,
    <T as Member<L>>::IsMember: Not,
    <<T as Member<L>>::IsMember as Not>::Output: BitAnd<<T as IsLabelSet>::IsSet>,
    T: IsLabelSet, 

type IsSet = And<<<T as Member<L>>::IsMember as Not>::Output, <T as IsLabelSet>::IsSet>

Loading content...