Numeric.Units.Dimensional.Dimensions.TypeLevel

# Kind of Type-Level Dimensions

data Dimension

# Dimension Arithmetic

type family (a :: Dimension) * (b :: Dimension) where ...

type family (a :: Dimension) / (d :: Dimension) where ...

type family (d :: Dimension) ^ (x :: TypeInt) where ...

type Recip d

type family Root (d :: Dimension) (x :: TypeInt) where ...

# Synonyms for Base Dimensions

type DOne

type DLength

type DMass

type DTime

type DElectricCurrent

type DThermodynamicTemperature

type DAmountOfSubstance

type DLuminousIntensity

# Conversion to Term Level

type KnownDimension d