dimensional-0.13.0.2: Statically checked physical dimensions.

Copyright | Copyright (C) 2006-2014 Bjorn Buckwalter
License | BSD3
Maintainer | bjorn@buckwalter.se
Stability | Stable
Portability | GHC only?
Safe Haskell | None
Language | Haskell98

Numeric.Units.Dimensional.Quantities

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 Zero Source

type Area = Quantity DArea Source

type DVolume = Dim Pos3 Zero Zero Zero Zero Zero Zero Source

type Volume = Quantity DVolume Source

type DVelocity = Dim Pos1 Zero Neg1 Zero Zero Zero Zero Source

type Velocity = Quantity DVelocity Source

type DAcceleration = Dim Pos1 Zero Neg2 Zero Zero Zero Zero Source

type Acceleration = Quantity DAcceleration Source

type DWaveNumber = Dim Neg1 Zero Zero Zero Zero Zero Zero Source

type WaveNumber = Quantity DWaveNumber Source

type DMassDensity = Dim Neg3 Pos1 Zero Zero Zero Zero Zero Source

type MassDensity = Quantity DMassDensity Source

type Density = MassDensity Source

type DSpecificVolume = Dim Pos3 Neg1 Zero Zero Zero Zero Zero Source

type SpecificVolume = Quantity DSpecificVolume Source

type DCurrentDensity = Dim Neg2 Zero Zero Pos1 Zero Zero Zero Source

type CurrentDensity = Quantity DCurrentDensity Source

type DMagneticFieldStrength = Dim Neg1 Zero Zero Pos1 Zero Zero Zero Source

type MagneticFieldStrength = Quantity DMagneticFieldStrength Source

type DAmountOfSubstanceConcentration = Dim Neg3 Zero Zero Zero Zero Pos1 Zero Source

type AmountOfSubstanceConcentration = Quantity DAmountOfSubstanceConcentration Source

type Concentration = AmountOfSubstanceConcentration Source

type DLuminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1 Source

type Luminance = Quantity DLuminance Source

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

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

type DPlaneAngle = DOne Source

type PlaneAngle = Dimensionless Source

type DSolidAngle = DOne Source

type SolidAngle = Dimensionless Source

type DFrequency = Dim Zero Zero Neg1 Zero Zero Zero Zero Source

type Frequency = Quantity DFrequency Source

type DForce = Dim Pos1 Pos1 Neg2 Zero Zero Zero Zero Source

type Force = Quantity DForce Source

type DPressure = Dim Neg1 Pos1 Neg2 Zero Zero Zero Zero Source

type DStress = DPressure Source

type Pressure = Quantity DPressure Source

type Stress = Quantity DStress Source

type DEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Zero Zero Source

type DWork = DEnergy Source

type DQuantityOfHeat = DEnergy Source

type Energy = Quantity DEnergy Source

type Work = Quantity DWork Source

type QuantityOfHeat = Quantity DQuantityOfHeat Source

type DPower = Dim Pos2 Pos1 Neg3 Zero Zero Zero Zero Source

type DRadiantFlux = DPower Source

type Power = Quantity DPower Source

type RadiantFlux = Quantity DRadiantFlux Source

type DElectricCharge = Dim Zero Zero Pos1 Pos1 Zero Zero Zero Source

type DQuantityOfElectricity = DElectricCharge Source

type ElectricCharge = Quantity DElectricCharge Source

type QuantityOfElectricity = Quantity DQuantityOfElectricity Source

type DElectricPotential = Dim Pos2 Pos1 Neg3 Neg1 Zero Zero Zero Source

type DPotentialDifference = DElectricPotential Source

type DElectromotiveForce = DElectricPotential Source

type ElectricPotential = Quantity DElectricPotential Source

type PotentialDifference = Quantity DPotentialDifference Source

type ElectromotiveForce = Quantity DElectromotiveForce Source

type DCapacitance = Dim Neg2 Neg1 Pos4 Pos2 Zero Zero Zero Source

type Capacitance = Quantity DCapacitance Source

type DElectricResistance = Dim Pos2 Pos1 Neg3 Neg2 Zero Zero Zero Source

type ElectricResistance = Quantity DElectricResistance Source

type DElectricConductance = Dim Neg2 Neg1 Pos3 Pos2 Zero Zero Zero Source

type ElectricConductance = Quantity DElectricConductance Source

type DMagneticFlux = Dim Pos2 Pos1 Neg2 Neg1 Zero Zero Zero Source

type MagneticFlux = Quantity DMagneticFlux Source

type DMagneticFluxDensity = Dim Zero Pos1 Neg2 Neg1 Zero Zero Zero Source

type MagneticFluxDensity = Quantity DMagneticFluxDensity Source

type DInductance = Dim Pos2 Pos1 Neg2 Neg2 Zero Zero Zero Source

type Inductance = Quantity DInductance Source

type DLuminousFlux = DLuminousIntensity Source

type LuminousFlux = Quantity DLuminousFlux Source

type DIlluminance = Dim Neg2 Zero Zero Zero Zero Zero Pos1 Source

type Illuminance = Quantity DIlluminance Source

type DCelsiusTemperature = DThermodynamicTemperature Source

type CelsiusTemperature = Quantity DCelsiusTemperature Source

type DActivity = DFrequency Source

type Activity = Quantity DActivity Source

type DAbsorbedDose = Dim Pos2 Zero Neg2 Zero Zero Zero Zero Source

type DSpecificEnergy = DAbsorbedDose Source

type DKerma = DAbsorbedDose Source

type AbsorbedDose = Quantity DAbsorbedDose Source

type SpecificEnergy = Quantity DSpecificEnergy Source

type Kerma = Quantity DKerma Source

type DDoseEquivalent = DAbsorbedDose Source

type DAmbientDoseEquivalent = DDoseEquivalent Source

type DDirectionalDoseEquivalent = DDoseEquivalent Source

type DPersonalDoseEquivalent = DDoseEquivalent Source

type DEquivalentDose = DDoseEquivalent Source

type DoseEquivalent = Quantity DDoseEquivalent Source

type AmbientDoseEquivalent = DoseEquivalent Source

type DirectionalDoseEquivalent = DoseEquivalent Source

type PersonalDoseEquivalent = DoseEquivalent Source

type EquivalentDose = DoseEquivalent Source

type DAngularVelocity = DFrequency Source

type AngularVelocity = Quantity DAngularVelocity Source

type DAngularAcceleration = Dim Zero Zero Neg2 Zero Zero Zero Zero Source

type AngularAcceleration = Quantity DAngularAcceleration Source

type DDynamicViscosity = Dim Neg1 Pos1 Neg1 Zero Zero Zero Zero Source

type DynamicViscosity = Quantity DDynamicViscosity Source

type DMomentOfForce = DEnergy Source

type MomentOfForce = Quantity DMomentOfForce Source

type DSurfaceTension = Dim Zero Pos1 Neg2 Zero Zero Zero Zero Source

type SurfaceTension = Quantity DSurfaceTension Source

type DHeatFluxDensity = Dim Zero Pos1 Neg3 Zero Zero Zero Zero Source

type DIrradiance = DHeatFluxDensity Source

type HeatFluxDensity = Quantity DHeatFluxDensity Source

type Irradiance = Quantity DIrradiance Source

type DRadiantIntensity = DPower Source

type RadiantIntensity = Quantity DRadiantIntensity Source

type DRadiance = DIrradiance Source

type Radiance = Quantity DRadiance Source

type DHeatCapacity = Dim Pos2 Pos1 Neg2 Zero Neg1 Zero Zero Source

type DEntropy = DHeatCapacity Source

type HeatCapacity = Quantity DHeatCapacity Source

