Index - K
KnownDim | Numeric.TypeLits, Numeric.Dimensions.Dim, Numeric.Dimensions |
KnownDims | Numeric.TypeLits, Numeric.Dimensions.Dim, Numeric.Dimensions |
KnownNat | Numeric.TypeLits |
KnownSymbol | Numeric.TypeLits |
dimensions-0.3.2.0: Safe type-level dimensionality for multidimensional data.