Trait agnes::label::Member

pub trait Member<E> {
    type IsMember: Bit;
}

LabelEq-based membership test for cons-lists. Specifies whether E is a member (based on labels) of Self.

Associated Types

type IsMember: Bit

True or False.

Loading content...

Implementors

impl<E> Member<E> for Nil

type IsMember = False

impl<E, L, V, T> Member<E> for LVCons<L, V, T> where
    L: LabelEq<E>,
    T: Member<E>,
    <L as LabelEq<E>>::Eq: BitOr<<T as Member<E>>::IsMember>,
    <<L as LabelEq<E>>::Eq as BitOr<<T as Member<E>>::IsMember>>::Output: Bit, 

type IsMember = Or<<L as LabelEq<E>>::Eq, <T as Member<E>>::IsMember>

Loading content...