Expand description
Traits and tags for identifying the dimension of all algebraic entities.
Structs§
Traits§
- Dim
- Trait implemented by any type that can be used as a dimension. This includes type-level
integers and
Dynamic
(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
Dynamic
. - IsNot
Static One - Trait implemented by
Dynamic
and 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
- 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