-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | CODATA Recommended Physical Constants with Dimensional Types
--   
--   The dimensional-codata package provides a selection of the CODATA
--   recommended values for fundamental physical constants for use with the
--   dimensional library for physical quantities and units. Major version
--   numbers represent the date of issue of the recommended values.
@package dimensional-codata
@version 2014.0.0.0


-- | <h1>Summary</h1>
--   
--   This module offers a selection of fundamental physical constants with
--   their values as defined or measured and published by the <a>Committee
--   on Data for Science and Technology</a> of the International Council
--   for Science.
--   
--   These values are from the 2014 CODATA recommended values, by way of
--   NIST<a>[1]</a>.
--   
--   The original document offers many, many more constants than are
--   provided here. An effort has been made to narrow it down to the most
--   useful ones. If your work requires others or if you have another
--   contribution or suggestion, please submit issues or pull requests to
--   <a>the GitHub repository</a>.
--   
--   <h1>References</h1>
--   
--   <ol>
--   <li><a>http://physics.nist.gov/cuu/Constants/index.html</a></li>
--   </ol>
module Numeric.Units.Dimensional.Codata

-- | One twelfth of the <a>Mass</a> of an unbound atom of carbon-12 at rest
--   and in its ground state.
atomicMassConstant :: (Fractional a) => Mass a

-- | The number of consitutent particles that are contained in the
--   <a>AmountOfSubstance</a> given by one <a>mole</a>.
avogadroConstant :: (Fractional a) => Quantity (Recip DAmountOfSubstance) a
boltzmannConstant :: (Fractional a) => Entropy a
conductanceQuantum :: (Fractional a) => ElectricConductance a

-- | The electric constant, also commonly called the vacuum permittivity or
--   permittivity of free space, is an ideal physical constant, which is
--   the value of the absolute dielectric permittivity of classical vacuum.
--   It is the capability of the vacuum to permit electric field lines.
--   This constant relates the units for electric charge to mechanical
--   quantities such as length and force.
--   
--   The value given here is exact if you use exact arithmetic.
electricConstant :: (Floating a) => Permittivity a

-- | The rest <a>Mass</a> of an electron.
electronMass :: (Fractional a) => Mass a

-- | The amount of <a>Energy</a> gained (or lost) by the charge of a single
--   electron moved across an electric <a>PotentialDifference</a> of one
--   <a>volt</a>.
electronVolt :: (Fractional a) => Energy a

-- | The <a>ElectricCharge</a> carried by a single proton, or equivalently,
--   the negation of the electric charge carried by a single electron
elementaryCharge :: (Fractional a) => ElectricCharge a

-- | The magnitude of <a>ElectricCharge</a> per <a>mole</a> of electrons.
faradayConstant :: (Fractional a) => Quantity (DElectricCharge / DAmountOfSubstance) a
fineStructureConstant :: (Fractional a) => Dimensionless a

-- | The magnetic constant, also commonly called the vacuum permeability,
--   permeability of free space, or permeability of vacuum is an ideal
--   physical constant, which is the value of magnetic permeability in a
--   classical vacuum. Vacuum permeability is derived from production of a
--   magnetic field by an electric current or by a moving electric charge
--   and in all other formulas for magnetic-field production in a vacuum.
--   In the reference medium of classical vacuum it has an exact value in
--   the SI system of units.
--   
--   The value given here is exact if you use exact arithmetic.
magneticConstant :: (Floating a) => Permeability a
magneticFluxQuantum :: (Fractional a) => MagneticFlux a
molarGasConstant :: (Fractional a) => MolarHeatCapacity a

-- | According to the Newtonian law of universal gravitation, the
--   attractive force between two bodies is directly proportional to the
--   product of their <a>Mass</a>es, and inversely proportional to the
--   square of the <a>Length</a> of the distance between them. The
--   empirical constant of proportionality is the Newtonian constant of
--   gravitation.
newtonianConstantOfGravitation :: (Fractional a) => Quantity (Dim Pos3 Neg1 Neg2 Zero Zero Zero Zero) a
planckConstant :: (Fractional a) => Quantity (Dim Pos2 Pos1 Neg1 Zero Zero Zero Zero) a

-- | The rest <a>Mass</a> of an proton.
protonMass :: (Fractional a) => Mass a
rydbergConstant :: (Fractional a) => WaveNumber a

-- | The speed of light in a vacuum is exact because it forms the basis of
--   the definition of the <a>meter</a>.
speedOfLightInVacuum :: (Fractional a) => Velocity a

-- | The nominal gravitational <a>Acceleration</a> of an object in a vacuum
--   near the surface of the Earth, as defined by standard. This value was
--   established by the 3rd General Conference on Weights and Measures in
--   1901.
standardAccelerationOfGravity :: (Fractional a) => Acceleration a
stefanBoltzmannConstant :: (Fractional a) => Quantity (Dim Zero Pos1 Neg3 Zero Neg4 Zero Zero) a