Numeric.Units.Dimensional.TF.Quantities

Please refer to the literate Haskell code for documentation of both API and implementation.

Documentation

type DArea = Dim Pos2 Zero Zero Zero Zero Zero Zero

type Area = Quantity DArea

type DVolume = Dim Pos3 Zero Zero Zero Zero Zero Zero

type Volume = Quantity DVolume

type DVelocity = Dim Pos1 Zero Neg1 Zero Zero Zero Zero

type Velocity = Quantity DVelocity

type DAcceleration = Dim Pos1 Zero Neg2 Zero Zero Zero Zero

type Acceleration = Quantity DAcceleration

type DWaveNumber = Dim Neg1 Zero Zero Zero Zero Zero Zero

type WaveNumber = Quantity DWaveNumber

type DMassDensity = Dim Neg3 Pos1 Zero Zero Zero Zero Zero

type MassDensity = Quantity DMassDensity

type Density = MassDensity

type DSpecificVolume = Dim Pos3 Neg1 Zero Zero Zero Zero Zero

type SpecificVolume = Quantity DSpecificVolume

type DCurrentDensity = Dim Neg2 Zero Zero Pos1 Zero Zero Zero

type CurrentDensity = Quantity DCurrentDensity

type DMagneticFieldStrength = Dim Neg1 Zero Zero Pos1 Zero Zero Zero

type MagneticFieldStrength = Quantity DMagneticFieldStrength

type DAmountOfSubstanceConcentration = Dim Neg3 Zero Zero Zero Zero Pos1 Zero

type AmountOfSubstanceConcentration = Quantity DAmountOfSubstanceConcentration

type Concentration = AmountOfSubstanceConcentration

type DLuminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1

type Luminance = Quantity DLuminance

square :: Num a => Unit DLength a -> Unit DArea a

cubic :: Num a => Unit DLength a -> Unit DVolume a

type DPlaneAngle = DOne

type PlaneAngle = Dimensionless

type DSolidAngle = DOne

type SolidAngle = Dimensionless

type DFrequency = Dim Zero Zero Neg1 Zero Zero Zero Zero

type Frequency = Quantity DFrequency

type DForce = Dim Pos1 Pos1 Neg2 Zero Zero Zero Zero

type Force = Quantity DForce

type DPressure = Dim Neg1 Pos1 Neg2 Zero Zero Zero Zero

type DStress = DPressure

type Pressure = Quantity DPressure

type Stress = Quantity DStress

type DEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Zero Zero

type DWork = DEnergy

type DQuantityOfHeat = DEnergy

type Energy = Quantity DEnergy

type Work = Quantity DWork

type QuantityOfHeat = Quantity DQuantityOfHeat

type DPower = Dim Pos2 Pos1 Neg3 Zero Zero Zero Zero

type DRadiantFlux = DPower

type Power = Quantity DPower

type RadiantFlux = Quantity DRadiantFlux

type DElectricCharge = Dim Zero Zero Pos1 Pos1 Zero Zero Zero

type DQuantityOfElectricity = DElectricCharge

type ElectricCharge = Quantity DElectricCharge

type QuantityOfElectricity = Quantity DQuantityOfElectricity

type DElectricPotential = Dim Pos2 Pos1 Neg3 Neg1 Zero Zero Zero

type DPotentialDifference = DElectricPotential

type DElectromotiveForce = DElectricPotential

type ElectricPotential = Quantity DElectricPotential

type PotentialDifference = Quantity DPotentialDifference

type ElectromotiveForce = Quantity DElectromotiveForce

type DCapacitance = Dim Neg2 Neg1 Pos4 Pos2 Zero Zero Zero

type Capacitance = Quantity DCapacitance

type DElectricResistance = Dim Pos2 Pos1 Neg3 Neg2 Zero Zero Zero

type ElectricResistance = Quantity DElectricResistance

type DElectricConductance = Dim Neg2 Neg1 Pos3 Pos2 Zero Zero Zero

type ElectricConductance = Quantity DElectricConductance

type DMagneticFlux = Dim Pos2 Pos1 Neg2 Neg1 Zero Zero Zero

type MagneticFlux = Quantity DMagneticFlux

type DMagneticFluxDensity = Dim Zero Pos1 Neg2 Neg1 Zero Zero Zero

type MagneticFluxDensity = Quantity DMagneticFluxDensity

type DInductance = Dim Pos2 Pos1 Neg2 Neg2 Zero Zero Zero

type Inductance = Quantity DInductance

type DLuminousFlux = DLuminousIntensity

type LuminousFlux = Quantity DLuminousFlux

type DIlluminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1

type Illuminance = Quantity DIlluminance

type DCelsiusTemperature = DThermodynamicTemperature

type CelsiusTemperature = Quantity DCelsiusTemperature

type DActivity = DFrequency

type Activity = Quantity DActivity

type DAbsorbedDose = Dim Pos2 Zero Neg2 Zero Zero Zero Zero

type DSpecificEnergy = DAbsorbedDose

type DKerma = DAbsorbedDose

type AbsorbedDose = Quantity DAbsorbedDose

type SpecificEnergy = Quantity DSpecificEnergy

type Kerma = Quantity DKerma

type DDoseEquivalent = DAbsorbedDose

type DAmbientDoseEquivalent = DDoseEquivalent

