units-1.1: A domain-specific type system for dimensional analysis

Index

#Data.Dimensions
#*Data.Dimensions
#+Data.Dimensions
#-Data.Dimensions
#/Data.Dimensions
$=Data.Dimensions.Poly
%Data.Dimensions
%*Data.Dimensions
%/Data.Dimensions
%^Data.Dimensions
*.Data.Dimensions
.*Data.Dimensions
.+Data.Dimensions
.-Data.Dimensions
./Data.Dimensions
.<Data.Dimensions
.<=Data.Dimensions
.>Data.Dimensions
.>=Data.Dimensions
.^Data.Dimensions
:* 
1 (Type/Class)Data.Dimensions
2 (Data Constructor)Data.Dimensions
:/ 
1 (Type/Class)Data.Dimensions
2 (Data Constructor)Data.Dimensions
:@ 
1 (Type/Class)Data.Dimensions
2 (Data Constructor)Data.Dimensions
:^ 
1 (Type/Class)Data.Dimensions
2 (Data Constructor)Data.Dimensions
@*Data.Dimensions.Poly
@+Data.Dimensions.Poly
@-Data.Dimensions.Poly
@/Data.Dimensions.Poly
@~Data.Dimensions.Poly
AccelerationData.Dimensions.SI.Types, Data.Dimensions.SI
Ampere 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
AreaData.Dimensions.SI.Types, Data.Dimensions.SI
Atto 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
attoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
BaseUnitData.Dimensions
Becquerel 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Candela 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
CanonicalData.Dimensions
CapacitanceData.Dimensions.SI.Types, Data.Dimensions.SI
CatalyticActivityData.Dimensions.SI.Types, Data.Dimensions.SI
Centi 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
centiData.Dimensions.SI.Prefixes, Data.Dimensions.SI
ChargeData.Dimensions.SI.Types, Data.Dimensions.SI
ConcentrationData.Dimensions.SI.Types, Data.Dimensions.SI
ConductanceData.Dimensions.SI.Types, Data.Dimensions.SI
conversionRatioData.Dimensions
Coulomb 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
CurrentData.Dimensions.SI.Types, Data.Dimensions.SI
CurrentDensityData.Dimensions.SI.Types, Data.Dimensions.SI
DData.Dimensions.Poly
Deca 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
decaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Deci 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
deciData.Dimensions.SI.Prefixes, Data.Dimensions.SI
DensityData.Dimensions.SI.Types, Data.Dimensions.SI
Dim 
1 (Type/Class)Data.Dimensions.Unsafe, Data.Dimensions.Poly
2 (Data Constructor)Data.Dimensions.Unsafe
dimData.Dimensions
dimCubeRootData.Dimensions
dimEqData.Dimensions
dimInData.Dimensions
dimNeqData.Dimensions
dimOfData.Dimensions
DimSpecData.Dimensions.Poly
dimSqrtData.Dimensions
ElectricPotentialData.Dimensions.SI.Types, Data.Dimensions.SI
EnergyData.Dimensions.SI.Types, Data.Dimensions.SI
Exa 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
exaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
ExtractData.Dimensions.Poly
Farad 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Femto 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
femtoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
FiveData.Dimensions
ForceData.Dimensions.SI.Types, Data.Dimensions.SI
FourData.Dimensions
FrequencyData.Dimensions.SI.Types, Data.Dimensions.SI
Giga 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
gigaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Gram 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Gray 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Hecto 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
hectoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Henry 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Hertz 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
IlluminanceData.Dimensions.SI.Types, Data.Dimensions.SI
InductanceData.Dimensions.SI.Types, Data.Dimensions.SI
Joule 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Katal 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Kelvin 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
KermaData.Dimensions.SI.Types, Data.Dimensions.SI
Kilo 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
kiloData.Dimensions.SI.Prefixes, Data.Dimensions.SI
LengthData.Dimensions.SI.Types, Data.Dimensions.SI
Lumen 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
LuminanceData.Dimensions.SI.Types, Data.Dimensions.SI
LuminosityData.Dimensions.SI.Types, Data.Dimensions.SI
LuminousFluxData.Dimensions.SI.Types, Data.Dimensions.SI
Lux 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
MagneticFluxData.Dimensions.SI.Types, Data.Dimensions.SI
MagneticFluxDensityData.Dimensions.SI.Types, Data.Dimensions.SI
MagneticStrengthData.Dimensions.SI.Types, Data.Dimensions.SI
MassData.Dimensions.SI.Types, Data.Dimensions.SI
Mega 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
megaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Meter 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
MFiveData.Dimensions
MFourData.Dimensions
Micro 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
microData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Milli 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
milliData.Dimensions.SI.Prefixes, Data.Dimensions.SI
MkDimData.Dimensions
MkGenDimData.Dimensions
Mole 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
MomentumData.Dimensions.SI.Types, Data.Dimensions.SI
MOneData.Dimensions
MThreeData.Dimensions
MTwoData.Dimensions
multiplierData.Dimensions
Nano 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
nanoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
NegDimData.Dimensions.Poly
NegListData.Dimensions.Poly
NegZData.Dimensions
Newton 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
NormalizeData.Dimensions.Poly
nthRootData.Dimensions
Number 
1 (Type/Class)Data.Dimensions
2 (Data Constructor)Data.Dimensions
Ohm 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
OneData.Dimensions
PData.Dimensions
Pascal 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Peta 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
petaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
pFiveData.Dimensions
pFourData.Dimensions
Pico 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
picoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
pMFiveData.Dimensions
pMFourData.Dimensions
pMOneData.Dimensions
pMThreeData.Dimensions
pMTwoData.Dimensions
pOneData.Dimensions
PowerData.Dimensions.SI.Types, Data.Dimensions.SI
pPredData.Dimensions
PredData.Dimensions
PressureData.Dimensions.SI.Types, Data.Dimensions.SI
pSuccData.Dimensions
pThreeData.Dimensions
pTwoData.Dimensions
pZeroData.Dimensions
QuantityData.Dimensions.SI.Types, Data.Dimensions.SI
ReorderData.Dimensions.Poly
ResistanceData.Dimensions.SI.Types, Data.Dimensions.SI
SData.Dimensions
ScalarData.Dimensions
scalarData.Dimensions
Second 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Siemens 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Sievert 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
SpecificVolumeData.Dimensions.SI.Types, Data.Dimensions.SI
SuccData.Dimensions
SurfaceDensityData.Dimensions.SI.Types, Data.Dimensions.SI
TemperatureData.Dimensions.SI.Types, Data.Dimensions.SI
Tera 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
teraData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Tesla 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
ThreeData.Dimensions
TimeData.Dimensions.SI.Types, Data.Dimensions.SI
TwoData.Dimensions
UnitData.Dimensions
UnitPrefixData.Dimensions
unityData.Dimensions
VelocityData.Dimensions.SI.Types, Data.Dimensions.SI
Volt 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
VolumeData.Dimensions.SI.Types, Data.Dimensions.SI
Watt 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
WavenumberData.Dimensions.SI.Types, Data.Dimensions.SI
Weber 
1 (Type/Class)Data.Dimensions.SI.Units, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Units, Data.Dimensions.SI
Yocto 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
yoctoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
Yotta 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
yottaData.Dimensions.SI.Prefixes, Data.Dimensions.SI
ZData.Dimensions
Zepto 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
zeptoData.Dimensions.SI.Prefixes, Data.Dimensions.SI
ZeroData.Dimensions
zeroData.Dimensions
Zetta 
1 (Type/Class)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
2 (Data Constructor)Data.Dimensions.SI.Prefixes, Data.Dimensions.SI
zettaData.Dimensions.SI.Prefixes, Data.Dimensions.SI