Idx | Numeric.Dimensions.Idx, Numeric.Dimensions |
inferConcat | Numeric.Dimensions.List, Numeric.Dimensions |
inferConcatDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferConcatFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferDimFiniteList | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferDimKnownDims | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferDropNDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferDropNFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferInitDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferInitFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferKnownLength | Numeric.Dimensions.List, Numeric.Dimensions |
inferMinusKnownDim | Numeric.TypeLits |
inferMinusKnownDimM | Numeric.TypeLits |
inferPlusKnownDim | Numeric.TypeLits |
inferPrefix | Numeric.Dimensions.List, Numeric.Dimensions |
inferPrefixDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferPrefixFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferReverseDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferReverseFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferSnocDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferSnocFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferSuffix | Numeric.Dimensions.List, Numeric.Dimensions |
inferSuffixDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferSuffixFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferTailDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferTailFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferTakeNDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferTakeNFiniteList | Numeric.Dimensions.List, Numeric.Dimensions |
inferTimesKnownDim | Numeric.TypeLits |
inferUnConsDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
inferUnSnocDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |
Init | Numeric.Dimensions.List, Numeric.Dimensions |
inSpaceOf | Numeric.Dimensions.Dim, Numeric.Dimensions |
intNatVal | Numeric.TypeLits |
IsPrefix | Numeric.Dimensions.List, Numeric.Dimensions |
IsSuffix | Numeric.Dimensions.List, Numeric.Dimensions |