Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.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

data Meter = Meter
type Metre = Meter
pattern Metre :: Metre
data Gram = Gram
type Gramme = Gram
pattern Gramme :: Gramme
data Second = Second
data Minute = Minute
data Hour = Hour
data Ampere = Ampere
data Kelvin = Kelvin
data Mole = Mole
data Candela = Candela
data Radian = Radian
data Steradian = Steradian
data Hertz = Hertz
data Liter = Liter
type Litre = Liter
pattern Litre :: Litre
data Newton = Newton
data Pascal = Pascal
data Joule = Joule
data Watt = Watt
data Coulomb = Coulomb
data Volt = Volt
data Farad = Farad
data Ohm = Ohm
data Siemens = Siemens
data Weber = Weber
data Tesla = Tesla
data Henry = Henry
data Lumen = Lumen
data Lux = Lux
data Becquerel = Becquerel
data Gray = Gray
data Sievert = Sievert
data Katal = Katal
data Degree = Degree
data Arcminute = Arcminute
data Arcsecond = Arcsecond
data Hectare = Hectare
data Ton = Ton
type Tonne = Ton
pattern Tonne :: Tonne
siUnits :: [Name]

Documentation

data Meter Source #

Constructors

Meter

Instances

Show Meter Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Meter -> ShowS # show :: Meter -> String # showList :: [Meter] -> ShowS #
Unit Meter Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Meter :: Type # type DimOfUnit Meter :: Type # type UnitFactorsOf Meter :: [Factor Type] # Methods conversionRatio :: Meter -> Rational # canonicalConvRatio :: Meter -> Rational
type UnitFactorsOf Meter Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Meter = If (IsCanonical Meter) (F Meter One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter Source #
Instance details Defined in Data.Units.SI type DimOfUnit Meter = Length
type BaseUnit Meter Source #
Instance details Defined in Data.Units.SI type BaseUnit Meter = Canonical

type Metre = Meter Source #

pattern Metre :: Metre Source #

data Gram Source #

Constructors

Gram

Instances

Show Gram Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Gram -> ShowS # show :: Gram -> String # showList :: [Gram] -> ShowS #
Unit Gram Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Gram :: Type # type DimOfUnit Gram :: Type # type UnitFactorsOf Gram :: [Factor Type] # Methods conversionRatio :: Gram -> Rational # canonicalConvRatio :: Gram -> Rational
type UnitFactorsOf Gram Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Gram = If (IsCanonical Gram) (F Gram One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram Source #
Instance details Defined in Data.Units.SI type DimOfUnit Gram = Mass
type BaseUnit Gram Source #
Instance details Defined in Data.Units.SI type BaseUnit Gram = Canonical

type Gramme = Gram Source #

pattern Gramme :: Gramme Source #

data Second Source #

Constructors

Second

Instances

Show Second Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Second -> ShowS # show :: Second -> String # showList :: [Second] -> ShowS #
Unit Second Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Second :: Type # type DimOfUnit Second :: Type # type UnitFactorsOf Second :: [Factor Type] # Methods conversionRatio :: Second -> Rational # canonicalConvRatio :: Second -> Rational
type UnitFactorsOf Second Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Second = If (IsCanonical Second) (F Second One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second Source #
Instance details Defined in Data.Units.SI type DimOfUnit Second = Time
type BaseUnit Second Source #
Instance details Defined in Data.Units.SI type BaseUnit Second = Canonical

data Minute Source #

Derived SI unit

Constructors

Minute

Instances

Show Minute Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Minute -> ShowS # show :: Minute -> String # showList :: [Minute] -> ShowS #
Unit Minute Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Minute :: Type # type DimOfUnit Minute :: Type # type UnitFactorsOf Minute :: [Factor Type] # Methods conversionRatio :: Minute -> Rational # canonicalConvRatio :: Minute -> Rational
type UnitFactorsOf Minute Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Minute = If (IsCanonical Minute) (F Minute One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Minute))
type DimOfUnit Minute Source #
Instance details Defined in Data.Units.SI type DimOfUnit Minute = DimOfUnit (BaseUnit Minute)
type BaseUnit Minute Source #
Instance details Defined in Data.Units.SI type BaseUnit Minute = Second

data Hour Source #

Derived SI unit

Constructors

Hour

Instances

Show Hour Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Hour -> ShowS # show :: Hour -> String # showList :: [Hour] -> ShowS #
Unit Hour Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Hour :: Type # type DimOfUnit Hour :: Type # type UnitFactorsOf Hour :: [Factor Type] # Methods conversionRatio :: Hour -> Rational # canonicalConvRatio :: Hour -> Rational
type UnitFactorsOf Hour Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Hour = If (IsCanonical Hour) (F Hour One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Hour))
type DimOfUnit Hour Source #
Instance details Defined in Data.Units.SI type DimOfUnit Hour = DimOfUnit (BaseUnit Hour)
type BaseUnit Hour Source #
Instance details Defined in Data.Units.SI type BaseUnit Hour = Minute

data Ampere Source #

Constructors

Ampere

Instances

Show Ampere Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Ampere -> ShowS # show :: Ampere -> String # showList :: [Ampere] -> ShowS #
Unit Ampere Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Ampere :: Type # type DimOfUnit Ampere :: Type # type UnitFactorsOf Ampere :: [Factor Type] # Methods conversionRatio :: Ampere -> Rational # canonicalConvRatio :: Ampere -> Rational
type UnitFactorsOf Ampere Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Ampere = If (IsCanonical Ampere) (F Ampere One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Ampere))
type DimOfUnit Ampere Source #
Instance details Defined in Data.Units.SI type DimOfUnit Ampere = Current
type BaseUnit Ampere Source #
Instance details Defined in Data.Units.SI type BaseUnit Ampere = Canonical

