XDim | |
1 (Type/Class) | Numeric.Dimensions.XDim |
2 (Data Constructor) | Numeric.Dimensions.XDim |
xdim | Numeric.Dimensions.XDim |
XDimensions | Numeric.Dimensions.XDim |
xDimVal | Numeric.Dimensions.XDim |
XN | |
1 (Type/Class) | Numeric.TypeLits, Numeric.Dimensions.Dim, Numeric.Dimensions |
2 (Data Constructor) | Numeric.TypeLits |
XNat | Numeric.TypeLits, Numeric.Dimensions.Dim, Numeric.Dimensions |