[−][src]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,
[src]
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,
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,
[src]
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>,
[src]
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
[src]
A run-time accessor for Nat
.
impl<TargetL, L, V, T> LookupNatByLabelMatch<TargetL, B1> for LVCons<L, V, T>
[src]
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,
[src]
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>,
[src]
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,
[src]
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,
[src]
L: LabelName,
T: StrLabels,
impl<L, V, T> StrTypes for LVCons<L, V, T> where
L: LabelName,
T: StrTypes,
[src]
L: LabelName,
T: StrTypes,
impl<Label, Value, Tail> AssocFrameLookup for LVCons<Label, Value, Tail> where
Tail: AssocFrameLookup,
[src]
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>,
[src]
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
. Read more