data Kelvin Source #

Constructors

Kelvin

Instances

Show Kelvin Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Kelvin -> ShowS # show :: Kelvin -> String # showList :: [Kelvin] -> ShowS #
Unit Kelvin Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Kelvin :: Type # type DimOfUnit Kelvin :: Type # type UnitFactorsOf Kelvin :: [Factor Type] # Methods conversionRatio :: Kelvin -> Rational # canonicalConvRatio :: Kelvin -> Rational
type UnitFactorsOf Kelvin Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Kelvin = If (IsCanonical Kelvin) (F Kelvin One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Kelvin))
type DimOfUnit Kelvin Source #
Instance details Defined in Data.Units.SI type DimOfUnit Kelvin = Temperature
type BaseUnit Kelvin Source #
Instance details Defined in Data.Units.SI type BaseUnit Kelvin = Canonical

data Mole Source #

Constructors

Mole

Instances

Show Mole Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Mole -> ShowS # show :: Mole -> String # showList :: [Mole] -> ShowS #
Unit Mole Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Mole :: Type # type DimOfUnit Mole :: Type # type UnitFactorsOf Mole :: [Factor Type] # Methods conversionRatio :: Mole -> Rational # canonicalConvRatio :: Mole -> Rational
type UnitFactorsOf Mole Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Mole = If (IsCanonical Mole) (F Mole One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Mole))
type DimOfUnit Mole Source #
Instance details Defined in Data.Units.SI type DimOfUnit Mole = AmountOfSubstance
type BaseUnit Mole Source #
Instance details Defined in Data.Units.SI type BaseUnit Mole = Canonical

data Candela Source #

Constructors

Candela

Instances

Show Candela Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Candela -> ShowS # show :: Candela -> String # showList :: [Candela] -> ShowS #
Unit Candela Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Candela :: Type # type DimOfUnit Candela :: Type # type UnitFactorsOf Candela :: [Factor Type] # Methods conversionRatio :: Candela -> Rational # canonicalConvRatio :: Candela -> Rational
type UnitFactorsOf Candela Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Candela = If (IsCanonical Candela) (F Candela One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Candela))
type DimOfUnit Candela Source #
Instance details Defined in Data.Units.SI type DimOfUnit Candela = LuminousIntensity
type BaseUnit Candela Source #
Instance details Defined in Data.Units.SI type BaseUnit Candela = Canonical

data Radian Source #

The two angular dimensions that must be fundamental dimensions.

Constructors

Radian

Instances

