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.Units.SI

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/.

Some additional units were added based on this link: "Non-SI units accepted for use with the SI, and units based on fundamental constants".

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

This module exports both American spellings and British spellings of units, using pattern synonyms to get the British spellings of data constructors.

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

type Metre = Meter Source

pattern Metre :: Meter Source

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

type Gramme = Gram Source

pattern Gramme :: Gram Source

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

Derived SI unit

Constructors

Minute

Instances

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

data Hour Source

Derived SI unit

Constructors

Hour

Instances

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

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

type Litre = Liter Source

pattern Litre :: Liter Source

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

data Hectare Source

Derived SI unit

Constructors

Hectare

Instances

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

data Ton Source

Derived SI unit

Constructors

Ton

Instances

Show Ton
Unit Ton
type UnitFactorsOf Ton = If [Factor ] (IsCanonical Ton) ((:) (Factor ) (F * Ton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton = (:@) Kilo Gram

type Tonne = Ton Source

pattern Tonne :: Ton Source

siUnits :: [Name] Source

A list of the names of all unit types. Useful with makeQuasiQuoter.