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.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
IsDim Mass Source # | |||||
Defined in Data.Units.SI.System | |||||
ShowDim Mass Source # | |||||
Defined in Data.Units.SI.System Associated Types
| |||||
Floating a => Floating (Mass a) Source # | |||||
RealFloat a => RealFloat (Mass a) Source # | |||||
Defined in Data.Units.SI.System Methods floatRadix :: Mass a -> Integer floatDigits :: Mass a -> Int floatRange :: Mass a -> (Int, Int) decodeFloat :: Mass a -> (Integer, Int) encodeFloat :: Integer -> Int -> Mass a significand :: Mass a -> Mass a scaleFloat :: Int -> Mass a -> Mass a isInfinite :: Mass a -> Bool isDenormalized :: Mass a -> Bool isNegativeZero :: Mass a -> Bool | |||||
Num a => Num (Mass a) Source # | |||||
Fractional a => Fractional (Mass a) Source # | |||||
Defined in Data.Units.SI.System | |||||
Real a => Real (Mass a) Source # | |||||
Defined in Data.Units.SI.System Methods toRational :: Mass a -> Rational | |||||
RealFrac a => RealFrac (Mass a) Source # | |||||
Show a => Show (Mass a) Source # | |||||
Eq a => Eq (Mass a) Source # | |||||
Ord a => Ord (Mass a) Source # | |||||
type DimId Mass Source # | |||||
Defined in Data.Units.SI.System | |||||
type DimToUnit Mass Source # | |||||
Defined in Data.Units.SI.System | |||||
type ShowDimType Mass Source # | |||||
Defined in Data.Units.SI.System |
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 Gram
BaseUnitOf Gram :: * -> * = Kilo Gram
Constructors
Gram a |
Instances
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 # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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 # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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 | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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 sqrt :: Current a -> Current a (**) :: Current a -> Current a -> Current a logBase :: Current a -> 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 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 # | |||||
Fractional a => Fractional (Current a) Source # | |||||
Defined in Data.Units.SI.System | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 # | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
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
Methods showsUnitPrec :: Int -> ShowS Source # prettysUnitPrec :: Int -> ShowS Source # prettyUnit :: String Source # | |||||
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 sqrt :: Candela a -> Candela a (**) :: Candela a -> Candela a -> Candela a logBase :: Candela a -> 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 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 # | |||||
Fractional a => Fractional (Candela a) Source # | |||||
Defined in Data.Units.SI.System | |||||
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 # | |||||
Defined in Data.Units.SI.System | |||||
type DimOf Candela Source # | |||||
Defined in Data.Units.SI.System | |||||
type ShowUnitType Candela Source # | |||||
Defined in Data.Units.SI.System |