{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
module Physics.Units.Constants.Measured where
import Physics.Units.Arithmetic
import Physics.Units.Type
import Physics.Units.Base
weakMixingAngle :: Fractional a => One a
gravitationalConstant :: Fractional a => (Cube Metre >/< Kilogram >/< Square Second) a
wienDisplacementLawConstant :: Fractional a => (Metre >*< Kelvin) a
protonMass :: Fractional a => Kilogram a
electronRelativeMass :: Fractional a => One a
fineStructureConstant :: Fractional a => One a
rydbergConstant :: Fractional a => (One >/< Metre) a
weakMixingAngle = SI 2.223e-1
gravitationalConstant = SI 6.67408e-11
wienDisplacementLawConstant = SI 2.8977729e-3
protonMass = SI 1.672621898e-27
fineStructureConstant = SI 7.2973525664e-3
electronRelativeMass = SI 5.48579909070e-4
rydbergConstant = SI 1.0973731568508e7