Show Radian Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Radian -> ShowS # show :: Radian -> String # showList :: [Radian] -> ShowS #
Unit Radian Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Radian :: Type # type DimOfUnit Radian :: Type # type UnitFactorsOf Radian :: [Factor Type] # Methods conversionRatio :: Radian -> Rational # canonicalConvRatio :: Radian -> Rational
type UnitFactorsOf Radian Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Radian = If (IsCanonical Radian) (F Radian One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Radian))
type DimOfUnit Radian Source #
Instance details Defined in Data.Units.SI type DimOfUnit Radian = PlaneAngle
type BaseUnit Radian Source #
Instance details Defined in Data.Units.SI type BaseUnit Radian = Canonical

data Steradian Source #

Constructors

Steradian

Instances

Show Steradian Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Steradian -> ShowS # show :: Steradian -> String # showList :: [Steradian] -> ShowS #
Unit Steradian Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Steradian :: Type # type DimOfUnit Steradian :: Type # type UnitFactorsOf Steradian :: [Factor Type] # Methods conversionRatio :: Steradian -> Rational # canonicalConvRatio :: Steradian -> Rational
type UnitFactorsOf Steradian Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Steradian = If (IsCanonical Steradian) (F Steradian One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Steradian))
type DimOfUnit Steradian Source #
Instance details Defined in Data.Units.SI type DimOfUnit Steradian = SolidAngle
type BaseUnit Steradian Source #
Instance details Defined in Data.Units.SI type BaseUnit Steradian = Canonical

data Hertz Source #

Constructors

Hertz

Instances

Show Hertz Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Hertz -> ShowS # show :: Hertz -> String # showList :: [Hertz] -> ShowS #
Unit Hertz Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Hertz :: Type # type DimOfUnit Hertz :: Type # type UnitFactorsOf Hertz :: [Factor Type] # Methods conversionRatio :: Hertz -> Rational # canonicalConvRatio :: Hertz -> Rational
type UnitFactorsOf Hertz Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Hertz = If (IsCanonical Hertz) (F Hertz One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Hertz))
type DimOfUnit Hertz Source #
Instance details Defined in Data.Units.SI type DimOfUnit Hertz = DimOfUnit (BaseUnit Hertz)
type BaseUnit Hertz Source #
Instance details Defined in Data.Units.SI 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 #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Liter -> ShowS # show :: Liter -> String # showList :: [Liter] -> ShowS #
Unit Liter Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Liter :: Type # type DimOfUnit Liter :: Type # type UnitFactorsOf Liter :: [Factor Type] # Methods conversionRatio :: Liter -> Rational # canonicalConvRatio :: Liter -> Rational
type UnitFactorsOf Liter Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Liter = If (IsCanonical Liter) (F Liter One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Liter))
type DimOfUnit Liter Source #
Instance details Defined in Data.Units.SI type DimOfUnit Liter = DimOfUnit (BaseUnit Liter)
type BaseUnit Liter Source #
Instance details Defined in Data.Units.SI type BaseUnit Liter = (Centi :@ Meter) :^ Three

type Litre = Liter Source #

pattern Litre :: Litre Source #

data Newton Source #

Constructors

Newton

Instances

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

data Pascal Source #

Constructors

Pascal

Instances

Show Pascal Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Pascal -> ShowS # show :: Pascal -> String # showList :: [Pascal] -> ShowS #
Unit Pascal Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Pascal :: Type # type DimOfUnit Pascal :: Type # type UnitFactorsOf Pascal :: [Factor Type] # Methods conversionRatio :: Pascal -> Rational # canonicalConvRatio :: Pascal -> Rational
type UnitFactorsOf Pascal Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Pascal = If (IsCanonical Pascal) (F Pascal One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Pascal))
type DimOfUnit Pascal Source #
Instance details Defined in Data.Units.SI type DimOfUnit Pascal = DimOfUnit (BaseUnit Pascal)
type BaseUnit Pascal Source #
Instance details Defined in Data.Units.SI type BaseUnit Pascal = Newton :/ (Meter :^ Two)

data Joule Source #

Constructors

Joule

Instances

