dimensions-0.3.2.0: Safe type-level dimensionality for multidimensional data.

Index - S

sameDimNumeric.Dimensions.Dim, Numeric.Dimensions
sameNatNumeric.TypeLits
sameSymbolNumeric.TypeLits
ShowTypeNumeric.TypeLits
SnocNumeric.Dimensions.List, Numeric.Dimensions
SnocDimensionsNumeric.Dimensions.Dim, Numeric.Dimensions
SomeDim 
1 (Type/Class)Numeric.Dimensions.Dim, Numeric.Dimensions
2 (Data Constructor)Numeric.Dimensions.Dim, Numeric.Dimensions
SomeDims 
1 (Type/Class)Numeric.Dimensions.Dim, Numeric.Dimensions
2 (Data Constructor)Numeric.Dimensions.Dim, Numeric.Dimensions
someDimsValNumeric.Dimensions.Dim, Numeric.Dimensions
someDimValNumeric.Dimensions.Dim, Numeric.Dimensions
SomeIntNat 
1 (Type/Class)Numeric.TypeLits
2 (Data Constructor)Numeric.TypeLits
someIntNatValNumeric.TypeLits
SomeNat 
1 (Data Constructor)Numeric.TypeLits
2 (Type/Class)Numeric.TypeLits
someNatValNumeric.TypeLits
SomeSymbol 
1 (Data Constructor)Numeric.TypeLits
2 (Type/Class)Numeric.TypeLits
someSymbolValNumeric.TypeLits
splitIdxNumeric.Dimensions.Idx, Numeric.Dimensions
SuffixNumeric.Dimensions.List, Numeric.Dimensions
sumEvsNumeric.TypeLits, Numeric.Dimensions
SymbolNumeric.TypeLits
symbolValNumeric.TypeLits
symbolVal'Numeric.TypeLits