Expand description
Traits and tags for identifying the dimension of all algebraic entities.
Structs§
Constants§
- U0
- The constant dimension 0 .
- U1
- The constant dimension 1.
- U2
- The constant dimension 2 .
- U3
- The constant dimension 3 .
- U4
- The constant dimension 4 .
- U5
- The constant dimension 5 .
- U6
- The constant dimension 6 .
- U7
- The constant dimension 7 .
- U8
- The constant dimension 8 .
- U9
- The constant dimension 9 .
- U10
- The constant dimension 10 .
- U11
- The constant dimension 11 .
- U12
- The constant dimension 12 .
- U13
- The constant dimension 13 .
- U14
- The constant dimension 14 .
- U15
- The constant dimension 15 .
- U16
- The constant dimension 16 .
- U17
- The constant dimension 17 .
- U18
- The constant dimension 18 .
- U19
- The constant dimension 19 .
- U20
- The constant dimension 20 .
- U21
- The constant dimension 21 .
- U22
- The constant dimension 22 .
- U23
- The constant dimension 23 .
- U24
- The constant dimension 24 .
- U25
- The constant dimension 25 .
- U26
- The constant dimension 26 .
- U27
- The constant dimension 27 .
- U28
- The constant dimension 28 .
- U29
- The constant dimension 29 .
- U30
- The constant dimension 30 .
- U31
- The constant dimension 31 .
- U32
- The constant dimension 32 .
- U33
- The constant dimension 33 .
- U34
- The constant dimension 34 .
- U35
- The constant dimension 35 .
- U36
- The constant dimension 36 .
- U37
- The constant dimension 37 .
- U38
- The constant dimension 38 .
- U39
- The constant dimension 39 .
- U40
- The constant dimension 40 .
- U41
- The constant dimension 41 .
- U42
- The constant dimension 42 .
- U43
- The constant dimension 43 .
- U44
- The constant dimension 44 .
- U45
- The constant dimension 45 .
- U46
- The constant dimension 46 .
- U47
- The constant dimension 47 .
- U48
- The constant dimension 48 .
- U49
- The constant dimension 49 .
- U50
- The constant dimension 50 .
- U51
- The constant dimension 51 .
- U52
- The constant dimension 52 .
- U53
- The constant dimension 53 .
- U54
- The constant dimension 54 .
- U55
- The constant dimension 55 .
- U56
- The constant dimension 56 .
- U57
- The constant dimension 57 .
- U58
- The constant dimension 58 .
- U59
- The constant dimension 59 .
- U60
- The constant dimension 60 .
- U61
- The constant dimension 61 .
- U62
- The constant dimension 62 .
- U63
- The constant dimension 63 .
- U64
- The constant dimension 64 .
- U65
- The constant dimension 65 .
- U66
- The constant dimension 66 .
- U67
- The constant dimension 67 .
- U68
- The constant dimension 68 .
- U69
- The constant dimension 69 .
- U70
- The constant dimension 70 .
- U71
- The constant dimension 71 .
- U72
- The constant dimension 72 .
- U73
- The constant dimension 73 .
- U74
- The constant dimension 74 .
- U75
- The constant dimension 75 .
- U76
- The constant dimension 76 .
- U77
- The constant dimension 77 .
- U78
- The constant dimension 78 .
- U79
- The constant dimension 79 .
- U80
- The constant dimension 80 .
- U81
- The constant dimension 81 .
- U82
- The constant dimension 82 .
- U83
- The constant dimension 83 .
- U84
- The constant dimension 84 .
- U85
- The constant dimension 85 .
- U86
- The constant dimension 86 .
- U87
- The constant dimension 87 .
- U88
- The constant dimension 88 .
- U89
- The constant dimension 89 .
- U90
- The constant dimension 90 .
- U91
- The constant dimension 91 .
- U92
- The constant dimension 92 .
- U93
- The constant dimension 93 .
- U94
- The constant dimension 94 .
- U95
- The constant dimension 95 .
- U96
- The constant dimension 96 .
- U97
- The constant dimension 97 .
- U98
- The constant dimension 98 .
- U99
- The constant dimension 99 .
- U100
- The constant dimension 100 .
- U101
- The constant dimension 101 .
- U102
- The constant dimension 102 .
- U103
- The constant dimension 103 .
- U104
- The constant dimension 104 .
- U105
- The constant dimension 105 .
- U106
- The constant dimension 106 .
- U107
- The constant dimension 107 .
- U108
- The constant dimension 108 .
- U109
- The constant dimension 109 .
- U110
- The constant dimension 110 .
- U111
- The constant dimension 111 .
- U112
- The constant dimension 112 .
- U113
- The constant dimension 113 .
- U114
- The constant dimension 114 .
- U115
- The constant dimension 115 .
- U116
- The constant dimension 116 .
- U117
- The constant dimension 117 .
- U118
- The constant dimension 118 .
- U119
- The constant dimension 119 .
- U120
- The constant dimension 120 .
- U121
- The constant dimension 121 .
- U122
- The constant dimension 122 .
- U123
- The constant dimension 123 .
- U124
- The constant dimension 124 .
- U125
- The constant dimension 125 .
- U126
- The constant dimension 126 .
- U127
- The constant dimension 127 .
Traits§
- Dim
- Trait implemented by any type that can be used as a dimension. This includes type-level
integers and
Dyn(for dimensions not known at compile-time). - DimAdd
- DimDiv
- DimMax
- DimMin
- DimMul
- DimName
- Trait implemented exclusively by type-level integers.
- DimName
Add - DimName
Div - DimName
Max - DimName
Min - DimName
Mul - DimName
Sub - DimSub
- IsDynamic
- Trait implemented by
Dyn. - IsNot
Static One - Trait implemented by
Dynand type-level integers different fromU1. - ToConst
- ToTypenum
Type Aliases§
- DimDiff
- DimMaximum
- DimMinimum
- DimName
Diff - DimName
Maximum - DimName
Minimum - DimName
Prod - DimName
Quot - DimName
Sum - DimProd
- DimQuot
- DimSum
- Dynamic
Deprecated - U0
- U1
- U2
- U3
- U4
- U5
- U6
- U7
- U8
- U9
- U10
- U11
- U12
- U13
- U14
- U15
- U16
- U17
- U18
- U19
- U20
- U21
- U22
- U23
- U24
- U25
- U26
- U27
- U28
- U29
- U30
- U31
- U32
- U33
- U34
- U35
- U36
- U37
- U38
- U39
- U40
- U41
- U42
- U43
- U44
- U45
- U46
- U47
- U48
- U49
- U50
- U51
- U52
- U53
- U54
- U55
- U56
- U57
- U58
- U59
- U60
- U61
- U62
- U63
- U64
- U65
- U66
- U67
- U68
- U69
- U70
- U71
- U72
- U73
- U74
- U75
- U76
- U77
- U78
- U79
- U80
- U81
- U82
- U83
- U84
- U85
- U86
- U87
- U88
- U89
- U90
- U91
- U92
- U93
- U94
- U95
- U96
- U97
- U98
- U99
- U100
- U101
- U102
- U103
- U104
- U105
- U106
- U107
- U108
- U109
- U110
- U111
- U112
- U113
- U114
- U115
- U116
- U117
- U118
- U119
- U120
- U121
- U122
- U123
- U124
- U125
- U126
- U127