Show Joule Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Joule -> ShowS # show :: Joule -> String # showList :: [Joule] -> ShowS #
Unit Joule Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Joule :: Type # type DimOfUnit Joule :: Type # type UnitFactorsOf Joule :: [Factor Type] # Methods conversionRatio :: Joule -> Rational # canonicalConvRatio :: Joule -> Rational
type UnitFactorsOf Joule Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Joule = If (IsCanonical Joule) (F Joule One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Joule))
type DimOfUnit Joule Source #
Instance details Defined in Data.Units.SI type DimOfUnit Joule = DimOfUnit (BaseUnit Joule)
type BaseUnit Joule Source #
Instance details Defined in Data.Units.SI type BaseUnit Joule = Newton :* Meter

data Watt Source #

Constructors

Watt

Instances

Show Watt Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Watt -> ShowS # show :: Watt -> String # showList :: [Watt] -> ShowS #
Unit Watt Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Watt :: Type # type DimOfUnit Watt :: Type # type UnitFactorsOf Watt :: [Factor Type] # Methods conversionRatio :: Watt -> Rational # canonicalConvRatio :: Watt -> Rational
type UnitFactorsOf Watt Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Watt = If (IsCanonical Watt) (F Watt One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Watt))
type DimOfUnit Watt Source #
Instance details Defined in Data.Units.SI type DimOfUnit Watt = DimOfUnit (BaseUnit Watt)
type BaseUnit Watt Source #
Instance details Defined in Data.Units.SI type BaseUnit Watt = Joule :/ Second

data Coulomb Source #

Constructors

Coulomb

Instances

Show Coulomb Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Coulomb -> ShowS # show :: Coulomb -> String # showList :: [Coulomb] -> ShowS #
Unit Coulomb Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Coulomb :: Type # type DimOfUnit Coulomb :: Type # type UnitFactorsOf Coulomb :: [Factor Type] # Methods conversionRatio :: Coulomb -> Rational # canonicalConvRatio :: Coulomb -> Rational
type UnitFactorsOf Coulomb Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Coulomb = If (IsCanonical Coulomb) (F Coulomb One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Coulomb))
type DimOfUnit Coulomb Source #
Instance details Defined in Data.Units.SI type DimOfUnit Coulomb = DimOfUnit (BaseUnit Coulomb)
type BaseUnit Coulomb Source #
Instance details Defined in Data.Units.SI type BaseUnit Coulomb = Ampere :* Second

data Volt Source #

Constructors

Volt

Instances

Show Volt Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Volt -> ShowS # show :: Volt -> String # showList :: [Volt] -> ShowS #
Unit Volt Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Volt :: Type # type DimOfUnit Volt :: Type # type UnitFactorsOf Volt :: [Factor Type] # Methods conversionRatio :: Volt -> Rational # canonicalConvRatio :: Volt -> Rational
type UnitFactorsOf Volt Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Volt = If (IsCanonical Volt) (F Volt One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Volt))
type DimOfUnit Volt Source #
Instance details Defined in Data.Units.SI type DimOfUnit Volt = DimOfUnit (BaseUnit Volt)
type BaseUnit Volt Source #
Instance details Defined in Data.Units.SI type BaseUnit Volt = Watt :/ Ampere

data Farad Source #

Constructors

Farad

Instances

Show Farad Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Farad -> ShowS # show :: Farad -> String # showList :: [Farad] -> ShowS #
Unit Farad Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Farad :: Type # type DimOfUnit Farad :: Type # type UnitFactorsOf Farad :: [Factor Type] # Methods conversionRatio :: Farad -> Rational # canonicalConvRatio :: Farad -> Rational
type UnitFactorsOf Farad Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Farad = If (IsCanonical Farad) (F Farad One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Farad))
type DimOfUnit Farad Source #
Instance details Defined in Data.Units.SI type DimOfUnit Farad = DimOfUnit (BaseUnit Farad)
type BaseUnit Farad Source #
Instance details Defined in Data.Units.SI type BaseUnit Farad = Coulomb :/ Volt

data Ohm Source #

Constructors

Ohm

Instances

Show Ohm Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Ohm -> ShowS # show :: Ohm -> String # showList :: [Ohm] -> ShowS #
Unit Ohm Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Ohm :: Type # type DimOfUnit Ohm :: Type # type UnitFactorsOf Ohm :: [Factor Type] # Methods conversionRatio :: Ohm -> Rational # canonicalConvRatio :: Ohm -> Rational
type UnitFactorsOf Ohm Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Ohm = If (IsCanonical Ohm) (F Ohm One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Ohm))
type DimOfUnit Ohm Source #
Instance details Defined in Data.Units.SI type DimOfUnit Ohm = DimOfUnit (BaseUnit Ohm)
type BaseUnit Ohm Source #
Instance details Defined in Data.Units.SI type BaseUnit Ohm = Volt :/ Ampere

