dimensional 0.8.0.1 → 0.8.2.1
raw patch · 5 files changed
+86/−18 lines, 5 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Numeric.Units.Dimensional: instance (Eq a) => Eq (Dimensional v d a)
- Numeric.Units.Dimensional: instance (Ord a) => Ord (Dimensional v d a)
- Numeric.Units.Dimensional.Extensible: instance (Div d (Dim l m t i th n j) d') => Div (DExt a x d) (Dim l m t i th n j) (DExt a x d')
- Numeric.Units.Dimensional.Extensible: instance (Mul (Dim l m t i th n j) d d') => Mul (Dim l m t i th n j) (DExt a x d) (DExt a x d')
- Numeric.Units.Dimensional.Extensible: instance (Mul d (Dim l m t i th n j) d') => Mul (DExt a x d) (Dim l m t i th n j) (DExt a x d')
+ Numeric.Units.Dimensional: _5 :: Num a => Dimensionless a
+ Numeric.Units.Dimensional: _6 :: Num a => Dimensionless a
+ Numeric.Units.Dimensional: _7 :: Num a => Dimensionless a
+ Numeric.Units.Dimensional: _8 :: Num a => Dimensionless a
+ Numeric.Units.Dimensional: _9 :: Num a => Dimensionless a
+ Numeric.Units.Dimensional: instance Eq a => Eq (Dimensional v d a)
+ Numeric.Units.Dimensional: instance Ord a => Ord (Dimensional v d a)
+ Numeric.Units.Dimensional.Extensible: instance Div d (Dim l m t i th n j) d' => Div (DExt a x d) (Dim l m t i th n j) (DExt a x d')
+ Numeric.Units.Dimensional.Extensible: instance Mul (Dim l m t i th n j) d d' => Mul (Dim l m t i th n j) (DExt a x d) (DExt a x d')
+ Numeric.Units.Dimensional.Extensible: instance Mul d (Dim l m t i th n j) d' => Mul (DExt a x d) (Dim l m t i th n j) (DExt a x d')
+ Numeric.Units.Dimensional.NonSI: atmosphere :: Fractional a => Unit DPressure a
+ Numeric.Units.Dimensional.NonSI: mmHg :: Fractional a => Unit DPressure a
+ Numeric.Units.Dimensional.NonSI: psi :: Fractional a => Unit DPressure a
+ Numeric.Units.Dimensional.NonSI: rad :: Fractional a => Unit DAbsorbedDose a
+ Numeric.Units.Dimensional.NonSI: solid :: Floating a => Unit DOne a
+ Numeric.Units.Dimensional.NonSI: technicalAtmosphere :: Fractional a => Unit DPressure a
+ Numeric.Units.Dimensional.NonSI: torr :: Fractional a => Unit DPressure a
- Numeric.Units.Dimensional: (**) :: (Floating a) => Dimensionless a -> Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: (**) :: Floating a => Dimensionless a -> Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: (*~) :: (Num a) => a -> Unit d a -> Quantity d a
+ Numeric.Units.Dimensional: (*~) :: Num a => a -> Unit d a -> Quantity d a
- Numeric.Units.Dimensional: (*~~) :: (Num a) => [a] -> Unit d a -> [Quantity d a]
+ Numeric.Units.Dimensional: (*~~) :: Num a => [a] -> Unit d a -> [Quantity d a]
- Numeric.Units.Dimensional: (+) :: (Num a) => Quantity d a -> Quantity d a -> Quantity d a
+ Numeric.Units.Dimensional: (+) :: Num a => Quantity d a -> Quantity d a -> Quantity d a
- Numeric.Units.Dimensional: (-) :: (Num a) => Quantity d a -> Quantity d a -> Quantity d a
+ Numeric.Units.Dimensional: (-) :: Num a => Quantity d a -> Quantity d a -> Quantity d a
- Numeric.Units.Dimensional: (/~) :: (Fractional a) => Quantity d a -> Unit d a -> a
+ Numeric.Units.Dimensional: (/~) :: Fractional a => Quantity d a -> Unit d a -> a
- Numeric.Units.Dimensional: (/~~) :: (Fractional a) => [Quantity d a] -> Unit d a -> [a]
+ Numeric.Units.Dimensional: (/~~) :: Fractional a => [Quantity d a] -> Unit d a -> [a]
- Numeric.Units.Dimensional: _0 :: (Num a) => Dimensionless a
+ Numeric.Units.Dimensional: _0 :: Num a => Dimensionless a
- Numeric.Units.Dimensional: _1 :: (Num a) => Dimensionless a
+ Numeric.Units.Dimensional: _1 :: Num a => Dimensionless a
- Numeric.Units.Dimensional: _2 :: (Num a) => Dimensionless a
+ Numeric.Units.Dimensional: _2 :: Num a => Dimensionless a
- Numeric.Units.Dimensional: _3 :: (Num a) => Dimensionless a
+ Numeric.Units.Dimensional: _3 :: Num a => Dimensionless a
- Numeric.Units.Dimensional: _4 :: (Num a) => Dimensionless a
+ Numeric.Units.Dimensional: _4 :: Num a => Dimensionless a
- Numeric.Units.Dimensional: abs :: (Num a) => Quantity d a -> Quantity d a
+ Numeric.Units.Dimensional: abs :: Num a => Quantity d a -> Quantity d a
- Numeric.Units.Dimensional: acos :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: acos :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: acosh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: acosh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: asin :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: asin :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: asinh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: asinh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: atan :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: atan :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: atan2 :: (RealFloat a) => Quantity d a -> Quantity d a -> Dimensionless a
+ Numeric.Units.Dimensional: atan2 :: RealFloat a => Quantity d a -> Quantity d a -> Dimensionless a
- Numeric.Units.Dimensional: atanh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: atanh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: class (NumType x) => Pow d x d' | d x -> d'
+ Numeric.Units.Dimensional: class NumType x => Pow d x d' | d x -> d'
- Numeric.Units.Dimensional: class (NonZero x) => Root d x d' | d x -> d'
+ Numeric.Units.Dimensional: class NonZero x => Root d x d' | d x -> d'
- Numeric.Units.Dimensional: cos :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: cos :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: cosh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: cosh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: dimUnit :: (NumType n) => String -> n -> Maybe String
+ Numeric.Units.Dimensional: dimUnit :: NumType n => String -> n -> Maybe String
- Numeric.Units.Dimensional: dimensionlessLength :: (Num a) => [Dimensional v d a] -> Dimensionless a
+ Numeric.Units.Dimensional: dimensionlessLength :: Num a => [Dimensional v d a] -> Dimensionless a
- Numeric.Units.Dimensional: exp :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: exp :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: log :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: log :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: negate :: (Num a) => Quantity d a -> Quantity d a
+ Numeric.Units.Dimensional: negate :: Num a => Quantity d a -> Quantity d a
- Numeric.Units.Dimensional: one :: (Num a) => Unit DOne a
+ Numeric.Units.Dimensional: one :: Num a => Unit DOne a
- Numeric.Units.Dimensional: pi :: (Floating a) => Dimensionless a
+ Numeric.Units.Dimensional: pi :: Floating a => Dimensionless a
- Numeric.Units.Dimensional: prefix :: (Num a) => a -> Unit d a -> Unit d a
+ Numeric.Units.Dimensional: prefix :: Num a => a -> Unit d a -> Unit d a
- Numeric.Units.Dimensional: sin :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: sin :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: sinh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: sinh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: sum :: (Num a) => [Quantity d a] -> Quantity d a
+ Numeric.Units.Dimensional: sum :: Num a => [Quantity d a] -> Quantity d a
- Numeric.Units.Dimensional: tan :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: tan :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional: tanh :: (Floating a) => Dimensionless a -> Dimensionless a
+ Numeric.Units.Dimensional: tanh :: Floating a => Dimensionless a -> Dimensionless a
- Numeric.Units.Dimensional.CGS: ampere :: (Floating a) => Unit DElectricCurrent a
+ Numeric.Units.Dimensional.CGS: ampere :: Floating a => Unit DElectricCurrent a
- Numeric.Units.Dimensional.CGS: franklin :: (Floating a) => Unit DCharge a
+ Numeric.Units.Dimensional.CGS: franklin :: Floating a => Unit DCharge a
- Numeric.Units.Dimensional.CGS: gram :: (Num a) => Unit DMass a
+ Numeric.Units.Dimensional.CGS: gram :: Num a => Unit DMass a
- Numeric.Units.Dimensional.CGS: meter :: (Num a) => Unit DLength a
+ Numeric.Units.Dimensional.CGS: meter :: Num a => Unit DLength a
- Numeric.Units.Dimensional.CGS: second :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.CGS: second :: Num a => Unit DTime a
- Numeric.Units.Dimensional.CGS: unit_SI :: (Num a) => Quantity (Dim l m t i th n j) a -> Unit (Dim l m t i th n j) a
+ Numeric.Units.Dimensional.CGS: unit_SI :: Num a => Quantity (Dim l m t i th n j) a -> Unit (Dim l m t i th n j) a
- Numeric.Units.Dimensional.NonSI: bar :: (Fractional a) => Unit DPressure a
+ Numeric.Units.Dimensional.NonSI: bar :: Fractional a => Unit DPressure a
- Numeric.Units.Dimensional.NonSI: century :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.NonSI: century :: Num a => Unit DTime a
- Numeric.Units.Dimensional.NonSI: electronVolt :: (Fractional a) => Unit DEnergy a
+ Numeric.Units.Dimensional.NonSI: electronVolt :: Fractional a => Unit DEnergy a
- Numeric.Units.Dimensional.NonSI: foot :: (Fractional a) => Unit DLength a
+ Numeric.Units.Dimensional.NonSI: foot :: Fractional a => Unit DLength a
- Numeric.Units.Dimensional.NonSI: gee :: (Fractional a) => Unit DAcceleration a
+ Numeric.Units.Dimensional.NonSI: gee :: Fractional a => Unit DAcceleration a
- Numeric.Units.Dimensional.NonSI: inch :: (Fractional a) => Unit DLength a
+ Numeric.Units.Dimensional.NonSI: inch :: Fractional a => Unit DLength a
- Numeric.Units.Dimensional.NonSI: mile :: (Fractional a) => Unit DLength a
+ Numeric.Units.Dimensional.NonSI: mile :: Fractional a => Unit DLength a
- Numeric.Units.Dimensional.NonSI: nauticalMile :: (Fractional a) => Unit DLength a
+ Numeric.Units.Dimensional.NonSI: nauticalMile :: Fractional a => Unit DLength a
- Numeric.Units.Dimensional.NonSI: ounce :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.NonSI: ounce :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.NonSI: poundForce :: (Fractional a) => Unit DForce a
+ Numeric.Units.Dimensional.NonSI: poundForce :: Fractional a => Unit DForce a
- Numeric.Units.Dimensional.NonSI: poundMass :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.NonSI: poundMass :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.NonSI: revolution :: (Floating a) => Unit DOne a
+ Numeric.Units.Dimensional.NonSI: revolution :: Floating a => Unit DOne a
- Numeric.Units.Dimensional.NonSI: teaspoon :: (Fractional a) => Unit DVolume a
+ Numeric.Units.Dimensional.NonSI: teaspoon :: Fractional a => Unit DVolume a
- Numeric.Units.Dimensional.NonSI: unifiedAtomicMassUnit :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.NonSI: unifiedAtomicMassUnit :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.NonSI: yard :: (Fractional a) => Unit DLength a
+ Numeric.Units.Dimensional.NonSI: yard :: Fractional a => Unit DLength a
- Numeric.Units.Dimensional.NonSI: year :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.NonSI: year :: Num a => Unit DTime a
- Numeric.Units.Dimensional.Quantities: cubic :: (Num a) => Unit DLength a -> Unit DVolume a
+ Numeric.Units.Dimensional.Quantities: cubic :: Num a => Unit DLength a -> Unit DVolume a
- Numeric.Units.Dimensional.Quantities: square :: (Num a) => Unit DLength a -> Unit DArea a
+ Numeric.Units.Dimensional.Quantities: square :: Num a => Unit DLength a -> Unit DArea a
- Numeric.Units.Dimensional.SIUnits: ampere :: (Num a) => Unit DElectricCurrent a
+ Numeric.Units.Dimensional.SIUnits: ampere :: Num a => Unit DElectricCurrent a
- Numeric.Units.Dimensional.SIUnits: arcminute :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: arcminute :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: arcsecond :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: arcsecond :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: atto :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: atto :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: becquerel :: (Fractional a) => Unit DActivity a
+ Numeric.Units.Dimensional.SIUnits: becquerel :: Fractional a => Unit DActivity a
- Numeric.Units.Dimensional.SIUnits: candela :: (Num a) => Unit DLuminousIntensity a
+ Numeric.Units.Dimensional.SIUnits: candela :: Num a => Unit DLuminousIntensity a
- Numeric.Units.Dimensional.SIUnits: centi :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: centi :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: coulomb :: (Fractional a) => Unit DElectricCharge a
+ Numeric.Units.Dimensional.SIUnits: coulomb :: Fractional a => Unit DElectricCharge a
- Numeric.Units.Dimensional.SIUnits: day :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.SIUnits: day :: Num a => Unit DTime a
- Numeric.Units.Dimensional.SIUnits: deca :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: deca :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: deci :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: deci :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: degree :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: degree :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: degreeCelsius :: (Num a) => Unit DCelsiusTemperature a
+ Numeric.Units.Dimensional.SIUnits: degreeCelsius :: Num a => Unit DCelsiusTemperature a
- Numeric.Units.Dimensional.SIUnits: degreeOfArc :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: degreeOfArc :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: deka :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: deka :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: exa :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: exa :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: farad :: (Fractional a) => Unit DCapacitance a
+ Numeric.Units.Dimensional.SIUnits: farad :: Fractional a => Unit DCapacitance a
- Numeric.Units.Dimensional.SIUnits: femto :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: femto :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: fromDegreeCelsiusAbsolute :: (Fractional a) => a -> ThermodynamicTemperature a
+ Numeric.Units.Dimensional.SIUnits: fromDegreeCelsiusAbsolute :: Fractional a => a -> ThermodynamicTemperature a
- Numeric.Units.Dimensional.SIUnits: fromDiffTime :: (Fractional a) => DiffTime -> Time a
+ Numeric.Units.Dimensional.SIUnits: fromDiffTime :: Fractional a => DiffTime -> Time a
- Numeric.Units.Dimensional.SIUnits: giga :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: giga :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: gram :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.SIUnits: gram :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.SIUnits: gray :: (Fractional a) => Unit DAbsorbedDose a
+ Numeric.Units.Dimensional.SIUnits: gray :: Fractional a => Unit DAbsorbedDose a
- Numeric.Units.Dimensional.SIUnits: hecto :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: hecto :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: henry :: (Fractional a) => Unit DInductance a
+ Numeric.Units.Dimensional.SIUnits: henry :: Fractional a => Unit DInductance a
- Numeric.Units.Dimensional.SIUnits: hertz :: (Fractional a) => Unit DFrequency a
+ Numeric.Units.Dimensional.SIUnits: hertz :: Fractional a => Unit DFrequency a
- Numeric.Units.Dimensional.SIUnits: hour :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.SIUnits: hour :: Num a => Unit DTime a
- Numeric.Units.Dimensional.SIUnits: joule :: (Fractional a) => Unit DEnergy a
+ Numeric.Units.Dimensional.SIUnits: joule :: Fractional a => Unit DEnergy a
- Numeric.Units.Dimensional.SIUnits: kelvin :: (Num a) => Unit DThermodynamicTemperature a
+ Numeric.Units.Dimensional.SIUnits: kelvin :: Num a => Unit DThermodynamicTemperature a
- Numeric.Units.Dimensional.SIUnits: kilo :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: kilo :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: liter :: (Fractional a) => Unit DVolume a
+ Numeric.Units.Dimensional.SIUnits: liter :: Fractional a => Unit DVolume a
- Numeric.Units.Dimensional.SIUnits: litre :: (Fractional a) => Unit DVolume a
+ Numeric.Units.Dimensional.SIUnits: litre :: Fractional a => Unit DVolume a
- Numeric.Units.Dimensional.SIUnits: lumen :: (Fractional a) => Unit DLuminousFlux a
+ Numeric.Units.Dimensional.SIUnits: lumen :: Fractional a => Unit DLuminousFlux a
- Numeric.Units.Dimensional.SIUnits: lux :: (Fractional a) => Unit DIlluminance a
+ Numeric.Units.Dimensional.SIUnits: lux :: Fractional a => Unit DIlluminance a
- Numeric.Units.Dimensional.SIUnits: mega :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: mega :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: meter :: (Num a) => Unit DLength a
+ Numeric.Units.Dimensional.SIUnits: meter :: Num a => Unit DLength a
- Numeric.Units.Dimensional.SIUnits: metre :: (Num a) => Unit DLength a
+ Numeric.Units.Dimensional.SIUnits: metre :: Num a => Unit DLength a
- Numeric.Units.Dimensional.SIUnits: metricTon :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.SIUnits: metricTon :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.SIUnits: micro :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: micro :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: milli :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: milli :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: minute :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.SIUnits: minute :: Num a => Unit DTime a
- Numeric.Units.Dimensional.SIUnits: minuteOfArc :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: minuteOfArc :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: mole :: (Num a) => Unit DAmountOfSubstance a
+ Numeric.Units.Dimensional.SIUnits: mole :: Num a => Unit DAmountOfSubstance a
- Numeric.Units.Dimensional.SIUnits: nano :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: nano :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: newton :: (Fractional a) => Unit DForce a
+ Numeric.Units.Dimensional.SIUnits: newton :: Fractional a => Unit DForce a
- Numeric.Units.Dimensional.SIUnits: ohm :: (Fractional a) => Unit DElectricResistance a
+ Numeric.Units.Dimensional.SIUnits: ohm :: Fractional a => Unit DElectricResistance a
- Numeric.Units.Dimensional.SIUnits: pascal :: (Fractional a) => Unit DPressure a
+ Numeric.Units.Dimensional.SIUnits: pascal :: Fractional a => Unit DPressure a
- Numeric.Units.Dimensional.SIUnits: peta :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: peta :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: pico :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: pico :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: radian :: (Fractional a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: radian :: Fractional a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: second :: (Num a) => Unit DTime a
+ Numeric.Units.Dimensional.SIUnits: second :: Num a => Unit DTime a
- Numeric.Units.Dimensional.SIUnits: secondOfArc :: (Floating a) => Unit DPlaneAngle a
+ Numeric.Units.Dimensional.SIUnits: secondOfArc :: Floating a => Unit DPlaneAngle a
- Numeric.Units.Dimensional.SIUnits: siemens :: (Fractional a) => Unit DElectricConductance a
+ Numeric.Units.Dimensional.SIUnits: siemens :: Fractional a => Unit DElectricConductance a
- Numeric.Units.Dimensional.SIUnits: sievert :: (Fractional a) => Unit DDoseEquivalent a
+ Numeric.Units.Dimensional.SIUnits: sievert :: Fractional a => Unit DDoseEquivalent a
- Numeric.Units.Dimensional.SIUnits: steradian :: (Fractional a) => Unit DSolidAngle a
+ Numeric.Units.Dimensional.SIUnits: steradian :: Fractional a => Unit DSolidAngle a
- Numeric.Units.Dimensional.SIUnits: tera :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: tera :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: tesla :: (Fractional a) => Unit DMagneticFluxDensity a
+ Numeric.Units.Dimensional.SIUnits: tesla :: Fractional a => Unit DMagneticFluxDensity a
- Numeric.Units.Dimensional.SIUnits: toDegreeCelsiusAbsolute :: (Fractional a) => ThermodynamicTemperature a -> a
+ Numeric.Units.Dimensional.SIUnits: toDegreeCelsiusAbsolute :: Fractional a => ThermodynamicTemperature a -> a
- Numeric.Units.Dimensional.SIUnits: tonne :: (Fractional a) => Unit DMass a
+ Numeric.Units.Dimensional.SIUnits: tonne :: Fractional a => Unit DMass a
- Numeric.Units.Dimensional.SIUnits: volt :: (Fractional a) => Unit DElectricPotential a
+ Numeric.Units.Dimensional.SIUnits: volt :: Fractional a => Unit DElectricPotential a
- Numeric.Units.Dimensional.SIUnits: watt :: (Fractional a) => Unit DPower a
+ Numeric.Units.Dimensional.SIUnits: watt :: Fractional a => Unit DPower a
- Numeric.Units.Dimensional.SIUnits: weber :: (Fractional a) => Unit DMagneticFlux a
+ Numeric.Units.Dimensional.SIUnits: weber :: Fractional a => Unit DMagneticFlux a
- Numeric.Units.Dimensional.SIUnits: yocto :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: yocto :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: yotta :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: yotta :: Num a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: zepto :: (Fractional a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: zepto :: Fractional a => Unit d a -> Unit d a
- Numeric.Units.Dimensional.SIUnits: zetta :: (Num a) => Unit d a -> Unit d a
+ Numeric.Units.Dimensional.SIUnits: zetta :: Num a => Unit d a -> Unit d a
Files
- LICENSE +1/−1
- Numeric/Units/Dimensional.lhs +6/−1
- Numeric/Units/Dimensional/CGS.lhs +1/−1
- Numeric/Units/Dimensional/NonSI.lhs +76/−13
- dimensional.cabal +2/−2
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) 2006-2008, Bjorn Buckwalter.+Copyright (c) 2006-2010, Bjorn Buckwalter. All rights reserved. Redistribution and use in source and binary forms, with or without
Numeric/Units/Dimensional.lhs view
@@ -443,12 +443,17 @@ that often show up in formulae. We also throw in 'pi' for good measure. -> _0, _1, _2, _3, _4 :: (Num a) => Dimensionless a+> _0, _1, _2, _3, _4, _5, _6, _7, _8, _9 :: (Num a) => Dimensionless a > _0 = 0 *~ one > _1 = 1 *~ one > _2 = 2 *~ one > _3 = 3 *~ one > _4 = 4 *~ one+> _5 = 5 *~ one+> _6 = 6 *~ one+> _7 = 7 *~ one+> _8 = 8 *~ one+> _9 = 9 *~ one > pi :: (Floating a) => Dimensionless a > pi = Prelude.pi *~ one
Numeric/Units/Dimensional/CGS.lhs view
@@ -50,7 +50,7 @@ > , FlexibleInstances > , FlexibleContexts > #-}-+> {-# OPTIONS_GHC -fcontext-stack=22 #-} > {- | > Copyright : Copyright (C) 2006-2008 Bjorn Buckwalter > License : BSD3
Numeric/Units/Dimensional/NonSI.lhs view
@@ -53,8 +53,20 @@ > unifiedAtomicMassUnit = prefix 1.6605402e-27 (kilo gram) -= Other units =+= Standard gravity = +In order to relate e.g. pounds mass to pounds force we define the unit+'gee' equal to the standard gravity g_0: the nominal acceleration of a+body in free fall in a vacuum near the surface of the earth (note that+local values of acceleration due to gravity will differ from the standard+gravity). I.e. g_0 = 1 gee.++> gee :: Fractional a => Unit DAcceleration a+> gee = prefix 9.80665 meter / second ^ pos2+++= Inch-pound units =+ Some US customary (that is, inch-pound) units. > inch, foot :: Fractional a => Unit DLength a@@ -64,30 +76,28 @@ > poundMass = prefix 0.45359237 (kilo gram) > ounce = prefix 28.349523 gram -In order to relate pounds mass to pounds force we define the-questionable unit 'gee' (G) as the gravitational acceleration at-sea level. Note that 'gee' is experimental and has an inherent-uncertainty which also transfers to 'poundForce'.--> gee :: Fractional a => Unit DAcceleration a-> gee = prefix 9.80665 meter / second ^ pos2 > poundForce :: Fractional a => Unit DForce a > poundForce = poundMass * gee -- 4.4482 N -Other (non inch-pound) units.+Pounds of force per square inch. +> psi :: Fractional a => Unit DPressure a+> psi = poundForce / inch ^ pos2+++= Various other (non inch-pound) units =+ > yard, mile, nauticalMile :: (Fractional a) => Unit DLength a > yard = prefix 3 foot > mile = prefix 1760 yard > nauticalMile = prefix 1852 meter > revolution :: (Floating a) => Unit DOne a-> revolution = prefix 360 degree-> bar :: (Fractional a) => Unit DPressure a-> bar = prefix 1.0e5 pascal+> revolution = prefix (2 Prelude.* Prelude.pi) radian+> solid :: (Floating a) => Unit DOne a+> solid = prefix (4 Prelude.* Prelude.pi) steradian > teaspoon :: (Fractional a) => Unit DVolume a > teaspoon = prefix 5 (milli liter) - The IAU recommends[2] that: Although there are several different kinds of year (as there are@@ -103,7 +113,60 @@ > century = prefix 100 year += Pressure units =++Psi was defined earlier.++> bar :: (Fractional a) => Unit DPressure a+> bar = prefix 1.0e5 pascal++From Wikipedia[3]:++ The standard atmosphere (atm) is an established constant. It is+ approximately equal to typical air pressure at earth mean sea+ level.++> atmosphere :: (Fractional a) => Unit DPressure a+> atmosphere = prefix 101325 pascal++From Wikipedia:++ A technical atmosphere (symbol: at) is a non-SI unit of pressure equal+ to one kilogram-force per square centimeter.++> technicalAtmosphere :: (Fractional a) => Unit DPressure a+> technicalAtmosphere = kilo gram * gee * centi meter ^ neg2++Manometric pressure units:++Per Wikipedia[4] one mmHg (millimeter of mercury) is defined as:++ The pressure exerted at the base of a column of fluid exactly 1 mm high,+ when the density of the fluid is exactly 13.5951 g/cm^3, at a place+ where the acceleration of gravity is exactly 9.80665 m/s^2.++The chosen fluid density approximately corresponds to that of mercury+at 0 deg. Under most conditions, 1 mmHg is approximately equal to 1 torr.++> mmHg :: (Fractional a) => Unit DPressure a+> mmHg = prefix 13.5951 gram * centi meter ^ neg3 * milli meter * gee++One torr (symbol: Torr) is defined as 1/760 atm, which is approximately equal+to 1 mmHg.++> torr :: (Fractional a) => Unit DPressure a+> torr = prefix (1 Prelude./ 760) atmosphere+++= Radiation =++> rad :: (Fractional a) => Unit DAbsorbedDose a+> rad = centi gray++ = References = [1] http://physics.nist.gov/Pubs/SP811/ [2] http://www.iau.org/science/publications/proceedings_rules/units/+[3] http://en.m.wikipedia.org/wiki/Pressure+[4] http://en.m.wikipedia.org/wiki/Torr
dimensional.cabal view
@@ -1,8 +1,8 @@ Name: dimensional-Version: 0.8.0.1+Version: 0.8.2.1 License: BSD3 License-File: LICENSE-Copyright: Bjorn Buckwalter 2006-2010+Copyright: Bjorn Buckwalter 2006-2011 Author: Bjorn Buckwalter Maintainer: bjorn.buckwalter@gmail.com Stability: mostly stable