Trait agnes::label::LookupNatByLabelMatch

pub trait LookupNatByLabelMatch<TargetL, B> {
    type Nat: Unsigned;
}

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

type Nat: Unsigned

Backing type-level natural number for TargetL.

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, 

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

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

type Nat = UTerm

Loading content...