dimensional-0.10.1.2: Statically checked physical dimensions.

Portability | GHC only?
Stability | Stable
Maintainer | bjorn.buckwalter@gmail.com
Safe Haskell | None

Numeric.Units.Dimensional.SIUnits

Description

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

# Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

metre :: Num a => Unit DLength aSource

meter :: Num a => Unit DLength aSource

gram :: Fractional a => Unit DMass aSource

second :: Num a => Unit DTime aSource

ampere :: Num a => Unit DElectricCurrent aSource

kelvin :: Num a => Unit DThermodynamicTemperature aSource

mole :: Num a => Unit DAmountOfSubstance aSource

candela :: Num a => Unit DLuminousIntensity aSource

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

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

radian :: Fractional a => Unit DPlaneAngle aSource

steradian :: Fractional a => Unit DSolidAngle aSource

hertz :: Fractional a => Unit DFrequency aSource

newton :: Fractional a => Unit DForce aSource

pascal :: Fractional a => Unit DPressure aSource

joule :: Fractional a => Unit DEnergy aSource

watt :: Fractional a => Unit DPower aSource

coulomb :: Fractional a => Unit DElectricCharge aSource

volt :: Fractional a => Unit DElectricPotential aSource

farad :: Fractional a => Unit DCapacitance aSource

ohm :: Fractional a => Unit DElectricResistance aSource

siemens :: Fractional a => Unit DElectricConductance aSource

weber :: Fractional a => Unit DMagneticFlux aSource

tesla :: Fractional a => Unit DMagneticFluxDensity aSource

henry :: Fractional a => Unit DInductance aSource

lumen :: Fractional a => Unit DLuminousFlux aSource

lux :: Fractional a => Unit DIlluminance aSource

degreeCelsius :: Num a => Unit DCelsiusTemperature aSource

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

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

becquerel :: Fractional a => Unit DActivity aSource

gray :: Fractional a => Unit DAbsorbedDose aSource

sievert :: Fractional a => Unit DDoseEquivalent aSource

minute :: Num a => Unit DTime aSource

day :: Num a => Unit DTime aSource

hour :: Num a => Unit DTime aSource

degree :: Floating a => Unit DPlaneAngle aSource

arcsecond :: Floating a => Unit DPlaneAngle aSource

arcminute :: Floating a => Unit DPlaneAngle aSource

degreeOfArc :: Floating a => Unit DPlaneAngle aSource

secondOfArc :: Floating a => Unit DPlaneAngle aSource

minuteOfArc :: Floating a => Unit DPlaneAngle aSource

litre :: Fractional a => Unit DVolume aSource

liter :: Fractional a => Unit DVolume aSource

tonne :: Fractional a => Unit DMass aSource

metricTon :: Fractional a => Unit DMass aSource