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

Index

# 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly
3 (Function)Data.Metrology
#*Data.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
#+Data.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
#-Data.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
#/Data.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
$=Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
% 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly
3 (Function)Data.Metrology
%*Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
%.Data.Metrology.Vector
%/Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
%^Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
*^|Data.Metrology.Linear
*| 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
*~Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
.#Data.Metrology.Vector
/|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:* 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:/ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:@ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:^ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
<Data.Metrology.Z
@*Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@+Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@-Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@/Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@@+Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@@-Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
@~Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
allPrefixesData.Metrology.Parser
allUnitsData.Metrology.Parser
applySingData.Metrology.Z
BaseHasConvRatioData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
BaseUnitData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
CanonicalData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
CanonicalUnitData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
CanonicalUnit'Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
CanonicalUnitsOfFactorsData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
checkIsTypeData.Metrology.TH
CompatibleDimData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
CompatibleUnitData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
constant 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
constantVData.Metrology.Linear
conversionRatioData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
convert 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
ConvertibleLCSUsData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
ConvertibleLCSUs_DData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
convertVData.Metrology.Linear
Count 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly
2 (Type/Class)Data.Metrology
declareCanonicalUnitData.Metrology.TH
declareConstantData.Metrology.TH
declareDerivedUnitData.Metrology.TH
declareDimensionData.Metrology.TH
declareMonoUnitData.Metrology.TH
DefaultConvertibleLCSU_DData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DefaultConvertibleLCSU_UData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DefaultLCSUData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
defaultLCSUData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DefaultUnitOfDimData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DimensionData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
Dimensionless 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DimFactorsOfData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DimOfUnitData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DimOfUnitIsConsistentData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
DivData.Metrology.Parser
ElemData.Metrology.Set, Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
evalTypeData.Metrology.TH
ExtractData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
FData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
FactorData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
FiveData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
FourData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
fromQuantityData.Metrology.Quantity
IsCanonicalData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
LCSUData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
LookupData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
LookupListData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
makeQuasiQuoterData.Metrology.Parser
MFiveData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MFourData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MkLCSUData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MkQu_DData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MkQu_DLNData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MkQu_UData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MkQu_ULNData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
mkSymbolTableData.Metrology.Parser
MOneData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MThreeData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MTwoData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MultData.Metrology.Parser
MultDimFactorsData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
multiplierData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
MultUnitFactorsData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
NegateData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
NegDimData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
NegListData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
NonNegativeData.Metrology.Z
NormalizeData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
Number 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
numIn 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly
3 (Function)Data.Metrology
numInVData.Metrology.Linear
OneData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
PData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
parseUnitData.Metrology.Parser
parseUnitExpData.Metrology.Parser
parseUnitTypeData.Metrology.Parser
pFiveData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pFourData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pMFiveData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pMFourData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pMOneData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pMThreeData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pMTwoData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
Point 
1 (Type/Class)Data.Metrology.Vector
2 (Data Constructor)Data.Metrology.Vector
pointNumInData.Metrology.Vector
pOneData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
PowData.Metrology.Parser
pPredData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
PredData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
pSuccData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
PSym0Data.Metrology.Z
PSym1Data.Metrology.Z
pThreeData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pTwoData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
pZeroData.Metrology.Z, Data.Metrology.Poly, Data.Metrology
qApproxData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qBasisData.Metrology.Linear
qBasisForData.Metrology.Linear
qCompareData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qCrossData.Metrology.Linear
qCross2Data.Metrology.Vector
qCross3Data.Metrology.Vector
qCubeData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qCubeRootData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qDistance 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
qDistanceAData.Metrology.Linear
qDistanceSqData.Metrology.Vector
qMagnitudeData.Metrology.Vector
qMagnitudeSqData.Metrology.Vector
qNapproxData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qNegate 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
qNegateVData.Metrology.Linear
qNormData.Metrology.Linear
qNormalizedData.Metrology.Vector
qNthRootData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qOuterData.Metrology.Linear
QPointData.Metrology.Vector
qProject 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
qQdData.Metrology.Linear
qQdAData.Metrology.Linear
qQuadranceData.Metrology.Linear
qScaledData.Metrology.Linear
qSignormData.Metrology.Linear
qSqData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qSqrtData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
qSum 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
qSumVData.Metrology.Linear
Qu 
1 (Type/Class)Data.Metrology.Unsafe, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Unsafe
quData.Metrology.Unsafe
QuantityData.Metrology.Quantity
quantityData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
QuantityLCSUData.Metrology.Quantity
QuantityQuData.Metrology.Quantity
QuantityRepData.Metrology.Quantity
QuantityUnitData.Metrology.Quantity
qUnitData.Metrology.Linear
quOf 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly
3 (Function)Data.Metrology
quOfPointData.Metrology.Vector
quOfVData.Metrology.Linear
redimData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
ReorderData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
Reorder'Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SEQData.Metrology.Z
SetEqualData.Metrology.Set, Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SFalseData.Metrology.Z
sFiveData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sFourData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SGTData.Metrology.Z
showIn 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
showInVData.Metrology.Linear
SingData.Metrology.Z
SLambdaData.Metrology.Z
SLTData.Metrology.Z
sMFiveData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sMFourData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sMOneData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sMThreeData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sMTwoData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sNegateData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
sOneData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SPData.Metrology.Z
sPredData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SSData.Metrology.Z
sSuccData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SSym0Data.Metrology.Z
SSym1Data.Metrology.Z
sThreeData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
STrueData.Metrology.Z
STuple0Data.Metrology.Z
STuple2Data.Metrology.Z
STuple3Data.Metrology.Z
STuple4Data.Metrology.Z
STuple5Data.Metrology.Z
STuple6Data.Metrology.Z
STuple7Data.Metrology.Z
sTwoData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SubsetData.Metrology.Set, Data.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SuccData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
SymbolTableData.Metrology.Parser
SZData.Metrology.Z
SZeroData.Metrology.Z
sZeroData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
szToIntData.Metrology.Z
ThreeData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
toQuantityData.Metrology.Quantity
TwoData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
Unit 
1 (Data Constructor)Data.Metrology.Parser
2 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnitExpData.Metrology.Parser
UnitFactorData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnitFactorsOfData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnitOfDimFactorsData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnitPrefixData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnityData.Metrology.Parser
unityData.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
UnsafeQu 
1 (Type/Class)Data.Metrology.Unsafe
2 (Data Constructor)Data.Metrology.Unsafe
ValidDLData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
ValidDLUData.Metrology.Internal, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
ZData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
ZeroData.Metrology.Z, Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
zero 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
ZeroSym0Data.Metrology.Z
zeroVData.Metrology.Linear
zToIntData.Metrology.Z
^#Data.Metrology.Linear
^%Data.Metrology.Linear
|* 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|*^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|*|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|+| 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|-| 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|.+^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.-.| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.-^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|/ 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|/=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|/|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|<=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|<|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|==|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|>=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|>|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|^Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|^*Data.Metrology.Linear
|^*| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|^+^|Data.Metrology.Linear
|^-^|Data.Metrology.Linear
|^/Data.Metrology.Linear
|^/| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|^^Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology