dimensional-0.7.3: Statically checked physical dimensions.Source codeContentsIndex
Numeric.Units.Dimensional.Quantities
PortabilityGHC only?
StabilityStable
Maintainerbjorn.buckwalter@gmail.com
Description
Please refer to the literate Haskell code for documentation of both API and implementation.
Documentation
type DArea = Dim Pos2 Zero Zero Zero Zero Zero ZeroSource
type Area = Quantity DAreaSource
type DVolume = Dim Pos3 Zero Zero Zero Zero Zero ZeroSource
type Volume = Quantity DVolumeSource
type DVelocity = Dim Pos1 Zero Neg1 Zero Zero Zero ZeroSource
type Velocity = Quantity DVelocitySource
type DAcceleration = Dim Pos1 Zero Neg2 Zero Zero Zero ZeroSource
type Acceleration = Quantity DAccelerationSource
type DWaveNumber = Dim Neg1 Zero Zero Zero Zero Zero ZeroSource
type WaveNumber = Quantity DWaveNumberSource
type DMassDensity = Dim Neg3 Pos1 Zero Zero Zero Zero ZeroSource
type MassDensity = Quantity DMassDensitySource
type Density = MassDensitySource
type DSpecificVolume = Dim Pos3 Neg1 Zero Zero Zero Zero ZeroSource
type SpecificVolume = Quantity DSpecificVolumeSource
type DCurrentDensity = Dim Neg2 Zero Zero Pos1 Zero Zero ZeroSource
type CurrentDensity = Quantity DCurrentDensitySource
type DMagneticFieldStrength = Dim Neg1 Zero Zero Pos1 Zero Zero ZeroSource
type MagneticFieldStrength = Quantity DMagneticFieldStrengthSource
type DAmountOfSubstanceConcentration = Dim Neg3 Zero Zero Zero Zero Pos1 ZeroSource
type AmountOfSubstanceConcentration = Quantity DAmountOfSubstanceConcentrationSource
type Concentration = AmountOfSubstanceConcentrationSource
type DLuminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1Source
type Luminance = Quantity DLuminanceSource
square :: Num a => Unit DLength a -> Unit DArea aSource
cubic :: Num a => Unit DLength a -> Unit DVolume aSource
type DPlaneAngle = DOneSource
type PlaneAngle = DimensionlessSource
type DSolidAngle = DOneSource
type SolidAngle = DimensionlessSource
type DFrequency = Dim Zero Zero Neg1 Zero Zero Zero ZeroSource
type Frequency = Quantity DFrequencySource
type DForce = Dim Pos1 Pos1 Neg2 Zero Zero Zero ZeroSource
type Force = Quantity DForceSource
type DPressure = Dim Neg1 Pos1 Neg2 Zero Zero Zero ZeroSource
type DStress = DPressureSource
type Pressure = Quantity DPressureSource
type Stress = Quantity DStressSource
type DEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Zero ZeroSource
type DWork = DEnergySource
type DQuantityOfHeat = DEnergySource
type Energy = Quantity DEnergySource
type Work = Quantity DWorkSource
type QuantityOfHeat = Quantity DQuantityOfHeatSource
type DPower = Dim Pos2 Pos1 Neg3 Zero Zero Zero ZeroSource
type DRadiantFlux = DPowerSource
type Power = Quantity DPowerSource
type RadiantFlux = Quantity DRadiantFluxSource
type DElectricCharge = Dim Zero Zero Pos1 Pos1 Zero Zero ZeroSource
type DQuantityOfElectricity = DElectricChargeSource
type ElectricCharge = Quantity DElectricChargeSource
type QuantityOfElectricity = Quantity DQuantityOfElectricitySource
type DElectricPotential = Dim Pos2 Pos1 Neg3 Neg1 Zero Zero ZeroSource
type DPotentialDifference = DElectricPotentialSource
type DElectromotiveForce = DElectricPotentialSource
type ElectricPotential = Quantity DElectricPotentialSource
type PotentialDifference = Quantity DPotentialDifferenceSource
type ElectromotiveForce = Quantity DElectromotiveForceSource
type DCapacitance = Dim Neg2 Neg1 Pos4 Pos2 Zero Zero ZeroSource
type Capacitance = Quantity DCapacitanceSource
type DElectricResistance = Dim Pos2 Pos1 Neg3 Neg2 Zero Zero ZeroSource
type ElectricResistance = Quantity DElectricResistanceSource
type DElectricConductance = Dim Neg2 Neg1 Pos3 Pos2 Zero Zero ZeroSource
type ElectricConductance = Quantity DElectricConductanceSource
type DMagneticFlux = Dim Pos2 Pos1 Neg2 Neg1 Zero Zero ZeroSource
type MagneticFlux = Quantity DMagneticFluxSource
type DMagneticFluxDensity = Dim Zero Pos1 Neg2 Neg1 Zero Zero ZeroSource
type MagneticFluxDensity = Quantity DMagneticFluxDensitySource
type DInductance = Dim Pos2 Pos1 Neg2 Neg2 Zero Zero ZeroSource
type Inductance = Quantity DInductanceSource
type DLuminousFlux = DLuminousIntensitySource
type LuminousFlux = Quantity DLuminousFluxSource
type DIlluminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1Source
type Illuminance = Quantity DIlluminanceSource
type DCelsiusTemperature = DThermodynamicTemperatureSource
type CelsiusTemperature = Quantity DCelsiusTemperatureSource
type DActivity = DFrequencySource
type Activity = Quantity DActivitySource
type DAbsorbedDose = Dim Pos2 Zero Neg2 Zero Zero Zero ZeroSource
type DSpecificEnergy = DAbsorbedDoseSource
type DKerma = DAbsorbedDoseSource
type AbsorbedDose = Quantity DAbsorbedDoseSource
type SpecificEnergy = Quantity DSpecificEnergySource
type Kerma = Quantity DKermaSource
type DDoseEquivalent = DAbsorbedDoseSource
type DAmbientDoseEquivalent = DDoseEquivalentSource
type DDirectionalDoseEquivalent = DDoseEquivalentSource
type DPersonalDoseEquivalent = DDoseEquivalentSource
type DEquivalentDose = DDoseEquivalentSource
type DoseEquivalent = Quantity DDoseEquivalentSource
type AmbientDoseEquivalent = DoseEquivalentSource
type DirectionalDoseEquivalent = DoseEquivalentSource
type PersonalDoseEquivalent = DoseEquivalentSource
type EquivalentDose = DoseEquivalentSource
type DAngularVelocity = DFrequencySource
type AngularVelocity = Quantity DAngularVelocitySource
type DAngularAcceleration = Dim Zero Zero Neg2 Zero Zero Zero ZeroSource
type AngularAcceleration = Quantity DAngularAccelerationSource
type DDynamicViscosity = Dim Neg1 Pos1 Neg1 Zero Zero Zero ZeroSource
type DynamicViscosity = Quantity DDynamicViscositySource
type DMomentOfForce = DEnergySource
type MomentOfForce = Quantity DMomentOfForceSource
type DSurfaceTension = Dim Zero Pos1 Neg2 Zero Zero Zero ZeroSource
type SurfaceTension = Quantity DSurfaceTensionSource
type DHeatFluxDensity = Dim Zero Pos1 Neg3 Zero Zero Zero ZeroSource
type DIrradiance = DHeatFluxDensitySource
type HeatFluxDensity = Quantity DHeatFluxDensitySource
type Irradiance = Quantity DIrradianceSource
type DRadiantIntensity = DPowerSource
type RadiantIntensity = Quantity DRadiantIntensitySource
type DRadiance = DIrradianceSource
type Radiance = Quantity DRadianceSource
type DHeatCapacity = Dim Pos2 Pos1 Neg2 Zero Neg1 Zero ZeroSource
type DEntropy = DHeatCapacitySource
type HeatCapacity = Quantity DHeatCapacitySource
type Entropy = Quantity DEntropySource
type DSpecificHeatCapacity = Dim Pos2 Zero Neg2 Zero Neg1 Zero ZeroSource
type DSpecificEntropy = DSpecificHeatCapacitySource
type SpecificHeatCapacity = Quantity DSpecificHeatCapacitySource
type SpecificEntropy = Quantity DSpecificEntropySource
type DThermalConductivity = Dim Pos1 Pos1 Neg3 Zero Neg1 Zero ZeroSource
type ThermalConductivity = Quantity DThermalConductivitySource
type DEnergyDensity = DPressureSource
type EnergyDensity = Quantity DEnergyDensitySource
type DElectricFieldStrength = Dim Pos1 Pos1 Neg3 Neg1 Zero Zero ZeroSource
type ElectricFieldStrength = Quantity DElectricFieldStrengthSource
type DElectricChargeDensity = Dim Neg3 Zero Pos1 Pos1 Zero Zero ZeroSource
type ElectricChargeDensity = Quantity DElectricChargeDensitySource
type DElectricFluxDensity = Dim Neg2 Zero Pos1 Pos1 Zero Zero ZeroSource
type ElectricFluxDensity = Quantity DElectricFluxDensitySource
type DPermittivity = Dim Neg3 Neg1 Pos4 Pos2 Zero Zero ZeroSource
type Permittivity = Quantity DPermittivitySource
type DPermeability = Dim Pos1 Pos1 Neg2 Neg2 Zero Zero ZeroSource
type Permeability = Quantity DPermeabilitySource
type DMolarEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Neg1 ZeroSource
type MolarEnergy = Quantity DMolarEnergySource
type DMolarEntropy = Dim Pos2 Pos1 Neg2 Zero Neg1 Neg1 ZeroSource
type DMolarHeatCapacity = DMolarEntropySource
type MolarEntropy = Quantity DMolarEntropySource
type MolarHeatCapacity = Quantity DMolarHeatCapacitySource
type DExposure = Dim Zero Neg1 Pos1 Pos1 Zero Zero ZeroSource
type Exposure = Quantity DExposureSource
type DAbsorbedDoseRate = Dim Pos2 Zero Neg3 Zero Zero Zero ZeroSource
type AbsorbedDoseRate = Quantity DAbsorbedDoseRateSource
type DImpulse = Dim Pos1 Pos1 Neg1 Zero Zero Zero ZeroSource
type Impulse = Quantity DImpulseSource
type DMassFlow = Dim Zero Pos1 Neg1 Zero Zero Zero ZeroSource
type MassFlow = Quantity DMassFlowSource
type DGravitationalParameter = Dim Pos3 Zero Neg2 Zero Zero Zero ZeroSource
type GravitationalParameter = Quantity DGravitationalParameterSource
type Angle = PlaneAngleSource
type Thrust = ForceSource
type EnergyPerUnitMass = SpecificEnergySource
Produced by Haddock version 2.4.2