Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Metrology.SI.Units

Description

This module exports unit definitions according to the SI system of units. The definitions were taken from here: http://www.bipm.org/en/si/.

There is one deviation from the definition at that site: To work better with prefixes, the unit of mass is Gram.

Synopsis

Documentation

data Meter Source

Constructors

Meter

Instances

Show Meter
Unit Meter
type UnitFactorsOf Meter = If [Factor ] (IsCanonical Meter) ((:) (Factor ) (F * Meter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter = Length
type BaseUnit Meter = Canonical

data Gram Source

Constructors

Gram

Instances

Show Gram
Unit Gram
type UnitFactorsOf Gram = If [Factor ] (IsCanonical Gram) ((:) (Factor ) (F * Gram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram = Mass
type BaseUnit Gram = Canonical

data Second Source

Constructors

Second

Instances

Show Second
Unit Second
type UnitFactorsOf Second = If [Factor ] (IsCanonical Second) ((:) (Factor ) (F * Second One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second = Time
type BaseUnit Second = Canonical

data Ampere Source

Constructors

Ampere

Instances

Show Ampere
Unit Ampere
type UnitFactorsOf Ampere = If [Factor ] (IsCanonical Ampere) ((:) (Factor ) (F * Ampere One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ampere))
type DimOfUnit Ampere = Current
type BaseUnit Ampere = Canonical

data Kelvin Source

Constructors

Kelvin

Instances

Show Kelvin
Unit Kelvin
type UnitFactorsOf Kelvin = If [Factor ] (IsCanonical Kelvin) ((:) (Factor ) (F * Kelvin One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Kelvin))
type DimOfUnit Kelvin = Temperature
type BaseUnit Kelvin = Canonical

data Mole Source

Constructors

Mole

Instances

Show Mole
Unit Mole
type UnitFactorsOf Mole = If [Factor ] (IsCanonical Mole) ((:) (Factor ) (F * Mole One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mole))
type DimOfUnit Mole = AmountOfSubstance
type BaseUnit Mole = Canonical

data Candela Source

Constructors

Candela

Instances

Show Candela
Unit Candela
type UnitFactorsOf Candela = If [Factor ] (IsCanonical Candela) ((:) (Factor ) (F * Candela One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Candela))
type DimOfUnit Candela = LuminousIntensity
type BaseUnit Candela = Canonical

data Hertz Source

Constructors

Hertz

Instances

Show Hertz
Unit Hertz
type UnitFactorsOf Hertz = If [Factor ] (IsCanonical Hertz) ((:) (Factor ) (F * Hertz One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hertz))
type DimOfUnit Hertz = DimOfUnit (BaseUnit Hertz)
type BaseUnit Hertz = (:/) Number Second

data Liter Source

This is not in the SI standard, but is used widely.

Constructors

Liter

Instances

Show Liter
Unit Liter
type UnitFactorsOf Liter = If [Factor ] (IsCanonical Liter) ((:) (Factor ) (F * Liter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Liter))
type DimOfUnit Liter = DimOfUnit (BaseUnit Liter)
type BaseUnit Liter = (:^) ((:@) Centi Meter) Three

data Newton Source

Constructors

Newton

Instances

Show Newton
Unit Newton
type UnitFactorsOf Newton = If [Factor ] (IsCanonical Newton) ((:) (Factor ) (F * Newton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Newton))
type DimOfUnit Newton = DimOfUnit (BaseUnit Newton)
type BaseUnit Newton = (:/) ((:*) Gram Meter) ((:^) Second Two)

data Pascal Source

Constructors

Pascal

Instances

Show Pascal
Unit Pascal
type UnitFactorsOf Pascal = If [Factor ] (IsCanonical Pascal) ((:) (Factor ) (F * Pascal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pascal))
type DimOfUnit Pascal = DimOfUnit (BaseUnit Pascal)
type BaseUnit Pascal = (:/) Newton ((:^) Meter Two)

data Joule Source

Constructors

Joule

Instances

Show Joule
Unit Joule
type UnitFactorsOf Joule = If [Factor ] (IsCanonical Joule) ((:) (Factor ) (F * Joule One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Joule))
type DimOfUnit Joule = DimOfUnit (BaseUnit Joule)
type BaseUnit Joule = (:*) Newton Meter

data Watt Source

Constructors

Watt

Instances

Show Watt
Unit Watt
type UnitFactorsOf Watt = If [Factor ] (IsCanonical Watt) ((:) (Factor ) (F * Watt One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Watt))
type DimOfUnit Watt = DimOfUnit (BaseUnit Watt)
type BaseUnit Watt = (:/) Joule Second

data Coulomb Source

Constructors

Coulomb

Instances

Show Coulomb
Unit Coulomb
type UnitFactorsOf Coulomb = If [Factor ] (IsCanonical Coulomb) ((:) (Factor ) (F * Coulomb One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Coulomb))
type DimOfUnit Coulomb = DimOfUnit (BaseUnit Coulomb)
type BaseUnit Coulomb = (:*) Ampere Second

data Volt Source

Constructors

Volt

Instances

Show Volt
Unit Volt
type UnitFactorsOf Volt = If [Factor ] (IsCanonical Volt) ((:) (Factor ) (F * Volt One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Volt))
type DimOfUnit Volt = DimOfUnit (BaseUnit Volt)
type BaseUnit Volt = (:/) Watt Ampere

data Farad Source

Constructors

Farad

Instances

Show Farad
Unit Farad
type UnitFactorsOf Farad = If [Factor ] (IsCanonical Farad) ((:) (Factor ) (F * Farad One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Farad))
type DimOfUnit Farad = DimOfUnit (BaseUnit Farad)
type BaseUnit Farad = (:/) Coulomb Volt

data Ohm Source

Constructors

Ohm

Instances

Show Ohm
Unit Ohm
type UnitFactorsOf Ohm = If [Factor ] (IsCanonical Ohm) ((:) (Factor ) (F * Ohm One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ohm))
type DimOfUnit Ohm = DimOfUnit (BaseUnit Ohm)
type BaseUnit Ohm = (:/) Volt Ampere

data Siemens Source

Constructors

Siemens

Instances

Show Siemens
Unit Siemens
type UnitFactorsOf Siemens = If [Factor ] (IsCanonical Siemens) ((:) (Factor ) (F * Siemens One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Siemens))
type DimOfUnit Siemens = DimOfUnit (BaseUnit Siemens)
type BaseUnit Siemens = (:/) Ampere Volt

data Weber Source

Constructors

Weber

Instances

Show Weber
Unit Weber
type UnitFactorsOf Weber = If [Factor ] (IsCanonical Weber) ((:) (Factor ) (F * Weber One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Weber))
type DimOfUnit Weber = DimOfUnit (BaseUnit Weber)
type BaseUnit Weber = (:*) Volt Second

data Tesla Source

Constructors

Tesla

Instances

Show Tesla
Unit Tesla
type UnitFactorsOf Tesla = If [Factor ] (IsCanonical Tesla) ((:) (Factor ) (F * Tesla One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Tesla))
type DimOfUnit Tesla = DimOfUnit (BaseUnit Tesla)
type BaseUnit Tesla = (:/) Weber ((:^) Meter Two)

data Henry Source

Constructors

Henry

Instances

Show Henry
Unit Henry
type UnitFactorsOf Henry = If [Factor ] (IsCanonical Henry) ((:) (Factor ) (F * Henry One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Henry))
type DimOfUnit Henry = DimOfUnit (BaseUnit Henry)
type BaseUnit Henry = (:/) Weber Ampere

data Lumen Source

Constructors

Lumen

Instances

Show Lumen
Unit Lumen
type UnitFactorsOf Lumen = If [Factor ] (IsCanonical Lumen) ((:) (Factor ) (F * Lumen One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Lumen))
type DimOfUnit Lumen = DimOfUnit (BaseUnit Lumen)
type BaseUnit Lumen = Candela

data Lux Source

Constructors

Lux

Instances

Show Lux
Unit Lux
type UnitFactorsOf Lux = If [Factor ] (IsCanonical Lux) ((:) (Factor ) (F * Lux One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Lux))
type DimOfUnit Lux = DimOfUnit (BaseUnit Lux)
type BaseUnit Lux = (:/) Lumen ((:^) Meter Two)

data Becquerel Source

Constructors

Becquerel

Instances

Show Becquerel
Unit Becquerel
type UnitFactorsOf Becquerel = If [Factor ] (IsCanonical Becquerel) ((:) (Factor ) (F * Becquerel One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Becquerel))
type DimOfUnit Becquerel = DimOfUnit (BaseUnit Becquerel)
type BaseUnit Becquerel = (:/) Number Second

data Gray Source

Constructors

Gray

Instances

Show Gray
Unit Gray
type UnitFactorsOf Gray = If [Factor ] (IsCanonical Gray) ((:) (Factor ) (F * Gray One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gray))
type DimOfUnit Gray = DimOfUnit (BaseUnit Gray)
type BaseUnit Gray = (:/) ((:^) Meter Two) ((:^) Second Two)

data Sievert Source

Constructors

Sievert

Instances

Show Sievert
Unit Sievert
type UnitFactorsOf Sievert = If [Factor ] (IsCanonical Sievert) ((:) (Factor ) (F * Sievert One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Sievert))
type DimOfUnit Sievert = DimOfUnit (BaseUnit Sievert)
type BaseUnit Sievert = (:/) ((:^) Meter Two) ((:^) Second Two)

data Katal Source

Constructors

Katal

Instances

Show Katal
Unit Katal
type UnitFactorsOf Katal = If [Factor ] (IsCanonical Katal) ((:) (Factor ) (F * Katal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Katal))
type DimOfUnit Katal = DimOfUnit (BaseUnit Katal)
type BaseUnit Katal = (:/) Mole Second