Trait agnes::label::LookupNatByLabel

pub trait LookupNatByLabel<L> {
    type Nat: Unsigned;
    fn nat(&self) -> usize { ... }
}

Lookup a type-level natural number backing label L.

Associated Types

type Nat: Unsigned

The backing type-level natural number for L.

Loading content...

Provided methods

fn nat(&self) -> usize

A run-time accessor for Nat.

Loading content...

Implementors

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

fn nat(&self) -> usize

Loading content...