type Entropy = Quantity DEntropy Source

type DSpecificHeatCapacity = Dim Pos2 Zero Neg2 Zero Neg1 Zero Zero Source

type DSpecificEntropy = DSpecificHeatCapacity Source

type SpecificHeatCapacity = Quantity DSpecificHeatCapacity Source

type SpecificEntropy = Quantity DSpecificEntropy Source

type DThermalConductivity = Dim Pos1 Pos1 Neg3 Zero Neg1 Zero Zero Source

type ThermalConductivity = Quantity DThermalConductivity Source

type DEnergyDensity = DPressure Source

type EnergyDensity = Quantity DEnergyDensity Source

type DElectricFieldStrength = Dim Pos1 Pos1 Neg3 Neg1 Zero Zero Zero Source

type ElectricFieldStrength = Quantity DElectricFieldStrength Source

type DElectricChargeDensity = Dim Neg3 Zero Pos1 Pos1 Zero Zero Zero Source

type ElectricChargeDensity = Quantity DElectricChargeDensity Source

type DElectricFluxDensity = Dim Neg2 Zero Pos1 Pos1 Zero Zero Zero Source

type ElectricFluxDensity = Quantity DElectricFluxDensity Source

type DPermittivity = Dim Neg3 Neg1 Pos4 Pos2 Zero Zero Zero Source

type Permittivity = Quantity DPermittivity Source

type DPermeability = Dim Pos1 Pos1 Neg2 Neg2 Zero Zero Zero Source

type Permeability = Quantity DPermeability Source

type DMolarEnergy = Dim Pos2 Pos1 Neg2 Zero Zero Neg1 Zero Source

type MolarEnergy = Quantity DMolarEnergy Source

type DMolarEntropy = Dim Pos2 Pos1 Neg2 Zero Neg1 Neg1 Zero Source

type DMolarHeatCapacity = DMolarEntropy Source

type MolarEntropy = Quantity DMolarEntropy Source

type MolarHeatCapacity = Quantity DMolarHeatCapacity Source

type DExposure = Dim Zero Neg1 Pos1 Pos1 Zero Zero Zero Source

type Exposure = Quantity DExposure Source

type DAbsorbedDoseRate = Dim Pos2 Zero Neg3 Zero Zero Zero Zero Source

type AbsorbedDoseRate = Quantity DAbsorbedDoseRate Source

type DImpulse = Dim Pos1 Pos1 Neg1 Zero Zero Zero Zero Source

type Impulse = Quantity DImpulse Source

type DMassFlow = Dim Zero Pos1 Neg1 Zero Zero Zero Zero Source

type MassFlow = Quantity DMassFlow Source

type DGravitationalParameter = Dim Pos3 Zero Neg2 Zero Zero Zero Zero Source

type GravitationalParameter = Quantity DGravitationalParameter Source

type DKinematicViscosity = Dim Pos2 Zero Neg1 Zero Zero Zero Zero Source

type KinematicViscosity = Quantity DKinematicViscosity Source

type DFirstMassMoment = Dim Pos1 Pos1 Zero Zero Zero Zero Zero Source

type FirstMassMoment = Quantity DFirstMassMoment Source

type DMomentOfInertia = Dim Pos2 Pos1 Zero Zero Zero Zero Zero Source

type MomentOfInertia = Quantity DMomentOfInertia Source

type DAngularMomentum = Dim Pos2 Pos1 Neg1 Zero Zero Zero Zero Source

type AngularMomentum = Quantity DAngularMomentum Source

type Angle = PlaneAngle Source

type DAngle = DPlaneAngle Source

type Thrust = Force Source

type DThrust = DForce Source

type Torque = MomentOfForce Source

type DTorque = DMomentOfForce Source

type EnergyPerUnitMass = SpecificEnergy Source

type DEnergyPerUnitMass = DSpecificEnergy Source