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

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Length :: [Factor Type]

type DimFactorsOf Length

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim Length

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Length = Meter

data Mass

Constructors

Mass

Instances

Dimension Mass

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Mass :: [Factor Type]

type DimFactorsOf Mass

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim Mass

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Mass = Kilo :@ Gram

data Time

Constructors

Time

Instances

Dimension Time

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Time :: [Factor Type]

type DimFactorsOf Time

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim Time

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Time = Second

data Current

Constructors

Current

Instances

Dimension Current

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Current :: [Factor Type]

type DimFactorsOf Current

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim Current

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Current = Ampere

data Temperature

Constructors

Temperature

Instances

Dimension Temperature

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Temperature :: [Factor Type]

type DimFactorsOf Temperature

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim Temperature

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Temperature = Kelvin

data AmountOfSubstance

Constructors

AmountOfSubstance

Instances

Dimension AmountOfSubstance

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf AmountOfSubstance :: [Factor Type]

type DimFactorsOf AmountOfSubstance

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim AmountOfSubstance

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim AmountOfSubstance = Mole

data LuminousIntensity

Constructors

LuminousIntensity

Instances

Dimension LuminousIntensity

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf LuminousIntensity :: [Factor Type]

type DimFactorsOf LuminousIntensity

Defined in Data.Dimensions.SI

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

type DefaultUnitOfDim LuminousIntensity

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim LuminousIntensity = Lumen

data PlaneAngle

A plane angle is dimensionless; alternatively, it has dimension length/length. It would be wrong to divide 2 meters by 1 meter and conclude that the quantity is 2 radians or degrees. To make plane angle safe to use, we define it as a fundamental dimension.

Constructors

PlaneAngle

Instances

Dimension PlaneAngle

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf PlaneAngle :: [Factor Type]

type DimFactorsOf PlaneAngle

Defined in Data.Dimensions.SI

type DimFactorsOf PlaneAngle = F PlaneAngle One ': ([] :: [Factor Type])

type DefaultUnitOfDim PlaneAngle

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim PlaneAngle = Radian

data SolidAngle

As we did for plane angle, we must make solid angle a fundamental dimension to avoid programming mistakes.

A solid angle is a measure of the amount of the field of view from some particular point that a given object covers.

Constructors

SolidAngle

Instances

Dimension SolidAngle

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf SolidAngle :: [Factor Type]

type DimFactorsOf SolidAngle

Defined in Data.Dimensions.SI

type DimFactorsOf SolidAngle = F SolidAngle One ': ([] :: [Factor Type])

type DefaultUnitOfDim SolidAngle

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim SolidAngle = Steradian

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

type AngularVelocity = PlaneAngle :/ Time