| Safe Haskell | None |
|---|
UnitTyped.SI.Constants
Description
A number of mathematical or physical constants.
- pi' :: (Fractional f, Floating f) => Value f NoDimension Count
- pi :: Fractional f => Value f NoDimension Count
- c :: Fractional f => Value f Speed (Div Meter Second)
- h :: Fractional f => Value f (UnitCons Time NOne (UnitCons Length PTwo (UnitCons Mass POne UnitNil))) (Mul Joule Second)
- hbar :: Fractional f => Value f (UnitCons Time NOne (UnitCons Length PTwo (UnitCons Mass POne UnitNil))) (Mul Joule Second)
- e :: Fractional f => Value f Charge Coulomb
- m_e :: Fractional f => Value f MassDimension (Kilo Gram)
- a_0 :: Fractional f => Value f LengthDimension Meter
- e_h :: Fractional f => Value f Energy Joule
- r :: Fractional f => Value f (UnitCons Temperature NOne (UnitCons Length PTwo (UnitCons Mass POne (UnitCons Time (Neg (Suc One)) UnitNil)))) (Div Joule (Mul Kelvin Mole))
- g :: Fractional f => Value f (UnitCons Time (Neg (Suc One)) (UnitCons Length (Pos (Suc (Suc One))) (UnitCons Mass (Neg One) UnitNil))) (Div (Div (Mul (Mul Meter Meter) Meter) (Kilo Gram)) (Mul Second Second))
- m_P :: (Fractional f, Floating f) => Value f MassDimension (Kilo Gram)
- m_P' :: (Fractional f, Floating f) => Value f MassDimension (Kilo Gram)
Documentation
pi' :: (Fractional f, Floating f) => Value f NoDimension CountSource
π as the floating point value it has in the Prelude.
pi :: Fractional f => Value f NoDimension CountSource
π as a rational value. Which it isn't. But we can pretend it is.
h :: Fractional f => Value f (UnitCons Time NOne (UnitCons Length PTwo (UnitCons Mass POne UnitNil))) (Mul Joule Second)Source
Planck constant
hbar :: Fractional f => Value f (UnitCons Time NOne (UnitCons Length PTwo (UnitCons Mass POne UnitNil))) (Mul Joule Second)Source
Reduced Planck constant
m_e :: Fractional f => Value f MassDimension (Kilo Gram)Source
Atomic unit of mass (electron mass)
a_0 :: Fractional f => Value f LengthDimension MeterSource
Atomic unit of length
r :: Fractional f => Value f (UnitCons Temperature NOne (UnitCons Length PTwo (UnitCons Mass POne (UnitCons Time (Neg (Suc One)) UnitNil)))) (Div Joule (Mul Kelvin Mole))Source
Gas constant.
g :: Fractional f => Value f (UnitCons Time (Neg (Suc One)) (UnitCons Length (Pos (Suc (Suc One))) (UnitCons Mass (Neg One) UnitNil))) (Div (Div (Mul (Mul Meter Meter) Meter) (Kilo Gram)) (Mul Second Second))Source
Gravitational constant
m_P :: (Fractional f, Floating f) => Value f MassDimension (Kilo Gram)Source
Planck mass
m_P' :: (Fractional f, Floating f) => Value f MassDimension (Kilo Gram)Source
Reduced Planck mass