numeric-prelude-0.1.2: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Number.SI.Unit
Portabilityportable
Stabilityprovisional
Maintainernumericprelude@henning-thielemann.de
Description
Special physical units: SI unit system
Synopsis
data Dimension
= Length
| Time
| Mass
| Charge
| Angle
| Temperature
| Information
angularSpeed :: T Dimension
length :: 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
capacitance :: T Dimension
temperature :: T Dimension
information :: T Dimension
dataRate :: T Dimension
angle :: T Dimension
fourth :: C a => a
half :: C a => a
threeFourth :: C a => a
percent :: C a => a
secondsPerHour :: C a => a
secondsPerDay :: C a => a
secondsPerYear :: C a => a
meterPerInch :: C a => a
meterPerFoot :: C a => a
meterPerYard :: C a => a
meterPerAstronomicUnit :: C a => a
meterPerParsec :: C a => a
accelerationOfEarthGravity :: C a => a
k2 :: C a => a
deg180 :: C a => a
grad200 :: C a => a
bytesize :: C a => a
secondsPerMinute :: C a => a
radPerGrad :: C a => a
radPerDeg :: C a => a
speedOfLight :: C a => a
electronVolt :: C a => a
calorien :: C a => a
horsePower :: C a => a
mach :: 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
yocto :: C a => a
databaseShow :: C a => T Dimension a
databaseRead :: C a => T Dimension a
database :: C a => [InitUnitSet Dimension a]
Documentation
data Dimension Source
Constructors
Length
Time
Mass
Charge
Angle
Temperature
Information
show/hide Instances
angularSpeed :: T DimensionSource
Some common quantity classes.
length :: T DimensionSource
distance :: T DimensionSource
area :: T DimensionSource
volume :: T DimensionSource
time :: T DimensionSource
frequency :: T DimensionSource
speed :: T DimensionSource
acceleration :: T DimensionSource
mass :: T DimensionSource
force :: T DimensionSource
pressure :: T DimensionSource
energy :: T DimensionSource
power :: T DimensionSource
charge :: T DimensionSource
current :: T DimensionSource
voltage :: T DimensionSource
resistance :: T DimensionSource
capacitance :: T DimensionSource
temperature :: T DimensionSource
information :: T DimensionSource
dataRate :: T DimensionSource
angle :: T DimensionSource
fourth :: C a => aSource
half :: C a => aSource
threeFourth :: C a => aSource
percent :: C a => aSource
secondsPerHour :: C a => aSource
secondsPerDay :: C a => aSource
secondsPerYear :: C a => aSource
meterPerInch :: C a => aSource
meterPerFoot :: C a => aSource
meterPerYard :: C a => aSource
meterPerAstronomicUnit :: C a => aSource
meterPerParsec :: C a => aSource
accelerationOfEarthGravity :: C a => aSource
k2 :: C a => aSource
deg180 :: C a => aSource
grad200 :: C a => aSource
bytesize :: C a => aSource
secondsPerMinute :: C a => aSource
radPerGrad :: C a => aSource
radPerDeg :: C a => aSource
speedOfLight :: C a => aSource
electronVolt :: C a => aSource
calorien :: C a => aSource
horsePower :: C a => aSource
mach :: C a => aSource
zepto :: C a => aSource
atto :: C a => aSource
femto :: C a => aSource
pico :: C a => aSource
nano :: C a => aSource
micro :: C a => aSource
milli :: C a => aSource
centi :: C a => aSource
deci :: C a => aSource
one :: C a => aSource
deca :: C a => aSource
hecto :: C a => aSource
kilo :: C a => aSource
mega :: C a => aSource
giga :: C a => aSource
tera :: C a => aSource
peta :: C a => aSource
exa :: C a => aSource
zetta :: C a => aSource
yotta :: C a => aSource
yocto :: C a => aSource
databaseShow :: C a => T Dimension aSource

Common constants

Conversion factors

Physical constants

Prefixes used for SI units

UnitDatabase.T of units and their common scalings

databaseRead :: C a => T Dimension aSource
database :: C a => [InitUnitSet Dimension a]Source
Produced by Haddock version 2.4.2