Copyright | (c) Alice Rixte 2025 |
---|---|
License | BSD 3 |
Maintainer | alice.rixte@u-bordeaux.fr |
Stability | stable |
Portability | non-portable (GHC extensions) |
Safe Haskell | None |
Language | Haskell2010 |
Data.Units.SI.Derived.NonAngle
Contents
Description
Derived units and dimensions for the International System of Units that do not contain angles.
This follows the wikipedia page https://en.wikipedia.org/wiki/SI_derived_unit.
Synopsis
- newtype Celsius a = Celsius a
- type Area = Length .^+ 2
- type Volume = Length .^+ 3
- type Frequency = Time .^- 1
- newtype Hertz a = Hertz a
- type Radioactivity = Time .^- 1
- newtype Becquerel a = Becquerel a
- type Speed = NormalizeDim (Length ./. Time)
- type Acceleration = NormalizeDim (Length ./. (Time .^+ 2))
- type Force = NormalizeDim (Mass .*. Acceleration)
- newtype Newton a = Newton a
- type Pressure = NormalizeDim (Force ./. (Length .^+ 2))
- newtype Pascal a = Pascal a
- type Stress = Pressure
- type Energy = NormalizeDim (Length .*. Force)
- newtype Joule a = Joule a
- type Work = Energy
- type Heat = Energy
- type Power = NormalizeDim (Energy ./. Time)
- type RadiantFlux = Power
- newtype Watt a = Watt a
- type ElectricCharge = NormalizeDim (Time .*. Current)
- newtype Coulomb a = Coulomb a
- type QuantityOfElectricity = ElectricCharge
- type Voltage = NormalizeDim (Power ./. Current)
- newtype Volt a = Volt a
- type ElectricPotential = Voltage
- type ElectromotiveForce = Voltage
- type Capacitance = NormalizeDim (ElectricCharge ./. Voltage)
- newtype Farad a = Farad a
- type Resistance = NormalizeDim (Voltage ./. Current)
- newtype Ohm a = Ohm a
- type Impedance = Resistance
- type Reactance = Resistance
- type Conductance = NormalizeDim (Current ./. Voltage)
- newtype Siemens a = Siemens a
- type MagneticFlux = NormalizeDim (Voltage .*. Time)
- newtype Weber a = Weber a
- type MagneticInduction = NormalizeDim (MagneticFlux ./. (Length .^+ 2))
- type MagneticFluxDensity = MagneticInduction
- newtype Tesla a = Tesla a
- type Inductance = NormalizeDim (MagneticFlux ./. Current)
- newtype Henry a = Henry a
- type EquivalentDose = AbsorbedDose
- type AbsorbedDose = NormalizeDim (Energy ./. Mass)
- newtype Gray a = Gray a
- newtype Sievert a = Sievert a
- type CatalyticActivity = NormalizeDim (AmountOfSubstance ./. Time)
- newtype Katal a = Katal a
Official derived units from SI
Thermodynamic temperature in Celsius degrees
Constructors
Celsius a |
Instances
Frequency in hertz
Constructors
Hertz a |
Instances
IsUnit Hertz Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Hertz Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Hertz a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Hertz a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Hertz a -> BaseUnitOf Hertz a Source # fromBaseUnit :: BaseUnitOf Hertz a -> Hertz a Source # | |||||
Floating a => Floating (Hertz a) Source # | |||||
RealFloat a => RealFloat (Hertz a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Hertz a -> Integer floatDigits :: Hertz a -> Int floatRange :: Hertz a -> (Int, Int) decodeFloat :: Hertz a -> (Integer, Int) encodeFloat :: Integer -> Int -> Hertz a significand :: Hertz a -> Hertz a scaleFloat :: Int -> Hertz a -> Hertz a isInfinite :: Hertz a -> Bool isDenormalized :: Hertz a -> Bool isNegativeZero :: Hertz a -> Bool | |||||
Num a => Num (Hertz a) Source # | |||||
Fractional a => Fractional (Hertz a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Hertz a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Hertz a -> Rational | |||||
RealFrac a => RealFrac (Hertz a) Source # | |||||
Show a => Show (Hertz a) Source # | |||||
Eq a => Eq (Hertz a) Source # | |||||
Ord a => Ord (Hertz a) Source # | |||||
type DimOf Hertz Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Hertz Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type Radioactivity = Time .^- 1 Source #
Radioactivity in becquerels
Constructors
Becquerel a |
Instances
IsUnit Becquerel Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Becquerel Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Becquerel a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Becquerel a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Becquerel a -> BaseUnitOf Becquerel a Source # fromBaseUnit :: BaseUnitOf Becquerel a -> Becquerel a Source # | |||||
Floating a => Floating (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods exp :: Becquerel a -> Becquerel a log :: Becquerel a -> Becquerel a sqrt :: Becquerel a -> Becquerel a (**) :: Becquerel a -> Becquerel a -> Becquerel a logBase :: Becquerel a -> Becquerel a -> Becquerel a sin :: Becquerel a -> Becquerel a cos :: Becquerel a -> Becquerel a tan :: Becquerel a -> Becquerel a asin :: Becquerel a -> Becquerel a acos :: Becquerel a -> Becquerel a atan :: Becquerel a -> Becquerel a sinh :: Becquerel a -> Becquerel a cosh :: Becquerel a -> Becquerel a tanh :: Becquerel a -> Becquerel a asinh :: Becquerel a -> Becquerel a acosh :: Becquerel a -> Becquerel a atanh :: Becquerel a -> Becquerel a log1p :: Becquerel a -> Becquerel a expm1 :: Becquerel a -> Becquerel a | |||||
RealFloat a => RealFloat (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Becquerel a -> Integer floatDigits :: Becquerel a -> Int floatRange :: Becquerel a -> (Int, Int) decodeFloat :: Becquerel a -> (Integer, Int) encodeFloat :: Integer -> Int -> Becquerel a exponent :: Becquerel a -> Int significand :: Becquerel a -> Becquerel a scaleFloat :: Int -> Becquerel a -> Becquerel a isInfinite :: Becquerel a -> Bool isDenormalized :: Becquerel a -> Bool isNegativeZero :: Becquerel a -> Bool | |||||
Num a => Num (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => Fractional (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Becquerel a -> Rational | |||||
RealFrac a => RealFrac (Becquerel a) Source # | |||||
Show a => Show (Becquerel a) Source # | |||||
Eq a => Eq (Becquerel a) Source # | |||||
Ord a => Ord (Becquerel a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Becquerel Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Becquerel Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type Acceleration = NormalizeDim (Length ./. (Time .^+ 2)) Source #
type Force = NormalizeDim (Mass .*. Acceleration) Source #
Force in newtons
Constructors
Newton a |
Instances
IsUnit Newton Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Newton Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Newton a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Newton a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Newton a -> BaseUnitOf Newton a Source # fromBaseUnit :: BaseUnitOf Newton a -> Newton a Source # | |||||
Floating a => Floating (Newton a) Source # | |||||
RealFloat a => RealFloat (Newton a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Newton a -> Integer floatDigits :: Newton a -> Int floatRange :: Newton a -> (Int, Int) decodeFloat :: Newton a -> (Integer, Int) encodeFloat :: Integer -> Int -> Newton a significand :: Newton a -> Newton a scaleFloat :: Int -> Newton a -> Newton a isInfinite :: Newton a -> Bool isDenormalized :: Newton a -> Bool isNegativeZero :: Newton a -> Bool | |||||
Num a => Num (Newton a) Source # | |||||
Fractional a => Fractional (Newton a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Newton a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Newton a -> Rational | |||||
RealFrac a => RealFrac (Newton a) Source # | |||||
Show a => Show (Newton a) Source # | |||||
Eq a => Eq (Newton a) Source # | |||||
Ord a => Ord (Newton a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Newton Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Newton Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
Pressure in pascals
Constructors
Pascal a |
Instances
IsUnit Pascal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Pascal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Pascal a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Pascal a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Pascal a -> BaseUnitOf Pascal a Source # fromBaseUnit :: BaseUnitOf Pascal a -> Pascal a Source # | |||||
Floating a => Floating (Pascal a) Source # | |||||
RealFloat a => RealFloat (Pascal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Pascal a -> Integer floatDigits :: Pascal a -> Int floatRange :: Pascal a -> (Int, Int) decodeFloat :: Pascal a -> (Integer, Int) encodeFloat :: Integer -> Int -> Pascal a significand :: Pascal a -> Pascal a scaleFloat :: Int -> Pascal a -> Pascal a isInfinite :: Pascal a -> Bool isDenormalized :: Pascal a -> Bool isNegativeZero :: Pascal a -> Bool | |||||
Num a => Num (Pascal a) Source # | |||||
Fractional a => Fractional (Pascal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Pascal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Pascal a -> Rational | |||||
RealFrac a => RealFrac (Pascal a) Source # | |||||
Show a => Show (Pascal a) Source # | |||||
Eq a => Eq (Pascal a) Source # | |||||
Ord a => Ord (Pascal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Pascal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Pascal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
Energy in joules
Constructors
Joule a |
Instances
IsUnit Joule Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Joule Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Joule a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Joule a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Joule a -> BaseUnitOf Joule a Source # fromBaseUnit :: BaseUnitOf Joule a -> Joule a Source # | |||||
Floating a => Floating (Joule a) Source # | |||||
RealFloat a => RealFloat (Joule a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Joule a -> Integer floatDigits :: Joule a -> Int floatRange :: Joule a -> (Int, Int) decodeFloat :: Joule a -> (Integer, Int) encodeFloat :: Integer -> Int -> Joule a significand :: Joule a -> Joule a scaleFloat :: Int -> Joule a -> Joule a isInfinite :: Joule a -> Bool isDenormalized :: Joule a -> Bool isNegativeZero :: Joule a -> Bool | |||||
Num a => Num (Joule a) Source # | |||||
Fractional a => Fractional (Joule a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Joule a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Joule a -> Rational | |||||
RealFrac a => RealFrac (Joule a) Source # | |||||
Show a => Show (Joule a) Source # | |||||
Eq a => Eq (Joule a) Source # | |||||
Ord a => Ord (Joule a) Source # | |||||
type DimOf Joule Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Joule Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type RadiantFlux = Power Source #
Power in watts
Constructors
Watt a |
Instances
IsUnit Watt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Watt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Watt a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Watt a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Watt a -> BaseUnitOf Watt a Source # fromBaseUnit :: BaseUnitOf Watt a -> Watt a Source # | |||||
Floating a => Floating (Watt a) Source # | |||||
RealFloat a => RealFloat (Watt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Watt a -> Integer floatDigits :: Watt a -> Int floatRange :: Watt a -> (Int, Int) decodeFloat :: Watt a -> (Integer, Int) encodeFloat :: Integer -> Int -> Watt a significand :: Watt a -> Watt a scaleFloat :: Int -> Watt a -> Watt a isInfinite :: Watt a -> Bool isDenormalized :: Watt a -> Bool isNegativeZero :: Watt a -> Bool | |||||
Num a => Num (Watt a) Source # | |||||
Fractional a => Fractional (Watt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Watt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Watt a -> Rational | |||||
RealFrac a => RealFrac (Watt a) Source # | |||||
Show a => Show (Watt a) Source # | |||||
Eq a => Eq (Watt a) Source # | |||||
Ord a => Ord (Watt a) Source # | |||||
type DimOf Watt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Watt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type ElectricCharge = NormalizeDim (Time .*. Current) Source #
Constructors
Coulomb a |
Instances
IsUnit Coulomb Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Coulomb Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Coulomb a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Coulomb a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Coulomb a -> BaseUnitOf Coulomb a Source # fromBaseUnit :: BaseUnitOf Coulomb a -> Coulomb a Source # | |||||
Floating a => Floating (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods sqrt :: Coulomb a -> Coulomb a (**) :: Coulomb a -> Coulomb a -> Coulomb a logBase :: Coulomb a -> Coulomb a -> Coulomb a asin :: Coulomb a -> Coulomb a acos :: Coulomb a -> Coulomb a atan :: Coulomb a -> Coulomb a sinh :: Coulomb a -> Coulomb a cosh :: Coulomb a -> Coulomb a tanh :: Coulomb a -> Coulomb a asinh :: Coulomb a -> Coulomb a acosh :: Coulomb a -> Coulomb a atanh :: Coulomb a -> Coulomb a log1p :: Coulomb a -> Coulomb a expm1 :: Coulomb a -> Coulomb a | |||||
RealFloat a => RealFloat (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Coulomb a -> Integer floatDigits :: Coulomb a -> Int floatRange :: Coulomb a -> (Int, Int) decodeFloat :: Coulomb a -> (Integer, Int) encodeFloat :: Integer -> Int -> Coulomb a significand :: Coulomb a -> Coulomb a scaleFloat :: Int -> Coulomb a -> Coulomb a isInfinite :: Coulomb a -> Bool isDenormalized :: Coulomb a -> Bool isNegativeZero :: Coulomb a -> Bool | |||||
Num a => Num (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => Fractional (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Coulomb a -> Rational | |||||
RealFrac a => RealFrac (Coulomb a) Source # | |||||
Show a => Show (Coulomb a) Source # | |||||
Eq a => Eq (Coulomb a) Source # | |||||
Ord a => Ord (Coulomb a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Coulomb Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Coulomb Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
Constructors
Volt a |
Instances
IsUnit Volt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
ShowUnit Volt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Volt a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Volt a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Volt a -> BaseUnitOf Volt a Source # fromBaseUnit :: BaseUnitOf Volt a -> Volt a Source # | |||||
Floating a => Floating (Volt a) Source # | |||||
RealFloat a => RealFloat (Volt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Volt a -> Integer floatDigits :: Volt a -> Int floatRange :: Volt a -> (Int, Int) decodeFloat :: Volt a -> (Integer, Int) encodeFloat :: Integer -> Int -> Volt a significand :: Volt a -> Volt a scaleFloat :: Int -> Volt a -> Volt a isInfinite :: Volt a -> Bool isDenormalized :: Volt a -> Bool isNegativeZero :: Volt a -> Bool | |||||
Num a => Num (Volt a) Source # | |||||
Fractional a => Fractional (Volt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Volt a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Volt a -> Rational | |||||
RealFrac a => RealFrac (Volt a) Source # | |||||
Show a => Show (Volt a) Source # | |||||
Eq a => Eq (Volt a) Source # | |||||
Ord a => Ord (Volt a) Source # | |||||
type DimOf Volt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Volt Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type ElectricPotential = Voltage Source #
type ElectromotiveForce = Voltage Source #
type Capacitance = NormalizeDim (ElectricCharge ./. Voltage) Source #
Constructors
Farad a |
Instances
IsUnit Farad Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Farad Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Farad a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Farad a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Farad a -> BaseUnitOf Farad a Source # fromBaseUnit :: BaseUnitOf Farad a -> Farad a Source # | |||||
Floating a => Floating (Farad a) Source # | |||||
RealFloat a => RealFloat (Farad a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Farad a -> Integer floatDigits :: Farad a -> Int floatRange :: Farad a -> (Int, Int) decodeFloat :: Farad a -> (Integer, Int) encodeFloat :: Integer -> Int -> Farad a significand :: Farad a -> Farad a scaleFloat :: Int -> Farad a -> Farad a isInfinite :: Farad a -> Bool isDenormalized :: Farad a -> Bool isNegativeZero :: Farad a -> Bool | |||||
Num a => Num (Farad a) Source # | |||||
Fractional a => Fractional (Farad a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Farad a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Farad a -> Rational | |||||
RealFrac a => RealFrac (Farad a) Source # | |||||
Show a => Show (Farad a) Source # | |||||
Eq a => Eq (Farad a) Source # | |||||
Ord a => Ord (Farad a) Source # | |||||
type DimOf Farad Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Farad Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type Resistance = NormalizeDim (Voltage ./. Current) Source #
Constructors
Ohm a |
Instances
IsUnit Ohm Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Ohm Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Ohm a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Ohm a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Ohm a -> BaseUnitOf Ohm a Source # fromBaseUnit :: BaseUnitOf Ohm a -> Ohm a Source # | |||||
Floating a => Floating (Ohm a) Source # | |||||
RealFloat a => RealFloat (Ohm a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Ohm a -> Integer floatDigits :: Ohm a -> Int floatRange :: Ohm a -> (Int, Int) decodeFloat :: Ohm a -> (Integer, Int) encodeFloat :: Integer -> Int -> Ohm a significand :: Ohm a -> Ohm a scaleFloat :: Int -> Ohm a -> Ohm a isInfinite :: Ohm a -> Bool isDenormalized :: Ohm a -> Bool isNegativeZero :: Ohm a -> Bool | |||||
Num a => Num (Ohm a) Source # | |||||
Fractional a => Fractional (Ohm a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Ohm a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Ohm a -> Rational | |||||
RealFrac a => RealFrac (Ohm a) Source # | |||||
Show a => Show (Ohm a) Source # | |||||
Eq a => Eq (Ohm a) Source # | |||||
Ord a => Ord (Ohm a) Source # | |||||
type DimOf Ohm Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Ohm Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type Impedance = Resistance Source #
type Reactance = Resistance Source #
type Conductance = NormalizeDim (Current ./. Voltage) Source #
Electric conductance quantity. Equal to
Mass.^-1 .*. Length.^-2 .*. Time.^+3 .*. Current.^+2
Constructors
Siemens a |
Instances
IsUnit Siemens Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Siemens Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Siemens a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Siemens a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Siemens a -> BaseUnitOf Siemens a Source # fromBaseUnit :: BaseUnitOf Siemens a -> Siemens a Source # | |||||
Floating a => Floating (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods sqrt :: Siemens a -> Siemens a (**) :: Siemens a -> Siemens a -> Siemens a logBase :: Siemens a -> Siemens a -> Siemens a asin :: Siemens a -> Siemens a acos :: Siemens a -> Siemens a atan :: Siemens a -> Siemens a sinh :: Siemens a -> Siemens a cosh :: Siemens a -> Siemens a tanh :: Siemens a -> Siemens a asinh :: Siemens a -> Siemens a acosh :: Siemens a -> Siemens a atanh :: Siemens a -> Siemens a log1p :: Siemens a -> Siemens a expm1 :: Siemens a -> Siemens a | |||||
RealFloat a => RealFloat (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Siemens a -> Integer floatDigits :: Siemens a -> Int floatRange :: Siemens a -> (Int, Int) decodeFloat :: Siemens a -> (Integer, Int) encodeFloat :: Integer -> Int -> Siemens a significand :: Siemens a -> Siemens a scaleFloat :: Int -> Siemens a -> Siemens a isInfinite :: Siemens a -> Bool isDenormalized :: Siemens a -> Bool isNegativeZero :: Siemens a -> Bool | |||||
Num a => Num (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => Fractional (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Siemens a -> Rational | |||||
RealFrac a => RealFrac (Siemens a) Source # | |||||
Show a => Show (Siemens a) Source # | |||||
Eq a => Eq (Siemens a) Source # | |||||
Ord a => Ord (Siemens a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Siemens Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Siemens Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type MagneticFlux = NormalizeDim (Voltage .*. Time) Source #
Constructors
Weber a |
Instances
IsUnit Weber Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Weber Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Weber a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Weber a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Weber a -> BaseUnitOf Weber a Source # fromBaseUnit :: BaseUnitOf Weber a -> Weber a Source # | |||||
Floating a => Floating (Weber a) Source # | |||||
RealFloat a => RealFloat (Weber a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Weber a -> Integer floatDigits :: Weber a -> Int floatRange :: Weber a -> (Int, Int) decodeFloat :: Weber a -> (Integer, Int) encodeFloat :: Integer -> Int -> Weber a significand :: Weber a -> Weber a scaleFloat :: Int -> Weber a -> Weber a isInfinite :: Weber a -> Bool isDenormalized :: Weber a -> Bool isNegativeZero :: Weber a -> Bool | |||||
Num a => Num (Weber a) Source # | |||||
Fractional a => Fractional (Weber a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Weber a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Weber a -> Rational | |||||
RealFrac a => RealFrac (Weber a) Source # | |||||
Show a => Show (Weber a) Source # | |||||
Eq a => Eq (Weber a) Source # | |||||
Ord a => Ord (Weber a) Source # | |||||
type DimOf Weber Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Weber Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type MagneticInduction = NormalizeDim (MagneticFlux ./. (Length .^+ 2)) Source #
Constructors
Tesla a |
Instances
IsUnit Tesla Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Tesla Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Tesla a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Tesla a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Tesla a -> BaseUnitOf Tesla a Source # fromBaseUnit :: BaseUnitOf Tesla a -> Tesla a Source # | |||||
Floating a => Floating (Tesla a) Source # | |||||
RealFloat a => RealFloat (Tesla a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Tesla a -> Integer floatDigits :: Tesla a -> Int floatRange :: Tesla a -> (Int, Int) decodeFloat :: Tesla a -> (Integer, Int) encodeFloat :: Integer -> Int -> Tesla a significand :: Tesla a -> Tesla a scaleFloat :: Int -> Tesla a -> Tesla a isInfinite :: Tesla a -> Bool isDenormalized :: Tesla a -> Bool isNegativeZero :: Tesla a -> Bool | |||||
Num a => Num (Tesla a) Source # | |||||
Fractional a => Fractional (Tesla a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Tesla a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Tesla a -> Rational | |||||
RealFrac a => RealFrac (Tesla a) Source # | |||||
Show a => Show (Tesla a) Source # | |||||
Eq a => Eq (Tesla a) Source # | |||||
Ord a => Ord (Tesla a) Source # | |||||
type DimOf Tesla Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Tesla Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type Inductance = NormalizeDim (MagneticFlux ./. Current) Source #
Constructors
Henry a |
Instances
IsUnit Henry Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Henry Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Henry a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Henry a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Henry a -> BaseUnitOf Henry a Source # fromBaseUnit :: BaseUnitOf Henry a -> Henry a Source # | |||||
Floating a => Floating (Henry a) Source # | |||||
RealFloat a => RealFloat (Henry a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Henry a -> Integer floatDigits :: Henry a -> Int floatRange :: Henry a -> (Int, Int) decodeFloat :: Henry a -> (Integer, Int) encodeFloat :: Integer -> Int -> Henry a significand :: Henry a -> Henry a scaleFloat :: Int -> Henry a -> Henry a isInfinite :: Henry a -> Bool isDenormalized :: Henry a -> Bool isNegativeZero :: Henry a -> Bool | |||||
Num a => Num (Henry a) Source # | |||||
Fractional a => Fractional (Henry a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Henry a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Henry a -> Rational | |||||
RealFrac a => RealFrac (Henry a) Source # | |||||
Show a => Show (Henry a) Source # | |||||
Eq a => Eq (Henry a) Source # | |||||
Ord a => Ord (Henry a) Source # | |||||
type DimOf Henry Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Henry Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type EquivalentDose = AbsorbedDose Source #
type AbsorbedDose = NormalizeDim (Energy ./. Mass) Source #
Absorbed dose in grays
Constructors
Gray a |
Instances
IsUnit Gray Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Gray Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Gray a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Gray a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Gray a -> BaseUnitOf Gray a Source # fromBaseUnit :: BaseUnitOf Gray a -> Gray a Source # | |||||
Floating a => Floating (Gray a) Source # | |||||
RealFloat a => RealFloat (Gray a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Gray a -> Integer floatDigits :: Gray a -> Int floatRange :: Gray a -> (Int, Int) decodeFloat :: Gray a -> (Integer, Int) encodeFloat :: Integer -> Int -> Gray a significand :: Gray a -> Gray a scaleFloat :: Int -> Gray a -> Gray a isInfinite :: Gray a -> Bool isDenormalized :: Gray a -> Bool isNegativeZero :: Gray a -> Bool | |||||
Num a => Num (Gray a) Source # | |||||
Fractional a => Fractional (Gray a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Gray a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Gray a -> Rational | |||||
RealFrac a => RealFrac (Gray a) Source # | |||||
Show a => Show (Gray a) Source # | |||||
Eq a => Eq (Gray a) Source # | |||||
Ord a => Ord (Gray a) Source # | |||||
type DimOf Gray Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Gray Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
Dose equivalent in sieverts
Constructors
Sievert a |
Instances
IsUnit Sievert Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Sievert Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Sievert a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Sievert a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Sievert a -> BaseUnitOf Sievert a Source # fromBaseUnit :: BaseUnitOf Sievert a -> Sievert a Source # | |||||
Floating a => Floating (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods sqrt :: Sievert a -> Sievert a (**) :: Sievert a -> Sievert a -> Sievert a logBase :: Sievert a -> Sievert a -> Sievert a asin :: Sievert a -> Sievert a acos :: Sievert a -> Sievert a atan :: Sievert a -> Sievert a sinh :: Sievert a -> Sievert a cosh :: Sievert a -> Sievert a tanh :: Sievert a -> Sievert a asinh :: Sievert a -> Sievert a acosh :: Sievert a -> Sievert a atanh :: Sievert a -> Sievert a log1p :: Sievert a -> Sievert a expm1 :: Sievert a -> Sievert a | |||||
RealFloat a => RealFloat (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Sievert a -> Integer floatDigits :: Sievert a -> Int floatRange :: Sievert a -> (Int, Int) decodeFloat :: Sievert a -> (Integer, Int) encodeFloat :: Integer -> Int -> Sievert a significand :: Sievert a -> Sievert a scaleFloat :: Int -> Sievert a -> Sievert a isInfinite :: Sievert a -> Bool isDenormalized :: Sievert a -> Bool isNegativeZero :: Sievert a -> Bool | |||||
Num a => Num (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => Fractional (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Sievert a -> Rational | |||||
RealFrac a => RealFrac (Sievert a) Source # | |||||
Show a => Show (Sievert a) Source # | |||||
Eq a => Eq (Sievert a) Source # | |||||
Ord a => Ord (Sievert a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type DimOf Sievert Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Sievert Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |
type CatalyticActivity = NormalizeDim (AmountOfSubstance ./. Time) Source #
Catalytic activity quantity. Equal to
Time
.^-1 .*.AmountOfSubstance
Catalytic activity in katal
Constructors
Katal a |
Instances
IsUnit Katal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
| |||||
ShowUnit Katal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Associated Types
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
Fractional a => ConversionFactor Katal a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Fractional a => ConvertibleUnit Katal a Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toBaseUnit :: Katal a -> BaseUnitOf Katal a Source # fromBaseUnit :: BaseUnitOf Katal a -> Katal a Source # | |||||
Floating a => Floating (Katal a) Source # | |||||
RealFloat a => RealFloat (Katal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods floatRadix :: Katal a -> Integer floatDigits :: Katal a -> Int floatRange :: Katal a -> (Int, Int) decodeFloat :: Katal a -> (Integer, Int) encodeFloat :: Integer -> Int -> Katal a significand :: Katal a -> Katal a scaleFloat :: Int -> Katal a -> Katal a isInfinite :: Katal a -> Bool isDenormalized :: Katal a -> Bool isNegativeZero :: Katal a -> Bool | |||||
Num a => Num (Katal a) Source # | |||||
Fractional a => Fractional (Katal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
Real a => Real (Katal a) Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle Methods toRational :: Katal a -> Rational | |||||
RealFrac a => RealFrac (Katal a) Source # | |||||
Show a => Show (Katal a) Source # | |||||
Eq a => Eq (Katal a) Source # | |||||
Ord a => Ord (Katal a) Source # | |||||
type DimOf Katal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle | |||||
type ShowUnitType Katal Source # | |||||
Defined in Data.Units.SI.Derived.NonAngle |