NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes Contents Index

Number.SI.Unit Portability portable Stability provisional Maintainer numericprelude@henning-thielemann.de

Description

Special physical units: SI unit system

Synopsis

data Dimension = Length | Time | Mass | Charge | Angle | Temperature | Information angle :: T Dimension angularSpeed :: T Dimension distance :: T Dimension area :: T Dimension volume :: T Dimension time :: T Dimension frequency :: T Dimension speed :: T Dimension acceleration :: T Dimension mass :: T Dimension force :: T Dimension pressure :: T Dimension energy :: T Dimension power :: T Dimension charge :: T Dimension current :: T Dimension voltage :: T Dimension resistance :: T Dimension capacity :: T Dimension temperature :: T Dimension information :: T Dimension dataRate :: T Dimension percent :: C a => a fourth :: C a => a half :: C a => a threeFourth :: C a => a minuteSecs :: C a => a hourSecs :: C a => a daySecs :: C a => a yearSecs :: C a => a accelerationOfEarthGravity :: C a => a k2 :: C a => a deg180 :: C a => a grad200 :: C a => a bytesize :: C a => a radPerDeg :: C a => a radPerGrad :: C a => a mach :: C a => a speedOfLight :: C a => a electronVolt :: C a => a calorien :: C a => a horsePower :: C a => a yocto :: C a => a zepto :: C a => a atto :: C a => a femto :: C a => a pico :: C a => a nano :: C a => a micro :: C a => a milli :: C a => a centi :: C a => a deci :: C a => a one :: C a => a deca :: C a => a hecto :: C a => a kilo :: C a => a mega :: C a => a giga :: C a => a tera :: C a => a peta :: C a => a exa :: C a => a zetta :: C a => a yotta :: C a => a databaseRead :: C a => T Dimension a databaseShow :: C a => T Dimension a database :: C a => [InitUnitSet Dimension a]

Documentation

data Dimension

Constructors Length Time Mass Charge Angle Temperature Information Instances Enum Dimension Eq Dimension Ord Dimension Show Dimension

angle :: T Dimension

Some common quantity classes.

angularSpeed :: T Dimension

distance :: T Dimension

area :: T Dimension

volume :: T Dimension

time :: T Dimension

frequency :: T Dimension

speed :: T Dimension

acceleration :: T Dimension

mass :: T Dimension

force :: T Dimension

pressure :: T Dimension

energy :: T Dimension

power :: T Dimension

charge :: T Dimension

current :: T Dimension

voltage :: T Dimension

resistance :: T Dimension

capacity :: T Dimension

temperature :: T Dimension

information :: T Dimension

dataRate :: T Dimension

percent :: C a => a

fourth :: C a => a

half :: C a => a

threeFourth :: C a => a

minuteSecs :: C a => a

hourSecs :: C a => a

daySecs :: C a => a

yearSecs :: C a => a

accelerationOfEarthGravity :: C a => a

k2 :: C a => a

deg180 :: C a => a

grad200 :: C a => a

bytesize :: C a => a

radPerDeg :: C a => a

radPerGrad :: C a => a

mach :: C a => a

speedOfLight :: C a => a

electronVolt :: C a => a

calorien :: C a => a

horsePower :: C a => a

yocto :: C a => a

zepto :: C a => a

atto :: C a => a

femto :: C a => a

pico :: C a => a

nano :: C a => a

micro :: C a => a

milli :: C a => a

centi :: C a => a

deci :: C a => a

one :: C a => a

deca :: C a => a

hecto :: C a => a

kilo :: C a => a

mega :: C a => a

giga :: C a => a

tera :: C a => a

peta :: C a => a

exa :: C a => a

zetta :: C a => a

yotta :: C a => a

databaseRead :: C a => T Dimension a

UnitDatabase.T of units and their common scalings

databaseShow :: C a => T Dimension a

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

Produced by Haddock version 0.7