Number.SI.Unit · numeric-prelude-0.4.4

datadata Dimension

#

Length Time Mass Charge Angle Temperature Information

Instances4Enum, Eq, Ord, Show

Enum DimensionDefined in numeric-prelude-0.4.4 · Number.SI.Unit
Eq DimensionDefined in numeric-prelude-0.4.4 · Number.SI.Unit
Ord DimensionDefined in numeric-prelude-0.4.4 · Number.SI.Unit
Show DimensionDefined in numeric-prelude-0.4.4 · Number.SI.Unit

valuelength :: T Dimension

#

Some common quantity classes.

valuedistance :: T Dimension

#

Some common quantity classes.

valuearea :: T Dimension

#

Some common quantity classes.

valuevolume :: T Dimension

#

Some common quantity classes.

valuetime :: T Dimension

#

Some common quantity classes.

valuefrequency :: T Dimension

#

Some common quantity classes.

valuespeed :: T Dimension

#

Some common quantity classes.

valueacceleration :: T Dimension

#

Some common quantity classes.

valuemass :: T Dimension

#

Some common quantity classes.

valueforce :: T Dimension

#

Some common quantity classes.

valuepressure :: T Dimension

#

Some common quantity classes.

valueenergy :: T Dimension

#

Some common quantity classes.

valuepower :: T Dimension

#

Some common quantity classes.

valuecharge :: T Dimension

#

Some common quantity classes.

valuecurrent :: T Dimension

#

Some common quantity classes.

valuevoltage :: T Dimension

#

Some common quantity classes.

valueresistance :: T Dimension

#

Some common quantity classes.

valuecapacitance :: T Dimension

#

Some common quantity classes.

valueangle :: T Dimension

#

Some common quantity classes.

valueangularSpeed :: T Dimension

#

Some common quantity classes.

valuetemperature :: T Dimension

#

Some common quantity classes.

valueinformation :: T Dimension

#

Some common quantity classes.

valuedataRate :: T Dimension

#

Some common quantity classes.

valuepercent :: C a => a

#

Common constants

valuefourth :: C a => a

#

valuehalf :: C a => a

#

valuethreeFourth :: C a => a

#

valuesecondsPerMinute :: C a => a

#

Conversion factors

valuesecondsPerHour :: C a => a

#

valuesecondsPerDay :: C a => a

#

valuesecondsPerYear :: C a => a

#

valuemeterPerInch :: C a => a

#

valuemeterPerFoot :: C a => a

#

valuemeterPerYard :: C a => a

#

valuemeterPerAstronomicUnit :: C a => a

#

valuemeterPerParsec :: C a => a

#

valuek2 :: C a => a

#

valuedeg180 :: C a => a

#

valuegrad200 :: C a => a

#

valueradPerDeg :: C a => a

#

valueradPerGrad :: C a => a

#

valuebytesize :: C a => a

#

valueaccelerationOfEarthGravity :: C a => a

#

Physical constants

valuemach :: C a => a

#

valuespeedOfLight :: C a => a

#

valueelectronVolt :: C a => a

#

valuecalorien :: C a => a

#

valuehorsePower :: C a => a

#

valueyocto :: C a => a

#

Prefixes used for SI units

valuezepto :: C a => a

#

valueatto :: C a => a

#

valuefemto :: C a => a

#

valuepico :: C a => a

#

valuenano :: C a => a

#

valuemicro :: C a => a

#

valuemilli :: C a => a

#

valuecenti :: C a => a

#

valuedeci :: C a => a

#

valueone :: C a => a

#

valuedeca :: C a => a

#

valuehecto :: C a => a

#

valuekilo :: C a => a

#

valuemega :: C a => a

#

valuegiga :: C a => a

#

valuetera :: C a => a

#

valuepeta :: C a => a

#

valueexa :: C a => a

#

valuezetta :: C a => a

#

valueyotta :: C a => a

#

valuedatabaseRead :: C a => T Dimension a

#

UnitDatabase.T of units and their common scalings

valuedatabaseShow :: C a => T Dimension a

#

UnitDatabase.T of units and their common scalings

valuedatabase :: C a => [InitUnitSet Dimension a]

#