| 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 | GHC2024 |
Data.Units.SI.System
Description
Base units and dimensions of the International System of Units (abbreviated SI).
Synopsis
- newtype Mass a = Mass a
- newtype Gram a = Gram a
- newtype Length a = Length a
- newtype Meter a = Meter a
- newtype Time a = Time a
- newtype Second a = Second a
- newtype Temperature a = Temperature a
- newtype Kelvin a = Kelvin a
- newtype AmountOfSubstance a = AmountOfSubstance a
- newtype Mole a = Mole a
- newtype Current a = Current a
- newtype Ampere a = Ampere a
- newtype LuminousIntensity a = LuminousIntensity a
- newtype Candela a = Candela a
Documentation
The mass dimension, denotated M in SI.
This may contain a mass quantity with unspecified unit.
Constructors
| Mass a |
Instances
A quantity in grams, denotated g in SI.
Notice that the base unit for the mass dimension is , not
Kilo Gram.Gram
This is correctly taken into account by this library:
>>>from (Gram 8)quantity @(Kilo Gram) 8.0e-3>>>:kind! BaseUnitOf GramBaseUnitOf Gram :: * -> * = Kilo Gram
Constructors
| Gram a |
Instances
| IsUnit Gram Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowUnit Gram Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Gram a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Gram a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Gram a -> BaseUnitOf Gram a Source # fromBaseUnit :: BaseUnitOf Gram a -> Gram a Source # | |||||
| Floating a => Floating (Gram a) Source # | |||||
| RealFloat a => RealFloat (Gram a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Gram a -> Integer # floatDigits :: Gram a -> Int # floatRange :: Gram a -> (Int, Int) # decodeFloat :: Gram a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Gram a # significand :: Gram a -> Gram a # scaleFloat :: Int -> Gram a -> Gram a # isInfinite :: Gram a -> Bool # isDenormalized :: Gram a -> Bool # isNegativeZero :: Gram a -> Bool # | |||||
| Num a => Num (Gram a) Source # | |||||
| Fractional a => Fractional (Gram a) Source # | |||||
| Real a => Real (Gram a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Gram a -> Rational # | |||||
| RealFrac a => RealFrac (Gram a) Source # | |||||
| Show a => Show (Gram a) Source # | |||||
| Eq a => Eq (Gram a) Source # | |||||
| Ord a => Ord (Gram a) Source # | |||||
| type DimOf Gram Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Gram Source # | |||||
Defined in Data.Units.SI.System | |||||
The length dimension, denotated L in SI.
This may contain a length quantity with unspecified unit.
Constructors
| Length a |
Instances
| IsDim Length Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowDim Length Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (Length a) Source # | |||||
Defined in Data.Units.SI.System Methods sqrt :: Length a -> Length a # (**) :: Length a -> Length a -> Length a # logBase :: Length a -> Length a -> Length a # asin :: Length a -> Length a # acos :: Length a -> Length a # atan :: Length a -> Length a # sinh :: Length a -> Length a # cosh :: Length a -> Length a # tanh :: Length a -> Length a # asinh :: Length a -> Length a # acosh :: Length a -> Length a # atanh :: Length a -> Length a # log1p :: Length a -> Length a # expm1 :: Length a -> Length a # | |||||
| RealFloat a => RealFloat (Length a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Length a -> Integer # floatDigits :: Length a -> Int # floatRange :: Length a -> (Int, Int) # decodeFloat :: Length a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Length a # significand :: Length a -> Length a # scaleFloat :: Int -> Length a -> Length a # isInfinite :: Length a -> Bool # isDenormalized :: Length a -> Bool # isNegativeZero :: Length a -> Bool # | |||||
| Num a => Num (Length a) Source # | |||||
| Fractional a => Fractional (Length a) Source # | |||||
| Real a => Real (Length a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Length a -> Rational # | |||||
| RealFrac a => RealFrac (Length a) Source # | |||||
| Show a => Show (Length a) Source # | |||||
| Eq a => Eq (Length a) Source # | |||||
| Ord a => Ord (Length a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimId Length Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit Length Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType Length Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in meters, denotated m in SI.
This is the base unit of the length dimension in the SI system.
Constructors
| Meter a |
Instances
| IsUnit Meter Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowUnit Meter Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Meter a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Meter a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Meter a -> BaseUnitOf Meter a Source # fromBaseUnit :: BaseUnitOf Meter a -> Meter a Source # | |||||
| Floating a => Floating (Meter a) Source # | |||||
| RealFloat a => RealFloat (Meter a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Meter a -> Integer # floatDigits :: Meter a -> Int # floatRange :: Meter a -> (Int, Int) # decodeFloat :: Meter a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Meter a # significand :: Meter a -> Meter a # scaleFloat :: Int -> Meter a -> Meter a # isInfinite :: Meter a -> Bool # isDenormalized :: Meter a -> Bool # isNegativeZero :: Meter a -> Bool # | |||||
| Num a => Num (Meter a) Source # | |||||
| Fractional a => Fractional (Meter a) Source # | |||||
| Real a => Real (Meter a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Meter a -> Rational # | |||||
| RealFrac a => RealFrac (Meter a) Source # | |||||
| Show a => Show (Meter a) Source # | |||||
| Eq a => Eq (Meter a) Source # | |||||
| Ord a => Ord (Meter a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimOf Meter Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Meter Source # | |||||
Defined in Data.Units.SI.System | |||||
The time dimension, denotated T in SI.
This may contain a length quantity with unspecified unit.
Constructors
| Time a |
Instances
| IsDim Time Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowDim Time Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (Time a) Source # | |||||
| RealFloat a => RealFloat (Time a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Time a -> Integer # floatDigits :: Time a -> Int # floatRange :: Time a -> (Int, Int) # decodeFloat :: Time a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Time a # significand :: Time a -> Time a # scaleFloat :: Int -> Time a -> Time a # isInfinite :: Time a -> Bool # isDenormalized :: Time a -> Bool # isNegativeZero :: Time a -> Bool # | |||||
| Num a => Num (Time a) Source # | |||||
| Fractional a => Fractional (Time a) Source # | |||||
| Real a => Real (Time a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Time a -> Rational # | |||||
| RealFrac a => RealFrac (Time a) Source # | |||||
| Show a => Show (Time a) Source # | |||||
| Eq a => Eq (Time a) Source # | |||||
| Ord a => Ord (Time a) Source # | |||||
| type DimId Time Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit Time Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType Time Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in seconds, denotated s in SI.
This is the base unit of the time dimension in the SI system.
Constructors
| Second a |
Instances
| IsUnit Second Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowUnit Second Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Second a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Second a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Second a -> BaseUnitOf Second a Source # fromBaseUnit :: BaseUnitOf Second a -> Second a Source # | |||||
| Floating a => Floating (Second a) Source # | |||||
Defined in Data.Units.SI.System Methods sqrt :: Second a -> Second a # (**) :: Second a -> Second a -> Second a # logBase :: Second a -> Second a -> Second a # asin :: Second a -> Second a # acos :: Second a -> Second a # atan :: Second a -> Second a # sinh :: Second a -> Second a # cosh :: Second a -> Second a # tanh :: Second a -> Second a # asinh :: Second a -> Second a # acosh :: Second a -> Second a # atanh :: Second a -> Second a # log1p :: Second a -> Second a # expm1 :: Second a -> Second a # | |||||
| RealFloat a => RealFloat (Second a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Second a -> Integer # floatDigits :: Second a -> Int # floatRange :: Second a -> (Int, Int) # decodeFloat :: Second a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Second a # significand :: Second a -> Second a # scaleFloat :: Int -> Second a -> Second a # isInfinite :: Second a -> Bool # isDenormalized :: Second a -> Bool # isNegativeZero :: Second a -> Bool # | |||||
| Num a => Num (Second a) Source # | |||||
| Fractional a => Fractional (Second a) Source # | |||||
| Real a => Real (Second a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Second a -> Rational # | |||||
| RealFrac a => RealFrac (Second a) Source # | |||||
| Show a => Show (Second a) Source # | |||||
| Eq a => Eq (Second a) Source # | |||||
| Ord a => Ord (Second a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimOf Second Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Second Source # | |||||
Defined in Data.Units.SI.System | |||||
newtype Temperature a Source #
The thermodynamic temperature dimension, denotated Θ in SI.
This may contain a temperature quantity with unspecified unit.
Constructors
| Temperature a |
Instances
| IsDim Temperature Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowDim Temperature Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods pi :: Temperature a # exp :: Temperature a -> Temperature a # log :: Temperature a -> Temperature a # sqrt :: Temperature a -> Temperature a # (**) :: Temperature a -> Temperature a -> Temperature a # logBase :: Temperature a -> Temperature a -> Temperature a # sin :: Temperature a -> Temperature a # cos :: Temperature a -> Temperature a # tan :: Temperature a -> Temperature a # asin :: Temperature a -> Temperature a # acos :: Temperature a -> Temperature a # atan :: Temperature a -> Temperature a # sinh :: Temperature a -> Temperature a # cosh :: Temperature a -> Temperature a # tanh :: Temperature a -> Temperature a # asinh :: Temperature a -> Temperature a # acosh :: Temperature a -> Temperature a # atanh :: Temperature a -> Temperature a # log1p :: Temperature a -> Temperature a # expm1 :: Temperature a -> Temperature a # log1pexp :: Temperature a -> Temperature a # log1mexp :: Temperature a -> Temperature a # | |||||
| RealFloat a => RealFloat (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Temperature a -> Integer # floatDigits :: Temperature a -> Int # floatRange :: Temperature a -> (Int, Int) # decodeFloat :: Temperature a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Temperature a # exponent :: Temperature a -> Int # significand :: Temperature a -> Temperature a # scaleFloat :: Int -> Temperature a -> Temperature a # isNaN :: Temperature a -> Bool # isInfinite :: Temperature a -> Bool # isDenormalized :: Temperature a -> Bool # isNegativeZero :: Temperature a -> Bool # isIEEE :: Temperature a -> Bool # atan2 :: Temperature a -> Temperature a -> Temperature a # | |||||
| Num a => Num (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods (+) :: Temperature a -> Temperature a -> Temperature a # (-) :: Temperature a -> Temperature a -> Temperature a # (*) :: Temperature a -> Temperature a -> Temperature a # negate :: Temperature a -> Temperature a # abs :: Temperature a -> Temperature a # signum :: Temperature a -> Temperature a # fromInteger :: Integer -> Temperature a # | |||||
| Fractional a => Fractional (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods (/) :: Temperature a -> Temperature a -> Temperature a # recip :: Temperature a -> Temperature a # fromRational :: Rational -> Temperature a # | |||||
| Real a => Real (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Temperature a -> Rational # | |||||
| RealFrac a => RealFrac (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods properFraction :: Integral b => Temperature a -> (b, Temperature a) # truncate :: Integral b => Temperature a -> b # round :: Integral b => Temperature a -> b # ceiling :: Integral b => Temperature a -> b # floor :: Integral b => Temperature a -> b # | |||||
| Show a => Show (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods showsPrec :: Int -> Temperature a -> ShowS # show :: Temperature a -> String # showList :: [Temperature a] -> ShowS # | |||||
| Eq a => Eq (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods (==) :: Temperature a -> Temperature a -> Bool # (/=) :: Temperature a -> Temperature a -> Bool # | |||||
| Ord a => Ord (Temperature a) Source # | |||||
Defined in Data.Units.SI.System Methods compare :: Temperature a -> Temperature a -> Ordering # (<) :: Temperature a -> Temperature a -> Bool # (<=) :: Temperature a -> Temperature a -> Bool # (>) :: Temperature a -> Temperature a -> Bool # (>=) :: Temperature a -> Temperature a -> Bool # max :: Temperature a -> Temperature a -> Temperature a # min :: Temperature a -> Temperature a -> Temperature a # | |||||
| type DimId Temperature Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit Temperature Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType Temperature Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in Kelvin, denotated K in SI.
This is the base unit of the thermodynamic temperature dimension in the SI system.
Constructors
| Kelvin a |
Instances
| IsUnit Kelvin Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowUnit Kelvin Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Kelvin a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Kelvin a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Kelvin a -> BaseUnitOf Kelvin a Source # fromBaseUnit :: BaseUnitOf Kelvin a -> Kelvin a Source # | |||||
| Floating a => Floating (Kelvin a) Source # | |||||
Defined in Data.Units.SI.System Methods sqrt :: Kelvin a -> Kelvin a # (**) :: Kelvin a -> Kelvin a -> Kelvin a # logBase :: Kelvin a -> Kelvin a -> Kelvin a # asin :: Kelvin a -> Kelvin a # acos :: Kelvin a -> Kelvin a # atan :: Kelvin a -> Kelvin a # sinh :: Kelvin a -> Kelvin a # cosh :: Kelvin a -> Kelvin a # tanh :: Kelvin a -> Kelvin a # asinh :: Kelvin a -> Kelvin a # acosh :: Kelvin a -> Kelvin a # atanh :: Kelvin a -> Kelvin a # log1p :: Kelvin a -> Kelvin a # expm1 :: Kelvin a -> Kelvin a # | |||||
| RealFloat a => RealFloat (Kelvin a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Kelvin a -> Integer # floatDigits :: Kelvin a -> Int # floatRange :: Kelvin a -> (Int, Int) # decodeFloat :: Kelvin a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Kelvin a # significand :: Kelvin a -> Kelvin a # scaleFloat :: Int -> Kelvin a -> Kelvin a # isInfinite :: Kelvin a -> Bool # isDenormalized :: Kelvin a -> Bool # isNegativeZero :: Kelvin a -> Bool # | |||||
| Num a => Num (Kelvin a) Source # | |||||
| Fractional a => Fractional (Kelvin a) Source # | |||||
| Real a => Real (Kelvin a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Kelvin a -> Rational # | |||||
| RealFrac a => RealFrac (Kelvin a) Source # | |||||
| Show a => Show (Kelvin a) Source # | |||||
| Eq a => Eq (Kelvin a) Source # | |||||
| Ord a => Ord (Kelvin a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimOf Kelvin Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Kelvin Source # | |||||
Defined in Data.Units.SI.System | |||||
newtype AmountOfSubstance a Source #
The amount of substance dimension, denotated N in SI.
This may contain an amount of substance quantity with unspecified unit.
Constructors
| AmountOfSubstance a |
Instances
| IsDim AmountOfSubstance Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowDim AmountOfSubstance Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods pi :: AmountOfSubstance a # exp :: AmountOfSubstance a -> AmountOfSubstance a # log :: AmountOfSubstance a -> AmountOfSubstance a # sqrt :: AmountOfSubstance a -> AmountOfSubstance a # (**) :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # logBase :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # sin :: AmountOfSubstance a -> AmountOfSubstance a # cos :: AmountOfSubstance a -> AmountOfSubstance a # tan :: AmountOfSubstance a -> AmountOfSubstance a # asin :: AmountOfSubstance a -> AmountOfSubstance a # acos :: AmountOfSubstance a -> AmountOfSubstance a # atan :: AmountOfSubstance a -> AmountOfSubstance a # sinh :: AmountOfSubstance a -> AmountOfSubstance a # cosh :: AmountOfSubstance a -> AmountOfSubstance a # tanh :: AmountOfSubstance a -> AmountOfSubstance a # asinh :: AmountOfSubstance a -> AmountOfSubstance a # acosh :: AmountOfSubstance a -> AmountOfSubstance a # atanh :: AmountOfSubstance a -> AmountOfSubstance a # log1p :: AmountOfSubstance a -> AmountOfSubstance a # expm1 :: AmountOfSubstance a -> AmountOfSubstance a # log1pexp :: AmountOfSubstance a -> AmountOfSubstance a # log1mexp :: AmountOfSubstance a -> AmountOfSubstance a # | |||||
| RealFloat a => RealFloat (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: AmountOfSubstance a -> Integer # floatDigits :: AmountOfSubstance a -> Int # floatRange :: AmountOfSubstance a -> (Int, Int) # decodeFloat :: AmountOfSubstance a -> (Integer, Int) # encodeFloat :: Integer -> Int -> AmountOfSubstance a # exponent :: AmountOfSubstance a -> Int # significand :: AmountOfSubstance a -> AmountOfSubstance a # scaleFloat :: Int -> AmountOfSubstance a -> AmountOfSubstance a # isNaN :: AmountOfSubstance a -> Bool # isInfinite :: AmountOfSubstance a -> Bool # isDenormalized :: AmountOfSubstance a -> Bool # isNegativeZero :: AmountOfSubstance a -> Bool # isIEEE :: AmountOfSubstance a -> Bool # atan2 :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # | |||||
| Num a => Num (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods (+) :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # (-) :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # (*) :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # negate :: AmountOfSubstance a -> AmountOfSubstance a # abs :: AmountOfSubstance a -> AmountOfSubstance a # signum :: AmountOfSubstance a -> AmountOfSubstance a # fromInteger :: Integer -> AmountOfSubstance a # | |||||
| Fractional a => Fractional (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods (/) :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # recip :: AmountOfSubstance a -> AmountOfSubstance a # fromRational :: Rational -> AmountOfSubstance a # | |||||
| Real a => Real (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: AmountOfSubstance a -> Rational # | |||||
| RealFrac a => RealFrac (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods properFraction :: Integral b => AmountOfSubstance a -> (b, AmountOfSubstance a) # truncate :: Integral b => AmountOfSubstance a -> b # round :: Integral b => AmountOfSubstance a -> b # ceiling :: Integral b => AmountOfSubstance a -> b # floor :: Integral b => AmountOfSubstance a -> b # | |||||
| Show a => Show (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods showsPrec :: Int -> AmountOfSubstance a -> ShowS # show :: AmountOfSubstance a -> String # showList :: [AmountOfSubstance a] -> ShowS # | |||||
| Eq a => Eq (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods (==) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # (/=) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # | |||||
| Ord a => Ord (AmountOfSubstance a) Source # | |||||
Defined in Data.Units.SI.System Methods compare :: AmountOfSubstance a -> AmountOfSubstance a -> Ordering # (<) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # (<=) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # (>) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # (>=) :: AmountOfSubstance a -> AmountOfSubstance a -> Bool # max :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # min :: AmountOfSubstance a -> AmountOfSubstance a -> AmountOfSubstance a # | |||||
| type DimId AmountOfSubstance Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit AmountOfSubstance Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType AmountOfSubstance Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in moles, denotated mol in SI.
This is the base unit of the amount of substance dimension in the SI system.
Constructors
| Mole a |
Instances
| IsUnit Mole Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowUnit Mole Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Mole a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Mole a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Mole a -> BaseUnitOf Mole a Source # fromBaseUnit :: BaseUnitOf Mole a -> Mole a Source # | |||||
| Floating a => Floating (Mole a) Source # | |||||
| RealFloat a => RealFloat (Mole a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Mole a -> Integer # floatDigits :: Mole a -> Int # floatRange :: Mole a -> (Int, Int) # decodeFloat :: Mole a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Mole a # significand :: Mole a -> Mole a # scaleFloat :: Int -> Mole a -> Mole a # isInfinite :: Mole a -> Bool # isDenormalized :: Mole a -> Bool # isNegativeZero :: Mole a -> Bool # | |||||
| Num a => Num (Mole a) Source # | |||||
| Fractional a => Fractional (Mole a) Source # | |||||
| Real a => Real (Mole a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Mole a -> Rational # | |||||
| RealFrac a => RealFrac (Mole a) Source # | |||||
| Show a => Show (Mole a) Source # | |||||
| Eq a => Eq (Mole a) Source # | |||||
| Ord a => Ord (Mole a) Source # | |||||
| type DimOf Mole Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Mole Source # | |||||
Defined in Data.Units.SI.System | |||||
The electric current dimension, denotated I in SI.
This may contain an electric current quantity with unspecified unit.
Constructors
| Current a |
Instances
| IsDim Current Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowDim Current Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (Current a) Source # | |||||
Defined in Data.Units.SI.System Methods exp :: Current a -> Current a # log :: Current a -> Current a # sqrt :: Current a -> Current a # (**) :: Current a -> Current a -> Current a # logBase :: Current a -> Current a -> Current a # sin :: Current a -> Current a # cos :: Current a -> Current a # tan :: Current a -> Current a # asin :: Current a -> Current a # acos :: Current a -> Current a # atan :: Current a -> Current a # sinh :: Current a -> Current a # cosh :: Current a -> Current a # tanh :: Current a -> Current a # asinh :: Current a -> Current a # acosh :: Current a -> Current a # atanh :: Current a -> Current a # log1p :: Current a -> Current a # expm1 :: Current a -> Current a # | |||||
| RealFloat a => RealFloat (Current a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Current a -> Integer # floatDigits :: Current a -> Int # floatRange :: Current a -> (Int, Int) # decodeFloat :: Current a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Current a # exponent :: Current a -> Int # significand :: Current a -> Current a # scaleFloat :: Int -> Current a -> Current a # isInfinite :: Current a -> Bool # isDenormalized :: Current a -> Bool # isNegativeZero :: Current a -> Bool # | |||||
| Num a => Num (Current a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => Fractional (Current a) Source # | |||||
| Real a => Real (Current a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Current a -> Rational # | |||||
| RealFrac a => RealFrac (Current a) Source # | |||||
| Show a => Show (Current a) Source # | |||||
| Eq a => Eq (Current a) Source # | |||||
| Ord a => Ord (Current a) Source # | |||||
| type DimId Current Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit Current Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType Current Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in amperes, denotated A in SI.
This is the base unit of the electric current dimension in the SI system.
Constructors
| Ampere a |
Instances
| IsUnit Ampere Source # | |||||
Defined in Data.Units.SI.System | |||||
| ShowUnit Ampere Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Ampere a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Ampere a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Ampere a -> BaseUnitOf Ampere a Source # fromBaseUnit :: BaseUnitOf Ampere a -> Ampere a Source # | |||||
| Floating a => Floating (Ampere a) Source # | |||||
Defined in Data.Units.SI.System Methods sqrt :: Ampere a -> Ampere a # (**) :: Ampere a -> Ampere a -> Ampere a # logBase :: Ampere a -> Ampere a -> Ampere a # asin :: Ampere a -> Ampere a # acos :: Ampere a -> Ampere a # atan :: Ampere a -> Ampere a # sinh :: Ampere a -> Ampere a # cosh :: Ampere a -> Ampere a # tanh :: Ampere a -> Ampere a # asinh :: Ampere a -> Ampere a # acosh :: Ampere a -> Ampere a # atanh :: Ampere a -> Ampere a # log1p :: Ampere a -> Ampere a # expm1 :: Ampere a -> Ampere a # | |||||
| RealFloat a => RealFloat (Ampere a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Ampere a -> Integer # floatDigits :: Ampere a -> Int # floatRange :: Ampere a -> (Int, Int) # decodeFloat :: Ampere a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Ampere a # significand :: Ampere a -> Ampere a # scaleFloat :: Int -> Ampere a -> Ampere a # isInfinite :: Ampere a -> Bool # isDenormalized :: Ampere a -> Bool # isNegativeZero :: Ampere a -> Bool # | |||||
| Num a => Num (Ampere a) Source # | |||||
| Fractional a => Fractional (Ampere a) Source # | |||||
| Real a => Real (Ampere a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Ampere a -> Rational # | |||||
| RealFrac a => RealFrac (Ampere a) Source # | |||||
| Show a => Show (Ampere a) Source # | |||||
| Eq a => Eq (Ampere a) Source # | |||||
| Ord a => Ord (Ampere a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimOf Ampere Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Ampere Source # | |||||
Defined in Data.Units.SI.System | |||||
newtype LuminousIntensity a Source #
The luminous intensity dimension, denotated J in SI.
This may contain a luminous intensity quantity with unspecified unit.
Constructors
| LuminousIntensity a |
Instances
| IsDim LuminousIntensity Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowDim LuminousIntensity Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Floating a => Floating (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods pi :: LuminousIntensity a # exp :: LuminousIntensity a -> LuminousIntensity a # log :: LuminousIntensity a -> LuminousIntensity a # sqrt :: LuminousIntensity a -> LuminousIntensity a # (**) :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # logBase :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # sin :: LuminousIntensity a -> LuminousIntensity a # cos :: LuminousIntensity a -> LuminousIntensity a # tan :: LuminousIntensity a -> LuminousIntensity a # asin :: LuminousIntensity a -> LuminousIntensity a # acos :: LuminousIntensity a -> LuminousIntensity a # atan :: LuminousIntensity a -> LuminousIntensity a # sinh :: LuminousIntensity a -> LuminousIntensity a # cosh :: LuminousIntensity a -> LuminousIntensity a # tanh :: LuminousIntensity a -> LuminousIntensity a # asinh :: LuminousIntensity a -> LuminousIntensity a # acosh :: LuminousIntensity a -> LuminousIntensity a # atanh :: LuminousIntensity a -> LuminousIntensity a # log1p :: LuminousIntensity a -> LuminousIntensity a # expm1 :: LuminousIntensity a -> LuminousIntensity a # log1pexp :: LuminousIntensity a -> LuminousIntensity a # log1mexp :: LuminousIntensity a -> LuminousIntensity a # | |||||
| RealFloat a => RealFloat (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: LuminousIntensity a -> Integer # floatDigits :: LuminousIntensity a -> Int # floatRange :: LuminousIntensity a -> (Int, Int) # decodeFloat :: LuminousIntensity a -> (Integer, Int) # encodeFloat :: Integer -> Int -> LuminousIntensity a # exponent :: LuminousIntensity a -> Int # significand :: LuminousIntensity a -> LuminousIntensity a # scaleFloat :: Int -> LuminousIntensity a -> LuminousIntensity a # isNaN :: LuminousIntensity a -> Bool # isInfinite :: LuminousIntensity a -> Bool # isDenormalized :: LuminousIntensity a -> Bool # isNegativeZero :: LuminousIntensity a -> Bool # isIEEE :: LuminousIntensity a -> Bool # atan2 :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # | |||||
| Num a => Num (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods (+) :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # (-) :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # (*) :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # negate :: LuminousIntensity a -> LuminousIntensity a # abs :: LuminousIntensity a -> LuminousIntensity a # signum :: LuminousIntensity a -> LuminousIntensity a # fromInteger :: Integer -> LuminousIntensity a # | |||||
| Fractional a => Fractional (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods (/) :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # recip :: LuminousIntensity a -> LuminousIntensity a # fromRational :: Rational -> LuminousIntensity a # | |||||
| Real a => Real (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: LuminousIntensity a -> Rational # | |||||
| RealFrac a => RealFrac (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods properFraction :: Integral b => LuminousIntensity a -> (b, LuminousIntensity a) # truncate :: Integral b => LuminousIntensity a -> b # round :: Integral b => LuminousIntensity a -> b # ceiling :: Integral b => LuminousIntensity a -> b # floor :: Integral b => LuminousIntensity a -> b # | |||||
| Show a => Show (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods showsPrec :: Int -> LuminousIntensity a -> ShowS # show :: LuminousIntensity a -> String # showList :: [LuminousIntensity a] -> ShowS # | |||||
| Eq a => Eq (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods (==) :: LuminousIntensity a -> LuminousIntensity a -> Bool # (/=) :: LuminousIntensity a -> LuminousIntensity a -> Bool # | |||||
| Ord a => Ord (LuminousIntensity a) Source # | |||||
Defined in Data.Units.SI.System Methods compare :: LuminousIntensity a -> LuminousIntensity a -> Ordering # (<) :: LuminousIntensity a -> LuminousIntensity a -> Bool # (<=) :: LuminousIntensity a -> LuminousIntensity a -> Bool # (>) :: LuminousIntensity a -> LuminousIntensity a -> Bool # (>=) :: LuminousIntensity a -> LuminousIntensity a -> Bool # max :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # min :: LuminousIntensity a -> LuminousIntensity a -> LuminousIntensity a # | |||||
| type DimId LuminousIntensity Source # | |||||
Defined in Data.Units.SI.System | |||||
| type DimToUnit LuminousIntensity Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowDimType LuminousIntensity Source # | |||||
Defined in Data.Units.SI.System | |||||
A quantity in candelas, denotated cd in SI.
This is the base unit of the luminous intensity dimension in the SI system.
Constructors
| Candela a |
Instances
| IsUnit Candela Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| ShowUnit Candela Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
| Fractional a => ConversionFactor Candela a Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => ConvertibleUnit Candela a Source # | |||||
Defined in Data.Units.SI.System Methods toBaseUnit :: Candela a -> BaseUnitOf Candela a Source # fromBaseUnit :: BaseUnitOf Candela a -> Candela a Source # | |||||
| Floating a => Floating (Candela a) Source # | |||||
Defined in Data.Units.SI.System Methods exp :: Candela a -> Candela a # log :: Candela a -> Candela a # sqrt :: Candela a -> Candela a # (**) :: Candela a -> Candela a -> Candela a # logBase :: Candela a -> Candela a -> Candela a # sin :: Candela a -> Candela a # cos :: Candela a -> Candela a # tan :: Candela a -> Candela a # asin :: Candela a -> Candela a # acos :: Candela a -> Candela a # atan :: Candela a -> Candela a # sinh :: Candela a -> Candela a # cosh :: Candela a -> Candela a # tanh :: Candela a -> Candela a # asinh :: Candela a -> Candela a # acosh :: Candela a -> Candela a # atanh :: Candela a -> Candela a # log1p :: Candela a -> Candela a # expm1 :: Candela a -> Candela a # | |||||
| RealFloat a => RealFloat (Candela a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Candela a -> Integer # floatDigits :: Candela a -> Int # floatRange :: Candela a -> (Int, Int) # decodeFloat :: Candela a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Candela a # exponent :: Candela a -> Int # significand :: Candela a -> Candela a # scaleFloat :: Int -> Candela a -> Candela a # isInfinite :: Candela a -> Bool # isDenormalized :: Candela a -> Bool # isNegativeZero :: Candela a -> Bool # | |||||
| Num a => Num (Candela a) Source # | |||||
Defined in Data.Units.SI.System | |||||
| Fractional a => Fractional (Candela a) Source # | |||||
| Real a => Real (Candela a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Candela a -> Rational # | |||||
| RealFrac a => RealFrac (Candela a) Source # | |||||
| Show a => Show (Candela a) Source # | |||||
| Eq a => Eq (Candela a) Source # | |||||
| Ord a => Ord (Candela a) Source # | |||||
| type DimOf Candela Source # | |||||
Defined in Data.Units.SI.System | |||||
| type ShowUnitType Candela Source # | |||||
Defined in Data.Units.SI.System | |||||