Numeric.Units.Dimensional.Dimensions.TypeLevel

Kind of Type-Level Dimensions

data Dimension

Dimension Arithmetic

type family a * b

type family a / d

type family d ^ x

type Recip d

type family Root d x

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