Trait rin::math::DimName[−][src]

pub trait DimName: Dim {
    type Value: NamedDim;
    pub fn name() -> Self;

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

Trait implemented exclusively by type-level integers.

Associated Types

`type Value: NamedDim`[src]

Loading content...

Required methods

`pub fn name() -> Self`[src]

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

Loading content...

Provided methods

`pub fn dim() -> usize`[src]

The value of this dimension.

Loading content...

Implementations on Foreign Types

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 C: Bit + Any + Debug + Copy + PartialEq<C> + Send + Sync, E: Bit + Any + Debug + Copy + PartialEq<E> + Send + Sync, B: Bit + Any + Debug + Copy + PartialEq<B> + Send + Sync, A: Bit + Any + Debug + Copy + PartialEq<A> + Send + Sync, D: Bit + Any + Debug + Copy + PartialEq<D> + Send + Sync, F: Bit + Any + Debug + Copy + PartialEq<F> + Send + Sync, G: Bit + Any + Debug + Copy + PartialEq<G> + Send + Sync, [src]

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

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

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

`type Value = UInt<U, B>`

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

Loading content...

Implementors

`impl DimName for U0`[src]

`type Value = UTerm`

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

`impl DimName for U1`[src]

`type Value = UInt<UTerm, B1>`

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

`impl DimName for U2`[src]

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

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

`impl DimName for U3`[src]

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

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

`impl DimName for U4`[src]

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

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

`impl DimName for U5`[src]

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

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

`impl DimName for U6`[src]

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

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

`impl DimName for U7`[src]

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

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

`impl DimName for U8`[src]

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

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

`impl DimName for U9`[src]

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

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

`impl DimName for U10`[src]

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

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

`impl DimName for U11`[src]

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

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

`impl DimName for U12`[src]

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

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

`impl DimName for U13`[src]

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

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

`impl DimName for U14`[src]

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

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

`impl DimName for U15`[src]

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

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

`impl DimName for U16`[src]

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

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

`impl DimName for U17`[src]

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

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

`impl DimName for U18`[src]

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

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

`impl DimName for U19`[src]

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

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

`impl DimName for U20`[src]

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

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

`impl DimName for U21`[src]

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

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

`impl DimName for U22`[src]

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

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

`impl DimName for U23`[src]

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

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

`impl DimName for U24`[src]

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

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

`impl DimName for U25`[src]

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

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

`impl DimName for U26`[src]

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

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

`impl DimName for U27`[src]

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

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

`impl DimName for U28`[src]

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

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

`impl DimName for U29`[src]

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

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

`impl DimName for U30`[src]

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

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

`impl DimName for U31`[src]

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

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

`impl DimName for U32`[src]

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

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

`impl DimName for U33`[src]

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

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

`impl DimName for U34`[src]

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

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

`impl DimName for U35`[src]

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

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

`impl DimName for U36`[src]

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

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

`impl DimName for U37`[src]

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

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

`impl DimName for U38`[src]

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

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

`impl DimName for U39`[src]

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

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

`impl DimName for U40`[src]

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

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

`impl DimName for U41`[src]

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

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

`impl DimName for U42`[src]

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

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

`impl DimName for U43`[src]

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

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

`impl DimName for U44`[src]

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

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

`impl DimName for U45`[src]

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

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

`impl DimName for U46`[src]

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

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

`impl DimName for U47`[src]

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

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

`impl DimName for U48`[src]

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

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

`impl DimName for U49`[src]

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

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

`impl DimName for U50`[src]

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

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

`impl DimName for U51`[src]

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

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

`impl DimName for U52`[src]

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

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

`impl DimName for U53`[src]

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

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

`impl DimName for U54`[src]

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

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

`impl DimName for U55`[src]

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

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

`impl DimName for U56`[src]

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

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

`impl DimName for U57`[src]

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

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

`impl DimName for U58`[src]

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

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

`impl DimName for U59`[src]

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

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

`impl DimName for U60`[src]

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

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

`impl DimName for U61`[src]

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

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

`impl DimName for U62`[src]

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

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

`impl DimName for U63`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U70`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U80`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U90`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U100`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U110`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

`impl DimName for U120`[src]

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

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

`pub 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>`

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

Loading content...

Trait rin::math::DimName⎘[−][src]

Associated Types

type Value: NamedDim[src]

Required methods

pub fn name() -> Self[src]

Provided methods

pub fn dim() -> usize[src]

Implementations on Foreign Types

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

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

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

type Value = UInt<U, B>

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

Implementors

impl DimName for U0[src]

type Value = UTerm

pub fn name() -> U0[src]

impl DimName for U1[src]

type Value = UInt<UTerm, B1>

pub fn name() -> U1[src]

impl DimName for U2[src]

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

pub fn name() -> U2[src]

impl DimName for U3[src]

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

pub fn name() -> U3[src]

impl DimName for U4[src]

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

pub fn name() -> U4[src]

impl DimName for U5[src]

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

pub fn name() -> U5[src]

impl DimName for U6[src]

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

pub fn name() -> U6[src]

impl DimName for U7[src]

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

pub fn name() -> U7[src]

impl DimName for U8[src]

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

pub fn name() -> U8[src]

impl DimName for U9[src]

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

pub fn name() -> U9[src]

impl DimName for U10[src]

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

pub fn name() -> U10[src]

impl DimName for U11[src]

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

pub fn name() -> U11[src]

impl DimName for U12[src]

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

pub fn name() -> U12[src]

impl DimName for U13[src]

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

pub fn name() -> U13[src]

impl DimName for U14[src]

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

pub fn name() -> U14[src]

impl DimName for U15[src]

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

pub fn name() -> U15[src]

impl DimName for U16[src]

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

pub fn name() -> U16[src]

impl DimName for U17[src]

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

pub fn name() -> U17[src]

impl DimName for U18[src]

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

pub fn name() -> U18[src]

impl DimName for U19[src]

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

pub fn name() -> U19[src]

impl DimName for U20[src]

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

pub fn name() -> U20[src]

impl DimName for U21[src]

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

pub fn name() -> U21[src]

Trait rin::math::DimName[−][src]

`type Value: NamedDim`[src]

`pub fn name() -> Self`[src]

`pub fn dim() -> usize`[src]

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

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

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

`type Value = UInt<U, B>`

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

`impl DimName for U0`[src]

`type Value = UTerm`

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

`impl DimName for U1`[src]

`type Value = UInt<UTerm, B1>`

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

`impl DimName for U2`[src]

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

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

`impl DimName for U3`[src]

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

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

`impl DimName for U4`[src]

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

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

`impl DimName for U5`[src]

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

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

`impl DimName for U6`[src]

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

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

`impl DimName for U7`[src]

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

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

`impl DimName for U8`[src]

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

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

`impl DimName for U9`[src]

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

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

`impl DimName for U10`[src]

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

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

`impl DimName for U11`[src]

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

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

`impl DimName for U12`[src]

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

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

`impl DimName for U13`[src]

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

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

`impl DimName for U14`[src]

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

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

`impl DimName for U15`[src]

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

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

`impl DimName for U16`[src]

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

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

`impl DimName for U17`[src]

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

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

`impl DimName for U18`[src]

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

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

`impl DimName for U19`[src]

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

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

`impl DimName for U20`[src]

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

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

`impl DimName for U21`[src]

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

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

`impl DimName for U22`[src]

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

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

`impl DimName for U23`[src]

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