[−][src]Trait na::DimName

pub trait DimName: Dim where
    <Self::Value as NamedDim>::Name == Self, {
    type Value: NamedDim;
    fn name() -> Self;

    fn dim() -> usize { ... }
}

Trait implemented exclusively by type-level integers.

Associated Types

`type Value: NamedDim`

Loading content...

Required methods

`fn name() -> Self`

The name of this dimension, i.e., the singleton Self.

Loading content...

Provided methods

`fn dim() -> usize`

The value of this dimension.

Loading content...

Implementations on Foreign Types

`impl<U, B> DimName for UInt<U, B> where B: PartialEq<B> + Send + Copy + Sync + Any + Debug + Bit, U: DimName + Unsigned,` [src]

`type Value = UInt<U, B>`

`fn name() -> UInt<U, B>`[src]

impl<A, B, C, D, E, F, G> DimName for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G> where A: PartialEq<A> + Send + Copy + Sync + Any + Debug + Bit, B: PartialEq<B> + Send + Copy + Sync + Any + Debug + Bit, C: PartialEq<C> + Send + Copy + Sync + Any + Debug + Bit, D: PartialEq<D> + Send + Copy + Sync + Any + Debug + Bit, E: PartialEq<E> + Send + Copy + Sync + Any + Debug + Bit, F: PartialEq<F> + Send + Copy + Sync + Any + Debug + Bit, G: PartialEq<G> + Send + Copy + Sync + Any + Debug + Bit, [src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>`

`fn name( ) -> UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>`[src]

Loading content...

Implementors

`impl DimName for U0`[src]

`type Value = UTerm`

`fn name() -> U0`[src]

`impl DimName for U1`[src]

`type Value = UInt<UTerm, B1>`

`fn name() -> U1`[src]

`impl DimName for U10`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>`

`fn name() -> U10`[src]

`impl DimName for U100`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>`

`fn name() -> U100`[src]

`impl DimName for U101`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>`

`fn name() -> U101`[src]

`impl DimName for U102`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>`

`fn name() -> U102`[src]

`impl DimName for U103`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>`

`fn name() -> U103`[src]

`impl DimName for U104`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>`

`fn name() -> U104`[src]

`impl DimName for U105`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>`

`fn name() -> U105`[src]

`impl DimName for U106`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>`

`fn name() -> U106`[src]

`impl DimName for U107`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>`

`fn name() -> U107`[src]

`impl DimName for U108`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>`

`fn name() -> U108`[src]

`impl DimName for U109`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>`

`fn name() -> U109`[src]

`impl DimName for U11`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>`

`fn name() -> U11`[src]

`impl DimName for U110`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>`

`fn name() -> U110`[src]

`impl DimName for U111`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>`

`fn name() -> U111`[src]

`impl DimName for U112`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>`

`fn name() -> U112`[src]

`impl DimName for U113`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>`

`fn name() -> U113`[src]

`impl DimName for U114`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>`

`fn name() -> U114`[src]

`impl DimName for U115`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>`

`fn name() -> U115`[src]

`impl DimName for U116`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>`

`fn name() -> U116`[src]

`impl DimName for U117`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>`

`fn name() -> U117`[src]

`impl DimName for U118`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>`

`fn name() -> U118`[src]

`impl DimName for U119`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>`

`fn name() -> U119`[src]

`impl DimName for U12`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>`

`fn name() -> U12`[src]

`impl DimName for U120`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>`

`fn name() -> U120`[src]

`impl DimName for U121`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>`

`fn name() -> U121`[src]

`impl DimName for U122`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>`

`fn name() -> U122`[src]

`impl DimName for U123`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>`

`fn name() -> U123`[src]

`impl DimName for U124`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>`

`fn name() -> U124`[src]

`impl DimName for U125`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>`

`fn name() -> U125`[src]

`impl DimName for U126`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>`

`fn name() -> U126`[src]

`impl DimName for U127`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>`

`fn name() -> U127`[src]

`impl DimName for U13`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>`

`fn name() -> U13`[src]

`impl DimName for U14`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>`

`fn name() -> U14`[src]

`impl DimName for U15`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>`

`fn name() -> U15`[src]

`impl DimName for U16`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>`

`fn name() -> U16`[src]

`impl DimName for U17`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>`

`fn name() -> U17`[src]

`impl DimName for U18`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>`

`fn name() -> U18`[src]

`impl DimName for U19`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>`

`fn name() -> U19`[src]

`impl DimName for U2`[src]

`type Value = UInt<UInt<UTerm, B1>, B0>`

`fn name() -> U2`[src]

`impl DimName for U20`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>`

`fn name() -> U20`[src]

`impl DimName for U21`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>`

`fn name() -> U21`[src]

`impl DimName for U22`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>`

`fn name() -> U22`[src]

`impl DimName for U23`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>`

`fn name() -> U23`[src]

`impl DimName for U24`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>`

`fn name() -> U24`[src]

`impl DimName for U25`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>`

`fn name() -> U25`[src]

`impl DimName for U26`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>`

`fn name() -> U26`[src]

`impl DimName for U27`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>`

`fn name() -> U27`[src]

`impl DimName for U28`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>`

`fn name() -> U28`[src]

`impl DimName for U29`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>`

`fn name() -> U29`[src]

`impl DimName for U3`[src]

`type Value = UInt<UInt<UTerm, B1>, B1>`

`fn name() -> U3`[src]

`impl DimName for U30`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>`

`fn name() -> U30`[src]

`impl DimName for U31`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>`

`fn name() -> U31`[src]

`impl DimName for U32`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>`

`fn name() -> U32`[src]

`impl DimName for U33`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>`

`fn name() -> U33`[src]

`impl DimName for U34`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>`

`fn name() -> U34`[src]

`impl DimName for U35`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>`

`fn name() -> U35`[src]

`impl DimName for U36`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>`

`fn name() -> U36`[src]

`impl DimName for U37`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>`

`fn name() -> U37`[src]

`impl DimName for U38`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>`

`fn name() -> U38`[src]

`impl DimName for U39`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>`

`fn name() -> U39`[src]

`impl DimName for U4`[src]

`type Value = UInt<UInt<UInt<UTerm, B1>, B0>, B0>`

`fn name() -> U4`[src]

`impl DimName for U40`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>`

`fn name() -> U40`[src]

`impl DimName for U41`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>`

`fn name() -> U41`[src]

`impl DimName for U42`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>`

`fn name() -> U42`[src]

`impl DimName for U43`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>`

`fn name() -> U43`[src]

`impl DimName for U44`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>`

`fn name() -> U44`[src]

`impl DimName for U45`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>`

`fn name() -> U45`[src]

`impl DimName for U46`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>`

`fn name() -> U46`[src]

`impl DimName for U47`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>`

`fn name() -> U47`[src]

`impl DimName for U48`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>`

`fn name() -> U48`[src]

`impl DimName for U49`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>`

`fn name() -> U49`[src]

`impl DimName for U5`[src]

`type Value = UInt<UInt<UInt<UTerm, B1>, B0>, B1>`

`fn name() -> U5`[src]

`impl DimName for U50`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>`

`fn name() -> U50`[src]

`impl DimName for U51`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>`

`fn name() -> U51`[src]

`impl DimName for U52`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>`

`fn name() -> U52`[src]

`impl DimName for U53`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>`

`fn name() -> U53`[src]

`impl DimName for U54`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>`

`fn name() -> U54`[src]

`impl DimName for U55`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>`

`fn name() -> U55`[src]

`impl DimName for U56`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>`

`fn name() -> U56`[src]

`impl DimName for U57`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>`

`fn name() -> U57`[src]

`impl DimName for U58`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>`

`fn name() -> U58`[src]

`impl DimName for U59`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>`

`fn name() -> U59`[src]

`impl DimName for U6`[src]

`type Value = UInt<UInt<UInt<UTerm, B1>, B1>, B0>`

`fn name() -> U6`[src]

`impl DimName for U60`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>`

`fn name() -> U60`[src]

`impl DimName for U61`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>`

`fn name() -> U61`[src]

`impl DimName for U62`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>`

`fn name() -> U62`[src]

`impl DimName for U63`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>`

`fn name() -> U63`[src]

`impl DimName for U64`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>`

`fn name() -> U64`[src]

`impl DimName for U65`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>`

`fn name() -> U65`[src]

`impl DimName for U66`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>`

`fn name() -> U66`[src]

`impl DimName for U67`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>`

`fn name() -> U67`[src]

`impl DimName for U68`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>`

`fn name() -> U68`[src]

`impl DimName for U69`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>`

`fn name() -> U69`[src]

`impl DimName for U7`[src]

`type Value = UInt<UInt<UInt<UTerm, B1>, B1>, B1>`

`fn name() -> U7`[src]

`impl DimName for U70`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>`

`fn name() -> U70`[src]

`impl DimName for U71`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>`

`fn name() -> U71`[src]

`impl DimName for U72`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>`

`fn name() -> U72`[src]

`impl DimName for U73`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>`

`fn name() -> U73`[src]

`impl DimName for U74`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>`

`fn name() -> U74`[src]

`impl DimName for U75`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>`

`fn name() -> U75`[src]

`impl DimName for U76`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>`

`fn name() -> U76`[src]

`impl DimName for U77`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>`

`fn name() -> U77`[src]

`impl DimName for U78`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>`

`fn name() -> U78`[src]

`impl DimName for U79`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>`

`fn name() -> U79`[src]

`impl DimName for U8`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>`

`fn name() -> U8`[src]

`impl DimName for U80`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>`

`fn name() -> U80`[src]

`impl DimName for U81`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>`

`fn name() -> U81`[src]

`impl DimName for U82`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>`

`fn name() -> U82`[src]

`impl DimName for U83`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>`

`fn name() -> U83`[src]

`impl DimName for U84`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>`

`fn name() -> U84`[src]

`impl DimName for U85`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>`

`fn name() -> U85`[src]

`impl DimName for U86`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>`

`fn name() -> U86`[src]

`impl DimName for U87`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>`

`fn name() -> U87`[src]

`impl DimName for U88`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>`

`fn name() -> U88`[src]

`impl DimName for U89`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>`

`fn name() -> U89`[src]

`impl DimName for U9`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>`

`fn name() -> U9`[src]

`impl DimName for U90`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>`

`fn name() -> U90`[src]

`impl DimName for U91`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>`

`fn name() -> U91`[src]

`impl DimName for U92`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>`

`fn name() -> U92`[src]

`impl DimName for U93`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>`

`fn name() -> U93`[src]

`impl DimName for U94`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>`

`fn name() -> U94`[src]

`impl DimName for U95`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>`

`fn name() -> U95`[src]

`impl DimName for U96`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>`

`fn name() -> U96`[src]

`impl DimName for U97`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>`

`fn name() -> U97`[src]

`impl DimName for U98`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>`

`fn name() -> U98`[src]

`impl DimName for U99`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>`

`fn name() -> U99`[src]

Loading content...

[−][src]Trait na::DimName

Associated Types

type Value: NamedDim

Required methods

fn name() -> Self

Provided methods

fn dim() -> usize

Implementations on Foreign Types

impl<U, B> DimName for UInt<U, B> where B: PartialEq<B> + Send + Copy + Sync + Any + Debug + Bit, U: DimName + Unsigned, [src]

type Value = UInt<U, B>

fn name() -> UInt<U, B>[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>

fn name() -> UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>[src]

Implementors

impl DimName for U0[src]

type Value = UTerm

fn name() -> U0[src]

impl DimName for U1[src]

type Value = UInt<UTerm, B1>

fn name() -> U1[src]

impl DimName for U10[src]

type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>

fn name() -> U10[src]

impl DimName for U100[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>

fn name() -> U100[src]

impl DimName for U101[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>

fn name() -> U101[src]

impl DimName for U102[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>

fn name() -> U102[src]

impl DimName for U103[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>

fn name() -> U103[src]

impl DimName for U104[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>

fn name() -> U104[src]

impl DimName for U105[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>

fn name() -> U105[src]

impl DimName for U106[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>

fn name() -> U106[src]

impl DimName for U107[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>

fn name() -> U107[src]

impl DimName for U108[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>

fn name() -> U108[src]

impl DimName for U109[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>

fn name() -> U109[src]

impl DimName for U11[src]

type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>

fn name() -> U11[src]

impl DimName for U110[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>

fn name() -> U110[src]

impl DimName for U111[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>

fn name() -> U111[src]

impl DimName for U112[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>

fn name() -> U112[src]

impl DimName for U113[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>

fn name() -> U113[src]

impl DimName for U114[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>

fn name() -> U114[src]

impl DimName for U115[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>

fn name() -> U115[src]

impl DimName for U116[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>

fn name() -> U116[src]

impl DimName for U117[src]

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>

fn name() -> U117[src]

`type Value: NamedDim`

`fn name() -> Self`

`fn dim() -> usize`

`impl<U, B> DimName for UInt<U, B> where B: PartialEq<B> + Send + Copy + Sync + Any + Debug + Bit, U: DimName + Unsigned,` [src]

`type Value = UInt<U, B>`

`fn name() -> UInt<U, B>`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>`

`fn name( ) -> UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>`[src]

`impl DimName for U0`[src]

`type Value = UTerm`

`fn name() -> U0`[src]

`impl DimName for U1`[src]

`type Value = UInt<UTerm, B1>`

`fn name() -> U1`[src]

`impl DimName for U10`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>`

`fn name() -> U10`[src]

`impl DimName for U100`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>`

`fn name() -> U100`[src]

`impl DimName for U101`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>`

`fn name() -> U101`[src]

`impl DimName for U102`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>`

`fn name() -> U102`[src]

`impl DimName for U103`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>`

`fn name() -> U103`[src]

`impl DimName for U104`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>`

`fn name() -> U104`[src]

`impl DimName for U105`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>`

`fn name() -> U105`[src]

`impl DimName for U106`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>`

`fn name() -> U106`[src]

`impl DimName for U107`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>`

`fn name() -> U107`[src]

`impl DimName for U108`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>`

`fn name() -> U108`[src]

`impl DimName for U109`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>`

`fn name() -> U109`[src]

`impl DimName for U11`[src]

`type Value = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>`

`fn name() -> U11`[src]

`impl DimName for U110`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>`

`fn name() -> U110`[src]

`impl DimName for U111`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>`

`fn name() -> U111`[src]

`impl DimName for U112`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>`

`fn name() -> U112`[src]

`impl DimName for U113`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>`

`fn name() -> U113`[src]

`impl DimName for U114`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>`

`fn name() -> U114`[src]

`impl DimName for U115`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>`

`fn name() -> U115`[src]

`impl DimName for U116`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>`

`fn name() -> U116`[src]

`impl DimName for U117`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>`

`fn name() -> U117`[src]

`impl DimName for U118`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>`

`fn name() -> U118`[src]

`impl DimName for U119`[src]

`type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>`

`fn name() -> U119`[src]