type DDirectionalDoseEquivalent = DDoseEquivalent

type DPersonalDoseEquivalent = DDoseEquivalent

type DEquivalentDose = DDoseEquivalent

type DoseEquivalent = Quantity DDoseEquivalent

type AmbientDoseEquivalent = DoseEquivalent

type DirectionalDoseEquivalent = DoseEquivalent

type PersonalDoseEquivalent = DoseEquivalent

type EquivalentDose = DoseEquivalent

type DAngularVelocity = DFrequency

type AngularVelocity = Quantity DAngularVelocity

type DAngularAcceleration = Dim Zero Zero Neg2 Zero Zero Zero Zero

type AngularAcceleration = Quantity DAngularAcceleration

type DDynamicViscosity = Dim Neg1 Pos1 Neg1 Zero Zero Zero Zero

type DynamicViscosity = Quantity DDynamicViscosity

type DMomentOfForce = DEnergy

type MomentOfForce = Quantity DMomentOfForce

type DSurfaceTension = Dim Zero Pos1 Neg2 Zero Zero Zero Zero

type SurfaceTension = Quantity DSurfaceTension

type DHeatFluxDensity = Dim Zero Pos1 Neg3 Zero Zero Zero Zero

type DIrradiance = DHeatFluxDensity

type HeatFluxDensity = Quantity DHeatFluxDensity

type Irradiance = Quantity DIrradiance

type DRadiantIntensity = DPower

type RadiantIntensity = Quantity DRadiantIntensity

type DRadiance = DIrradiance

type Radiance = Quantity DRadiance

type DHeatCapacity = Dim Pos2 Pos1 Neg2 Zero Neg1 Zero Zero

type DEntropy = DHeatCapacity

type HeatCapacity = Quantity DHeatCapacity

type Entropy = Quantity DEntropy

type DSpecificHeatCapacity = Dim Pos2 Zero Neg2 Zero Neg1 Zero Zero

type DSpecificEntropy = DSpecificHeatCapacity

type SpecificHeatCapacity = Quantity DSpecificHeatCapacity

type SpecificEntropy = Quantity DSpecificEntropy

type DThermalConductivity = Dim Pos1 Pos1 Neg3 Zero Neg1 Zero Zero

type ThermalConductivity = Quantity DThermalConductivity

type DEnergyDensity = DPressure

type EnergyDensity = Quantity DEnergyDensity

type DElectricFieldStrength = Dim Pos1 Pos1 Neg3 Neg1 Zero Zero Zero

type ElectricFieldStrength = Quantity DElectricFieldStrength

type DElectricChargeDensity = Dim Neg3 Zero Pos1 Pos1 Zero Zero Zero

type ElectricChargeDensity = Quantity DElectricChargeDensity

type DElectricFluxDensity = Dim Neg2 Zero Pos1 Pos1 Zero Zero Zero

type ElectricFluxDensity = Quantity DElectricFluxDensity

type DPermittivity = Dim Neg3 Neg1 Pos4 Pos2 Zero Zero Zero

type Permittivity = Quantity DPermittivity

type DPermeability = Dim Pos1 Pos1 Neg2 Neg2 Zero Zero Zero

type Permeability = Quantity DPermeability

type DMolarEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Neg1 Zero

type MolarEnergy = Quantity DMolarEnergy

type DMolarEntropy = Dim Pos2 Pos1 Neg2 Zero Neg1 Neg1 Zero

type DMolarHeatCapacity = DMolarEntropy

type MolarEntropy = Quantity DMolarEntropy

type MolarHeatCapacity = Quantity DMolarHeatCapacity

type DExposure = Dim Zero Neg1 Pos1 Pos1 Zero Zero Zero

type Exposure = Quantity DExposure

type DAbsorbedDoseRate = Dim Pos2 Zero Neg3 Zero Zero Zero Zero

type AbsorbedDoseRate = Quantity DAbsorbedDoseRate

type DImpulse = Dim Pos1 Pos1 Neg1 Zero Zero Zero Zero

type Impulse = Quantity DImpulse

type DMassFlow = Dim Zero Pos1 Neg1 Zero Zero Zero Zero

type MassFlow = Quantity DMassFlow

type DGravitationalParameter = Dim Pos3 Zero Neg2 Zero Zero Zero Zero

type GravitationalParameter = Quantity DGravitationalParameter

type DKinematicViscosity = Dim Pos2 Zero Neg1 Zero Zero Zero Zero

type KinematicViscosity = Quantity DKinematicViscosity

type DFirstMassMoment = Dim Pos1 Pos1 Zero Zero Zero Zero Zero

type FirstMassMoment = Quantity DFirstMassMoment

type DMomentOfInertia = Dim Pos2 Pos1 Zero Zero Zero Zero Zero

type MomentOfInertia = Quantity DMomentOfInertia

type DAngularMomentum = Dim Pos2 Pos1 Neg1 Zero Zero Zero Zero

type AngularMomentum = Quantity DAngularMomentum

type Angle = PlaneAngle

type DAngle = DPlaneAngle

type Thrust = Force

type DThrust = DForce

type Torque = MomentOfForce

type DTorque = DMomentOfForce

type EnergyPerUnitMass = SpecificEnergy

type DEnergyPerUnitMass = DSpecificEnergy