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 Source #
Methods showsPrec :: Int -> Meter -> ShowS # show :: Meter -> String # showList :: [Meter] -> ShowS #
Unit Meter Source #
Associated Types type BaseUnit Meter :: * # type DimOfUnit Meter :: * # type UnitFactorsOf Meter :: [Factor *] # Methods conversionRatio :: Meter -> Rational # canonicalConvRatio :: Meter -> Rational
type UnitFactorsOf Meter Source #
type UnitFactorsOf Meter = If [Factor ] (IsCanonical Meter) ((:) (Factor ) (F * Meter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter Source #
type DimOfUnit Meter = Length
type BaseUnit Meter Source #
type BaseUnit Meter = Canonical

type Metre = Meter Source #

pattern Metre :: Metre Source #

data Gram Source #

Constructors

Gram

Instances

Show Gram Source #
Methods showsPrec :: Int -> Gram -> ShowS # show :: Gram -> String # showList :: [Gram] -> ShowS #
Unit Gram Source #
Associated Types type BaseUnit Gram :: * # type DimOfUnit Gram :: * # type UnitFactorsOf Gram :: [Factor *] # Methods conversionRatio :: Gram -> Rational # canonicalConvRatio :: Gram -> Rational
type UnitFactorsOf Gram Source #
type UnitFactorsOf Gram = If [Factor ] (IsCanonical Gram) ((:) (Factor ) (F * Gram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram Source #
type DimOfUnit Gram = Mass
type BaseUnit Gram Source #
type BaseUnit Gram = Canonical

type Gramme = Gram Source #

pattern Gramme :: Gramme Source #

data Second Source #

Constructors

Second

Instances

Show Second Source #
Methods showsPrec :: Int -> Second -> ShowS # show :: Second -> String # showList :: [Second] -> ShowS #
Unit Second Source #
Associated Types type BaseUnit Second :: * # type DimOfUnit Second :: * # type UnitFactorsOf Second :: [Factor *] # Methods conversionRatio :: Second -> Rational # canonicalConvRatio :: Second -> Rational
type UnitFactorsOf Second Source #
type UnitFactorsOf Second = If [Factor ] (IsCanonical Second) ((:) (Factor ) (F * Second One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second Source #
type DimOfUnit Second = Time
type BaseUnit Second Source #
type BaseUnit Second = Canonical

data Minute Source #

Derived SI unit

Constructors

Minute

Instances

Show Minute Source #
Methods showsPrec :: Int -> Minute -> ShowS # show :: Minute -> String # showList :: [Minute] -> ShowS #
Unit Minute Source #
Associated Types type BaseUnit Minute :: * # type DimOfUnit Minute :: * # type UnitFactorsOf Minute :: [Factor *] # Methods conversionRatio :: Minute -> Rational # canonicalConvRatio :: Minute -> Rational
type UnitFactorsOf Minute Source #
type UnitFactorsOf Minute = If [Factor ] (IsCanonical Minute) ((:) (Factor ) (F * Minute One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Minute))
type DimOfUnit Minute Source #
type DimOfUnit Minute = DimOfUnit (BaseUnit Minute)
type BaseUnit Minute Source #
type BaseUnit Minute = Second

data Hour Source #

Derived SI unit

Constructors

Hour

Instances

Show Hour Source #
Methods showsPrec :: Int -> Hour -> ShowS # show :: Hour -> String # showList :: [Hour] -> ShowS #
Unit Hour Source #
Associated Types type BaseUnit Hour :: * # type DimOfUnit Hour :: * # type UnitFactorsOf Hour :: [Factor *] # Methods conversionRatio :: Hour -> Rational # canonicalConvRatio :: Hour -> Rational
type UnitFactorsOf Hour Source #
type UnitFactorsOf Hour = If [Factor ] (IsCanonical Hour) ((:) (Factor ) (F * Hour One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hour))
type DimOfUnit Hour Source #
type DimOfUnit Hour = DimOfUnit (BaseUnit Hour)
type BaseUnit Hour Source #
type BaseUnit Hour = Minute

data Ampere Source #

Constructors

Ampere

Instances

Show Ampere Source #
Methods showsPrec :: Int -> Ampere -> ShowS # show :: Ampere -> String # showList :: [Ampere] -> ShowS #
Unit Ampere Source #
Associated Types type BaseUnit Ampere :: * # type DimOfUnit Ampere :: * # type UnitFactorsOf Ampere :: [Factor *] # Methods conversionRatio :: Ampere -> Rational # canonicalConvRatio :: Ampere -> Rational
type UnitFactorsOf Ampere Source #
type UnitFactorsOf Ampere = If [Factor ] (IsCanonical Ampere) ((:) (Factor ) (F * Ampere One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ampere))
type DimOfUnit Ampere Source #
type DimOfUnit Ampere = Current
type BaseUnit Ampere Source #
type BaseUnit Ampere = Canonical

data Kelvin Source #

Constructors

Kelvin

Instances

Show Kelvin Source #
Methods showsPrec :: Int -> Kelvin -> ShowS # show :: Kelvin -> String # showList :: [Kelvin] -> ShowS #
Unit Kelvin Source #
Associated Types type BaseUnit Kelvin :: * # type DimOfUnit Kelvin :: * # type UnitFactorsOf Kelvin :: [Factor *] # Methods conversionRatio :: Kelvin -> Rational # canonicalConvRatio :: Kelvin -> Rational
type UnitFactorsOf Kelvin Source #
type UnitFactorsOf Kelvin = If [Factor ] (IsCanonical Kelvin) ((:) (Factor ) (F * Kelvin One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Kelvin))
type DimOfUnit Kelvin Source #
type DimOfUnit Kelvin = Temperature
type BaseUnit Kelvin Source #
type BaseUnit Kelvin = Canonical

data Mole Source #

Constructors

Mole

Instances

Show Mole Source #
Methods showsPrec :: Int -> Mole -> ShowS # show :: Mole -> String # showList :: [Mole] -> ShowS #
Unit Mole Source #
Associated Types type BaseUnit Mole :: * # type DimOfUnit Mole :: * # type UnitFactorsOf Mole :: [Factor *] # Methods conversionRatio :: Mole -> Rational # canonicalConvRatio :: Mole -> Rational
type UnitFactorsOf Mole Source #
type UnitFactorsOf Mole = If [Factor ] (IsCanonical Mole) ((:) (Factor ) (F * Mole One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mole))
type DimOfUnit Mole Source #
type DimOfUnit Mole = AmountOfSubstance
type BaseUnit Mole Source #
type BaseUnit Mole = Canonical

data Candela Source #

Constructors

Candela

Instances

Show Candela Source #
Methods showsPrec :: Int -> Candela -> ShowS # show :: Candela -> String # showList :: [Candela] -> ShowS #
Unit Candela Source #
Associated Types type BaseUnit Candela :: * # type DimOfUnit Candela :: * # type UnitFactorsOf Candela :: [Factor *] # Methods conversionRatio :: Candela -> Rational # canonicalConvRatio :: Candela -> Rational
type UnitFactorsOf Candela Source #
type UnitFactorsOf Candela = If [Factor ] (IsCanonical Candela) ((:) (Factor ) (F * Candela One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Candela))
type DimOfUnit Candela Source #
type DimOfUnit Candela = LuminousIntensity
type BaseUnit Candela Source #
type BaseUnit Candela = Canonical

data Hertz Source #

Constructors

Hertz

Instances

Show Hertz Source #
Methods showsPrec :: Int -> Hertz -> ShowS # show :: Hertz -> String # showList :: [Hertz] -> ShowS #
Unit Hertz Source #
Associated Types type BaseUnit Hertz :: * # type DimOfUnit Hertz :: * # type UnitFactorsOf Hertz :: [Factor *] # Methods conversionRatio :: Hertz -> Rational # canonicalConvRatio :: Hertz -> Rational
type UnitFactorsOf Hertz Source #
type UnitFactorsOf Hertz = If [Factor ] (IsCanonical Hertz) ((:) (Factor ) (F * Hertz One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hertz))
type DimOfUnit Hertz Source #
type DimOfUnit Hertz = DimOfUnit (BaseUnit Hertz)
type BaseUnit Hertz Source #
type BaseUnit Hertz = (:/) Number Second

data Liter Source #

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

Constructors

Liter

Instances

Show Liter Source #
Methods showsPrec :: Int -> Liter -> ShowS # show :: Liter -> String # showList :: [Liter] -> ShowS #
Unit Liter Source #
Associated Types type BaseUnit Liter :: * # type DimOfUnit Liter :: * # type UnitFactorsOf Liter :: [Factor *] # Methods conversionRatio :: Liter -> Rational # canonicalConvRatio :: Liter -> Rational
type UnitFactorsOf Liter Source #
type UnitFactorsOf Liter = If [Factor ] (IsCanonical Liter) ((:) (Factor ) (F * Liter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Liter))
type DimOfUnit Liter Source #
type DimOfUnit Liter = DimOfUnit (BaseUnit Liter)
type BaseUnit Liter Source #
type BaseUnit Liter = (:^) ((:@) Centi Meter) Three

type Litre = Liter Source #

pattern Litre :: Litre Source #

data Newton Source #

Constructors

Newton

Instances

Show Newton Source #
Methods showsPrec :: Int -> Newton -> ShowS # show :: Newton -> String # showList :: [Newton] -> ShowS #
Unit Newton Source #
Associated Types type BaseUnit Newton :: * # type DimOfUnit Newton :: * # type UnitFactorsOf Newton :: [Factor *] # Methods conversionRatio :: Newton -> Rational # canonicalConvRatio :: Newton -> Rational
type UnitFactorsOf Newton Source #
type UnitFactorsOf Newton = If [Factor ] (IsCanonical Newton) ((:) (Factor ) (F * Newton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Newton))
type DimOfUnit Newton Source #
type DimOfUnit Newton = DimOfUnit (BaseUnit Newton)
type BaseUnit Newton Source #
type BaseUnit Newton = (:/) ((:*) Gram Meter) ((:^) Second Two)

data Pascal Source #

Constructors

Pascal

Instances

Show Pascal Source #
Methods showsPrec :: Int -> Pascal -> ShowS # show :: Pascal -> String # showList :: [Pascal] -> ShowS #
Unit Pascal Source #
Associated Types type BaseUnit Pascal :: * # type DimOfUnit Pascal :: * # type UnitFactorsOf Pascal :: [Factor *] # Methods conversionRatio :: Pascal -> Rational # canonicalConvRatio :: Pascal -> Rational
type UnitFactorsOf Pascal Source #
type UnitFactorsOf Pascal = If [Factor ] (IsCanonical Pascal) ((:) (Factor ) (F * Pascal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pascal))
type DimOfUnit Pascal Source #
type DimOfUnit Pascal = DimOfUnit (BaseUnit Pascal)
type BaseUnit Pascal Source #
type BaseUnit Pascal = (:/) Newton ((:^) Meter Two)

data Joule Source #

Constructors

Joule

Instances

Show Joule Source #
Methods showsPrec :: Int -> Joule -> ShowS # show :: Joule -> String # showList :: [Joule] -> ShowS #
Unit Joule Source #
Associated Types type BaseUnit Joule :: * # type DimOfUnit Joule :: * # type UnitFactorsOf Joule :: [Factor *] # Methods conversionRatio :: Joule -> Rational # canonicalConvRatio :: Joule -> Rational
type UnitFactorsOf Joule Source #
type UnitFactorsOf Joule = If [Factor ] (IsCanonical Joule) ((:) (Factor ) (F * Joule One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Joule))
type DimOfUnit Joule Source #
type DimOfUnit Joule = DimOfUnit (BaseUnit Joule)
type BaseUnit Joule Source #
type BaseUnit Joule = (:*) Newton Meter

data Watt Source #

Constructors

Watt

Instances

Show Watt Source #
Methods showsPrec :: Int -> Watt -> ShowS # show :: Watt -> String # showList :: [Watt] -> ShowS #
Unit Watt Source #
Associated Types type BaseUnit Watt :: * # type DimOfUnit Watt :: * # type UnitFactorsOf Watt :: [Factor *] # Methods conversionRatio :: Watt -> Rational # canonicalConvRatio :: Watt -> Rational
type UnitFactorsOf Watt Source #
type UnitFactorsOf Watt = If [Factor ] (IsCanonical Watt) ((:) (Factor ) (F * Watt One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Watt))
type DimOfUnit Watt Source #
type DimOfUnit Watt = DimOfUnit (BaseUnit Watt)
type BaseUnit Watt Source #
type BaseUnit Watt = (:/) Joule Second

data Coulomb Source #

Constructors

Coulomb

Instances

Show Coulomb Source #
Methods showsPrec :: Int -> Coulomb -> ShowS # show :: Coulomb -> String # showList :: [Coulomb] -> ShowS #
Unit Coulomb Source #
Associated Types type BaseUnit Coulomb :: * # type DimOfUnit Coulomb :: * # type UnitFactorsOf Coulomb :: [Factor *] # Methods conversionRatio :: Coulomb -> Rational # canonicalConvRatio :: Coulomb -> Rational
type UnitFactorsOf Coulomb Source #
type UnitFactorsOf Coulomb = If [Factor ] (IsCanonical Coulomb) ((:) (Factor ) (F * Coulomb One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Coulomb))
type DimOfUnit Coulomb Source #
type DimOfUnit Coulomb = DimOfUnit (BaseUnit Coulomb)
type BaseUnit Coulomb Source #
type BaseUnit Coulomb = (:*) Ampere Second

data Volt Source #

Constructors

Volt

Instances

Show Volt Source #
Methods showsPrec :: Int -> Volt -> ShowS # show :: Volt -> String # showList :: [Volt] -> ShowS #
Unit Volt Source #
Associated Types type BaseUnit Volt :: * # type DimOfUnit Volt :: * # type UnitFactorsOf Volt :: [Factor *] # Methods conversionRatio :: Volt -> Rational # canonicalConvRatio :: Volt -> Rational
type UnitFactorsOf Volt Source #
type UnitFactorsOf Volt = If [Factor ] (IsCanonical Volt) ((:) (Factor ) (F * Volt One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Volt))
type DimOfUnit Volt Source #
type DimOfUnit Volt = DimOfUnit (BaseUnit Volt)
type BaseUnit Volt Source #
type BaseUnit Volt = (:/) Watt Ampere

data Farad Source #

Constructors

Farad

Instances

Show Farad Source #
Methods showsPrec :: Int -> Farad -> ShowS # show :: Farad -> String # showList :: [Farad] -> ShowS #
Unit Farad Source #
Associated Types type BaseUnit Farad :: * # type DimOfUnit Farad :: * # type UnitFactorsOf Farad :: [Factor *] # Methods conversionRatio :: Farad -> Rational # canonicalConvRatio :: Farad -> Rational
type UnitFactorsOf Farad Source #
type UnitFactorsOf Farad = If [Factor ] (IsCanonical Farad) ((:) (Factor ) (F * Farad One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Farad))
type DimOfUnit Farad Source #
type DimOfUnit Farad = DimOfUnit (BaseUnit Farad)
type BaseUnit Farad Source #
type BaseUnit Farad = (:/) Coulomb Volt

data Ohm Source #

Constructors

Ohm

Instances

Show Ohm Source #
Methods showsPrec :: Int -> Ohm -> ShowS # show :: Ohm -> String # showList :: [Ohm] -> ShowS #
Unit Ohm Source #
Associated Types type BaseUnit Ohm :: * # type DimOfUnit Ohm :: * # type UnitFactorsOf Ohm :: [Factor *] # Methods conversionRatio :: Ohm -> Rational # canonicalConvRatio :: Ohm -> Rational
type UnitFactorsOf Ohm Source #
type UnitFactorsOf Ohm = If [Factor ] (IsCanonical Ohm) ((:) (Factor ) (F * Ohm One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ohm))
type DimOfUnit Ohm Source #
type DimOfUnit Ohm = DimOfUnit (BaseUnit Ohm)
type BaseUnit Ohm Source #
type BaseUnit Ohm = (:/) Volt Ampere

data Siemens Source #

Constructors

Siemens

Instances

Show Siemens Source #
Methods showsPrec :: Int -> Siemens -> ShowS # show :: Siemens -> String # showList :: [Siemens] -> ShowS #
Unit Siemens Source #
Associated Types type BaseUnit Siemens :: * # type DimOfUnit Siemens :: * # type UnitFactorsOf Siemens :: [Factor *] # Methods conversionRatio :: Siemens -> Rational # canonicalConvRatio :: Siemens -> Rational
type UnitFactorsOf Siemens Source #
type UnitFactorsOf Siemens = If [Factor ] (IsCanonical Siemens) ((:) (Factor ) (F * Siemens One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Siemens))
type DimOfUnit Siemens Source #
type DimOfUnit Siemens = DimOfUnit (BaseUnit Siemens)
type BaseUnit Siemens Source #
type BaseUnit Siemens = (:/) Ampere Volt

data Weber Source #

Constructors

Weber

Instances

Show Weber Source #
Methods showsPrec :: Int -> Weber -> ShowS # show :: Weber -> String # showList :: [Weber] -> ShowS #
Unit Weber Source #
Associated Types type BaseUnit Weber :: * # type DimOfUnit Weber :: * # type UnitFactorsOf Weber :: [Factor *] # Methods conversionRatio :: Weber -> Rational # canonicalConvRatio :: Weber -> Rational
type UnitFactorsOf Weber Source #
type UnitFactorsOf Weber = If [Factor ] (IsCanonical Weber) ((:) (Factor ) (F * Weber One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Weber))
type DimOfUnit Weber Source #
type DimOfUnit Weber = DimOfUnit (BaseUnit Weber)
type BaseUnit Weber Source #
type BaseUnit Weber = (:*) Volt Second

data Tesla Source #

Constructors

Tesla

Instances

Show Tesla Source #
Methods showsPrec :: Int -> Tesla -> ShowS # show :: Tesla -> String # showList :: [Tesla] -> ShowS #
Unit Tesla Source #
Associated Types type BaseUnit Tesla :: * # type DimOfUnit Tesla :: * # type UnitFactorsOf Tesla :: [Factor *] # Methods conversionRatio :: Tesla -> Rational # canonicalConvRatio :: Tesla -> Rational
type UnitFactorsOf Tesla Source #
type UnitFactorsOf Tesla = If [Factor ] (IsCanonical Tesla) ((:) (Factor ) (F * Tesla One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Tesla))
type DimOfUnit Tesla Source #
type DimOfUnit Tesla = DimOfUnit (BaseUnit Tesla)
type BaseUnit Tesla Source #
type BaseUnit Tesla = (:/) Weber ((:^) Meter Two)

data Henry Source #

Constructors

Henry

Instances

Show Henry Source #
Methods showsPrec :: Int -> Henry -> ShowS # show :: Henry -> String # showList :: [Henry] -> ShowS #
Unit Henry Source #
Associated Types type BaseUnit Henry :: * # type DimOfUnit Henry :: * # type UnitFactorsOf Henry :: [Factor *] # Methods conversionRatio :: Henry -> Rational # canonicalConvRatio :: Henry -> Rational
type UnitFactorsOf Henry Source #
type UnitFactorsOf Henry = If [Factor ] (IsCanonical Henry) ((:) (Factor ) (F * Henry One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Henry))
type DimOfUnit Henry Source #
type DimOfUnit Henry = DimOfUnit (BaseUnit Henry)
type BaseUnit Henry Source #
type BaseUnit Henry = (:/) Weber Ampere

data Lumen Source #

Constructors

Lumen

Instances

Show Lumen Source #
Methods showsPrec :: Int -> Lumen -> ShowS # show :: Lumen -> String # showList :: [Lumen] -> ShowS #
Unit Lumen Source #
Associated Types type BaseUnit Lumen :: * # type DimOfUnit Lumen :: * # type UnitFactorsOf Lumen :: [Factor *] # Methods conversionRatio :: Lumen -> Rational # canonicalConvRatio :: Lumen -> Rational
type UnitFactorsOf Lumen Source #
type UnitFactorsOf Lumen = If [Factor ] (IsCanonical Lumen) ((:) (Factor ) (F * Lumen One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Lumen))
type DimOfUnit Lumen Source #
type DimOfUnit Lumen = DimOfUnit (BaseUnit Lumen)
type BaseUnit Lumen Source #
type BaseUnit Lumen = Candela

data Lux Source #

Constructors

Lux

Instances

Show Lux Source #
Methods showsPrec :: Int -> Lux -> ShowS # show :: Lux -> String # showList :: [Lux] -> ShowS #
Unit Lux Source #
Associated Types type BaseUnit Lux :: * # type DimOfUnit Lux :: * # type UnitFactorsOf Lux :: [Factor *] # Methods conversionRatio :: Lux -> Rational # canonicalConvRatio :: Lux -> Rational
type UnitFactorsOf Lux Source #
type UnitFactorsOf Lux = If [Factor ] (IsCanonical Lux) ((:) (Factor ) (F * Lux One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Lux))
type DimOfUnit Lux Source #
type DimOfUnit Lux = DimOfUnit (BaseUnit Lux)
type BaseUnit Lux Source #
type BaseUnit Lux = (:/) Lumen ((:^) Meter Two)

data Becquerel Source #

Constructors

Becquerel

Instances

Show Becquerel Source #
Methods showsPrec :: Int -> Becquerel -> ShowS # show :: Becquerel -> String # showList :: [Becquerel] -> ShowS #
Unit Becquerel Source #
Associated Types type BaseUnit Becquerel :: * # type DimOfUnit Becquerel :: * # type UnitFactorsOf Becquerel :: [Factor *] # Methods conversionRatio :: Becquerel -> Rational # canonicalConvRatio :: Becquerel -> Rational
type UnitFactorsOf Becquerel Source #
type UnitFactorsOf Becquerel = If [Factor ] (IsCanonical Becquerel) ((:) (Factor ) (F * Becquerel One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Becquerel))
type DimOfUnit Becquerel Source #
type DimOfUnit Becquerel = DimOfUnit (BaseUnit Becquerel)
type BaseUnit Becquerel Source #
type BaseUnit Becquerel = (:/) Number Second

data Gray Source #

Constructors

Gray

Instances

Show Gray Source #
Methods showsPrec :: Int -> Gray -> ShowS # show :: Gray -> String # showList :: [Gray] -> ShowS #
Unit Gray Source #
Associated Types type BaseUnit Gray :: * # type DimOfUnit Gray :: * # type UnitFactorsOf Gray :: [Factor *] # Methods conversionRatio :: Gray -> Rational # canonicalConvRatio :: Gray -> Rational
type UnitFactorsOf Gray Source #
type UnitFactorsOf Gray = If [Factor ] (IsCanonical Gray) ((:) (Factor ) (F * Gray One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gray))
type DimOfUnit Gray Source #
type DimOfUnit Gray = DimOfUnit (BaseUnit Gray)
type BaseUnit Gray Source #
type BaseUnit Gray = (:/) ((:^) Meter Two) ((:^) Second Two)

data Sievert Source #

Constructors

Sievert

Instances

Show Sievert Source #
Methods showsPrec :: Int -> Sievert -> ShowS # show :: Sievert -> String # showList :: [Sievert] -> ShowS #
Unit Sievert Source #
Associated Types type BaseUnit Sievert :: * # type DimOfUnit Sievert :: * # type UnitFactorsOf Sievert :: [Factor *] # Methods conversionRatio :: Sievert -> Rational # canonicalConvRatio :: Sievert -> Rational
type UnitFactorsOf Sievert Source #
type UnitFactorsOf Sievert = If [Factor ] (IsCanonical Sievert) ((:) (Factor ) (F * Sievert One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Sievert))
type DimOfUnit Sievert Source #
type DimOfUnit Sievert = DimOfUnit (BaseUnit Sievert)
type BaseUnit Sievert Source #
type BaseUnit Sievert = (:/) ((:^) Meter Two) ((:^) Second Two)

data Katal Source #

Constructors

Katal

Instances

Show Katal Source #
Methods showsPrec :: Int -> Katal -> ShowS # show :: Katal -> String # showList :: [Katal] -> ShowS #
Unit Katal Source #
Associated Types type BaseUnit Katal :: * # type DimOfUnit Katal :: * # type UnitFactorsOf Katal :: [Factor *] # Methods conversionRatio :: Katal -> Rational # canonicalConvRatio :: Katal -> Rational
type UnitFactorsOf Katal Source #
type UnitFactorsOf Katal = If [Factor ] (IsCanonical Katal) ((:) (Factor ) (F * Katal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Katal))
type DimOfUnit Katal Source #
type DimOfUnit Katal = DimOfUnit (BaseUnit Katal)
type BaseUnit Katal Source #
type BaseUnit Katal = (:/) Mole Second

data Hectare Source #

Derived SI unit

Constructors

Hectare

Instances

Show Hectare Source #
Methods showsPrec :: Int -> Hectare -> ShowS # show :: Hectare -> String # showList :: [Hectare] -> ShowS #
Unit Hectare Source #
Associated Types type BaseUnit Hectare :: * # type DimOfUnit Hectare :: * # type UnitFactorsOf Hectare :: [Factor *] # Methods conversionRatio :: Hectare -> Rational # canonicalConvRatio :: Hectare -> Rational
type UnitFactorsOf Hectare Source #
type UnitFactorsOf Hectare = If [Factor ] (IsCanonical Hectare) ((:) (Factor ) (F * Hectare One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hectare))
type DimOfUnit Hectare Source #
type DimOfUnit Hectare = DimOfUnit (BaseUnit Hectare)
type BaseUnit Hectare Source #
type BaseUnit Hectare = (:^) Meter Two

data Ton Source #

Derived SI unit

Constructors

Ton

Instances

Show Ton Source #
Methods showsPrec :: Int -> Ton -> ShowS # show :: Ton -> String # showList :: [Ton] -> ShowS #
Unit Ton Source #
Associated Types type BaseUnit Ton :: * # type DimOfUnit Ton :: * # type UnitFactorsOf Ton :: [Factor *] # Methods conversionRatio :: Ton -> Rational # canonicalConvRatio :: Ton -> Rational
type UnitFactorsOf Ton Source #
type UnitFactorsOf Ton = If [Factor ] (IsCanonical Ton) ((:) (Factor ) (F * Ton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton Source #
type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton Source #
type BaseUnit Ton = (:@) Kilo Gram

type Tonne = Ton Source #

pattern Tonne :: Tonne Source #

siUnits :: [Name] Source #

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