{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NumDecimals #-}
module Numeric.Units.Dimensional.NonSI
(
electronVolt, calorie, unifiedAtomicMassUnit, dalton,
percent,
gee,
poundMass, ounce, poundForce, horsepower, btu, shortTon,
nauticalMile, knot,
revolution, solid,
slug, psi,
teaspoon,
foot, inch, mil, yard, mile, acre,
usSurveyFoot, usSurveyInch, usSurveyMil, usSurveyYard, usSurveyMile, usSurveyAcre,
year, decade, century, millennium,
bar, atmosphere, technicalAtmosphere, mmHg, inHg, inHg_UCUM, inHg_NIST, torr,
rad,
stokes,
degreeFahrenheit, degreeRankine,
imperialGallon, imperialQuart, imperialPint, imperialCup, imperialGill, imperialFluidOunce,
usGallon, usQuart, usPint, usCup, usGill, usFluidOunce,
angstrom,
gauss
)
where
import Numeric.Units.Dimensional.Prelude
import Numeric.Units.Dimensional.UnitNames.Internal (ucumMetric, ucum, dimensionalAtom)
import qualified Prelude
electronVolt :: Floating a => Unit 'Metric DEnergy a
electronVolt :: Unit 'Metric DEnergy a
electronVolt = UnitName 'Metric
-> ExactPi -> Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'Metric
ucumMetric String
"eV" String
"eV" String
"electron volt") ExactPi
1.60217733e-19 (Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a)
-> Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DEnergy a
forall a. Num a => Unit 'Metric DEnergy a
joule
calorie :: Floating a => Unit 'Metric DEnergy a
calorie :: Unit 'Metric DEnergy a
calorie = UnitName 'Metric
-> ExactPi -> Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'Metric
ucumMetric String
"cal" String
"cal" String
"calorie") ExactPi
4.184 (Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a)
-> Unit 'Metric DEnergy a -> Unit 'Metric DEnergy a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DEnergy a
forall a. Num a => Unit 'Metric DEnergy a
joule
unifiedAtomicMassUnit :: Floating a => Unit 'Metric DMass a
unifiedAtomicMassUnit :: Unit 'Metric DMass a
unifiedAtomicMassUnit = UnitName 'Metric
-> ExactPi -> Unit 'NonMetric DMass a -> Unit 'Metric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'Metric
ucumMetric String
"u" String
"u" String
"atomic mass unit") ExactPi
1.6605402e-27 (Unit 'NonMetric DMass a -> Unit 'Metric DMass a)
-> Unit 'NonMetric DMass a -> Unit 'Metric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DMass a -> Unit 'NonMetric DMass a
forall a (d :: Dimension).
Num a =>
Unit 'Metric d a -> Unit 'NonMetric d a
kilo Unit 'Metric DMass a
forall a. Fractional a => Unit 'Metric DMass a
gram
dalton :: Floating a => Unit 'Metric DMass a
dalton :: Unit 'Metric DMass a
dalton = UnitName 'Metric
-> ExactPi -> Unit 'Metric DMass a -> Unit 'Metric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'Metric
ucumMetric String
"u" String
"Da" String
"Dalton") ExactPi
1 (Unit 'Metric DMass a -> Unit 'Metric DMass a)
-> Unit 'Metric DMass a -> Unit 'Metric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DMass a
forall a. Floating a => Unit 'Metric DMass a
unifiedAtomicMassUnit
percent :: (Fractional a) => Unit 'NonMetric DOne a
percent :: Unit 'NonMetric DOne a
percent = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DOne a -> Unit 'NonMetric DOne a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"%" String
"%" String
"percent") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
100) Unit 'NonMetric DOne a
forall a. Num a => Unit 'NonMetric DOne a
one
gee :: Fractional a => Unit 'Metric DAcceleration a
gee :: Unit 'Metric DAcceleration a
gee = UnitName 'Metric
-> Rational
-> Unit 'NonMetric DAcceleration a
-> Unit 'Metric DAcceleration a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'Metric
ucumMetric String
"[g]" String
"g" String
"gee") Rational
9.80665 (Unit 'NonMetric DAcceleration a -> Unit 'Metric DAcceleration a)
-> Unit 'NonMetric DAcceleration a -> Unit 'Metric DAcceleration a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter Unit 'Metric DLength a
-> Dimensional
('DUnit 'NonMetric)
('Dim 'Zero 'Zero 'Pos2 'Zero 'Zero 'Zero 'Zero)
a
-> Dimensional
('DUnit 'Metric / 'DUnit 'NonMetric)
(DLength / 'Dim 'Zero 'Zero 'Pos2 'Zero 'Zero 'Zero 'Zero)
a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Unit 'Metric DTime a
forall a. Num a => Unit 'Metric DTime a
second Unit 'Metric DTime a
-> Proxy 'Pos2
-> Dimensional (Weaken ('DUnit 'Metric)) (DTime ^ 'Pos2) a
forall a (i :: TypeInt) (v :: Variant) (d1 :: Dimension).
(Fractional a, KnownTypeInt i, KnownVariant v,
KnownVariant (Weaken v)) =>
Dimensional v d1 a -> Proxy i -> Dimensional (Weaken v) (d1 ^ i) a
^ Proxy 'Pos2
pos2
foot :: Fractional a => Unit 'NonMetric DLength a
= UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[ft_i]" String
"ft" String
"foot") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
3) (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
yard
inch :: Fractional a => Unit 'NonMetric DLength a
inch :: Unit 'NonMetric DLength a
inch = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[in_i]" String
"in" String
"inch") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
12) (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
foot
mil :: Fractional a => Unit 'NonMetric DLength a
mil :: Unit 'NonMetric DLength a
mil = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[mil_i]" String
"mil" String
"mil") Rational
0.001 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
inch
yard :: (Fractional a) => Unit 'NonMetric DLength a
yard :: Unit 'NonMetric DLength a
yard = UnitName 'NonMetric
-> Rational -> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[yd_i]" String
"yd" String
"yard") Rational
0.9144 (Unit 'Metric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter
mile :: (Fractional a) => Unit 'NonMetric DLength a
mile :: Unit 'NonMetric DLength a
mile = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[mi_i]" String
"mi" String
"mile") Rational
5280 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
foot
acre :: (Fractional a) => Unit 'NonMetric DArea a
acre :: Unit 'NonMetric DArea a
acre = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"[acr_i]" String
"ac" String
"acre") Rational
43560 (Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a)
-> Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a -> Unit 'NonMetric DArea a
forall a (m :: Metricality).
(Fractional a, Typeable m) =>
Unit m DLength a -> Unit 'NonMetric DArea a
square Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
foot
usSurveyFoot :: Fractional a => Unit 'NonMetric DLength a
= UnitName 'NonMetric
-> Rational -> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[ft_us]" String
"ft" String
"foot") (Rational
1200 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
3937) (Unit 'Metric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter
usSurveyInch :: Fractional a => Unit 'NonMetric DLength a
usSurveyInch :: Unit 'NonMetric DLength a
usSurveyInch = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[in_us]" String
"in" String
"inch") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
12) (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
usSurveyFoot
usSurveyMil :: Fractional a => Unit 'NonMetric DLength a
usSurveyMil :: Unit 'NonMetric DLength a
usSurveyMil = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[mil_us]" String
"mil" String
"mil") Rational
0.001 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
usSurveyInch
usSurveyYard :: (Fractional a) => Unit 'NonMetric DLength a
usSurveyYard :: Unit 'NonMetric DLength a
usSurveyYard = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[yd_us]" String
"yd" String
"yard") Rational
3 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
usSurveyFoot
usSurveyMile :: (Fractional a) => Unit 'NonMetric DLength a
usSurveyMile :: Unit 'NonMetric DLength a
usSurveyMile = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[mi_us]" String
"mi" String
"mile") Rational
5280 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
usSurveyFoot
usSurveyAcre :: (Fractional a) => Unit 'NonMetric DArea a
usSurveyAcre :: Unit 'NonMetric DArea a
usSurveyAcre = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[acr_us]" String
"ac" String
"acre") Rational
43560 (Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a)
-> Unit 'NonMetric DArea a -> Unit 'NonMetric DArea a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a -> Unit 'NonMetric DArea a
forall a (m :: Metricality).
(Fractional a, Typeable m) =>
Unit m DLength a -> Unit 'NonMetric DArea a
square Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
usSurveyFoot
poundMass :: Fractional a => Unit 'NonMetric DMass a
poundMass :: Unit 'NonMetric DMass a
poundMass = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[lb_av]" String
"lb" String
"pound") Rational
0.45359237 (Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a)
-> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DMass a -> Unit 'NonMetric DMass a
forall a (d :: Dimension).
Num a =>
Unit 'Metric d a -> Unit 'NonMetric d a
kilo Unit 'Metric DMass a
forall a. Fractional a => Unit 'Metric DMass a
gram
ounce :: Fractional a => Unit 'NonMetric DMass a
ounce :: Unit 'NonMetric DMass a
ounce = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[oz_av]" String
"oz" String
"ounce") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
16) (Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a)
-> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DMass a
forall a. Fractional a => Unit 'NonMetric DMass a
poundMass
shortTon :: Fractional a => Unit 'NonMetric DMass a
shortTon :: Unit 'NonMetric DMass a
shortTon = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[ston_av]" String
"ton" String
"short ton") Rational
2000 (Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a)
-> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DMass a
forall a. Fractional a => Unit 'NonMetric DMass a
poundMass
poundForce :: Fractional a => Unit 'NonMetric DForce a
poundForce :: Unit 'NonMetric DForce a
poundForce = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DForce a -> Unit 'NonMetric DForce a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[lbf_av]" String
"lbf" String
"pound force") Rational
1 (Unit 'NonMetric DForce a -> Unit 'NonMetric DForce a)
-> Unit 'NonMetric DForce a -> Unit 'NonMetric DForce a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DMass a
forall a. Fractional a => Unit 'NonMetric DMass a
poundMass Unit 'NonMetric DMass a
-> Dimensional ('DUnit 'Metric) DAcceleration a
-> Dimensional
('DUnit 'NonMetric * 'DUnit 'Metric) (DMass * DAcceleration) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* Dimensional ('DUnit 'Metric) DAcceleration a
forall a. Fractional a => Unit 'Metric DAcceleration a
gee
horsepower :: Fractional a => Unit 'NonMetric DPower a
horsepower :: Unit 'NonMetric DPower a
horsepower = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DPower a -> Unit 'NonMetric DPower a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[HP]" String
"hp" String
"horsepower") Rational
550 (Unit 'NonMetric DPower a -> Unit 'NonMetric DPower a)
-> Unit 'NonMetric DPower a -> Unit 'NonMetric DPower a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
foot Unit 'NonMetric DLength a
-> Dimensional ('DUnit 'NonMetric) DForce a
-> Dimensional
('DUnit 'NonMetric * 'DUnit 'NonMetric) (DLength * DForce) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* Dimensional ('DUnit 'NonMetric) DForce a
forall a. Fractional a => Unit 'NonMetric DForce a
poundForce Dimensional ('DUnit 'NonMetric) DEnergy a
-> Dimensional ('DUnit 'Metric) DTime a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'Metric) (DEnergy / DTime) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Dimensional ('DUnit 'Metric) DTime a
forall a. Num a => Unit 'Metric DTime a
second
slug :: Fractional a => Unit 'NonMetric DMass a
slug :: Unit 'NonMetric DMass a
slug = UnitName 'NonMetric
-> Rational -> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"slug" String
"slug" String
"slug") Rational
1 (Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a)
-> Unit 'NonMetric DMass a -> Unit 'NonMetric DMass a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DForce a
forall a. Fractional a => Unit 'NonMetric DForce a
poundForce Unit 'NonMetric DForce a
-> Dimensional
('DUnit 'NonMetric)
('Dim 'Zero 'Zero 'Pos2 'Zero 'Zero 'Zero 'Zero)
a
-> Dimensional
('DUnit 'NonMetric * 'DUnit 'NonMetric)
(DForce * 'Dim 'Zero 'Zero 'Pos2 'Zero 'Zero 'Zero 'Zero)
a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* (Unit 'Metric DTime a
forall a. Num a => Unit 'Metric DTime a
secondUnit 'Metric DTime a
-> Proxy 'Pos2
-> Dimensional (Weaken ('DUnit 'Metric)) (DTime ^ 'Pos2) a
forall a (i :: TypeInt) (v :: Variant) (d1 :: Dimension).
(Fractional a, KnownTypeInt i, KnownVariant v,
KnownVariant (Weaken v)) =>
Dimensional v d1 a -> Proxy i -> Dimensional (Weaken v) (d1 ^ i) a
^Proxy 'Pos2
pos2) Dimensional
('DUnit 'NonMetric)
('Dim 'Pos1 'Pos1 'Zero 'Zero 'Zero 'Zero 'Zero)
a
-> Dimensional ('DUnit 'NonMetric) DLength a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'NonMetric)
('Dim 'Pos1 'Pos1 'Zero 'Zero 'Zero 'Zero 'Zero / DLength)
a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Dimensional ('DUnit 'NonMetric) DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
foot
psi :: Fractional a => Unit 'NonMetric DPressure a
psi :: Unit 'NonMetric DPressure a
psi = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[psi]" String
"psi" String
"pound per square inch") Rational
1 (Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DForce a
forall a. Fractional a => Unit 'NonMetric DForce a
poundForce Unit 'NonMetric DForce a
-> Dimensional ('DUnit 'NonMetric) DArea a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'NonMetric) (DForce / DArea) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
inch Unit 'NonMetric DLength a
-> Proxy 'Pos2
-> Dimensional (Weaken ('DUnit 'NonMetric)) (DLength ^ 'Pos2) a
forall a (i :: TypeInt) (v :: Variant) (d1 :: Dimension).
(Fractional a, KnownTypeInt i, KnownVariant v,
KnownVariant (Weaken v)) =>
Dimensional v d1 a -> Proxy i -> Dimensional (Weaken v) (d1 ^ i) a
^ Proxy 'Pos2
pos2
nauticalMile :: (Num a) => Unit 'NonMetric DLength a
nauticalMile :: Unit 'NonMetric DLength a
nauticalMile = UnitName 'NonMetric
-> Integer -> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[nmi_i]" String
"NM" String
"nautical mile") Integer
1852 (Unit 'Metric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter
knot :: (Fractional a) => Unit 'NonMetric DVelocity a
knot :: Unit 'NonMetric DVelocity a
knot = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVelocity a
-> Unit 'NonMetric DVelocity a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[kt_i]" String
"kt" String
"knot") Rational
1 (Unit 'NonMetric DVelocity a -> Unit 'NonMetric DVelocity a)
-> Unit 'NonMetric DVelocity a -> Unit 'NonMetric DVelocity a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a
forall a. Num a => Unit 'NonMetric DLength a
nauticalMile Unit 'NonMetric DLength a
-> Dimensional ('DUnit 'NonMetric) DTime a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'NonMetric) (DLength / DTime) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Dimensional ('DUnit 'NonMetric) DTime a
forall a. Num a => Unit 'NonMetric DTime a
hour
revolution :: (Floating a) => Unit 'NonMetric DOne a
revolution :: Unit 'NonMetric DOne a
revolution = UnitName 'NonMetric
-> ExactPi -> Unit 'Metric DOne a -> Unit 'NonMetric DOne a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"rev" String
"rev" String
"revolution") (ExactPi
2 ExactPi -> ExactPi -> ExactPi
forall a. Num a => a -> a -> a
Prelude.* ExactPi
forall a. Floating a => a
Prelude.pi) (Unit 'Metric DOne a -> Unit 'NonMetric DOne a)
-> Unit 'Metric DOne a -> Unit 'NonMetric DOne a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DOne a
forall a. Num a => Unit 'Metric DOne a
radian
solid :: (Floating a) => Unit 'NonMetric DOne a
solid :: Unit 'NonMetric DOne a
solid = UnitName 'NonMetric
-> ExactPi -> Unit 'Metric DOne a -> Unit 'NonMetric DOne a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Floating a =>
UnitName m -> ExactPi -> Unit m1 d a -> Unit m d a
mkUnitR (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"solid" String
"solid" String
"solid") (ExactPi
4 ExactPi -> ExactPi -> ExactPi
forall a. Num a => a -> a -> a
Prelude.* ExactPi
forall a. Floating a => a
Prelude.pi) (Unit 'Metric DOne a -> Unit 'NonMetric DOne a)
-> Unit 'Metric DOne a -> Unit 'NonMetric DOne a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DOne a
forall a. Num a => Unit 'Metric DOne a
steradian
teaspoon :: (Fractional a) => Unit 'NonMetric DVolume a
teaspoon :: Unit 'NonMetric DVolume a
teaspoon = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[tsp_m]" String
"tsp" String
"teaspoon") Rational
5 (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DVolume a -> Unit 'NonMetric DVolume a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
milli Unit 'Metric DVolume a
forall a. Fractional a => Unit 'Metric DVolume a
liter
btu :: Fractional a => Unit 'NonMetric DEnergy a
btu :: Unit 'NonMetric DEnergy a
btu = UnitName 'NonMetric
-> Rational -> Unit 'Metric DEnergy a -> Unit 'NonMetric DEnergy a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[Btu_IT]" String
"btu" String
"British thermal unit") Rational
1055.05585262 (Unit 'Metric DEnergy a -> Unit 'NonMetric DEnergy a)
-> Unit 'Metric DEnergy a -> Unit 'NonMetric DEnergy a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DEnergy a
forall a. Num a => Unit 'Metric DEnergy a
joule
year :: Num a => Unit 'NonMetric DTime a
year :: Unit 'NonMetric DTime a
year = UnitName 'NonMetric
-> Integer -> Unit 'Metric DTime a -> Unit 'NonMetric DTime a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
ucum String
"a_j" String
"a" String
"mean Julian year") Integer
31557600 (Unit 'Metric DTime a -> Unit 'NonMetric DTime a)
-> Unit 'Metric DTime a -> Unit 'NonMetric DTime a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DTime a
forall a. Num a => Unit 'Metric DTime a
second
decade :: Num a => Unit 'NonMetric DTime a
decade :: Unit 'NonMetric DTime a
decade = UnitName 'NonMetric
-> Integer -> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"d_j" String
"dec" String
"mean Julian decade") Integer
10 (Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a)
-> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DTime a
forall a. Num a => Unit 'NonMetric DTime a
year
century :: Num a => Unit 'NonMetric DTime a
century :: Unit 'NonMetric DTime a
century = UnitName 'NonMetric
-> Integer -> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"c_j" String
"cen" String
"mean Julian century") Integer
100 (Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a)
-> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DTime a
forall a. Num a => Unit 'NonMetric DTime a
year
millennium :: Num a => Unit 'NonMetric DTime a
millennium :: Unit 'NonMetric DTime a
millennium = UnitName 'NonMetric
-> Integer -> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"m_j" String
"mil" String
"mean Julian millennium") Integer
1000 (Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a)
-> Unit 'NonMetric DTime a -> Unit 'NonMetric DTime a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DTime a
forall a. Num a => Unit 'NonMetric DTime a
year
bar :: (Num a) => Unit 'Metric DPressure a
bar :: Unit 'Metric DPressure a
bar = UnitName 'Metric
-> Integer -> Unit 'Metric DPressure a -> Unit 'Metric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'Metric
ucumMetric String
"bar" String
"bar" String
"bar") Integer
1e5 (Unit 'Metric DPressure a -> Unit 'Metric DPressure a)
-> Unit 'Metric DPressure a -> Unit 'Metric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DPressure a
forall a. Num a => Unit 'Metric DPressure a
pascal
atmosphere :: (Num a) => Unit 'NonMetric DPressure a
atmosphere :: Unit 'NonMetric DPressure a
atmosphere = UnitName 'NonMetric
-> Integer
-> Unit 'Metric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Num a =>
UnitName m -> Integer -> Unit m1 d a -> Unit m d a
mkUnitZ (String -> String -> String -> UnitName 'NonMetric
ucum String
"atm" String
"atm" String
"standard atmosphere") Integer
101325 (Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DPressure a
forall a. Num a => Unit 'Metric DPressure a
pascal
technicalAtmosphere :: (Fractional a) => Unit 'NonMetric DPressure a
technicalAtmosphere :: Unit 'NonMetric DPressure a
technicalAtmosphere = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"att" String
"at" String
"technical atmosphere") Rational
1 (Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DMass a -> Unit 'NonMetric DMass a
forall a (d :: Dimension).
Num a =>
Unit 'Metric d a -> Unit 'NonMetric d a
kilo Unit 'Metric DMass a
forall a. Fractional a => Unit 'Metric DMass a
gram Unit 'NonMetric DMass a
-> Dimensional ('DUnit 'Metric) DAcceleration a
-> Dimensional
('DUnit 'NonMetric * 'DUnit 'Metric) (DMass * DAcceleration) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* Dimensional ('DUnit 'Metric) DAcceleration a
forall a. Fractional a => Unit 'Metric DAcceleration a
gee Dimensional ('DUnit 'NonMetric) DForce a
-> Dimensional
('DUnit 'NonMetric)
('Dim 'Neg2 'Zero 'Zero 'Zero 'Zero 'Zero 'Zero)
a
-> Dimensional
('DUnit 'NonMetric * 'DUnit 'NonMetric)
(DForce * 'Dim 'Neg2 'Zero 'Zero 'Zero 'Zero 'Zero 'Zero)
a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
centi Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter Unit 'NonMetric DLength a
-> Proxy 'Neg2
-> Dimensional (Weaken ('DUnit 'NonMetric)) (DLength ^ 'Neg2) a
forall a (i :: TypeInt) (v :: Variant) (d1 :: Dimension).
(Fractional a, KnownTypeInt i, KnownVariant v,
KnownVariant (Weaken v)) =>
Dimensional v d1 a -> Proxy i -> Dimensional (Weaken v) (d1 ^ i) a
^ Proxy 'Neg2
neg2
mmHg :: (Fractional a) => Unit 'NonMetric DPressure a
mmHg :: Unit 'NonMetric DPressure a
mmHg = Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
milli Unit 'Metric DPressure a
forall a. Fractional a => Unit 'Metric DPressure a
mHg
mHg :: (Fractional a) => Unit 'Metric DPressure a
mHg :: Unit 'Metric DPressure a
mHg = UnitName 'Metric
-> Rational
-> Unit 'NonMetric DPressure a
-> Unit 'Metric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'Metric
ucumMetric String
"m[Hg]" String
"m Hg" String
"meter of mercury") Rational
133.3220 (Unit 'NonMetric DPressure a -> Unit 'Metric DPressure a)
-> Unit 'NonMetric DPressure a -> Unit 'Metric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a
forall a (d :: Dimension).
Num a =>
Unit 'Metric d a -> Unit 'NonMetric d a
kilo Unit 'Metric DPressure a
forall a. Num a => Unit 'Metric DPressure a
pascal
inHg :: (Fractional a) => Unit 'NonMetric DPressure a
inHg :: Unit 'NonMetric DPressure a
inHg = Unit 'NonMetric DPressure a
forall a. Fractional a => Unit 'NonMetric DPressure a
inHg_UCUM
inHg_UCUM :: (Fractional a) => Unit 'NonMetric DPressure a
inHg_UCUM :: Unit 'NonMetric DPressure a
inHg_UCUM = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[in_i'Hg]" String
"in Hg" String
"inch of mercury") Rational
1 (Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DPressure a
forall a. Fractional a => Unit 'Metric DPressure a
mHg Unit 'Metric DPressure a
-> Dimensional ('DUnit 'NonMetric) DLength a
-> Dimensional
('DUnit 'Metric * 'DUnit 'NonMetric) (DPressure * DLength) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2),
Num a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
* Dimensional ('DUnit 'NonMetric) DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
inch Dimensional
('DUnit 'NonMetric)
('Dim 'Zero 'Pos1 'Neg2 'Zero 'Zero 'Zero 'Zero)
a
-> Dimensional ('DUnit 'Metric) DLength a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'Metric)
('Dim 'Zero 'Pos1 'Neg2 'Zero 'Zero 'Zero 'Zero / DLength)
a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Dimensional ('DUnit 'Metric) DLength a
forall a. Num a => Unit 'Metric DLength a
meter
inHg_NIST :: (Fractional a) => Unit 'NonMetric DPressure a
inHg_NIST :: Unit 'NonMetric DPressure a
inHg_NIST = UnitName 'NonMetric
-> Rational
-> Unit 'Metric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"[in_i'Hg_NIST]" String
"in Hg" String
"inch of mercury") Rational
3.386389e3 (Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'Metric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DPressure a
forall a. Num a => Unit 'Metric DPressure a
pascal
torr :: (Fractional a) => Unit 'NonMetric DPressure a
torr :: Unit 'NonMetric DPressure a
torr = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DPressure a
-> Unit 'NonMetric DPressure a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"Torr" String
"Torr" String
"Torr") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
760) (Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a)
-> Unit 'NonMetric DPressure a -> Unit 'NonMetric DPressure a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DPressure a
forall a. Num a => Unit 'NonMetric DPressure a
atmosphere
rad :: (Fractional a) => Unit 'Metric DAbsorbedDose a
rad :: Unit 'Metric DAbsorbedDose a
rad = UnitName 'Metric
-> Rational
-> Unit 'NonMetric DAbsorbedDose a
-> Unit 'Metric DAbsorbedDose a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'Metric
ucumMetric String
"RAD" String
"RAD" String
"RAD") Rational
1 (Unit 'NonMetric DAbsorbedDose a -> Unit 'Metric DAbsorbedDose a)
-> Unit 'NonMetric DAbsorbedDose a -> Unit 'Metric DAbsorbedDose a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DAbsorbedDose a -> Unit 'NonMetric DAbsorbedDose a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
centi Unit 'Metric DAbsorbedDose a
forall a. Num a => Unit 'Metric DAbsorbedDose a
gray
stokes :: (Fractional a) => Unit 'Metric DKinematicViscosity a
stokes :: Unit 'Metric DKinematicViscosity a
stokes = UnitName 'Metric
-> Rational
-> Unit 'NonMetric DKinematicViscosity a
-> Unit 'Metric DKinematicViscosity a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'Metric
ucumMetric String
"St" String
"St" String
"Stokes") Rational
1 (Unit 'NonMetric DKinematicViscosity a
-> Unit 'Metric DKinematicViscosity a)
-> Unit 'NonMetric DKinematicViscosity a
-> Unit 'Metric DKinematicViscosity a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
centi Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter Unit 'NonMetric DLength a
-> Proxy 'Pos2
-> Dimensional (Weaken ('DUnit 'NonMetric)) (DLength ^ 'Pos2) a
forall a (i :: TypeInt) (v :: Variant) (d1 :: Dimension).
(Fractional a, KnownTypeInt i, KnownVariant v,
KnownVariant (Weaken v)) =>
Dimensional v d1 a -> Proxy i -> Dimensional (Weaken v) (d1 ^ i) a
^ Proxy 'Pos2
pos2 Dimensional ('DUnit 'NonMetric) DArea a
-> Dimensional ('DUnit 'Metric) DTime a
-> Dimensional
('DUnit 'NonMetric / 'DUnit 'Metric) (DArea / DTime) a
forall (v1 :: Variant) (v2 :: Variant) a (d1 :: Dimension)
(d2 :: Dimension).
(KnownVariant v1, KnownVariant v2, KnownVariant (v1 / v2),
Fractional a) =>
Dimensional v1 d1 a
-> Dimensional v2 d2 a -> Dimensional (v1 / v2) (d1 / d2) a
/ Dimensional ('DUnit 'Metric) DTime a
forall a. Num a => Unit 'Metric DTime a
second
degreeFahrenheit :: (Fractional a) => Unit 'NonMetric DThermodynamicTemperature a
degreeFahrenheit :: Unit 'NonMetric DThermodynamicTemperature a
degreeFahrenheit = UnitName 'NonMetric
-> Rational
-> Unit 'Metric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[degF]" String
"°F" String
"degree Fahrenheit") (Rational
5 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
9) (Unit 'Metric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a)
-> Unit 'Metric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DThermodynamicTemperature a
forall a. Num a => Unit 'Metric DThermodynamicTemperature a
degreeCelsius
degreeRankine :: (Fractional a) => Unit 'NonMetric DThermodynamicTemperature a
degreeRankine :: Unit 'NonMetric DThermodynamicTemperature a
degreeRankine = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[degR]" String
"°R" String
"degree Rankine") Rational
1 (Unit 'NonMetric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a)
-> Unit 'NonMetric DThermodynamicTemperature a
-> Unit 'NonMetric DThermodynamicTemperature a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DThermodynamicTemperature a
forall a.
Fractional a =>
Unit 'NonMetric DThermodynamicTemperature a
degreeFahrenheit
imperialGallon :: (Fractional a) => Unit 'NonMetric DVolume a
imperialGallon :: Unit 'NonMetric DVolume a
imperialGallon = UnitName 'NonMetric
-> Rational -> Unit 'Metric DVolume a -> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[gal_br]" String
"gal" String
"gallon") Rational
4.54609 (Unit 'Metric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'Metric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DVolume a
forall a. Fractional a => Unit 'Metric DVolume a
liter
imperialQuart :: (Fractional a) => Unit 'NonMetric DVolume a
imperialQuart :: Unit 'NonMetric DVolume a
imperialQuart = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[qt_br]" String
"qt" String
"quart") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
4) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
imperialGallon
imperialPint :: (Fractional a) => Unit 'NonMetric DVolume a
imperialPint :: Unit 'NonMetric DVolume a
imperialPint = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[pt_br]" String
"pt" String
"pint") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
8) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
imperialGallon
imperialCup :: (Fractional a) => Unit 'NonMetric DVolume a
imperialCup :: Unit 'NonMetric DVolume a
imperialCup = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
dimensionalAtom String
"[cup_br]" String
"cup" String
"cup") Rational
0.5 (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
imperialPint
imperialGill :: (Fractional a) => Unit 'NonMetric DVolume a
imperialGill :: Unit 'NonMetric DVolume a
imperialGill = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[gil_br]" String
"gill" String
"gill") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
4) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
imperialPint
imperialFluidOunce :: (Fractional a) => Unit 'NonMetric DVolume a
imperialFluidOunce :: Unit 'NonMetric DVolume a
imperialFluidOunce = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[foz_br]" String
"fl oz" String
"fluid ounce") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
20) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
imperialPint
usGallon :: (Fractional a) => Unit 'NonMetric DVolume a
usGallon :: Unit 'NonMetric DVolume a
usGallon = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[gal_us]" String
"gal" String
"gallon") Rational
231 (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DLength a -> Unit 'NonMetric DVolume a
forall a (m :: Metricality).
(Fractional a, Typeable m) =>
Unit m DLength a -> Unit 'NonMetric DVolume a
cubic Unit 'NonMetric DLength a
forall a. Fractional a => Unit 'NonMetric DLength a
inch
usQuart :: (Fractional a) => Unit 'NonMetric DVolume a
usQuart :: Unit 'NonMetric DVolume a
usQuart = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[qt_us]" String
"qt" String
"quart") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
4) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
usGallon
usPint :: (Fractional a) => Unit 'NonMetric DVolume a
usPint :: Unit 'NonMetric DVolume a
usPint = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[pt_us]" String
"pt" String
"pint") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
8) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
usGallon
usCup :: (Fractional a) => Unit 'NonMetric DVolume a
usCup :: Unit 'NonMetric DVolume a
usCup = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[cup_us]" String
"cup" String
"cup") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
2) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
usPint
usGill :: (Fractional a) => Unit 'NonMetric DVolume a
usGill :: Unit 'NonMetric DVolume a
usGill = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[gil_us]" String
"gill" String
"gill") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
4) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
usPint
usFluidOunce :: (Fractional a) => Unit 'NonMetric DVolume a
usFluidOunce :: Unit 'NonMetric DVolume a
usFluidOunce = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DVolume a
-> Unit 'NonMetric DVolume a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"[foz_us]" String
"fl oz" String
"fluid ounce") (Rational
1 Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
Prelude./ Rational
16) (Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a)
-> Unit 'NonMetric DVolume a -> Unit 'NonMetric DVolume a
forall a b. (a -> b) -> a -> b
$ Unit 'NonMetric DVolume a
forall a. Fractional a => Unit 'NonMetric DVolume a
usPint
angstrom :: (Fractional a) => Unit 'NonMetric DLength a
angstrom :: Unit 'NonMetric DLength a
angstrom = UnitName 'NonMetric
-> Rational
-> Unit 'NonMetric DLength a
-> Unit 'NonMetric DLength a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"Ao" String
"Å" String
"Ångström") Rational
0.1 (Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a)
-> Unit 'NonMetric DLength a -> Unit 'NonMetric DLength a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DLength a -> Unit 'NonMetric DLength a
forall a (d :: Dimension).
Fractional a =>
Unit 'Metric d a -> Unit 'NonMetric d a
nano Unit 'Metric DLength a
forall a. Num a => Unit 'Metric DLength a
meter
gauss :: (Fractional a) => Unit 'NonMetric DMagneticFluxDensity a
gauss :: Unit 'NonMetric DMagneticFluxDensity a
gauss = UnitName 'NonMetric
-> Rational
-> Unit 'Metric DMagneticFluxDensity a
-> Unit 'NonMetric DMagneticFluxDensity a
forall a (m :: Metricality) (m1 :: Metricality) (d :: Dimension).
Fractional a =>
UnitName m -> Rational -> Unit m1 d a -> Unit m d a
mkUnitQ (String -> String -> String -> UnitName 'NonMetric
ucum String
"G" String
"G" String
"Gauss") Rational
1e-4 (Unit 'Metric DMagneticFluxDensity a
-> Unit 'NonMetric DMagneticFluxDensity a)
-> Unit 'Metric DMagneticFluxDensity a
-> Unit 'NonMetric DMagneticFluxDensity a
forall a b. (a -> b) -> a -> b
$ Unit 'Metric DMagneticFluxDensity a
forall a. Num a => Unit 'Metric DMagneticFluxDensity a
tesla