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

Index - T

TailNumeric.Type.List, Numeric.TypedList, Numeric.Dimensions
tailNumeric.TypedList
TakeNumeric.Type.List, Numeric.TypedList, Numeric.Dimensions
takeNumeric.TypedList
timesDimNumeric.Dim, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
tListNumeric.TypedList, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
toEvidenceNumeric.Type.Evidence, Numeric.Dimensions
toEvidence'Numeric.Type.Evidence, Numeric.Dimensions
toStrictNumeric.Tuple
totalDimNumeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
totalDim'Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
Tuple 
1 (Type/Class)Numeric.Tuple.Strict, Numeric.Tuple
2 (Type/Class)Numeric.Tuple.Lazy
TypedListNumeric.TypedList, Numeric.Tuple.Strict, Numeric.Tuple.Lazy, Numeric.Tuple, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
TypeList 
1 (Type/Class)Numeric.TypedList, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
2 (Data Constructor)Numeric.TypedList, Numeric.Tuple.Strict, Numeric.Tuple.Lazy, Numeric.Tuple, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
typesNumeric.TypedList, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions