[−][src]Trait agnes::label::LookupNatByLabelMatch
Helper lookup trait for LookupNatByLabel. Used by
LookupNatByLabel
for computing the backing type-level natural number for label TargetL
.
B
specifies whether or not TargetL
matches the head value of Self
.
Associated Types
Loading content...Implementors
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,