-- 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.2


-- | <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