pub trait DimName: Dim {
    type Value: NamedDim<Name = Self>;

    // Required method
    fn name() -> Self;

    // Provided method
    fn dim() -> usize { ... }
}
Expand description

Trait implemented exclusively by type-level integers.

Required Associated Types§

source

type Value: NamedDim<Name = Self>

Required Methods§

source

fn name() -> Self

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

Provided Methods§

source

fn dim() -> usize

The value of this dimension.

Implementations on Foreign Types§

source§

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

§

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

source§

fn name() -> Self

source§

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

§

type Value = UInt<U, B>

source§

fn name() -> Self

Implementors§

source§

impl DimName for U0

§

type Value = UTerm

source§

impl DimName for U1

§

type Value = UInt<UTerm, B1>

source§

impl DimName for U2

§

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

source§

impl DimName for U3

§

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

source§

impl DimName for U4

§

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

source§

impl DimName for U5

§

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

source§

impl DimName for U6

§

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

source§

impl DimName for U7

§

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

source§

impl DimName for U8

§

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

source§

impl DimName for U9

§

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

source§

impl DimName for U10

§

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

source§

impl DimName for U11

§

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

source§

impl DimName for U12

§

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

source§

impl DimName for U13

§

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

source§

impl DimName for U14

§

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

source§

impl DimName for U15

§

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

source§

impl DimName for U16

§

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

source§

impl DimName for U17

§

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

source§

impl DimName for U18

§

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

source§

impl DimName for U19

§

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

source§

impl DimName for U20

§

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

source§

impl DimName for U21

§

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

source§

impl DimName for U22

§

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

source§

impl DimName for U23

§

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

source§

impl DimName for U24

§

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

source§

impl DimName for U25

§

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

source§

impl DimName for U26

§

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

source§

impl DimName for U27

§

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

source§

impl DimName for U28

§

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

source§

impl DimName for U29

§

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

source§

impl DimName for U30

§

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

source§

impl DimName for U31

§

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

source§

impl DimName for U32

§

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

source§

impl DimName for U33

§

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

source§

impl DimName for U34

§

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

source§

impl DimName for U35

§

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

source§

impl DimName for U36

§

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

source§

impl DimName for U37

§

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

source§

impl DimName for U38

§

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

source§

impl DimName for U39

§

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

source§

impl DimName for U40

§

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

source§

impl DimName for U41

§

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

source§

impl DimName for U42

§

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

source§

impl DimName for U43

§

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

source§

impl DimName for U44

§

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

source§

impl DimName for U45

§

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

source§

impl DimName for U46

§

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

source§

impl DimName for U47

§

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

source§

impl DimName for U48

§

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

source§

impl DimName for U49

§

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

source§

impl DimName for U50

§

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

source§

impl DimName for U51

§

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

source§

impl DimName for U52

§

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

source§

impl DimName for U53

§

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

source§

impl DimName for U54

§

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

source§

impl DimName for U55

§

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

source§

impl DimName for U56

§

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

source§

impl DimName for U57

§

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

source§

impl DimName for U58

§

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

source§

impl DimName for U59

§

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

source§

impl DimName for U60

§

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

source§

impl DimName for U61

§

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

source§

impl DimName for U62

§

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

source§

impl DimName for U63

§

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

source§

impl DimName for U64

§

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

source§

impl DimName for U65

§

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

source§

impl DimName for U66

§

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

source§

impl DimName for U67

§

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

source§

impl DimName for U68

§

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

source§

impl DimName for U69

§

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

source§

impl DimName for U70

§

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

source§

impl DimName for U71

§

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

source§

impl DimName for U72

§

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

source§

impl DimName for U73

§

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

source§

impl DimName for U74

§

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

source§

impl DimName for U75

§

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

source§

impl DimName for U76

§

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

source§

impl DimName for U77

§

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

source§

impl DimName for U78

§

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

source§

impl DimName for U79

§

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

source§

impl DimName for U80

§

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

source§

impl DimName for U81

§

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

source§

impl DimName for U82

§

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

source§

impl DimName for U83

§

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

source§

impl DimName for U84

§

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

source§

impl DimName for U85

§

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

source§

impl DimName for U86

§

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

source§

impl DimName for U87

§

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

source§

impl DimName for U88

§

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

source§

impl DimName for U89

§

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

source§

impl DimName for U90

§

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

source§

impl DimName for U91

§

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

source§

impl DimName for U92

§

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

source§

impl DimName for U93

§

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

source§

impl DimName for U94

§

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

source§

impl DimName for U95

§

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

source§

impl DimName for U96

§

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

source§

impl DimName for U97

§

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

source§

impl DimName for U98

§

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

source§

impl DimName for U99

§

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

source§

impl DimName for U100

§

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

source§

impl DimName for U101

§

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

source§

impl DimName for U102

§

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

source§

impl DimName for U103

§

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

source§

impl DimName for U104

§

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

source§

impl DimName for U105

§

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

source§

impl DimName for U106

§

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

source§

impl DimName for U107

§

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

source§

impl DimName for U108

§

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

source§

impl DimName for U109

§

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

source§

impl DimName for U110

§

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

source§

impl DimName for U111

§

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

source§

impl DimName for U112

§

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

source§

impl DimName for U113

§

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

source§

impl DimName for U114

§

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

source§

impl DimName for U115

§

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

source§

impl DimName for U116

§

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

source§

impl DimName for U117

§

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

source§

impl DimName for U118

§

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

source§

impl DimName for U119

§

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

source§

impl DimName for U120

§

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

source§

impl DimName for U121

§

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

source§

impl DimName for U122

§

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

source§

impl DimName for U123

§

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

source§

impl DimName for U124

§

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

source§

impl DimName for U125

§

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

source§

impl DimName for U126

§

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

source§

impl DimName for U127

§

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