Type Definition agnes::label::LVCons

type LVCons<L, V, T> = Cons<Labeled<L, V>, T>;

Label-value cons-list

Trait Implementations

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>

True or False.

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>

True or False.

impl<TargetL, L, V, T> LookupNatByLabel<TargetL> for LVCons<L, V, T> where
    TargetL: LabelEq<L>,
    LVCons<L, V, T>: LookupNatByLabelMatch<TargetL, <TargetL as LabelEq<L>>::Eq>, 

type Nat = <LVCons<L, V, T> as LookupNatByLabelMatch<TargetL, <TargetL as LabelEq<L>>::Eq>>::Nat

The backing type-level natural number for L.

fn nat(&self) -> usize

A run-time accessor for Nat.

impl<TargetL, L, V, T> LookupNatByLabelMatch<TargetL, B1> for LVCons<L, V, T>

type Nat = UTerm

Backing type-level natural number for TargetL.

impl<TargetL, L, V, T> LookupNatByLabelMatch<TargetL, B0> for LVCons<L, V, T> where
    T: LookupNatByLabel<TargetL>,
    <T as LookupNatByLabel<TargetL>>::Nat: Add<B1>,
    <<T as LookupNatByLabel<TargetL>>::Nat as Add<B1>>::Output: Unsigned, 

type Nat = Add1<<T as LookupNatByLabel<TargetL>>::Nat>

Backing type-level natural number for TargetL.

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

Subset of Self that are labeled with labels in LabelList.

impl<Label, Value, Tail> AssocLabels for LVCons<Label, Value, Tail> where
    Tail: AssocLabels, 

type Labels = LabelCons<Label, Tail::Labels>

LabelCons-list of labels associated with the Self cons-list.

impl<L, V, T> StrLabels for LVCons<L, V, T> where
    L: LabelName,
    T: StrLabels, 

fn labels<'a>() -> VecDeque<&'a str>

Returns the labels (as strings) for the labels associated with Self.

impl<L, V, T> StrTypes for LVCons<L, V, T> where
    L: LabelName,
    T: StrTypes, 

fn str_types<'a>() -> VecDeque<&'a str>

Returns the string descriptions of the types associated with Self.

impl<Label, Value, Tail> AssocFrameLookup for LVCons<Label, Value, Tail> where
    Tail: AssocFrameLookup, 

type Output = FrameLookupCons<Label, UTerm, Label, <Tail as AssocFrameLookup>::Output>

The associated FrameLookupCons.

impl<LabelList, L, V, T> SubsetClone<LabelList> for LVCons<L, V, T> where
    LabelList: Member<L>,
    Self: SubsetClonePred<LabelList, <LabelList as Member<L>>::IsMember>, 

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

Output of applying $req_fn to values in this cons-list which match labels in LabelList.

fn subset_clone(&self) -> Self::Output

Apply $req_fn to value in the head of this cons-list if label of head matches labels of LabelList.