Data.Dimensions.SI

This module defines SI dimensions. The names of SI dimensions conform to http://www.bipm.org/utils/common/documents/jcgm/JCGM_200_2012.pdf.

Documentation

data Length

Constructors

Length

Instances

Dimension Length

type DimFactorsOf Length = (:) (Factor *) (F * Length One) ([] (Factor *))

type DefaultUnitOfDim Length = Meter

data Mass

Constructors

Mass

Instances

Dimension Mass

type DimFactorsOf Mass = (:) (Factor *) (F * Mass One) ([] (Factor *))

type DefaultUnitOfDim Mass = (:@) Kilo Gram

data Time

Constructors

Time

Instances

Dimension Time

type DimFactorsOf Time = (:) (Factor *) (F * Time One) ([] (Factor *))

type DefaultUnitOfDim Time = Second

data Current

Constructors

Current

Instances

Dimension Current

type DimFactorsOf Current = (:) (Factor *) (F * Current One) ([] (Factor *))

type DefaultUnitOfDim Current = Ampere

data Temperature

Constructors

Temperature

Instances

Dimension Temperature

type DimFactorsOf Temperature = (:) (Factor *) (F * Temperature One) ([] (Factor *))

type DefaultUnitOfDim Temperature = Kelvin

data AmountOfSubstance

Constructors

AmountOfSubstance

Instances

Dimension AmountOfSubstance

type DimFactorsOf AmountOfSubstance = (:) (Factor *) (F * AmountOfSubstance One) ([] (Factor *))

type DefaultUnitOfDim AmountOfSubstance = Mole

data LuminousIntensity

Constructors

LuminousIntensity

Instances

Dimension LuminousIntensity

type DimFactorsOf LuminousIntensity = (:) (Factor *) (F * LuminousIntensity One) ([] (Factor *))

type DefaultUnitOfDim LuminousIntensity = Lumen

type Area = Length :^ Two

type Volume = Length :^ Three

type Velocity = Length :/ Time

type Acceleration = Velocity :/ Time

type Wavenumber = Length :^ MOne

type Density = Mass :/ Volume

type SurfaceDensity = Mass :/ Area

type SpecificVolume = Volume :/ Mass

type CurrentDensity = Current :/ Area

type MagneticStrength = Current :/ Length

type Concentration = AmountOfSubstance :/ Volume

type Luminance = LuminousIntensity :/ Area

type Frequency = Time :^ MOne

type Force = Mass :* Acceleration

type Pressure = Force :/ Area

type Energy = Force :* Length

type Power = Energy :/ Time

type Charge = Current :* Time

type ElectricPotential = Power :/ Current

type Capacitance = Charge :/ ElectricPotential

type Resistance = ElectricPotential :/ Current

type Conductance = Current :/ ElectricPotential

type MagneticFlux = ElectricPotential :* Time

type MagneticFluxDensity = MagneticFlux :/ Area

type Inductance = MagneticFlux :/ Current

type LuminousFlux = LuminousIntensity

type Illuminance = LuminousIntensity :/ Area

type Kerma = Area :/ (Time :^ Two)

type CatalyticActivity = AmountOfSubstance :/ Time

type Momentum = Mass :* Velocity