dimensional-0.8: Statically checked physical dimensions. Source code Contents Index

Numeric.Units.Dimensional.SIUnits Portability GHC only? Stability Stable Maintainer bjorn.buckwalter@gmail.com

Description

Please refer to the literate Haskell code for documentation of both API and implementation.

Documentation

deca :: Num a => Unit d a -> Unit d a Source

hecto :: Num a => Unit d a -> Unit d a Source

kilo :: Num a => Unit d a -> Unit d a Source

mega :: Num a => Unit d a -> Unit d a Source

giga :: Num a => Unit d a -> Unit d a Source

tera :: Num a => Unit d a -> Unit d a Source

peta :: Num a => Unit d a -> Unit d a Source

exa :: Num a => Unit d a -> Unit d a Source

zetta :: Num a => Unit d a -> Unit d a Source

yotta :: Num a => Unit d a -> Unit d a Source

deka :: Num a => Unit d a -> Unit d a Source

centi :: Fractional a => Unit d a -> Unit d a Source

milli :: Fractional a => Unit d a -> Unit d a Source

micro :: Fractional a => Unit d a -> Unit d a Source

nano :: Fractional a => Unit d a -> Unit d a Source

pico :: Fractional a => Unit d a -> Unit d a Source

femto :: Fractional a => Unit d a -> Unit d a Source

atto :: Fractional a => Unit d a -> Unit d a Source

zepto :: Fractional a => Unit d a -> Unit d a Source

yocto :: Fractional a => Unit d a -> Unit d a Source

deci :: Fractional a => Unit d a -> Unit d a Source

meter :: Num a => Unit DLength a Source

metre :: Num a => Unit DLength a Source

gram :: Fractional a => Unit DMass a Source

second :: Num a => Unit DTime a Source

ampere :: Num a => Unit DElectricCurrent a Source

kelvin :: Num a => Unit DThermodynamicTemperature a Source

mole :: Num a => Unit DAmountOfSubstance a Source

candela :: Num a => Unit DLuminousIntensity a Source

fromDiffTime :: Fractional a => DiffTime -> Time a Source

toDiffTime :: (Real a, Fractional a) => Time a -> DiffTime Source

radian :: Fractional a => Unit DPlaneAngle a Source

steradian :: Fractional a => Unit DSolidAngle a Source

hertz :: Fractional a => Unit DFrequency a Source

newton :: Fractional a => Unit DForce a Source

pascal :: Fractional a => Unit DPressure a Source

joule :: Fractional a => Unit DEnergy a Source

watt :: Fractional a => Unit DPower a Source

coulomb :: Fractional a => Unit DElectricCharge a Source

volt :: Fractional a => Unit DElectricPotential a Source

farad :: Fractional a => Unit DCapacitance a Source

ohm :: Fractional a => Unit DElectricResistance a Source

siemens :: Fractional a => Unit DElectricConductance a Source

weber :: Fractional a => Unit DMagneticFlux a Source

tesla :: Fractional a => Unit DMagneticFluxDensity a Source

henry :: Fractional a => Unit DInductance a Source

lumen :: Fractional a => Unit DLuminousFlux a Source

lux :: Fractional a => Unit DIlluminance a Source

degreeCelsius :: Num a => Unit DCelsiusTemperature a Source

fromDegreeCelsiusAbsolute :: Fractional a => a -> ThermodynamicTemperature a Source

toDegreeCelsiusAbsolute :: Fractional a => ThermodynamicTemperature a -> a Source

becquerel :: Fractional a => Unit DActivity a Source

gray :: Fractional a => Unit DAbsorbedDose a Source

sievert :: Fractional a => Unit DDoseEquivalent a Source

hour :: Num a => Unit DTime a Source

day :: Num a => Unit DTime a Source

minute :: Num a => Unit DTime a Source

arcminute :: Floating a => Unit DPlaneAngle a Source

arcsecond :: Floating a => Unit DPlaneAngle a Source

degree :: Floating a => Unit DPlaneAngle a Source

minuteOfArc :: Floating a => Unit DPlaneAngle a Source

secondOfArc :: Floating a => Unit DPlaneAngle a Source

degreeOfArc :: Floating a => Unit DPlaneAngle a Source

liter :: Fractional a => Unit DVolume a Source

litre :: Fractional a => Unit DVolume a Source

metricTon :: Fractional a => Unit DMass a Source

tonne :: Fractional a => Unit DMass a Source

Produced by Haddock version 2.4.2