units-defs-2.1.0.1: Definitions for use with the units package

Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Dimensions.SI

Description

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 Source #

Constructors

Length 
Instances
Dimension Length Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Length :: [Factor Type] #

type DimFactorsOf Length Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf Length = F Length One ': ([] :: [Factor Type])
type DefaultUnitOfDim Length Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Length = Meter

data Mass Source #

Constructors

Mass 
Instances
Dimension Mass Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Mass :: [Factor Type] #

type DimFactorsOf Mass Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf Mass = F Mass One ': ([] :: [Factor Type])
type DefaultUnitOfDim Mass Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Mass = Kilo :@ Gram

data Time Source #

Constructors

Time 
Instances
Dimension Time Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Time :: [Factor Type] #

type DimFactorsOf Time Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf Time = F Time One ': ([] :: [Factor Type])
type DefaultUnitOfDim Time Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Time = Second

data Current Source #

Constructors

Current 
Instances
Dimension Current Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Current :: [Factor Type] #

type DimFactorsOf Current Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf Current = F Current One ': ([] :: [Factor Type])
type DefaultUnitOfDim Current Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Current = Ampere

data Temperature Source #

Constructors

Temperature 
Instances
Dimension Temperature Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf Temperature :: [Factor Type] #

type DimFactorsOf Temperature Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf Temperature = F Temperature One ': ([] :: [Factor Type])
type DefaultUnitOfDim Temperature Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim Temperature = Kelvin

data AmountOfSubstance Source #

Constructors

AmountOfSubstance 
Instances
Dimension AmountOfSubstance Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf AmountOfSubstance :: [Factor Type] #

type DimFactorsOf AmountOfSubstance Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf AmountOfSubstance = F AmountOfSubstance One ': ([] :: [Factor Type])
type DefaultUnitOfDim AmountOfSubstance Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim AmountOfSubstance = Mole

data LuminousIntensity Source #

Constructors

LuminousIntensity 
Instances
Dimension LuminousIntensity Source # 
Instance details

Defined in Data.Dimensions.SI

Associated Types

type DimFactorsOf LuminousIntensity :: [Factor Type] #

type DimFactorsOf LuminousIntensity Source # 
Instance details

Defined in Data.Dimensions.SI

type DimFactorsOf LuminousIntensity = F LuminousIntensity One ': ([] :: [Factor Type])
type DefaultUnitOfDim LuminousIntensity Source # 
Instance details

Defined in Data.Metrology.SI.Mono

type DefaultUnitOfDim LuminousIntensity = Lumen

type Area = Length :^ Two Source #

type Volume = Length :^ Three Source #

type Velocity = Length :/ Time Source #

type Acceleration = Velocity :/ Time Source #

type Wavenumber = Length :^ MOne Source #

type Density = Mass :/ Volume Source #

type SurfaceDensity = Mass :/ Area Source #

type SpecificVolume = Volume :/ Mass Source #

type CurrentDensity = Current :/ Area Source #

type MagneticStrength = Current :/ Length Source #

type Concentration = AmountOfSubstance :/ Volume Source #

type Luminance = LuminousIntensity :/ Area Source #

type Frequency = Time :^ MOne Source #

type Force = Mass :* Acceleration Source #

type Pressure = Force :/ Area Source #

type Energy = Force :* Length Source #

type Power = Energy :/ Time Source #

type Charge = Current :* Time Source #

type ElectricPotential = Power :/ Current Source #

type Capacitance = Charge :/ ElectricPotential Source #

type Resistance = ElectricPotential :/ Current Source #

type Conductance = Current :/ ElectricPotential Source #

type MagneticFlux = ElectricPotential :* Time Source #

type MagneticFluxDensity = MagneticFlux :/ Area Source #

type Inductance = MagneticFlux :/ Current Source #

type LuminousFlux = LuminousIntensity Source #

type Illuminance = LuminousIntensity :/ Area Source #

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

type CatalyticActivity = AmountOfSubstance :/ Time Source #

type Momentum = Mass :* Velocity Source #