[−][src]Trait na::base::dimension::NamedDim

pub trait NamedDim: Any + Unsigned where
    <Self::Name as DimName>::Value == Self, {
    type Name: DimName;
}

Associated Types

type Name: DimName

Loading content...

Implementations on Foreign Types

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>[src]

type Name = U120

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>[src]

type Name = U35

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>[src]

type Name = U66

impl NamedDim for UInt<UInt<UTerm, B1>, B0>[src]

type Name = U2

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>[src]

type Name = U111

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>[src]

type Name = U126

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>[src]

type Name = U67

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>[src]

type Name = U33

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>[src]

type Name = U108

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>[src]

type Name = U92

impl NamedDim for UInt<UInt<UInt<UTerm, B1>, B0>, B1>[src]

type Name = U5

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>[src]

type Name = U26

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>[src]

type Name = U103

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>[src]

type Name = U38

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>[src]

type Name = U60

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>[src]

type Name = U61

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>[src]

type Name = U54

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>[src]

type Name = U63

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>[src]

type Name = U23

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>[src]

type Name = U9

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>[src]

type Name = U22

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>[src]

type Name = U91

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>[src]

type Name = U110

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>[src]

type Name = U40

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>[src]

type Name = U58

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>[src]

type Name = U95

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>[src]

type Name = U109

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

type Name = UInt<U, B>

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>[src]

type Name = U16

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>[src]

type Name = U31

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>[src]

type Name = U93

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>[src]

type Name = U36

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>[src]

type Name = U28

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>[src]

type Name = U12

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>[src]

type Name = U39

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>[src]

type Name = U55

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>[src]

type Name = U18

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>[src]

type Name = U46

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>[src]

type Name = U122

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>[src]

type Name = U104

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>[src]

type Name = U43

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>[src]

type Name = U77

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>[src]

type Name = U86

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>[src]

type Name = U34

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>[src]

type Name = U82

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>[src]

type Name = U117

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>[src]

type Name = U15

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>[src]

type Name = U97

impl NamedDim for UInt<UInt<UInt<UTerm, B1>, B1>, B1>[src]

type Name = U7

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>[src]

type Name = U56

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>[src]

type Name = U24

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>[src]

type Name = U8

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>[src]

type Name = U50

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>[src]

type Name = U90

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>[src]

type Name = U29

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>[src]

type Name = U70

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>[src]

type Name = U81

impl NamedDim for UTerm[src]

type Name = U0

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>[src]

type Name = U62

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>[src]

type Name = U89

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>[src]

type Name = U83

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>[src]

type Name = U87

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>[src]

type Name = U106

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>[src]

type Name = U20

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>[src]

type Name = U118

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>[src]

type Name = U57

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>[src]

type Name = U85

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>[src]

type Name = U102

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>[src]

type Name = U25

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>[src]

type Name = U42

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>[src]

type Name = U21

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>[src]

type Name = U72

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>[src]

type Name = U69

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

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

impl NamedDim for UInt<UTerm, B1>[src]

type Name = U1

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>[src]

type Name = U48

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>[src]

type Name = U119

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>[src]

type Name = U79

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>[src]

type Name = U59

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>[src]

type Name = U78

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>[src]

type Name = U75

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>[src]

type Name = U94

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>[src]

type Name = U47

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>[src]

type Name = U14

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>[src]

type Name = U51

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>[src]

type Name = U121

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>[src]

type Name = U115

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>[src]

type Name = U127

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>[src]

type Name = U125

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>[src]

type Name = U64

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>[src]

type Name = U53

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>[src]

type Name = U37

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>[src]

type Name = U13

impl NamedDim for UInt<UInt<UInt<UTerm, B1>, B1>, B0>[src]

type Name = U6

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>[src]

type Name = U17

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>[src]

type Name = U100

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>[src]

type Name = U88

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>[src]

type Name = U99

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>[src]

type Name = U52

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>[src]

type Name = U116

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>[src]

type Name = U112

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>[src]

type Name = U98

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>[src]

type Name = U123

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>[src]

type Name = U11

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>[src]

type Name = U96

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>[src]

type Name = U114

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>[src]

type Name = U76

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>[src]

type Name = U101

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>[src]

type Name = U44

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>[src]

type Name = U19

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>[src]

type Name = U45

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>[src]

type Name = U65

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>[src]

type Name = U68

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>[src]

type Name = U49

impl NamedDim for UInt<UInt<UTerm, B1>, B1>[src]

type Name = U3

impl NamedDim for UInt<UInt<UInt<UTerm, B1>, B0>, B0>[src]

type Name = U4

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>[src]

type Name = U105

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>[src]

type Name = U73

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>[src]

type Name = U124

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>[src]

type Name = U32

impl NamedDim for UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>[src]

type Name = U10

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>[src]

type Name = U84

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>[src]

type Name = U107

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>[src]

type Name = U71

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>[src]

type Name = U113

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>[src]

type Name = U74

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>[src]

type Name = U80

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>[src]

type Name = U30

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>[src]

type Name = U41

impl NamedDim for UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>[src]

type Name = U27

Loading content...

Implementors

Loading content...