dimensional-codata-2014.0.0.1: CODATA Recommended Physical Constants with Dimensional Types

CopyrightCopyright (C) 2015 Douglas McClean
Safe HaskellNone




This module offers a selection of fundamental physical constants with their values as defined or measured and published by the Committee on Data for Science and Technology of the International Council for Science.

These values are from the 2014 CODATA recommended values, by way of NIST[1].

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 the GitHub repository.


  1. http://physics.nist.gov/cuu/Constants/index.html


atomicMassConstant :: Fractional a => Mass a Source #

One twelfth of the Mass of an unbound atom of carbon-12 at rest and in its ground state.

avogadroConstant :: Fractional a => Quantity (Recip DAmountOfSubstance) a Source #

The number of consitutent particles that are contained in the AmountOfSubstance given by one mole.

electricConstant :: Floating a => Permittivity a Source #

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.

electronMass :: Fractional a => Mass a Source #

The rest Mass of an electron.

electronVolt :: Fractional a => Energy a Source #

The amount of Energy gained (or lost) by the charge of a single electron moved across an electric PotentialDifference of one volt.

elementaryCharge :: Fractional a => ElectricCharge a Source #

The ElectricCharge carried by a single proton, or equivalently, the negation of the electric charge carried by a single electron

magneticConstant :: Floating a => Permeability a Source #

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.

newtonianConstantOfGravitation :: Fractional a => Quantity (Dim Pos3 Neg1 Neg2 Zero Zero Zero Zero) a Source #

According to the Newtonian law of universal gravitation, the attractive force between two bodies is directly proportional to the product of their Masses, and inversely proportional to the square of the Length of the distance between them. The empirical constant of proportionality is the Newtonian constant of gravitation.

protonMass :: Fractional a => Mass a Source #

The rest Mass of an proton.

speedOfLightInVacuum :: Fractional a => Velocity a Source #

The speed of light in a vacuum is exact because it forms the basis of the definition of the meter.

standardAccelerationOfGravity :: Fractional a => Acceleration a Source #

The nominal gravitational Acceleration 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.