data Siemens Source #

Constructors

Siemens

Instances

Show Siemens Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Siemens -> ShowS # show :: Siemens -> String # showList :: [Siemens] -> ShowS #
Unit Siemens Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Siemens :: Type # type DimOfUnit Siemens :: Type # type UnitFactorsOf Siemens :: [Factor Type] # Methods conversionRatio :: Siemens -> Rational # canonicalConvRatio :: Siemens -> Rational
type UnitFactorsOf Siemens Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Siemens = If (IsCanonical Siemens) (F Siemens One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Siemens))
type DimOfUnit Siemens Source #
Instance details Defined in Data.Units.SI type DimOfUnit Siemens = DimOfUnit (BaseUnit Siemens)
type BaseUnit Siemens Source #
Instance details Defined in Data.Units.SI type BaseUnit Siemens = Ampere :/ Volt

data Weber Source #

Constructors

Weber

Instances

Show Weber Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Weber -> ShowS # show :: Weber -> String # showList :: [Weber] -> ShowS #
Unit Weber Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Weber :: Type # type DimOfUnit Weber :: Type # type UnitFactorsOf Weber :: [Factor Type] # Methods conversionRatio :: Weber -> Rational # canonicalConvRatio :: Weber -> Rational
type UnitFactorsOf Weber Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Weber = If (IsCanonical Weber) (F Weber One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Weber))
type DimOfUnit Weber Source #
Instance details Defined in Data.Units.SI type DimOfUnit Weber = DimOfUnit (BaseUnit Weber)
type BaseUnit Weber Source #
Instance details Defined in Data.Units.SI type BaseUnit Weber = Volt :* Second

data Tesla Source #

Constructors

Tesla

Instances

Show Tesla Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Tesla -> ShowS # show :: Tesla -> String # showList :: [Tesla] -> ShowS #
Unit Tesla Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Tesla :: Type # type DimOfUnit Tesla :: Type # type UnitFactorsOf Tesla :: [Factor Type] # Methods conversionRatio :: Tesla -> Rational # canonicalConvRatio :: Tesla -> Rational
type UnitFactorsOf Tesla Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Tesla = If (IsCanonical Tesla) (F Tesla One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Tesla))
type DimOfUnit Tesla Source #
Instance details Defined in Data.Units.SI type DimOfUnit Tesla = DimOfUnit (BaseUnit Tesla)
type BaseUnit Tesla Source #
Instance details Defined in Data.Units.SI type BaseUnit Tesla = Weber :/ (Meter :^ Two)

data Henry Source #

Constructors

Henry

Instances

Show Henry Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Henry -> ShowS # show :: Henry -> String # showList :: [Henry] -> ShowS #
Unit Henry Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Henry :: Type # type DimOfUnit Henry :: Type # type UnitFactorsOf Henry :: [Factor Type] # Methods conversionRatio :: Henry -> Rational # canonicalConvRatio :: Henry -> Rational
type UnitFactorsOf Henry Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Henry = If (IsCanonical Henry) (F Henry One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Henry))
type DimOfUnit Henry Source #
Instance details Defined in Data.Units.SI type DimOfUnit Henry = DimOfUnit (BaseUnit Henry)
type BaseUnit Henry Source #
Instance details Defined in Data.Units.SI type BaseUnit Henry = Weber :/ Ampere

data Lumen Source #

Constructors

Lumen

Instances

Show Lumen Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Lumen -> ShowS # show :: Lumen -> String # showList :: [Lumen] -> ShowS #
Unit Lumen Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Lumen :: Type # type DimOfUnit Lumen :: Type # type UnitFactorsOf Lumen :: [Factor Type] # Methods conversionRatio :: Lumen -> Rational # canonicalConvRatio :: Lumen -> Rational
type UnitFactorsOf Lumen Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Lumen = If (IsCanonical Lumen) (F Lumen One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Lumen))
type DimOfUnit Lumen Source #
Instance details Defined in Data.Units.SI type DimOfUnit Lumen = DimOfUnit (BaseUnit Lumen)
type BaseUnit Lumen Source #
Instance details Defined in Data.Units.SI type BaseUnit Lumen = Candela

data Lux Source #

Constructors

Lux

Instances

Show Lux Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Lux -> ShowS # show :: Lux -> String # showList :: [Lux] -> ShowS #
Unit Lux Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Lux :: Type # type DimOfUnit Lux :: Type # type UnitFactorsOf Lux :: [Factor Type] # Methods conversionRatio :: Lux -> Rational # canonicalConvRatio :: Lux -> Rational
type UnitFactorsOf Lux Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Lux = If (IsCanonical Lux) (F Lux One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Lux))
type DimOfUnit Lux Source #
Instance details Defined in Data.Units.SI type DimOfUnit Lux = DimOfUnit (BaseUnit Lux)
type BaseUnit Lux Source #
Instance details Defined in Data.Units.SI type BaseUnit Lux = Lumen :/ (Meter :^ Two)

data Becquerel Source #

Constructors

Becquerel

Instances

Show Becquerel Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Becquerel -> ShowS # show :: Becquerel -> String # showList :: [Becquerel] -> ShowS #
Unit Becquerel Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Becquerel :: Type # type DimOfUnit Becquerel :: Type # type UnitFactorsOf Becquerel :: [Factor Type] # Methods conversionRatio :: Becquerel -> Rational # canonicalConvRatio :: Becquerel -> Rational
type UnitFactorsOf Becquerel Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Becquerel = If (IsCanonical Becquerel) (F Becquerel One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Becquerel))
type DimOfUnit Becquerel Source #
Instance details Defined in Data.Units.SI type DimOfUnit Becquerel = DimOfUnit (BaseUnit Becquerel)
type BaseUnit Becquerel Source #
Instance details Defined in Data.Units.SI type BaseUnit Becquerel = Number :/ Second

data Gray Source #

Constructors

Gray

Instances

Show Gray Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Gray -> ShowS # show :: Gray -> String # showList :: [Gray] -> ShowS #
Unit Gray Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Gray :: Type # type DimOfUnit Gray :: Type # type UnitFactorsOf Gray :: [Factor Type] # Methods conversionRatio :: Gray -> Rational # canonicalConvRatio :: Gray -> Rational
type UnitFactorsOf Gray Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Gray = If (IsCanonical Gray) (F Gray One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gray))
type DimOfUnit Gray Source #
Instance details Defined in Data.Units.SI type DimOfUnit Gray = DimOfUnit (BaseUnit Gray)
type BaseUnit Gray Source #
Instance details Defined in Data.Units.SI type BaseUnit Gray = (Meter :^ Two) :/ (Second :^ Two)

data Sievert Source #

Constructors

Sievert

Instances

Show Sievert Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Sievert -> ShowS # show :: Sievert -> String # showList :: [Sievert] -> ShowS #
Unit Sievert Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Sievert :: Type # type DimOfUnit Sievert :: Type # type UnitFactorsOf Sievert :: [Factor Type] # Methods conversionRatio :: Sievert -> Rational # canonicalConvRatio :: Sievert -> Rational
type UnitFactorsOf Sievert Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Sievert = If (IsCanonical Sievert) (F Sievert One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Sievert))
type DimOfUnit Sievert Source #
Instance details Defined in Data.Units.SI type DimOfUnit Sievert = DimOfUnit (BaseUnit Sievert)
type BaseUnit Sievert Source #
Instance details Defined in Data.Units.SI type BaseUnit Sievert = (Meter :^ Two) :/ (Second :^ Two)

data Katal Source #

Constructors

Katal

Instances

Show Katal Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Katal -> ShowS # show :: Katal -> String # showList :: [Katal] -> ShowS #
Unit Katal Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Katal :: Type # type DimOfUnit Katal :: Type # type UnitFactorsOf Katal :: [Factor Type] # Methods conversionRatio :: Katal -> Rational # canonicalConvRatio :: Katal -> Rational
type UnitFactorsOf Katal Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Katal = If (IsCanonical Katal) (F Katal One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Katal))
type DimOfUnit Katal Source #
Instance details Defined in Data.Units.SI type DimOfUnit Katal = DimOfUnit (BaseUnit Katal)
type BaseUnit Katal Source #
Instance details Defined in Data.Units.SI type BaseUnit Katal = Mole :/ Second

data Degree Source #

Constructors

Degree

Instances

Show Degree Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Degree -> ShowS # show :: Degree -> String # showList :: [Degree] -> ShowS #
Unit Degree Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Degree :: Type # type DimOfUnit Degree :: Type # type UnitFactorsOf Degree :: [Factor Type] # Methods conversionRatio :: Degree -> Rational # canonicalConvRatio :: Degree -> Rational
type UnitFactorsOf Degree Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Degree = If (IsCanonical Degree) (F Degree One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Degree))
type DimOfUnit Degree Source #
Instance details Defined in Data.Units.SI type DimOfUnit Degree = DimOfUnit (BaseUnit Degree)
type BaseUnit Degree Source #
Instance details Defined in Data.Units.SI type BaseUnit Degree = Radian

data Arcminute Source #

Constructors

Arcminute

Instances

Show Arcminute Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Arcminute -> ShowS # show :: Arcminute -> String # showList :: [Arcminute] -> ShowS #
Unit Arcminute Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Arcminute :: Type # type DimOfUnit Arcminute :: Type # type UnitFactorsOf Arcminute :: [Factor Type] # Methods conversionRatio :: Arcminute -> Rational # canonicalConvRatio :: Arcminute -> Rational
type UnitFactorsOf Arcminute Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Arcminute = If (IsCanonical Arcminute) (F Arcminute One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Arcminute))
type DimOfUnit Arcminute Source #
Instance details Defined in Data.Units.SI type DimOfUnit Arcminute = DimOfUnit (BaseUnit Arcminute)
type BaseUnit Arcminute Source #
Instance details Defined in Data.Units.SI type BaseUnit Arcminute = Degree

data Arcsecond Source #

Constructors

Arcsecond

Instances

Show Arcsecond Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Arcsecond -> ShowS # show :: Arcsecond -> String # showList :: [Arcsecond] -> ShowS #
Unit Arcsecond Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Arcsecond :: Type # type DimOfUnit Arcsecond :: Type # type UnitFactorsOf Arcsecond :: [Factor Type] # Methods conversionRatio :: Arcsecond -> Rational # canonicalConvRatio :: Arcsecond -> Rational
type UnitFactorsOf Arcsecond Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Arcsecond = If (IsCanonical Arcsecond) (F Arcsecond One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Arcsecond))
type DimOfUnit Arcsecond Source #
Instance details Defined in Data.Units.SI type DimOfUnit Arcsecond = DimOfUnit (BaseUnit Arcsecond)
type BaseUnit Arcsecond Source #
Instance details Defined in Data.Units.SI type BaseUnit Arcsecond = Arcminute

data Hectare Source #

Derived SI unit

Constructors

Hectare

Instances

Show Hectare Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Hectare -> ShowS # show :: Hectare -> String # showList :: [Hectare] -> ShowS #
Unit Hectare Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Hectare :: Type # type DimOfUnit Hectare :: Type # type UnitFactorsOf Hectare :: [Factor Type] # Methods conversionRatio :: Hectare -> Rational # canonicalConvRatio :: Hectare -> Rational
type UnitFactorsOf Hectare Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Hectare = If (IsCanonical Hectare) (F Hectare One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Hectare))
type DimOfUnit Hectare Source #
Instance details Defined in Data.Units.SI type DimOfUnit Hectare = DimOfUnit (BaseUnit Hectare)
type BaseUnit Hectare Source #
Instance details Defined in Data.Units.SI type BaseUnit Hectare = Meter :^ Two

data Ton Source #

Derived SI unit

Constructors

Ton

Instances

Show Ton Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Ton -> ShowS # show :: Ton -> String # showList :: [Ton] -> ShowS #
Unit Ton Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Ton :: Type # type DimOfUnit Ton :: Type # type UnitFactorsOf Ton :: [Factor Type] # Methods conversionRatio :: Ton -> Rational # canonicalConvRatio :: Ton -> Rational
type UnitFactorsOf Ton Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Ton = If (IsCanonical Ton) (F Ton One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton Source #
Instance details Defined in Data.Units.SI type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton Source #
Instance details Defined in Data.Units.SI 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.