Safe Haskell	Trustworthy
Language	Haskell2010

Math.Number.Units

Contents

Orphan instances

Description

This module contains auxiliary definitions related to dimensional analysis. This is based on the SI system of units. This module supports compile-time checking for dimensional units. This is accomplished by a set of newtype wrappers of Double.

It is not necessarily a good idea to make the checking in compile-time. In particular, this can prevent operations to be available, e.g. Num class is not supported for compile-time checked quantities. Num because it has wrong type for the multiplication and division. Instead of Num, VectorSpace operations and operations defined in this module should be used.

However, these types can distinguish quantities even in cases where the dimensions match, e.g. radians and steradians. Explicit conversions are nonetheless available when dimensions match.

Read operations are pretty strict in that they require exactly the syntax "double unit", where unit is the result of unitOf (fromAmount 0 :: T). Example: (read "3 m^2" :: SquareLength) This can sometimes be unintuitive and is sensitive to the algorithm used to print units. For example: unitOf (fromAmount 0 :: Mass :/ Length) == "m^-1 kg". If in doubt, it's possible to use the read algorithm handling all units from DimensionalAnalysis module.

However, it's very much likely that compile-time checked newtypes are faster at run-time than using the run-time checked quantities. This is probably the primary reason for wanting this module instead of run-time checked version.

Also it's not possible to cast input data directly without run-time check to a compile-time checked quantity.

See "Barton&Nackman: Scientific and Engineering C++" for C++ approach to dimensional analysis.

https://en.wikipedia.org/wiki/International_System_of_Units

Synopsis

type UnitName u = Scalar u -> u
(*%%) :: Scalar u ~ Scalar u' => UnitName u -> UnitName u' -> UnitName (u :* u')
(/%%) :: Scalar u ~ Scalar u' => UnitName u -> UnitName u' -> UnitName (u :/ u')
(*%) :: (LiteralUnit u, LiteralUnit w, Num (Scalar u), Scalar u ~ Scalar w) => u -> w -> u :* w
(/%) :: (Fractional (Scalar u), LiteralUnit u, LiteralUnit w, Scalar u ~ Scalar w) => u -> w -> u :/ w
unitNameToDimension :: (Num (Scalar u), Unit u) => UnitName u -> Dimension
mapAmount :: LiteralUnit a => (Scalar a -> Scalar a) -> a -> a
mapAmount2 :: LiteralUnit a => (Scalar a -> Scalar a -> Scalar a) -> a -> a -> a
asUnit :: (MonadFail m, Show (Scalar u), Show u, LiteralUnit u, Fractional (Scalar u)) => Quantity (Scalar u) -> UnitName u -> m u
quantity :: LiteralUnit u => u -> Quantity (Scalar u)
data a :/ b = QDivide {
- qdivide_amount :: !(Scalar a)
- qdivide_dividend_unit :: UnitName a
- qdivide_divisor_unit :: UnitName b
}
data a :* b = QProduct {
- qproduct_amount :: !(Scalar a)
- qproduct_first_unit :: UnitName a
- qproduct_second_unit :: UnitName b
}
newtype Dimensionless = Dimensionless {
- dimensionless_value :: Double
}
newtype Information = Bits {
- number_of_bits :: Double
}
newtype SoundLevel = SoundAmplitude {
- sound_amplitude :: Double
}
newtype Angle = Radians {
- radians :: Double
}
pi_angle :: Angle
fraction_of_circle :: Rational -> Angle
asin_angle :: Double -> Angle
acos_angle :: Double -> Angle
atan_angle :: Double -> Angle
sin_angle :: Angle -> Double
cos_angle :: Angle -> Double
tan_angle :: Angle -> Double
log_angle :: Complex Double -> Angle
exp_angle :: Angle -> Complex Double
fromPolar :: (Unit u, Scalar u ~ Double) => u -> Angle -> Complex u
toPolar :: (LiteralUnit u, Scalar u ~ Double) => Complex u -> (u, Angle)
newtype DegreesAngle = Degrees {
- degrees :: Double
}
degreesAngle :: DegreesAngle -> Angle
angleDegrees :: Angle -> DegreesAngle
isoDegreesToAngle :: DegreesAngle :==: Angle
newtype SolidAngle = Steradians {
- steradians :: Double
}
show_unit :: (Unit u, Show (Scalar u)) => u -> String
read_unit :: (Unit u, Read (Scalar u)) => UnitName u -> ReadPrec u
newtype Percentage = Percentages {
- percentages :: Double
}
newtype Acceleration = MetersPerSquareSecond {
- metersPerSquareSecond :: Double
}
newtype Velocity = MetersPerSecond {
- metersPerSecond :: Double
}
newtype SquareLength = SquareMeters {
- squaremeters :: Double
}
newtype CubicLength = CubicMeters {
- cubicmeters :: Double
}
sqrt_length :: SquareLength -> Length
square_length :: Length -> SquareLength
times_length :: Length -> Length -> SquareLength
newtype Length = Meters {
- meters :: Double
}
newtype Mass = Kilograms {
- kilograms :: Double
}
newtype Time = Seconds {
- seconds :: Double
}
newtype Current = Amperes {
- amperes :: Double
}
newtype DegreesFahrenheit = DegreesFahrenheit {
- fahrenheits :: Double
}
newtype DegreesTemperature = DegreesCelcius {
- celciuses :: Double
}
newtype Temperature = DegreesKelvin {
- kelvins :: Double
}
isoCelciusToKelvin :: DegreesTemperature :==: Temperature
celciusToKelvin :: DegreesTemperature -> Temperature
kelvinToCelcius :: Temperature -> DegreesTemperature
newtype Substance = Moles {
- moles :: Double
}
newtype Intensity = Candelas {
- candelas :: Double
}
newtype Frequency = Hertzes {
- hertzes :: Double
}
newtype Force = Newtons {
- newtons :: Double
}
newtype Torque = NewtonMeters {
- newtonmeters :: Double
}
newtype Pressure = Pascals {
- pascals :: Double
}
newtype Energy = Joules {
- joules :: Double
}
newtype Power = Watts {
- watts :: Double
}
newtype Charge = Coulombs {
- coulombs :: Double
}
newtype Voltage = Volts {
- volts :: Double
}
newtype Capacitance = Farads {
- farads :: Double
}
newtype Resistance = Ohms {
- ohms :: Double
}
newtype Conductance = Siemenses {
- siemenses :: Double
}
newtype Flux = Webers {
- webers :: Double
}
newtype FluxDensity = Teslas {
- teslas :: Double
}
newtype Inductance = Henrys {
- henrys :: Double
}
newtype LuminousFlux = Lumens {
- lumens :: Double
}
newtype Illuminance = Luxes {
- luxes :: Double
}
newtype Radioactivity = Becquerels {
- becquerels :: Double
}
newtype AbsorbedDose = Grays {
- grays :: Double
}
newtype EquivalentDose = Sieverts {
- sieverts :: Double
}
newtype CatalyticActivity = Katals {
- katals :: Double
}

Documentation

type UnitName u = Scalar u -> u Source #

Notice that fromAmount from Unit class has type (Unit u) => UnitName u. However usually a concrete constructor of one of the newtypes is used as value.

(*%%) :: Scalar u ~ Scalar u' => UnitName u -> UnitName u' -> UnitName (u :* u') Source #

(/%%) :: Scalar u ~ Scalar u' => UnitName u -> UnitName u' -> UnitName (u :/ u') Source #

(*%) :: (LiteralUnit u, LiteralUnit w, Num (Scalar u), Scalar u ~ Scalar w) => u -> w -> u :* w Source #

heterogeneous product respecting units It may be necessary to use quantity operation to convert to run-time representation after using this, because the result type accumulates new parts with each use without considering what the total dimension of the result is. This can produce excessively complicated types, because the type represents the structure of the expression rather than structure of the result.

(/%) :: (Fractional (Scalar u), LiteralUnit u, LiteralUnit w, Scalar u ~ Scalar w) => u -> w -> u :/ w Source #

heterogeneous division respecting units. These simply accumulate type information about the units. It may be necessary to use quantity operation to convert to run-time representation after using this, because the result type accumulates new parts with each use without considering what the total dimension of the result is. This can produce excessively complicated types, because the type represents the structure of the expression rather than the structure of the result.

unitNameToDimension :: (Num (Scalar u), Unit u) => UnitName u -> Dimension Source #

mapAmount :: LiteralUnit a => (Scalar a -> Scalar a) -> a -> a Source #

mapAmount2 :: LiteralUnit a => (Scalar a -> Scalar a -> Scalar a) -> a -> a -> a Source #

asUnit :: (MonadFail m, Show (Scalar u), Show u, LiteralUnit u, Fractional (Scalar u)) => Quantity (Scalar u) -> UnitName u -> m u Source #

Conversion from "Quantity a" to a unit-specific type. The second argument is the constructor for the newtype specific to the unit.

Example: (3 %* meter) asUnit Meters == return (Meters 3) 0.3 asUnit Radians == return (Radians 0.3)

If the dimensions don't match, this raises an exception.

quantity :: LiteralUnit u => u -> Quantity (Scalar u) Source #

Converts a compile-time checked dimensional unit to run-time checked version This often has the effect of reducing the complexity in types.

data a :/ b Source #

Constructors

QDivide
Fields qdivide_amount :: !(Scalar a) qdivide_dividend_unit :: UnitName a qdivide_divisor_unit :: UnitName b

Instances

Instances details

Generic (a :/ b) Source #
Instance details Defined in Math.Number.Units Associated Types type Rep (a :/ b) :: Type -> Type # Methods from :: (a :/ b) -> Rep (a :/ b) x # to :: Rep (a :/ b) x -> a :/ b #
(LiteralUnit a, LiteralUnit b, Read (Scalar a), Show (Scalar a), Scalar a ~ Scalar b) => Read (a :/ b) Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS (a :/ b) # readList :: ReadS [a :/ b] # readPrec :: ReadPrec (a :/ b) # readListPrec :: ReadPrec [a :/ b] #
(Scalar a ~ Scalar b, LiteralUnit a, LiteralUnit b, Show (Scalar a)) => Show (a :/ b) Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> (a :/ b) -> ShowS # show :: (a :/ b) -> String # showList :: [a :/ b] -> ShowS #
(LiteralUnit a, LiteralUnit b, Scalar a ~ Scalar b) => VectorSpace (a :/ b) Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar (a :/ b) Source # Methods vzero :: a :/ b Source # vnegate :: (a :/ b) -> a :/ b Source # (%+) :: (a :/ b) -> (a :/ b) -> a :/ b Source # (%*) :: Scalar (a :/ b) -> (a :/ b) -> a :/ b Source #
(Scalar a ~ Scalar b, Show (Scalar a), LiteralUnit a, LiteralUnit b) => LiteralUnit (a :/ b) Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar (a :/ b) -> a :/ b Source # zeroAmount :: (Scalar (a :/ b) -> a :/ b) -> Scalar (a :/ b) Source # conversionFactor :: (Scalar (a :/ b) -> a :/ b) -> Scalar (a :/ b) Source #
(LiteralUnit a, LiteralUnit b, Show (Scalar a), Scalar a ~ Scalar b) => Unit (a :/ b) Source #
Instance details Defined in Math.Number.Units Methods amount :: (a :/ b) -> Scalar (a :/ b) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (a :/ b)) -> m (a :/ b) Source # unitOf :: (a :/ b) -> String Source # dimension :: (a :/ b) -> Dimension Source #
type Rep (a :/ b) Source #
Instance details Defined in Math.Number.Units type Rep (a :/ b) = D1 ('MetaData ":/" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'False) (C1 ('MetaCons "QDivide" 'PrefixI 'True) (S1 ('MetaSel ('Just "qdivide_amount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Scalar a)) :: (S1 ('MetaSel ('Just "qdivide_dividend_unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName a)) :: S1 ('MetaSel ('Just "qdivide_divisor_unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName b)))))
type Scalar (a :/ b) Source #
Instance details Defined in Math.Number.Units type Scalar (a :/ b) = Scalar a

data a :* b Source #

Constructors

QProduct
Fields qproduct_amount :: !(Scalar a) qproduct_first_unit :: UnitName a qproduct_second_unit :: UnitName b

Instances

Instances details

Generic (a :* b) Source #
Instance details Defined in Math.Number.Units Associated Types type Rep (a :* b) :: Type -> Type # Methods from :: (a :* b) -> Rep (a :* b) x # to :: Rep (a :* b) x -> a :* b #
(LiteralUnit a, LiteralUnit b, Read (Scalar a), Show (Scalar a), Scalar a ~ Scalar b) => Read (a :* b) Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS (a :* b) # readList :: ReadS [a :* b] # readPrec :: ReadPrec (a :* b) # readListPrec :: ReadPrec [a :* b] #
(Scalar a ~ Scalar b, LiteralUnit a, LiteralUnit b, Show (Scalar a)) => Show (a :* b) Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> (a :* b) -> ShowS # show :: (a :* b) -> String # showList :: [a :* b] -> ShowS #
(LiteralUnit a, LiteralUnit b, Scalar a ~ Scalar b) => VectorSpace (a :* b) Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar (a :* b) Source # Methods vzero :: a :* b Source # vnegate :: (a :* b) -> a :* b Source # (%+) :: (a :* b) -> (a :* b) -> a :* b Source # (%) :: Scalar (a : b) -> (a :* b) -> a :* b Source #
(Scalar a ~ Scalar b, Show (Scalar a), LiteralUnit a, LiteralUnit b) => LiteralUnit (a :* b) Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar (a :* b) -> a :* b Source # zeroAmount :: (Scalar (a :* b) -> a :* b) -> Scalar (a :* b) Source # conversionFactor :: (Scalar (a :* b) -> a :* b) -> Scalar (a :* b) Source #
(LiteralUnit a, LiteralUnit b, Show (Scalar a), Scalar a ~ Scalar b) => Unit (a :* b) Source #
Instance details Defined in Math.Number.Units Methods amount :: (a :* b) -> Scalar (a :* b) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (a :* b)) -> m (a :* b) Source # unitOf :: (a :* b) -> String Source # dimension :: (a :* b) -> Dimension Source #
type Rep (a :* b) Source #
Instance details Defined in Math.Number.Units type Rep (a :* b) = D1 ('MetaData ":" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'False) (C1 ('MetaCons "QProduct" 'PrefixI 'True) (S1 ('MetaSel ('Just "qproduct_amount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Scalar a)) :: (S1 ('MetaSel ('Just "qproduct_first_unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName a)) :*: S1 ('MetaSel ('Just "qproduct_second_unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName b)))))
type Scalar (a :* b) Source #
Instance details Defined in Math.Number.Units type Scalar (a :* b) = Scalar a

newtype Dimensionless Source #

Constructors

Dimensionless
Fields dimensionless_value :: Double

Instances

Instances details

Data Dimensionless Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dimensionless -> c Dimensionless # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dimensionless # toConstr :: Dimensionless -> Constr # dataTypeOf :: Dimensionless -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Dimensionless) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dimensionless) # gmapT :: (forall b. Data b => b -> b) -> Dimensionless -> Dimensionless # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dimensionless -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dimensionless -> r # gmapQ :: (forall d. Data d => d -> u) -> Dimensionless -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Dimensionless -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dimensionless -> m Dimensionless # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dimensionless -> m Dimensionless # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dimensionless -> m Dimensionless #
Floating Dimensionless Source #
Instance details Defined in Math.Number.Units Methods pi :: Dimensionless # exp :: Dimensionless -> Dimensionless # log :: Dimensionless -> Dimensionless # sqrt :: Dimensionless -> Dimensionless # (**) :: Dimensionless -> Dimensionless -> Dimensionless # logBase :: Dimensionless -> Dimensionless -> Dimensionless # sin :: Dimensionless -> Dimensionless # cos :: Dimensionless -> Dimensionless # tan :: Dimensionless -> Dimensionless # asin :: Dimensionless -> Dimensionless # acos :: Dimensionless -> Dimensionless # atan :: Dimensionless -> Dimensionless # sinh :: Dimensionless -> Dimensionless # cosh :: Dimensionless -> Dimensionless # tanh :: Dimensionless -> Dimensionless # asinh :: Dimensionless -> Dimensionless # acosh :: Dimensionless -> Dimensionless # atanh :: Dimensionless -> Dimensionless # log1p :: Dimensionless -> Dimensionless # expm1 :: Dimensionless -> Dimensionless # log1pexp :: Dimensionless -> Dimensionless # log1mexp :: Dimensionless -> Dimensionless #
RealFloat Dimensionless Source #
Instance details Defined in Math.Number.Units Methods floatRadix :: Dimensionless -> Integer # floatDigits :: Dimensionless -> Int # floatRange :: Dimensionless -> (Int, Int) # decodeFloat :: Dimensionless -> (Integer, Int) # encodeFloat :: Integer -> Int -> Dimensionless # exponent :: Dimensionless -> Int # significand :: Dimensionless -> Dimensionless # scaleFloat :: Int -> Dimensionless -> Dimensionless # isNaN :: Dimensionless -> Bool # isInfinite :: Dimensionless -> Bool # isDenormalized :: Dimensionless -> Bool # isNegativeZero :: Dimensionless -> Bool # isIEEE :: Dimensionless -> Bool # atan2 :: Dimensionless -> Dimensionless -> Dimensionless #
Generic Dimensionless Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Dimensionless :: Type -> Type # Methods from :: Dimensionless -> Rep Dimensionless x # to :: Rep Dimensionless x -> Dimensionless #
Num Dimensionless Source #
Instance details Defined in Math.Number.Units Methods (+) :: Dimensionless -> Dimensionless -> Dimensionless # (-) :: Dimensionless -> Dimensionless -> Dimensionless # (*) :: Dimensionless -> Dimensionless -> Dimensionless # negate :: Dimensionless -> Dimensionless # abs :: Dimensionless -> Dimensionless # signum :: Dimensionless -> Dimensionless # fromInteger :: Integer -> Dimensionless #
Read Dimensionless Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Dimensionless # readList :: ReadS [Dimensionless] # readPrec :: ReadPrec Dimensionless # readListPrec :: ReadPrec [Dimensionless] #
Fractional Dimensionless Source #
Instance details Defined in Math.Number.Units Methods (/) :: Dimensionless -> Dimensionless -> Dimensionless # recip :: Dimensionless -> Dimensionless # fromRational :: Rational -> Dimensionless #
Real Dimensionless Source #
Instance details Defined in Math.Number.Units Methods toRational :: Dimensionless -> Rational #
RealFrac Dimensionless Source #
Instance details Defined in Math.Number.Units Methods properFraction :: Integral b => Dimensionless -> (b, Dimensionless) # truncate :: Integral b => Dimensionless -> b # round :: Integral b => Dimensionless -> b # ceiling :: Integral b => Dimensionless -> b # floor :: Integral b => Dimensionless -> b #
Show Dimensionless Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Dimensionless -> ShowS # show :: Dimensionless -> String # showList :: [Dimensionless] -> ShowS #
Binary Dimensionless Source #
Instance details Defined in Math.Number.Units Methods put :: Dimensionless -> Put # get :: Get Dimensionless # putList :: [Dimensionless] -> Put #
NormedSpace Dimensionless Source #
Instance details Defined in Math.Number.Units Methods norm :: Dimensionless -> Scalar Dimensionless Source # norm_squared :: Dimensionless -> Scalar Dimensionless Source #
VectorSpace Dimensionless Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Dimensionless Source # Methods vzero :: Dimensionless Source # vnegate :: Dimensionless -> Dimensionless Source # (%+) :: Dimensionless -> Dimensionless -> Dimensionless Source # (%*) :: Scalar Dimensionless -> Dimensionless -> Dimensionless Source #
LiteralUnit Dimensionless Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Dimensionless -> Dimensionless Source # zeroAmount :: (Scalar Dimensionless -> Dimensionless) -> Scalar Dimensionless Source # conversionFactor :: (Scalar Dimensionless -> Dimensionless) -> Scalar Dimensionless Source #
Unit Dimensionless Source #
Instance details Defined in Math.Number.Units Methods amount :: Dimensionless -> Scalar Dimensionless Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Dimensionless) -> m Dimensionless Source # unitOf :: Dimensionless -> String Source # dimension :: Dimensionless -> Dimension Source #
Eq Dimensionless Source #
Instance details Defined in Math.Number.Units Methods (==) :: Dimensionless -> Dimensionless -> Bool # (/=) :: Dimensionless -> Dimensionless -> Bool #
Ord Dimensionless Source #
Instance details Defined in Math.Number.Units Methods compare :: Dimensionless -> Dimensionless -> Ordering # (<) :: Dimensionless -> Dimensionless -> Bool # (<=) :: Dimensionless -> Dimensionless -> Bool # (>) :: Dimensionless -> Dimensionless -> Bool # (>=) :: Dimensionless -> Dimensionless -> Bool # max :: Dimensionless -> Dimensionless -> Dimensionless # min :: Dimensionless -> Dimensionless -> Dimensionless #
type Rep Dimensionless Source #
Instance details Defined in Math.Number.Units type Rep Dimensionless = D1 ('MetaData "Dimensionless" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Dimensionless" 'PrefixI 'True) (S1 ('MetaSel ('Just "dimensionless_value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Dimensionless Source #
Instance details Defined in Math.Number.Units type Scalar Dimensionless = Double

newtype Information Source #

Constructors

Bits
Fields number_of_bits :: Double

Instances

Instances details

Data Information Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Information -> c Information # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Information # toConstr :: Information -> Constr # dataTypeOf :: Information -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Information) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Information) # gmapT :: (forall b. Data b => b -> b) -> Information -> Information # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Information -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Information -> r # gmapQ :: (forall d. Data d => d -> u) -> Information -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Information -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Information -> m Information # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Information -> m Information # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Information -> m Information #
Generic Information Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Information :: Type -> Type # Methods from :: Information -> Rep Information x # to :: Rep Information x -> Information #
Read Information Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Information # readList :: ReadS [Information] # readPrec :: ReadPrec Information # readListPrec :: ReadPrec [Information] #
Show Information Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Information -> ShowS # show :: Information -> String # showList :: [Information] -> ShowS #
Binary Information Source #
Instance details Defined in Math.Number.Units Methods put :: Information -> Put # get :: Get Information # putList :: [Information] -> Put #
NormedSpace Information Source #
Instance details Defined in Math.Number.Units Methods norm :: Information -> Scalar Information Source # norm_squared :: Information -> Scalar Information Source #
VectorSpace Information Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Information Source # Methods vzero :: Information Source # vnegate :: Information -> Information Source # (%+) :: Information -> Information -> Information Source # (%*) :: Scalar Information -> Information -> Information Source #
LiteralUnit Information Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Information -> Information Source # zeroAmount :: (Scalar Information -> Information) -> Scalar Information Source # conversionFactor :: (Scalar Information -> Information) -> Scalar Information Source #
Unit Information Source #
Instance details Defined in Math.Number.Units Methods amount :: Information -> Scalar Information Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Information) -> m Information Source # unitOf :: Information -> String Source # dimension :: Information -> Dimension Source #
Eq Information Source #
Instance details Defined in Math.Number.Units Methods (==) :: Information -> Information -> Bool # (/=) :: Information -> Information -> Bool #
Ord Information Source #
Instance details Defined in Math.Number.Units Methods compare :: Information -> Information -> Ordering # (<) :: Information -> Information -> Bool # (<=) :: Information -> Information -> Bool # (>) :: Information -> Information -> Bool # (>=) :: Information -> Information -> Bool # max :: Information -> Information -> Information # min :: Information -> Information -> Information #
type Rep Information Source #
Instance details Defined in Math.Number.Units type Rep Information = D1 ('MetaData "Information" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Bits" 'PrefixI 'True) (S1 ('MetaSel ('Just "number_of_bits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Information Source #
Instance details Defined in Math.Number.Units type Scalar Information = Scalar Dimensionless

newtype SoundLevel Source #

Constructors

SoundAmplitude
Fields sound_amplitude :: Double

Instances

Instances details

Data SoundLevel Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SoundLevel -> c SoundLevel # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SoundLevel # toConstr :: SoundLevel -> Constr # dataTypeOf :: SoundLevel -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SoundLevel) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SoundLevel) # gmapT :: (forall b. Data b => b -> b) -> SoundLevel -> SoundLevel # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SoundLevel -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SoundLevel -> r # gmapQ :: (forall d. Data d => d -> u) -> SoundLevel -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SoundLevel -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SoundLevel -> m SoundLevel # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SoundLevel -> m SoundLevel # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SoundLevel -> m SoundLevel #
Generic SoundLevel Source #
Instance details Defined in Math.Number.Units Associated Types type Rep SoundLevel :: Type -> Type # Methods from :: SoundLevel -> Rep SoundLevel x # to :: Rep SoundLevel x -> SoundLevel #
Read SoundLevel Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS SoundLevel # readList :: ReadS [SoundLevel] # readPrec :: ReadPrec SoundLevel # readListPrec :: ReadPrec [SoundLevel] #
Show SoundLevel Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> SoundLevel -> ShowS # show :: SoundLevel -> String # showList :: [SoundLevel] -> ShowS #
Binary SoundLevel Source #
Instance details Defined in Math.Number.Units Methods put :: SoundLevel -> Put # get :: Get SoundLevel # putList :: [SoundLevel] -> Put #
VectorSpace SoundLevel Source #	NOTE: additive operations mapped to multiplicative. Notice this reduces the possible range of SoundLevel values to around -300..300 dB based on possible exponents in Double.
Instance details Defined in Math.Number.Units Associated Types type Scalar SoundLevel Source # Methods vzero :: SoundLevel Source # vnegate :: SoundLevel -> SoundLevel Source # (%+) :: SoundLevel -> SoundLevel -> SoundLevel Source # (%*) :: Scalar SoundLevel -> SoundLevel -> SoundLevel Source #
LiteralUnit SoundLevel Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar SoundLevel -> SoundLevel Source # zeroAmount :: (Scalar SoundLevel -> SoundLevel) -> Scalar SoundLevel Source # conversionFactor :: (Scalar SoundLevel -> SoundLevel) -> Scalar SoundLevel Source #
Unit SoundLevel Source #
Instance details Defined in Math.Number.Units Methods amount :: SoundLevel -> Scalar SoundLevel Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar SoundLevel) -> m SoundLevel Source # unitOf :: SoundLevel -> String Source # dimension :: SoundLevel -> Dimension Source #
Eq SoundLevel Source #
Instance details Defined in Math.Number.Units Methods (==) :: SoundLevel -> SoundLevel -> Bool # (/=) :: SoundLevel -> SoundLevel -> Bool #
Ord SoundLevel Source #
Instance details Defined in Math.Number.Units Methods compare :: SoundLevel -> SoundLevel -> Ordering # (<) :: SoundLevel -> SoundLevel -> Bool # (<=) :: SoundLevel -> SoundLevel -> Bool # (>) :: SoundLevel -> SoundLevel -> Bool # (>=) :: SoundLevel -> SoundLevel -> Bool # max :: SoundLevel -> SoundLevel -> SoundLevel # min :: SoundLevel -> SoundLevel -> SoundLevel #
type Rep SoundLevel Source #
Instance details Defined in Math.Number.Units type Rep SoundLevel = D1 ('MetaData "SoundLevel" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "SoundAmplitude" 'PrefixI 'True) (S1 ('MetaSel ('Just "sound_amplitude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar SoundLevel Source #
Instance details Defined in Math.Number.Units type Scalar SoundLevel = Double

newtype Angle Source #

Constructors

Radians
Fields radians :: Double

Instances

Instances details

Data Angle Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Angle -> c Angle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Angle # toConstr :: Angle -> Constr # dataTypeOf :: Angle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Angle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Angle) # gmapT :: (forall b. Data b => b -> b) -> Angle -> Angle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Angle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Angle -> r # gmapQ :: (forall d. Data d => d -> u) -> Angle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Angle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Angle -> m Angle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Angle -> m Angle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Angle -> m Angle #
Generic Angle Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Angle :: Type -> Type # Methods from :: Angle -> Rep Angle x # to :: Rep Angle x -> Angle #
Num Angle Source #
Instance details Defined in Math.Number.Units Methods (+) :: Angle -> Angle -> Angle # (-) :: Angle -> Angle -> Angle # (*) :: Angle -> Angle -> Angle # negate :: Angle -> Angle # abs :: Angle -> Angle # signum :: Angle -> Angle # fromInteger :: Integer -> Angle #
Read Angle Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Angle # readList :: ReadS [Angle] # readPrec :: ReadPrec Angle # readListPrec :: ReadPrec [Angle] #
Fractional Angle Source #
Instance details Defined in Math.Number.Units Methods (/) :: Angle -> Angle -> Angle # recip :: Angle -> Angle # fromRational :: Rational -> Angle #
Show Angle Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Angle -> ShowS # show :: Angle -> String # showList :: [Angle] -> ShowS #
Binary Angle Source #
Instance details Defined in Math.Number.Units Methods put :: Angle -> Put # get :: Get Angle # putList :: [Angle] -> Put #
NormedSpace Angle Source #
Instance details Defined in Math.Number.Units Methods norm :: Angle -> Scalar Angle Source # norm_squared :: Angle -> Scalar Angle Source #
VectorSpace Angle Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Angle Source # Methods vzero :: Angle Source # vnegate :: Angle -> Angle Source # (%+) :: Angle -> Angle -> Angle Source # (%*) :: Scalar Angle -> Angle -> Angle Source #
LiteralUnit Angle Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Angle -> Angle Source # zeroAmount :: (Scalar Angle -> Angle) -> Scalar Angle Source # conversionFactor :: (Scalar Angle -> Angle) -> Scalar Angle Source #
Unit Angle Source #
Instance details Defined in Math.Number.Units Methods amount :: Angle -> Scalar Angle Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Angle) -> m Angle Source # unitOf :: Angle -> String Source # dimension :: Angle -> Dimension Source #
Eq Angle Source #
Instance details Defined in Math.Number.Units Methods (==) :: Angle -> Angle -> Bool # (/=) :: Angle -> Angle -> Bool #
Ord Angle Source #
Instance details Defined in Math.Number.Units Methods compare :: Angle -> Angle -> Ordering # (<) :: Angle -> Angle -> Bool # (<=) :: Angle -> Angle -> Bool # (>) :: Angle -> Angle -> Bool # (>=) :: Angle -> Angle -> Bool # max :: Angle -> Angle -> Angle # min :: Angle -> Angle -> Angle #
type Rep Angle Source #
Instance details Defined in Math.Number.Units type Rep Angle = D1 ('MetaData "Angle" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Radians" 'PrefixI 'True) (S1 ('MetaSel ('Just "radians") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Angle Source #
Instance details Defined in Math.Number.Units type Scalar Angle = Scalar Dimensionless

pi_angle :: Angle Source #

fraction_of_circle :: Rational -> Angle Source #

asin_angle :: Double -> Angle Source #

acos_angle :: Double -> Angle Source #

atan_angle :: Double -> Angle Source #

sin_angle :: Angle -> Double Source #

cos_angle :: Angle -> Double Source #

tan_angle :: Angle -> Double Source #

log_angle :: Complex Double -> Angle Source #

exp_angle :: Angle -> Complex Double Source #

fromPolar :: (Unit u, Scalar u ~ Double) => u -> Angle -> Complex u Source #

toPolar :: (LiteralUnit u, Scalar u ~ Double) => Complex u -> (u, Angle) Source #

newtype DegreesAngle Source #

Constructors

Degrees
Fields degrees :: Double

Instances

Instances details

Data DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DegreesAngle -> c DegreesAngle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DegreesAngle # toConstr :: DegreesAngle -> Constr # dataTypeOf :: DegreesAngle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DegreesAngle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DegreesAngle) # gmapT :: (forall b. Data b => b -> b) -> DegreesAngle -> DegreesAngle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DegreesAngle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DegreesAngle -> r # gmapQ :: (forall d. Data d => d -> u) -> DegreesAngle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DegreesAngle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DegreesAngle -> m DegreesAngle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesAngle -> m DegreesAngle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesAngle -> m DegreesAngle #
Generic DegreesAngle Source #
Instance details Defined in Math.Number.Units Associated Types type Rep DegreesAngle :: Type -> Type # Methods from :: DegreesAngle -> Rep DegreesAngle x # to :: Rep DegreesAngle x -> DegreesAngle #
Read DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS DegreesAngle # readList :: ReadS [DegreesAngle] # readPrec :: ReadPrec DegreesAngle # readListPrec :: ReadPrec [DegreesAngle] #
Show DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> DegreesAngle -> ShowS # show :: DegreesAngle -> String # showList :: [DegreesAngle] -> ShowS #
Binary DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods put :: DegreesAngle -> Put # get :: Get DegreesAngle # putList :: [DegreesAngle] -> Put #
NormedSpace DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods norm :: DegreesAngle -> Scalar DegreesAngle Source # norm_squared :: DegreesAngle -> Scalar DegreesAngle Source #
VectorSpace DegreesAngle Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar DegreesAngle Source # Methods vzero :: DegreesAngle Source # vnegate :: DegreesAngle -> DegreesAngle Source # (%+) :: DegreesAngle -> DegreesAngle -> DegreesAngle Source # (%*) :: Scalar DegreesAngle -> DegreesAngle -> DegreesAngle Source #
LiteralUnit DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar DegreesAngle -> DegreesAngle Source # zeroAmount :: (Scalar DegreesAngle -> DegreesAngle) -> Scalar DegreesAngle Source # conversionFactor :: (Scalar DegreesAngle -> DegreesAngle) -> Scalar DegreesAngle Source #
Unit DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods amount :: DegreesAngle -> Scalar DegreesAngle Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar DegreesAngle) -> m DegreesAngle Source # unitOf :: DegreesAngle -> String Source # dimension :: DegreesAngle -> Dimension Source #
Eq DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods (==) :: DegreesAngle -> DegreesAngle -> Bool # (/=) :: DegreesAngle -> DegreesAngle -> Bool #
Ord DegreesAngle Source #
Instance details Defined in Math.Number.Units Methods compare :: DegreesAngle -> DegreesAngle -> Ordering # (<) :: DegreesAngle -> DegreesAngle -> Bool # (<=) :: DegreesAngle -> DegreesAngle -> Bool # (>) :: DegreesAngle -> DegreesAngle -> Bool # (>=) :: DegreesAngle -> DegreesAngle -> Bool # max :: DegreesAngle -> DegreesAngle -> DegreesAngle # min :: DegreesAngle -> DegreesAngle -> DegreesAngle #
type Rep DegreesAngle Source #
Instance details Defined in Math.Number.Units type Rep DegreesAngle = D1 ('MetaData "DegreesAngle" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Degrees" 'PrefixI 'True) (S1 ('MetaSel ('Just "degrees") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar DegreesAngle Source #
Instance details Defined in Math.Number.Units type Scalar DegreesAngle = Scalar Dimensionless

degreesAngle :: DegreesAngle -> Angle Source #

angleDegrees :: Angle -> DegreesAngle Source #

isoDegreesToAngle :: DegreesAngle :==: Angle Source #

newtype SolidAngle Source #

https://en.wikipedia.org/wiki/Steradian

Constructors

Steradians
Fields steradians :: Double

Instances

Instances details

Data SolidAngle Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SolidAngle -> c SolidAngle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SolidAngle # toConstr :: SolidAngle -> Constr # dataTypeOf :: SolidAngle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SolidAngle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SolidAngle) # gmapT :: (forall b. Data b => b -> b) -> SolidAngle -> SolidAngle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SolidAngle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SolidAngle -> r # gmapQ :: (forall d. Data d => d -> u) -> SolidAngle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SolidAngle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SolidAngle -> m SolidAngle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SolidAngle -> m SolidAngle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SolidAngle -> m SolidAngle #
Generic SolidAngle Source #
Instance details Defined in Math.Number.Units Associated Types type Rep SolidAngle :: Type -> Type # Methods from :: SolidAngle -> Rep SolidAngle x # to :: Rep SolidAngle x -> SolidAngle #
Read SolidAngle Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS SolidAngle # readList :: ReadS [SolidAngle] # readPrec :: ReadPrec SolidAngle # readListPrec :: ReadPrec [SolidAngle] #
Show SolidAngle Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> SolidAngle -> ShowS # show :: SolidAngle -> String # showList :: [SolidAngle] -> ShowS #
Binary SolidAngle Source #
Instance details Defined in Math.Number.Units Methods put :: SolidAngle -> Put # get :: Get SolidAngle # putList :: [SolidAngle] -> Put #
NormedSpace SolidAngle Source #
Instance details Defined in Math.Number.Units Methods norm :: SolidAngle -> Scalar SolidAngle Source # norm_squared :: SolidAngle -> Scalar SolidAngle Source #
VectorSpace SolidAngle Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar SolidAngle Source # Methods vzero :: SolidAngle Source # vnegate :: SolidAngle -> SolidAngle Source # (%+) :: SolidAngle -> SolidAngle -> SolidAngle Source # (%*) :: Scalar SolidAngle -> SolidAngle -> SolidAngle Source #
LiteralUnit SolidAngle Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar SolidAngle -> SolidAngle Source # zeroAmount :: (Scalar SolidAngle -> SolidAngle) -> Scalar SolidAngle Source # conversionFactor :: (Scalar SolidAngle -> SolidAngle) -> Scalar SolidAngle Source #
Unit SolidAngle Source #
Instance details Defined in Math.Number.Units Methods amount :: SolidAngle -> Scalar SolidAngle Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar SolidAngle) -> m SolidAngle Source # unitOf :: SolidAngle -> String Source # dimension :: SolidAngle -> Dimension Source #
Eq SolidAngle Source #
Instance details Defined in Math.Number.Units Methods (==) :: SolidAngle -> SolidAngle -> Bool # (/=) :: SolidAngle -> SolidAngle -> Bool #
Ord SolidAngle Source #
Instance details Defined in Math.Number.Units Methods compare :: SolidAngle -> SolidAngle -> Ordering # (<) :: SolidAngle -> SolidAngle -> Bool # (<=) :: SolidAngle -> SolidAngle -> Bool # (>) :: SolidAngle -> SolidAngle -> Bool # (>=) :: SolidAngle -> SolidAngle -> Bool # max :: SolidAngle -> SolidAngle -> SolidAngle # min :: SolidAngle -> SolidAngle -> SolidAngle #
type Rep SolidAngle Source #
Instance details Defined in Math.Number.Units type Rep SolidAngle = D1 ('MetaData "SolidAngle" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Steradians" 'PrefixI 'True) (S1 ('MetaSel ('Just "steradians") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar SolidAngle Source #
Instance details Defined in Math.Number.Units type Scalar SolidAngle = Scalar Dimensionless

show_unit :: (Unit u, Show (Scalar u)) => u -> String Source #

read_unit :: (Unit u, Read (Scalar u)) => UnitName u -> ReadPrec u Source #

newtype Percentage Source #

Constructors

Percentages
Fields percentages :: Double

Instances

Instances details

Data Percentage Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Percentage -> c Percentage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Percentage # toConstr :: Percentage -> Constr # dataTypeOf :: Percentage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Percentage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Percentage) # gmapT :: (forall b. Data b => b -> b) -> Percentage -> Percentage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Percentage -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Percentage -> r # gmapQ :: (forall d. Data d => d -> u) -> Percentage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Percentage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Percentage -> m Percentage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Percentage -> m Percentage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Percentage -> m Percentage #
Generic Percentage Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Percentage :: Type -> Type # Methods from :: Percentage -> Rep Percentage x # to :: Rep Percentage x -> Percentage #
Read Percentage Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Percentage # readList :: ReadS [Percentage] # readPrec :: ReadPrec Percentage # readListPrec :: ReadPrec [Percentage] #
Show Percentage Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Percentage -> ShowS # show :: Percentage -> String # showList :: [Percentage] -> ShowS #
Binary Percentage Source #
Instance details Defined in Math.Number.Units Methods put :: Percentage -> Put # get :: Get Percentage # putList :: [Percentage] -> Put #
NormedSpace Percentage Source #
Instance details Defined in Math.Number.Units Methods norm :: Percentage -> Scalar Percentage Source # norm_squared :: Percentage -> Scalar Percentage Source #
VectorSpace Percentage Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Percentage Source # Methods vzero :: Percentage Source # vnegate :: Percentage -> Percentage Source # (%+) :: Percentage -> Percentage -> Percentage Source # (%*) :: Scalar Percentage -> Percentage -> Percentage Source #
LiteralUnit Percentage Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Percentage -> Percentage Source # zeroAmount :: (Scalar Percentage -> Percentage) -> Scalar Percentage Source # conversionFactor :: (Scalar Percentage -> Percentage) -> Scalar Percentage Source #
Unit Percentage Source #
Instance details Defined in Math.Number.Units Methods amount :: Percentage -> Scalar Percentage Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Percentage) -> m Percentage Source # unitOf :: Percentage -> String Source # dimension :: Percentage -> Dimension Source #
Eq Percentage Source #
Instance details Defined in Math.Number.Units Methods (==) :: Percentage -> Percentage -> Bool # (/=) :: Percentage -> Percentage -> Bool #
Ord Percentage Source #
Instance details Defined in Math.Number.Units Methods compare :: Percentage -> Percentage -> Ordering # (<) :: Percentage -> Percentage -> Bool # (<=) :: Percentage -> Percentage -> Bool # (>) :: Percentage -> Percentage -> Bool # (>=) :: Percentage -> Percentage -> Bool # max :: Percentage -> Percentage -> Percentage # min :: Percentage -> Percentage -> Percentage #
type Rep Percentage Source #
Instance details Defined in Math.Number.Units type Rep Percentage = D1 ('MetaData "Percentage" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Percentages" 'PrefixI 'True) (S1 ('MetaSel ('Just "percentages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Percentage Source #
Instance details Defined in Math.Number.Units type Scalar Percentage = Scalar Dimensionless

newtype Acceleration Source #

Constructors

MetersPerSquareSecond
Fields metersPerSquareSecond :: Double

Instances

Instances details

Data Acceleration Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Acceleration -> c Acceleration # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Acceleration # toConstr :: Acceleration -> Constr # dataTypeOf :: Acceleration -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Acceleration) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Acceleration) # gmapT :: (forall b. Data b => b -> b) -> Acceleration -> Acceleration # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Acceleration -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Acceleration -> r # gmapQ :: (forall d. Data d => d -> u) -> Acceleration -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Acceleration -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Acceleration -> m Acceleration # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Acceleration -> m Acceleration # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Acceleration -> m Acceleration #
Generic Acceleration Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Acceleration :: Type -> Type # Methods from :: Acceleration -> Rep Acceleration x # to :: Rep Acceleration x -> Acceleration #
Read Acceleration Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Acceleration # readList :: ReadS [Acceleration] # readPrec :: ReadPrec Acceleration # readListPrec :: ReadPrec [Acceleration] #
Show Acceleration Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Acceleration -> ShowS # show :: Acceleration -> String # showList :: [Acceleration] -> ShowS #
Binary Acceleration Source #
Instance details Defined in Math.Number.Units Methods put :: Acceleration -> Put # get :: Get Acceleration # putList :: [Acceleration] -> Put #
NormedSpace Acceleration Source #
Instance details Defined in Math.Number.Units Methods norm :: Acceleration -> Scalar Acceleration Source # norm_squared :: Acceleration -> Scalar Acceleration Source #
VectorSpace Acceleration Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Acceleration Source # Methods vzero :: Acceleration Source # vnegate :: Acceleration -> Acceleration Source # (%+) :: Acceleration -> Acceleration -> Acceleration Source # (%*) :: Scalar Acceleration -> Acceleration -> Acceleration Source #
LiteralUnit Acceleration Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Acceleration -> Acceleration Source # zeroAmount :: (Scalar Acceleration -> Acceleration) -> Scalar Acceleration Source # conversionFactor :: (Scalar Acceleration -> Acceleration) -> Scalar Acceleration Source #
Unit Acceleration Source #
Instance details Defined in Math.Number.Units Methods amount :: Acceleration -> Scalar Acceleration Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Acceleration) -> m Acceleration Source # unitOf :: Acceleration -> String Source # dimension :: Acceleration -> Dimension Source #
Eq Acceleration Source #
Instance details Defined in Math.Number.Units Methods (==) :: Acceleration -> Acceleration -> Bool # (/=) :: Acceleration -> Acceleration -> Bool #
Ord Acceleration Source #
Instance details Defined in Math.Number.Units Methods compare :: Acceleration -> Acceleration -> Ordering # (<) :: Acceleration -> Acceleration -> Bool # (<=) :: Acceleration -> Acceleration -> Bool # (>) :: Acceleration -> Acceleration -> Bool # (>=) :: Acceleration -> Acceleration -> Bool # max :: Acceleration -> Acceleration -> Acceleration # min :: Acceleration -> Acceleration -> Acceleration #
type Rep Acceleration Source #
Instance details Defined in Math.Number.Units type Rep Acceleration = D1 ('MetaData "Acceleration" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "MetersPerSquareSecond" 'PrefixI 'True) (S1 ('MetaSel ('Just "metersPerSquareSecond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Acceleration Source #
Instance details Defined in Math.Number.Units type Scalar Acceleration = Scalar Dimensionless

newtype Velocity Source #

Constructors

MetersPerSecond
Fields metersPerSecond :: Double

Instances

Instances details

Data Velocity Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Velocity -> c Velocity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Velocity # toConstr :: Velocity -> Constr # dataTypeOf :: Velocity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Velocity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Velocity) # gmapT :: (forall b. Data b => b -> b) -> Velocity -> Velocity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Velocity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Velocity -> r # gmapQ :: (forall d. Data d => d -> u) -> Velocity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Velocity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Velocity -> m Velocity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Velocity -> m Velocity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Velocity -> m Velocity #
Generic Velocity Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Velocity :: Type -> Type # Methods from :: Velocity -> Rep Velocity x # to :: Rep Velocity x -> Velocity #
Read Velocity Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Velocity # readList :: ReadS [Velocity] # readPrec :: ReadPrec Velocity # readListPrec :: ReadPrec [Velocity] #
Show Velocity Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Velocity -> ShowS # show :: Velocity -> String # showList :: [Velocity] -> ShowS #
Binary Velocity Source #
Instance details Defined in Math.Number.Units Methods put :: Velocity -> Put # get :: Get Velocity # putList :: [Velocity] -> Put #
NormedSpace Velocity Source #
Instance details Defined in Math.Number.Units Methods norm :: Velocity -> Scalar Velocity Source # norm_squared :: Velocity -> Scalar Velocity Source #
VectorSpace Velocity Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Velocity Source # Methods vzero :: Velocity Source # vnegate :: Velocity -> Velocity Source # (%+) :: Velocity -> Velocity -> Velocity Source # (%*) :: Scalar Velocity -> Velocity -> Velocity Source #
LiteralUnit Velocity Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Velocity -> Velocity Source # zeroAmount :: (Scalar Velocity -> Velocity) -> Scalar Velocity Source # conversionFactor :: (Scalar Velocity -> Velocity) -> Scalar Velocity Source #
Unit Velocity Source #
Instance details Defined in Math.Number.Units Methods amount :: Velocity -> Scalar Velocity Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Velocity) -> m Velocity Source # unitOf :: Velocity -> String Source # dimension :: Velocity -> Dimension Source #
Eq Velocity Source #
Instance details Defined in Math.Number.Units Methods (==) :: Velocity -> Velocity -> Bool # (/=) :: Velocity -> Velocity -> Bool #
Ord Velocity Source #
Instance details Defined in Math.Number.Units Methods compare :: Velocity -> Velocity -> Ordering # (<) :: Velocity -> Velocity -> Bool # (<=) :: Velocity -> Velocity -> Bool # (>) :: Velocity -> Velocity -> Bool # (>=) :: Velocity -> Velocity -> Bool # max :: Velocity -> Velocity -> Velocity # min :: Velocity -> Velocity -> Velocity #
type Rep Velocity Source #
Instance details Defined in Math.Number.Units type Rep Velocity = D1 ('MetaData "Velocity" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "MetersPerSecond" 'PrefixI 'True) (S1 ('MetaSel ('Just "metersPerSecond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Velocity Source #
Instance details Defined in Math.Number.Units type Scalar Velocity = Scalar Dimensionless

newtype SquareLength Source #

Constructors

SquareMeters
Fields squaremeters :: Double

Instances

Instances details

Data SquareLength Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SquareLength -> c SquareLength # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SquareLength # toConstr :: SquareLength -> Constr # dataTypeOf :: SquareLength -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SquareLength) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SquareLength) # gmapT :: (forall b. Data b => b -> b) -> SquareLength -> SquareLength # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SquareLength -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SquareLength -> r # gmapQ :: (forall d. Data d => d -> u) -> SquareLength -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SquareLength -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SquareLength -> m SquareLength # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SquareLength -> m SquareLength # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SquareLength -> m SquareLength #
Generic SquareLength Source #
Instance details Defined in Math.Number.Units Associated Types type Rep SquareLength :: Type -> Type # Methods from :: SquareLength -> Rep SquareLength x # to :: Rep SquareLength x -> SquareLength #
Read SquareLength Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS SquareLength # readList :: ReadS [SquareLength] # readPrec :: ReadPrec SquareLength # readListPrec :: ReadPrec [SquareLength] #
Show SquareLength Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> SquareLength -> ShowS # show :: SquareLength -> String # showList :: [SquareLength] -> ShowS #
Binary SquareLength Source #
Instance details Defined in Math.Number.Units Methods put :: SquareLength -> Put # get :: Get SquareLength # putList :: [SquareLength] -> Put #
NormedSpace SquareLength Source #
Instance details Defined in Math.Number.Units Methods norm :: SquareLength -> Scalar SquareLength Source # norm_squared :: SquareLength -> Scalar SquareLength Source #
VectorSpace SquareLength Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar SquareLength Source # Methods vzero :: SquareLength Source # vnegate :: SquareLength -> SquareLength Source # (%+) :: SquareLength -> SquareLength -> SquareLength Source # (%*) :: Scalar SquareLength -> SquareLength -> SquareLength Source #
LiteralUnit SquareLength Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar SquareLength -> SquareLength Source # zeroAmount :: (Scalar SquareLength -> SquareLength) -> Scalar SquareLength Source # conversionFactor :: (Scalar SquareLength -> SquareLength) -> Scalar SquareLength Source #
Unit SquareLength Source #
Instance details Defined in Math.Number.Units Methods amount :: SquareLength -> Scalar SquareLength Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar SquareLength) -> m SquareLength Source # unitOf :: SquareLength -> String Source # dimension :: SquareLength -> Dimension Source #
Eq SquareLength Source #
Instance details Defined in Math.Number.Units Methods (==) :: SquareLength -> SquareLength -> Bool # (/=) :: SquareLength -> SquareLength -> Bool #
Ord SquareLength Source #
Instance details Defined in Math.Number.Units Methods compare :: SquareLength -> SquareLength -> Ordering # (<) :: SquareLength -> SquareLength -> Bool # (<=) :: SquareLength -> SquareLength -> Bool # (>) :: SquareLength -> SquareLength -> Bool # (>=) :: SquareLength -> SquareLength -> Bool # max :: SquareLength -> SquareLength -> SquareLength # min :: SquareLength -> SquareLength -> SquareLength #
type Rep SquareLength Source #
Instance details Defined in Math.Number.Units type Rep SquareLength = D1 ('MetaData "SquareLength" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "SquareMeters" 'PrefixI 'True) (S1 ('MetaSel ('Just "squaremeters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar SquareLength Source #
Instance details Defined in Math.Number.Units type Scalar SquareLength = Scalar Dimensionless

newtype CubicLength Source #

Constructors

CubicMeters
Fields cubicmeters :: Double

Instances

Instances details

Data CubicLength Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CubicLength -> c CubicLength # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CubicLength # toConstr :: CubicLength -> Constr # dataTypeOf :: CubicLength -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CubicLength) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CubicLength) # gmapT :: (forall b. Data b => b -> b) -> CubicLength -> CubicLength # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CubicLength -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CubicLength -> r # gmapQ :: (forall d. Data d => d -> u) -> CubicLength -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CubicLength -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CubicLength -> m CubicLength # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CubicLength -> m CubicLength # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CubicLength -> m CubicLength #
Generic CubicLength Source #
Instance details Defined in Math.Number.Units Associated Types type Rep CubicLength :: Type -> Type # Methods from :: CubicLength -> Rep CubicLength x # to :: Rep CubicLength x -> CubicLength #
Read CubicLength Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS CubicLength # readList :: ReadS [CubicLength] # readPrec :: ReadPrec CubicLength # readListPrec :: ReadPrec [CubicLength] #
Show CubicLength Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> CubicLength -> ShowS # show :: CubicLength -> String # showList :: [CubicLength] -> ShowS #
Binary CubicLength Source #
Instance details Defined in Math.Number.Units Methods put :: CubicLength -> Put # get :: Get CubicLength # putList :: [CubicLength] -> Put #
VectorSpace CubicLength Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar CubicLength Source # Methods vzero :: CubicLength Source # vnegate :: CubicLength -> CubicLength Source # (%+) :: CubicLength -> CubicLength -> CubicLength Source # (%*) :: Scalar CubicLength -> CubicLength -> CubicLength Source #
LiteralUnit CubicLength Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar CubicLength -> CubicLength Source # zeroAmount :: (Scalar CubicLength -> CubicLength) -> Scalar CubicLength Source # conversionFactor :: (Scalar CubicLength -> CubicLength) -> Scalar CubicLength Source #
Unit CubicLength Source #
Instance details Defined in Math.Number.Units Methods amount :: CubicLength -> Scalar CubicLength Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar CubicLength) -> m CubicLength Source # unitOf :: CubicLength -> String Source # dimension :: CubicLength -> Dimension Source #
Eq CubicLength Source #
Instance details Defined in Math.Number.Units Methods (==) :: CubicLength -> CubicLength -> Bool # (/=) :: CubicLength -> CubicLength -> Bool #
Ord CubicLength Source #
Instance details Defined in Math.Number.Units Methods compare :: CubicLength -> CubicLength -> Ordering # (<) :: CubicLength -> CubicLength -> Bool # (<=) :: CubicLength -> CubicLength -> Bool # (>) :: CubicLength -> CubicLength -> Bool # (>=) :: CubicLength -> CubicLength -> Bool # max :: CubicLength -> CubicLength -> CubicLength # min :: CubicLength -> CubicLength -> CubicLength #
type Rep CubicLength Source #
Instance details Defined in Math.Number.Units type Rep CubicLength = D1 ('MetaData "CubicLength" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "CubicMeters" 'PrefixI 'True) (S1 ('MetaSel ('Just "cubicmeters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar CubicLength Source #
Instance details Defined in Math.Number.Units type Scalar CubicLength = Scalar Dimensionless

sqrt_length :: SquareLength -> Length Source #

square_length :: Length -> SquareLength Source #

times_length :: Length -> Length -> SquareLength Source #

newtype Length Source #

Constructors

Meters
Fields meters :: Double

Instances

Instances details

Data Length Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Length -> c Length # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Length # toConstr :: Length -> Constr # dataTypeOf :: Length -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Length) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Length) # gmapT :: (forall b. Data b => b -> b) -> Length -> Length # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Length -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Length -> r # gmapQ :: (forall d. Data d => d -> u) -> Length -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Length -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Length -> m Length # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Length -> m Length # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Length -> m Length #
Generic Length Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Length :: Type -> Type # Methods from :: Length -> Rep Length x # to :: Rep Length x -> Length #
Read Length Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Length # readList :: ReadS [Length] # readPrec :: ReadPrec Length # readListPrec :: ReadPrec [Length] #
Show Length Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Length -> ShowS # show :: Length -> String # showList :: [Length] -> ShowS #
Binary Length Source #
Instance details Defined in Math.Number.Units Methods put :: Length -> Put # get :: Get Length # putList :: [Length] -> Put #
NormedSpace Length Source #
Instance details Defined in Math.Number.Units Methods norm :: Length -> Scalar Length Source # norm_squared :: Length -> Scalar Length Source #
VectorSpace Length Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Length Source # Methods vzero :: Length Source # vnegate :: Length -> Length Source # (%+) :: Length -> Length -> Length Source # (%*) :: Scalar Length -> Length -> Length Source #
LiteralUnit Length Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Length -> Length Source # zeroAmount :: (Scalar Length -> Length) -> Scalar Length Source # conversionFactor :: (Scalar Length -> Length) -> Scalar Length Source #
Unit Length Source #
Instance details Defined in Math.Number.Units Methods amount :: Length -> Scalar Length Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Length) -> m Length Source # unitOf :: Length -> String Source # dimension :: Length -> Dimension Source #
Eq Length Source #
Instance details Defined in Math.Number.Units Methods (==) :: Length -> Length -> Bool # (/=) :: Length -> Length -> Bool #
Ord Length Source #
Instance details Defined in Math.Number.Units Methods compare :: Length -> Length -> Ordering # (<) :: Length -> Length -> Bool # (<=) :: Length -> Length -> Bool # (>) :: Length -> Length -> Bool # (>=) :: Length -> Length -> Bool # max :: Length -> Length -> Length # min :: Length -> Length -> Length #
type Rep Length Source #
Instance details Defined in Math.Number.Units type Rep Length = D1 ('MetaData "Length" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Meters" 'PrefixI 'True) (S1 ('MetaSel ('Just "meters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Length Source #
Instance details Defined in Math.Number.Units type Scalar Length = Scalar Dimensionless

newtype Mass Source #

Constructors

Kilograms
Fields kilograms :: Double

Instances

Instances details

Data Mass Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mass -> c Mass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mass # toConstr :: Mass -> Constr # dataTypeOf :: Mass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mass) # gmapT :: (forall b. Data b => b -> b) -> Mass -> Mass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mass -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mass -> r # gmapQ :: (forall d. Data d => d -> u) -> Mass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Mass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mass -> m Mass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mass -> m Mass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mass -> m Mass #
Generic Mass Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Mass :: Type -> Type # Methods from :: Mass -> Rep Mass x # to :: Rep Mass x -> Mass #
Read Mass Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Mass # readList :: ReadS [Mass] # readPrec :: ReadPrec Mass # readListPrec :: ReadPrec [Mass] #
Show Mass Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Mass -> ShowS # show :: Mass -> String # showList :: [Mass] -> ShowS #
Binary Mass Source #
Instance details Defined in Math.Number.Units Methods put :: Mass -> Put # get :: Get Mass # putList :: [Mass] -> Put #
NormedSpace Mass Source #
Instance details Defined in Math.Number.Units Methods norm :: Mass -> Scalar Mass Source # norm_squared :: Mass -> Scalar Mass Source #
VectorSpace Mass Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Mass Source # Methods vzero :: Mass Source # vnegate :: Mass -> Mass Source # (%+) :: Mass -> Mass -> Mass Source # (%*) :: Scalar Mass -> Mass -> Mass Source #
LiteralUnit Mass Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Mass -> Mass Source # zeroAmount :: (Scalar Mass -> Mass) -> Scalar Mass Source # conversionFactor :: (Scalar Mass -> Mass) -> Scalar Mass Source #
Unit Mass Source #
Instance details Defined in Math.Number.Units Methods amount :: Mass -> Scalar Mass Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Mass) -> m Mass Source # unitOf :: Mass -> String Source # dimension :: Mass -> Dimension Source #
Eq Mass Source #
Instance details Defined in Math.Number.Units Methods (==) :: Mass -> Mass -> Bool # (/=) :: Mass -> Mass -> Bool #
Ord Mass Source #
Instance details Defined in Math.Number.Units Methods compare :: Mass -> Mass -> Ordering # (<) :: Mass -> Mass -> Bool # (<=) :: Mass -> Mass -> Bool # (>) :: Mass -> Mass -> Bool # (>=) :: Mass -> Mass -> Bool # max :: Mass -> Mass -> Mass # min :: Mass -> Mass -> Mass #
type Rep Mass Source #
Instance details Defined in Math.Number.Units type Rep Mass = D1 ('MetaData "Mass" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Kilograms" 'PrefixI 'True) (S1 ('MetaSel ('Just "kilograms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Mass Source #
Instance details Defined in Math.Number.Units type Scalar Mass = Scalar Dimensionless

newtype Time Source #

Constructors

Seconds
Fields seconds :: Double

Instances

Instances details

Data Time Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Time -> c Time # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Time # toConstr :: Time -> Constr # dataTypeOf :: Time -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Time) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Time) # gmapT :: (forall b. Data b => b -> b) -> Time -> Time # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r # gmapQ :: (forall d. Data d => d -> u) -> Time -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Time -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Time -> m Time # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time #
Generic Time Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Time :: Type -> Type # Methods from :: Time -> Rep Time x # to :: Rep Time x -> Time #
Read Time Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Time # readList :: ReadS [Time] # readPrec :: ReadPrec Time # readListPrec :: ReadPrec [Time] #
Show Time Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Binary Time Source #
Instance details Defined in Math.Number.Units Methods put :: Time -> Put # get :: Get Time # putList :: [Time] -> Put #
NormedSpace Time Source #
Instance details Defined in Math.Number.Units Methods norm :: Time -> Scalar Time Source # norm_squared :: Time -> Scalar Time Source #
VectorSpace Time Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Time Source # Methods vzero :: Time Source # vnegate :: Time -> Time Source # (%+) :: Time -> Time -> Time Source # (%*) :: Scalar Time -> Time -> Time Source #
LiteralUnit Time Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Time -> Time Source # zeroAmount :: (Scalar Time -> Time) -> Scalar Time Source # conversionFactor :: (Scalar Time -> Time) -> Scalar Time Source #
Unit Time Source #
Instance details Defined in Math.Number.Units Methods amount :: Time -> Scalar Time Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Time) -> m Time Source # unitOf :: Time -> String Source # dimension :: Time -> Dimension Source #
Eq Time Source #
Instance details Defined in Math.Number.Units Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
Instance details Defined in Math.Number.Units Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
type Rep Time Source #
Instance details Defined in Math.Number.Units type Rep Time = D1 ('MetaData "Time" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Seconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "seconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Time Source #
Instance details Defined in Math.Number.Units type Scalar Time = Scalar Dimensionless

newtype Current Source #

Constructors

Amperes
Fields amperes :: Double

Instances

Instances details

Data Current Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Current -> c Current # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Current # toConstr :: Current -> Constr # dataTypeOf :: Current -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Current) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Current) # gmapT :: (forall b. Data b => b -> b) -> Current -> Current # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Current -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Current -> r # gmapQ :: (forall d. Data d => d -> u) -> Current -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Current -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Current -> m Current # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Current -> m Current # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Current -> m Current #
Generic Current Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Current :: Type -> Type # Methods from :: Current -> Rep Current x # to :: Rep Current x -> Current #
Read Current Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Current # readList :: ReadS [Current] # readPrec :: ReadPrec Current # readListPrec :: ReadPrec [Current] #
Show Current Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Current -> ShowS # show :: Current -> String # showList :: [Current] -> ShowS #
Binary Current Source #
Instance details Defined in Math.Number.Units Methods put :: Current -> Put # get :: Get Current # putList :: [Current] -> Put #
NormedSpace Current Source #
Instance details Defined in Math.Number.Units Methods norm :: Current -> Scalar Current Source # norm_squared :: Current -> Scalar Current Source #
VectorSpace Current Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Current Source # Methods vzero :: Current Source # vnegate :: Current -> Current Source # (%+) :: Current -> Current -> Current Source # (%*) :: Scalar Current -> Current -> Current Source #
LiteralUnit Current Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Current -> Current Source # zeroAmount :: (Scalar Current -> Current) -> Scalar Current Source # conversionFactor :: (Scalar Current -> Current) -> Scalar Current Source #
Unit Current Source #
Instance details Defined in Math.Number.Units Methods amount :: Current -> Scalar Current Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Current) -> m Current Source # unitOf :: Current -> String Source # dimension :: Current -> Dimension Source #
Eq Current Source #
Instance details Defined in Math.Number.Units Methods (==) :: Current -> Current -> Bool # (/=) :: Current -> Current -> Bool #
Ord Current Source #
Instance details Defined in Math.Number.Units Methods compare :: Current -> Current -> Ordering # (<) :: Current -> Current -> Bool # (<=) :: Current -> Current -> Bool # (>) :: Current -> Current -> Bool # (>=) :: Current -> Current -> Bool # max :: Current -> Current -> Current # min :: Current -> Current -> Current #
type Rep Current Source #
Instance details Defined in Math.Number.Units type Rep Current = D1 ('MetaData "Current" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Amperes" 'PrefixI 'True) (S1 ('MetaSel ('Just "amperes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Current Source #
Instance details Defined in Math.Number.Units type Scalar Current = Scalar Dimensionless

newtype DegreesFahrenheit Source #

https://en.wikipedia.org/wiki/Fahrenheit

Constructors

DegreesFahrenheit
Fields fahrenheits :: Double

Instances

Instances details

Data DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DegreesFahrenheit -> c DegreesFahrenheit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DegreesFahrenheit # toConstr :: DegreesFahrenheit -> Constr # dataTypeOf :: DegreesFahrenheit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DegreesFahrenheit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DegreesFahrenheit) # gmapT :: (forall b. Data b => b -> b) -> DegreesFahrenheit -> DegreesFahrenheit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DegreesFahrenheit -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DegreesFahrenheit -> r # gmapQ :: (forall d. Data d => d -> u) -> DegreesFahrenheit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DegreesFahrenheit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DegreesFahrenheit -> m DegreesFahrenheit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesFahrenheit -> m DegreesFahrenheit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesFahrenheit -> m DegreesFahrenheit #
Generic DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Associated Types type Rep DegreesFahrenheit :: Type -> Type # Methods from :: DegreesFahrenheit -> Rep DegreesFahrenheit x # to :: Rep DegreesFahrenheit x -> DegreesFahrenheit #
Read DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS DegreesFahrenheit # readList :: ReadS [DegreesFahrenheit] # readPrec :: ReadPrec DegreesFahrenheit # readListPrec :: ReadPrec [DegreesFahrenheit] #
Show DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> DegreesFahrenheit -> ShowS # show :: DegreesFahrenheit -> String # showList :: [DegreesFahrenheit] -> ShowS #
Binary DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods put :: DegreesFahrenheit -> Put # get :: Get DegreesFahrenheit # putList :: [DegreesFahrenheit] -> Put #
NormedSpace DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods norm :: DegreesFahrenheit -> Scalar DegreesFahrenheit Source # norm_squared :: DegreesFahrenheit -> Scalar DegreesFahrenheit Source #
VectorSpace DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar DegreesFahrenheit Source # Methods vzero :: DegreesFahrenheit Source # vnegate :: DegreesFahrenheit -> DegreesFahrenheit Source # (%+) :: DegreesFahrenheit -> DegreesFahrenheit -> DegreesFahrenheit Source # (%*) :: Scalar DegreesFahrenheit -> DegreesFahrenheit -> DegreesFahrenheit Source #
LiteralUnit DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar DegreesFahrenheit -> DegreesFahrenheit Source # zeroAmount :: (Scalar DegreesFahrenheit -> DegreesFahrenheit) -> Scalar DegreesFahrenheit Source # conversionFactor :: (Scalar DegreesFahrenheit -> DegreesFahrenheit) -> Scalar DegreesFahrenheit Source #
Unit DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods amount :: DegreesFahrenheit -> Scalar DegreesFahrenheit Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar DegreesFahrenheit) -> m DegreesFahrenheit Source # unitOf :: DegreesFahrenheit -> String Source # dimension :: DegreesFahrenheit -> Dimension Source #
Eq DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods (==) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool # (/=) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool #
Ord DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units Methods compare :: DegreesFahrenheit -> DegreesFahrenheit -> Ordering # (<) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool # (<=) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool # (>) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool # (>=) :: DegreesFahrenheit -> DegreesFahrenheit -> Bool # max :: DegreesFahrenheit -> DegreesFahrenheit -> DegreesFahrenheit # min :: DegreesFahrenheit -> DegreesFahrenheit -> DegreesFahrenheit #
type Rep DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units type Rep DegreesFahrenheit = D1 ('MetaData "DegreesFahrenheit" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "DegreesFahrenheit" 'PrefixI 'True) (S1 ('MetaSel ('Just "fahrenheits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar DegreesFahrenheit Source #
Instance details Defined in Math.Number.Units type Scalar DegreesFahrenheit = Scalar Dimensionless

newtype DegreesTemperature Source #

Constructors

DegreesCelcius
Fields celciuses :: Double

Instances

Instances details

Data DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DegreesTemperature -> c DegreesTemperature # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DegreesTemperature # toConstr :: DegreesTemperature -> Constr # dataTypeOf :: DegreesTemperature -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DegreesTemperature) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DegreesTemperature) # gmapT :: (forall b. Data b => b -> b) -> DegreesTemperature -> DegreesTemperature # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DegreesTemperature -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DegreesTemperature -> r # gmapQ :: (forall d. Data d => d -> u) -> DegreesTemperature -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DegreesTemperature -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DegreesTemperature -> m DegreesTemperature # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesTemperature -> m DegreesTemperature # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DegreesTemperature -> m DegreesTemperature #
Generic DegreesTemperature Source #
Instance details Defined in Math.Number.Units Associated Types type Rep DegreesTemperature :: Type -> Type # Methods from :: DegreesTemperature -> Rep DegreesTemperature x # to :: Rep DegreesTemperature x -> DegreesTemperature #
Read DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS DegreesTemperature # readList :: ReadS [DegreesTemperature] # readPrec :: ReadPrec DegreesTemperature # readListPrec :: ReadPrec [DegreesTemperature] #
Show DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> DegreesTemperature -> ShowS # show :: DegreesTemperature -> String # showList :: [DegreesTemperature] -> ShowS #
Binary DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods put :: DegreesTemperature -> Put # get :: Get DegreesTemperature # putList :: [DegreesTemperature] -> Put #
NormedSpace DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods norm :: DegreesTemperature -> Scalar DegreesTemperature Source # norm_squared :: DegreesTemperature -> Scalar DegreesTemperature Source #
VectorSpace DegreesTemperature Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar DegreesTemperature Source # Methods vzero :: DegreesTemperature Source # vnegate :: DegreesTemperature -> DegreesTemperature Source # (%+) :: DegreesTemperature -> DegreesTemperature -> DegreesTemperature Source # (%*) :: Scalar DegreesTemperature -> DegreesTemperature -> DegreesTemperature Source #
LiteralUnit DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar DegreesTemperature -> DegreesTemperature Source # zeroAmount :: (Scalar DegreesTemperature -> DegreesTemperature) -> Scalar DegreesTemperature Source # conversionFactor :: (Scalar DegreesTemperature -> DegreesTemperature) -> Scalar DegreesTemperature Source #
Unit DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods amount :: DegreesTemperature -> Scalar DegreesTemperature Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar DegreesTemperature) -> m DegreesTemperature Source # unitOf :: DegreesTemperature -> String Source # dimension :: DegreesTemperature -> Dimension Source #
Eq DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods (==) :: DegreesTemperature -> DegreesTemperature -> Bool # (/=) :: DegreesTemperature -> DegreesTemperature -> Bool #
Ord DegreesTemperature Source #
Instance details Defined in Math.Number.Units Methods compare :: DegreesTemperature -> DegreesTemperature -> Ordering # (<) :: DegreesTemperature -> DegreesTemperature -> Bool # (<=) :: DegreesTemperature -> DegreesTemperature -> Bool # (>) :: DegreesTemperature -> DegreesTemperature -> Bool # (>=) :: DegreesTemperature -> DegreesTemperature -> Bool # max :: DegreesTemperature -> DegreesTemperature -> DegreesTemperature # min :: DegreesTemperature -> DegreesTemperature -> DegreesTemperature #
type Rep DegreesTemperature Source #
Instance details Defined in Math.Number.Units type Rep DegreesTemperature = D1 ('MetaData "DegreesTemperature" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "DegreesCelcius" 'PrefixI 'True) (S1 ('MetaSel ('Just "celciuses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar DegreesTemperature Source #
Instance details Defined in Math.Number.Units type Scalar DegreesTemperature = Scalar Dimensionless

newtype Temperature Source #

Constructors

DegreesKelvin
Fields kelvins :: Double

Instances

Instances details

Data Temperature Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Temperature -> c Temperature # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Temperature # toConstr :: Temperature -> Constr # dataTypeOf :: Temperature -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Temperature) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Temperature) # gmapT :: (forall b. Data b => b -> b) -> Temperature -> Temperature # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Temperature -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Temperature -> r # gmapQ :: (forall d. Data d => d -> u) -> Temperature -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Temperature -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Temperature -> m Temperature # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Temperature -> m Temperature # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Temperature -> m Temperature #
Generic Temperature Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Temperature :: Type -> Type # Methods from :: Temperature -> Rep Temperature x # to :: Rep Temperature x -> Temperature #
Read Temperature Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Temperature # readList :: ReadS [Temperature] # readPrec :: ReadPrec Temperature # readListPrec :: ReadPrec [Temperature] #
Show Temperature Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Temperature -> ShowS # show :: Temperature -> String # showList :: [Temperature] -> ShowS #
Binary Temperature Source #
Instance details Defined in Math.Number.Units Methods put :: Temperature -> Put # get :: Get Temperature # putList :: [Temperature] -> Put #
NormedSpace Temperature Source #
Instance details Defined in Math.Number.Units Methods norm :: Temperature -> Scalar Temperature Source # norm_squared :: Temperature -> Scalar Temperature Source #
VectorSpace Temperature Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Temperature Source # Methods vzero :: Temperature Source # vnegate :: Temperature -> Temperature Source # (%+) :: Temperature -> Temperature -> Temperature Source # (%*) :: Scalar Temperature -> Temperature -> Temperature Source #
LiteralUnit Temperature Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Temperature -> Temperature Source # zeroAmount :: (Scalar Temperature -> Temperature) -> Scalar Temperature Source # conversionFactor :: (Scalar Temperature -> Temperature) -> Scalar Temperature Source #
Unit Temperature Source #
Instance details Defined in Math.Number.Units Methods amount :: Temperature -> Scalar Temperature Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Temperature) -> m Temperature Source # unitOf :: Temperature -> String Source # dimension :: Temperature -> Dimension Source #
Eq Temperature Source #
Instance details Defined in Math.Number.Units Methods (==) :: Temperature -> Temperature -> Bool # (/=) :: Temperature -> Temperature -> Bool #
Ord Temperature Source #
Instance details Defined in Math.Number.Units Methods compare :: Temperature -> Temperature -> Ordering # (<) :: Temperature -> Temperature -> Bool # (<=) :: Temperature -> Temperature -> Bool # (>) :: Temperature -> Temperature -> Bool # (>=) :: Temperature -> Temperature -> Bool # max :: Temperature -> Temperature -> Temperature # min :: Temperature -> Temperature -> Temperature #
type Rep Temperature Source #
Instance details Defined in Math.Number.Units type Rep Temperature = D1 ('MetaData "Temperature" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "DegreesKelvin" 'PrefixI 'True) (S1 ('MetaSel ('Just "kelvins") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Temperature Source #
Instance details Defined in Math.Number.Units type Scalar Temperature = Scalar Dimensionless

isoCelciusToKelvin :: DegreesTemperature :==: Temperature Source #

celciusToKelvin :: DegreesTemperature -> Temperature Source #

kelvinToCelcius :: Temperature -> DegreesTemperature Source #

newtype Substance Source #

Constructors

Moles
Fields moles :: Double

Instances

Instances details

Data Substance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Substance -> c Substance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Substance # toConstr :: Substance -> Constr # dataTypeOf :: Substance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Substance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Substance) # gmapT :: (forall b. Data b => b -> b) -> Substance -> Substance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Substance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Substance -> r # gmapQ :: (forall d. Data d => d -> u) -> Substance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Substance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Substance -> m Substance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Substance -> m Substance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Substance -> m Substance #
Generic Substance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Substance :: Type -> Type # Methods from :: Substance -> Rep Substance x # to :: Rep Substance x -> Substance #
Read Substance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Substance # readList :: ReadS [Substance] # readPrec :: ReadPrec Substance # readListPrec :: ReadPrec [Substance] #
Show Substance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Substance -> ShowS # show :: Substance -> String # showList :: [Substance] -> ShowS #
Binary Substance Source #
Instance details Defined in Math.Number.Units Methods put :: Substance -> Put # get :: Get Substance # putList :: [Substance] -> Put #
NormedSpace Substance Source #
Instance details Defined in Math.Number.Units Methods norm :: Substance -> Scalar Substance Source # norm_squared :: Substance -> Scalar Substance Source #
VectorSpace Substance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Substance Source # Methods vzero :: Substance Source # vnegate :: Substance -> Substance Source # (%+) :: Substance -> Substance -> Substance Source # (%*) :: Scalar Substance -> Substance -> Substance Source #
LiteralUnit Substance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Substance -> Substance Source # zeroAmount :: (Scalar Substance -> Substance) -> Scalar Substance Source # conversionFactor :: (Scalar Substance -> Substance) -> Scalar Substance Source #
Unit Substance Source #
Instance details Defined in Math.Number.Units Methods amount :: Substance -> Scalar Substance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Substance) -> m Substance Source # unitOf :: Substance -> String Source # dimension :: Substance -> Dimension Source #
Eq Substance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Substance -> Substance -> Bool # (/=) :: Substance -> Substance -> Bool #
Ord Substance Source #
Instance details Defined in Math.Number.Units Methods compare :: Substance -> Substance -> Ordering # (<) :: Substance -> Substance -> Bool # (<=) :: Substance -> Substance -> Bool # (>) :: Substance -> Substance -> Bool # (>=) :: Substance -> Substance -> Bool # max :: Substance -> Substance -> Substance # min :: Substance -> Substance -> Substance #
type Rep Substance Source #
Instance details Defined in Math.Number.Units type Rep Substance = D1 ('MetaData "Substance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Moles" 'PrefixI 'True) (S1 ('MetaSel ('Just "moles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Substance Source #
Instance details Defined in Math.Number.Units type Scalar Substance = Scalar Dimensionless

newtype Intensity Source #

Constructors

Candelas
Fields candelas :: Double

Instances

Instances details

Data Intensity Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Intensity -> c Intensity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Intensity # toConstr :: Intensity -> Constr # dataTypeOf :: Intensity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Intensity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Intensity) # gmapT :: (forall b. Data b => b -> b) -> Intensity -> Intensity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Intensity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Intensity -> r # gmapQ :: (forall d. Data d => d -> u) -> Intensity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Intensity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Intensity -> m Intensity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Intensity -> m Intensity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Intensity -> m Intensity #
Generic Intensity Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Intensity :: Type -> Type # Methods from :: Intensity -> Rep Intensity x # to :: Rep Intensity x -> Intensity #
Read Intensity Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Intensity # readList :: ReadS [Intensity] # readPrec :: ReadPrec Intensity # readListPrec :: ReadPrec [Intensity] #
Show Intensity Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Intensity -> ShowS # show :: Intensity -> String # showList :: [Intensity] -> ShowS #
Binary Intensity Source #
Instance details Defined in Math.Number.Units Methods put :: Intensity -> Put # get :: Get Intensity # putList :: [Intensity] -> Put #
NormedSpace Intensity Source #
Instance details Defined in Math.Number.Units Methods norm :: Intensity -> Scalar Intensity Source # norm_squared :: Intensity -> Scalar Intensity Source #
VectorSpace Intensity Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Intensity Source # Methods vzero :: Intensity Source # vnegate :: Intensity -> Intensity Source # (%+) :: Intensity -> Intensity -> Intensity Source # (%*) :: Scalar Intensity -> Intensity -> Intensity Source #
LiteralUnit Intensity Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Intensity -> Intensity Source # zeroAmount :: (Scalar Intensity -> Intensity) -> Scalar Intensity Source # conversionFactor :: (Scalar Intensity -> Intensity) -> Scalar Intensity Source #
Unit Intensity Source #
Instance details Defined in Math.Number.Units Methods amount :: Intensity -> Scalar Intensity Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Intensity) -> m Intensity Source # unitOf :: Intensity -> String Source # dimension :: Intensity -> Dimension Source #
Eq Intensity Source #
Instance details Defined in Math.Number.Units Methods (==) :: Intensity -> Intensity -> Bool # (/=) :: Intensity -> Intensity -> Bool #
Ord Intensity Source #
Instance details Defined in Math.Number.Units Methods compare :: Intensity -> Intensity -> Ordering # (<) :: Intensity -> Intensity -> Bool # (<=) :: Intensity -> Intensity -> Bool # (>) :: Intensity -> Intensity -> Bool # (>=) :: Intensity -> Intensity -> Bool # max :: Intensity -> Intensity -> Intensity # min :: Intensity -> Intensity -> Intensity #
type Rep Intensity Source #
Instance details Defined in Math.Number.Units type Rep Intensity = D1 ('MetaData "Intensity" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Candelas" 'PrefixI 'True) (S1 ('MetaSel ('Just "candelas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Intensity Source #
Instance details Defined in Math.Number.Units type Scalar Intensity = Scalar Dimensionless

newtype Frequency Source #

Constructors

Hertzes
Fields hertzes :: Double

Instances

Instances details

Data Frequency Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Frequency -> c Frequency # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Frequency # toConstr :: Frequency -> Constr # dataTypeOf :: Frequency -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Frequency) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Frequency) # gmapT :: (forall b. Data b => b -> b) -> Frequency -> Frequency # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Frequency -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Frequency -> r # gmapQ :: (forall d. Data d => d -> u) -> Frequency -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Frequency -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Frequency -> m Frequency # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Frequency -> m Frequency # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Frequency -> m Frequency #
Generic Frequency Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Frequency :: Type -> Type # Methods from :: Frequency -> Rep Frequency x # to :: Rep Frequency x -> Frequency #
Read Frequency Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Frequency # readList :: ReadS [Frequency] # readPrec :: ReadPrec Frequency # readListPrec :: ReadPrec [Frequency] #
Show Frequency Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Frequency -> ShowS # show :: Frequency -> String # showList :: [Frequency] -> ShowS #
Binary Frequency Source #
Instance details Defined in Math.Number.Units Methods put :: Frequency -> Put # get :: Get Frequency # putList :: [Frequency] -> Put #
NormedSpace Frequency Source #
Instance details Defined in Math.Number.Units Methods norm :: Frequency -> Scalar Frequency Source # norm_squared :: Frequency -> Scalar Frequency Source #
VectorSpace Frequency Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Frequency Source # Methods vzero :: Frequency Source # vnegate :: Frequency -> Frequency Source # (%+) :: Frequency -> Frequency -> Frequency Source # (%*) :: Scalar Frequency -> Frequency -> Frequency Source #
LiteralUnit Frequency Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Frequency -> Frequency Source # zeroAmount :: (Scalar Frequency -> Frequency) -> Scalar Frequency Source # conversionFactor :: (Scalar Frequency -> Frequency) -> Scalar Frequency Source #
Unit Frequency Source #
Instance details Defined in Math.Number.Units Methods amount :: Frequency -> Scalar Frequency Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Frequency) -> m Frequency Source # unitOf :: Frequency -> String Source # dimension :: Frequency -> Dimension Source #
Eq Frequency Source #
Instance details Defined in Math.Number.Units Methods (==) :: Frequency -> Frequency -> Bool # (/=) :: Frequency -> Frequency -> Bool #
Ord Frequency Source #
Instance details Defined in Math.Number.Units Methods compare :: Frequency -> Frequency -> Ordering # (<) :: Frequency -> Frequency -> Bool # (<=) :: Frequency -> Frequency -> Bool # (>) :: Frequency -> Frequency -> Bool # (>=) :: Frequency -> Frequency -> Bool # max :: Frequency -> Frequency -> Frequency # min :: Frequency -> Frequency -> Frequency #
type Rep Frequency Source #
Instance details Defined in Math.Number.Units type Rep Frequency = D1 ('MetaData "Frequency" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Hertzes" 'PrefixI 'True) (S1 ('MetaSel ('Just "hertzes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Frequency Source #
Instance details Defined in Math.Number.Units type Scalar Frequency = Scalar Dimensionless

newtype Force Source #

Constructors

Newtons
Fields newtons :: Double

Instances

Instances details

Data Force Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Force -> c Force # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Force # toConstr :: Force -> Constr # dataTypeOf :: Force -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Force) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Force) # gmapT :: (forall b. Data b => b -> b) -> Force -> Force # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Force -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Force -> r # gmapQ :: (forall d. Data d => d -> u) -> Force -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Force -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Force -> m Force # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Force -> m Force # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Force -> m Force #
Generic Force Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Force :: Type -> Type # Methods from :: Force -> Rep Force x # to :: Rep Force x -> Force #
Read Force Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Force # readList :: ReadS [Force] # readPrec :: ReadPrec Force # readListPrec :: ReadPrec [Force] #
Show Force Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Force -> ShowS # show :: Force -> String # showList :: [Force] -> ShowS #
Binary Force Source #
Instance details Defined in Math.Number.Units Methods put :: Force -> Put # get :: Get Force # putList :: [Force] -> Put #
NormedSpace Force Source #
Instance details Defined in Math.Number.Units Methods norm :: Force -> Scalar Force Source # norm_squared :: Force -> Scalar Force Source #
VectorSpace Force Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Force Source # Methods vzero :: Force Source # vnegate :: Force -> Force Source # (%+) :: Force -> Force -> Force Source # (%*) :: Scalar Force -> Force -> Force Source #
LiteralUnit Force Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Force -> Force Source # zeroAmount :: (Scalar Force -> Force) -> Scalar Force Source # conversionFactor :: (Scalar Force -> Force) -> Scalar Force Source #
Unit Force Source #
Instance details Defined in Math.Number.Units Methods amount :: Force -> Scalar Force Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Force) -> m Force Source # unitOf :: Force -> String Source # dimension :: Force -> Dimension Source #
Eq Force Source #
Instance details Defined in Math.Number.Units Methods (==) :: Force -> Force -> Bool # (/=) :: Force -> Force -> Bool #
Ord Force Source #
Instance details Defined in Math.Number.Units Methods compare :: Force -> Force -> Ordering # (<) :: Force -> Force -> Bool # (<=) :: Force -> Force -> Bool # (>) :: Force -> Force -> Bool # (>=) :: Force -> Force -> Bool # max :: Force -> Force -> Force # min :: Force -> Force -> Force #
type Rep Force Source #
Instance details Defined in Math.Number.Units type Rep Force = D1 ('MetaData "Force" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Newtons" 'PrefixI 'True) (S1 ('MetaSel ('Just "newtons") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Force Source #
Instance details Defined in Math.Number.Units type Scalar Force = Scalar Dimensionless

newtype Torque Source #

Constructors

NewtonMeters
Fields newtonmeters :: Double

Instances

Instances details

Data Torque Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Torque -> c Torque # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Torque # toConstr :: Torque -> Constr # dataTypeOf :: Torque -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Torque) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Torque) # gmapT :: (forall b. Data b => b -> b) -> Torque -> Torque # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Torque -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Torque -> r # gmapQ :: (forall d. Data d => d -> u) -> Torque -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Torque -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Torque -> m Torque # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Torque -> m Torque # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Torque -> m Torque #
Generic Torque Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Torque :: Type -> Type # Methods from :: Torque -> Rep Torque x # to :: Rep Torque x -> Torque #
Read Torque Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Torque # readList :: ReadS [Torque] # readPrec :: ReadPrec Torque # readListPrec :: ReadPrec [Torque] #
Show Torque Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Torque -> ShowS # show :: Torque -> String # showList :: [Torque] -> ShowS #
Binary Torque Source #
Instance details Defined in Math.Number.Units Methods put :: Torque -> Put # get :: Get Torque # putList :: [Torque] -> Put #
NormedSpace Torque Source #
Instance details Defined in Math.Number.Units Methods norm :: Torque -> Scalar Torque Source # norm_squared :: Torque -> Scalar Torque Source #
VectorSpace Torque Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Torque Source # Methods vzero :: Torque Source # vnegate :: Torque -> Torque Source # (%+) :: Torque -> Torque -> Torque Source # (%*) :: Scalar Torque -> Torque -> Torque Source #
LiteralUnit Torque Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Torque -> Torque Source # zeroAmount :: (Scalar Torque -> Torque) -> Scalar Torque Source # conversionFactor :: (Scalar Torque -> Torque) -> Scalar Torque Source #
Unit Torque Source #
Instance details Defined in Math.Number.Units Methods amount :: Torque -> Scalar Torque Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Torque) -> m Torque Source # unitOf :: Torque -> String Source # dimension :: Torque -> Dimension Source #
Eq Torque Source #
Instance details Defined in Math.Number.Units Methods (==) :: Torque -> Torque -> Bool # (/=) :: Torque -> Torque -> Bool #
Ord Torque Source #
Instance details Defined in Math.Number.Units Methods compare :: Torque -> Torque -> Ordering # (<) :: Torque -> Torque -> Bool # (<=) :: Torque -> Torque -> Bool # (>) :: Torque -> Torque -> Bool # (>=) :: Torque -> Torque -> Bool # max :: Torque -> Torque -> Torque # min :: Torque -> Torque -> Torque #
type Rep Torque Source #
Instance details Defined in Math.Number.Units type Rep Torque = D1 ('MetaData "Torque" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "NewtonMeters" 'PrefixI 'True) (S1 ('MetaSel ('Just "newtonmeters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Torque Source #
Instance details Defined in Math.Number.Units type Scalar Torque = Scalar Dimensionless

newtype Pressure Source #

Constructors

Pascals
Fields pascals :: Double

Instances

Instances details

Data Pressure Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pressure -> c Pressure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pressure # toConstr :: Pressure -> Constr # dataTypeOf :: Pressure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pressure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pressure) # gmapT :: (forall b. Data b => b -> b) -> Pressure -> Pressure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pressure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pressure -> r # gmapQ :: (forall d. Data d => d -> u) -> Pressure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pressure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pressure -> m Pressure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pressure -> m Pressure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pressure -> m Pressure #
Generic Pressure Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Pressure :: Type -> Type # Methods from :: Pressure -> Rep Pressure x # to :: Rep Pressure x -> Pressure #
Read Pressure Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Pressure # readList :: ReadS [Pressure] # readPrec :: ReadPrec Pressure # readListPrec :: ReadPrec [Pressure] #
Show Pressure Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Pressure -> ShowS # show :: Pressure -> String # showList :: [Pressure] -> ShowS #
Binary Pressure Source #
Instance details Defined in Math.Number.Units Methods put :: Pressure -> Put # get :: Get Pressure # putList :: [Pressure] -> Put #
NormedSpace Pressure Source #
Instance details Defined in Math.Number.Units Methods norm :: Pressure -> Scalar Pressure Source # norm_squared :: Pressure -> Scalar Pressure Source #
VectorSpace Pressure Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Pressure Source # Methods vzero :: Pressure Source # vnegate :: Pressure -> Pressure Source # (%+) :: Pressure -> Pressure -> Pressure Source # (%*) :: Scalar Pressure -> Pressure -> Pressure Source #
LiteralUnit Pressure Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Pressure -> Pressure Source # zeroAmount :: (Scalar Pressure -> Pressure) -> Scalar Pressure Source # conversionFactor :: (Scalar Pressure -> Pressure) -> Scalar Pressure Source #
Unit Pressure Source #
Instance details Defined in Math.Number.Units Methods amount :: Pressure -> Scalar Pressure Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Pressure) -> m Pressure Source # unitOf :: Pressure -> String Source # dimension :: Pressure -> Dimension Source #
Eq Pressure Source #
Instance details Defined in Math.Number.Units Methods (==) :: Pressure -> Pressure -> Bool # (/=) :: Pressure -> Pressure -> Bool #
Ord Pressure Source #
Instance details Defined in Math.Number.Units Methods compare :: Pressure -> Pressure -> Ordering # (<) :: Pressure -> Pressure -> Bool # (<=) :: Pressure -> Pressure -> Bool # (>) :: Pressure -> Pressure -> Bool # (>=) :: Pressure -> Pressure -> Bool # max :: Pressure -> Pressure -> Pressure # min :: Pressure -> Pressure -> Pressure #
type Rep Pressure Source #
Instance details Defined in Math.Number.Units type Rep Pressure = D1 ('MetaData "Pressure" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Pascals" 'PrefixI 'True) (S1 ('MetaSel ('Just "pascals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Pressure Source #
Instance details Defined in Math.Number.Units type Scalar Pressure = Scalar Dimensionless

newtype Energy Source #

Constructors

Joules
Fields joules :: Double

Instances

Instances details

Data Energy Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Energy -> c Energy # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Energy # toConstr :: Energy -> Constr # dataTypeOf :: Energy -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Energy) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Energy) # gmapT :: (forall b. Data b => b -> b) -> Energy -> Energy # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Energy -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Energy -> r # gmapQ :: (forall d. Data d => d -> u) -> Energy -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Energy -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Energy -> m Energy # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Energy -> m Energy # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Energy -> m Energy #
Generic Energy Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Energy :: Type -> Type # Methods from :: Energy -> Rep Energy x # to :: Rep Energy x -> Energy #
Read Energy Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Energy # readList :: ReadS [Energy] # readPrec :: ReadPrec Energy # readListPrec :: ReadPrec [Energy] #
Show Energy Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Energy -> ShowS # show :: Energy -> String # showList :: [Energy] -> ShowS #
Binary Energy Source #
Instance details Defined in Math.Number.Units Methods put :: Energy -> Put # get :: Get Energy # putList :: [Energy] -> Put #
NormedSpace Energy Source #
Instance details Defined in Math.Number.Units Methods norm :: Energy -> Scalar Energy Source # norm_squared :: Energy -> Scalar Energy Source #
VectorSpace Energy Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Energy Source # Methods vzero :: Energy Source # vnegate :: Energy -> Energy Source # (%+) :: Energy -> Energy -> Energy Source # (%*) :: Scalar Energy -> Energy -> Energy Source #
LiteralUnit Energy Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Energy -> Energy Source # zeroAmount :: (Scalar Energy -> Energy) -> Scalar Energy Source # conversionFactor :: (Scalar Energy -> Energy) -> Scalar Energy Source #
Unit Energy Source #
Instance details Defined in Math.Number.Units Methods amount :: Energy -> Scalar Energy Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Energy) -> m Energy Source # unitOf :: Energy -> String Source # dimension :: Energy -> Dimension Source #
Eq Energy Source #
Instance details Defined in Math.Number.Units Methods (==) :: Energy -> Energy -> Bool # (/=) :: Energy -> Energy -> Bool #
Ord Energy Source #
Instance details Defined in Math.Number.Units Methods compare :: Energy -> Energy -> Ordering # (<) :: Energy -> Energy -> Bool # (<=) :: Energy -> Energy -> Bool # (>) :: Energy -> Energy -> Bool # (>=) :: Energy -> Energy -> Bool # max :: Energy -> Energy -> Energy # min :: Energy -> Energy -> Energy #
type Rep Energy Source #
Instance details Defined in Math.Number.Units type Rep Energy = D1 ('MetaData "Energy" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Joules" 'PrefixI 'True) (S1 ('MetaSel ('Just "joules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Energy Source #
Instance details Defined in Math.Number.Units type Scalar Energy = Scalar Dimensionless

newtype Power Source #

Constructors

Watts
Fields watts :: Double

Instances

Instances details

Data Power Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Power -> c Power # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Power # toConstr :: Power -> Constr # dataTypeOf :: Power -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Power) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Power) # gmapT :: (forall b. Data b => b -> b) -> Power -> Power # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Power -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Power -> r # gmapQ :: (forall d. Data d => d -> u) -> Power -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Power -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Power -> m Power # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Power -> m Power # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Power -> m Power #
Generic Power Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Power :: Type -> Type # Methods from :: Power -> Rep Power x # to :: Rep Power x -> Power #
Read Power Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Power # readList :: ReadS [Power] # readPrec :: ReadPrec Power # readListPrec :: ReadPrec [Power] #
Show Power Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Power -> ShowS # show :: Power -> String # showList :: [Power] -> ShowS #
Binary Power Source #
Instance details Defined in Math.Number.Units Methods put :: Power -> Put # get :: Get Power # putList :: [Power] -> Put #
NormedSpace Power Source #
Instance details Defined in Math.Number.Units Methods norm :: Power -> Scalar Power Source # norm_squared :: Power -> Scalar Power Source #
VectorSpace Power Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Power Source # Methods vzero :: Power Source # vnegate :: Power -> Power Source # (%+) :: Power -> Power -> Power Source # (%*) :: Scalar Power -> Power -> Power Source #
LiteralUnit Power Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Power -> Power Source # zeroAmount :: (Scalar Power -> Power) -> Scalar Power Source # conversionFactor :: (Scalar Power -> Power) -> Scalar Power Source #
Unit Power Source #
Instance details Defined in Math.Number.Units Methods amount :: Power -> Scalar Power Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Power) -> m Power Source # unitOf :: Power -> String Source # dimension :: Power -> Dimension Source #
Eq Power Source #
Instance details Defined in Math.Number.Units Methods (==) :: Power -> Power -> Bool # (/=) :: Power -> Power -> Bool #
Ord Power Source #
Instance details Defined in Math.Number.Units Methods compare :: Power -> Power -> Ordering # (<) :: Power -> Power -> Bool # (<=) :: Power -> Power -> Bool # (>) :: Power -> Power -> Bool # (>=) :: Power -> Power -> Bool # max :: Power -> Power -> Power # min :: Power -> Power -> Power #
type Rep Power Source #
Instance details Defined in Math.Number.Units type Rep Power = D1 ('MetaData "Power" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Watts" 'PrefixI 'True) (S1 ('MetaSel ('Just "watts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Power Source #
Instance details Defined in Math.Number.Units type Scalar Power = Scalar Dimensionless

newtype Charge Source #

Constructors

Coulombs
Fields coulombs :: Double

Instances

Instances details

Data Charge Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Charge -> c Charge # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Charge # toConstr :: Charge -> Constr # dataTypeOf :: Charge -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Charge) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Charge) # gmapT :: (forall b. Data b => b -> b) -> Charge -> Charge # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Charge -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Charge -> r # gmapQ :: (forall d. Data d => d -> u) -> Charge -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Charge -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Charge -> m Charge # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Charge -> m Charge # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Charge -> m Charge #
Generic Charge Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Charge :: Type -> Type # Methods from :: Charge -> Rep Charge x # to :: Rep Charge x -> Charge #
Read Charge Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Charge # readList :: ReadS [Charge] # readPrec :: ReadPrec Charge # readListPrec :: ReadPrec [Charge] #
Show Charge Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Charge -> ShowS # show :: Charge -> String # showList :: [Charge] -> ShowS #
Binary Charge Source #
Instance details Defined in Math.Number.Units Methods put :: Charge -> Put # get :: Get Charge # putList :: [Charge] -> Put #
NormedSpace Charge Source #
Instance details Defined in Math.Number.Units Methods norm :: Charge -> Scalar Charge Source # norm_squared :: Charge -> Scalar Charge Source #
VectorSpace Charge Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Charge Source # Methods vzero :: Charge Source # vnegate :: Charge -> Charge Source # (%+) :: Charge -> Charge -> Charge Source # (%*) :: Scalar Charge -> Charge -> Charge Source #
LiteralUnit Charge Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Charge -> Charge Source # zeroAmount :: (Scalar Charge -> Charge) -> Scalar Charge Source # conversionFactor :: (Scalar Charge -> Charge) -> Scalar Charge Source #
Unit Charge Source #
Instance details Defined in Math.Number.Units Methods amount :: Charge -> Scalar Charge Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Charge) -> m Charge Source # unitOf :: Charge -> String Source # dimension :: Charge -> Dimension Source #
Eq Charge Source #
Instance details Defined in Math.Number.Units Methods (==) :: Charge -> Charge -> Bool # (/=) :: Charge -> Charge -> Bool #
Ord Charge Source #
Instance details Defined in Math.Number.Units Methods compare :: Charge -> Charge -> Ordering # (<) :: Charge -> Charge -> Bool # (<=) :: Charge -> Charge -> Bool # (>) :: Charge -> Charge -> Bool # (>=) :: Charge -> Charge -> Bool # max :: Charge -> Charge -> Charge # min :: Charge -> Charge -> Charge #
type Rep Charge Source #
Instance details Defined in Math.Number.Units type Rep Charge = D1 ('MetaData "Charge" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Coulombs" 'PrefixI 'True) (S1 ('MetaSel ('Just "coulombs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Charge Source #
Instance details Defined in Math.Number.Units type Scalar Charge = Scalar Dimensionless

newtype Voltage Source #

Constructors

Volts
Fields volts :: Double

Instances

Instances details

Data Voltage Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Voltage -> c Voltage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Voltage # toConstr :: Voltage -> Constr # dataTypeOf :: Voltage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Voltage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Voltage) # gmapT :: (forall b. Data b => b -> b) -> Voltage -> Voltage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Voltage -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Voltage -> r # gmapQ :: (forall d. Data d => d -> u) -> Voltage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Voltage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Voltage -> m Voltage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Voltage -> m Voltage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Voltage -> m Voltage #
Generic Voltage Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Voltage :: Type -> Type # Methods from :: Voltage -> Rep Voltage x # to :: Rep Voltage x -> Voltage #
Read Voltage Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Voltage # readList :: ReadS [Voltage] # readPrec :: ReadPrec Voltage # readListPrec :: ReadPrec [Voltage] #
Show Voltage Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Voltage -> ShowS # show :: Voltage -> String # showList :: [Voltage] -> ShowS #
Binary Voltage Source #
Instance details Defined in Math.Number.Units Methods put :: Voltage -> Put # get :: Get Voltage # putList :: [Voltage] -> Put #
NormedSpace Voltage Source #
Instance details Defined in Math.Number.Units Methods norm :: Voltage -> Scalar Voltage Source # norm_squared :: Voltage -> Scalar Voltage Source #
VectorSpace Voltage Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Voltage Source # Methods vzero :: Voltage Source # vnegate :: Voltage -> Voltage Source # (%+) :: Voltage -> Voltage -> Voltage Source # (%*) :: Scalar Voltage -> Voltage -> Voltage Source #
LiteralUnit Voltage Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Voltage -> Voltage Source # zeroAmount :: (Scalar Voltage -> Voltage) -> Scalar Voltage Source # conversionFactor :: (Scalar Voltage -> Voltage) -> Scalar Voltage Source #
Unit Voltage Source #
Instance details Defined in Math.Number.Units Methods amount :: Voltage -> Scalar Voltage Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Voltage) -> m Voltage Source # unitOf :: Voltage -> String Source # dimension :: Voltage -> Dimension Source #
Eq Voltage Source #
Instance details Defined in Math.Number.Units Methods (==) :: Voltage -> Voltage -> Bool # (/=) :: Voltage -> Voltage -> Bool #
Ord Voltage Source #
Instance details Defined in Math.Number.Units Methods compare :: Voltage -> Voltage -> Ordering # (<) :: Voltage -> Voltage -> Bool # (<=) :: Voltage -> Voltage -> Bool # (>) :: Voltage -> Voltage -> Bool # (>=) :: Voltage -> Voltage -> Bool # max :: Voltage -> Voltage -> Voltage # min :: Voltage -> Voltage -> Voltage #
type Rep Voltage Source #
Instance details Defined in Math.Number.Units type Rep Voltage = D1 ('MetaData "Voltage" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Volts" 'PrefixI 'True) (S1 ('MetaSel ('Just "volts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Voltage Source #
Instance details Defined in Math.Number.Units type Scalar Voltage = Scalar Dimensionless

newtype Capacitance Source #

Constructors

Farads
Fields farads :: Double

Instances

Instances details

Data Capacitance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Capacitance -> c Capacitance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Capacitance # toConstr :: Capacitance -> Constr # dataTypeOf :: Capacitance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Capacitance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Capacitance) # gmapT :: (forall b. Data b => b -> b) -> Capacitance -> Capacitance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Capacitance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Capacitance -> r # gmapQ :: (forall d. Data d => d -> u) -> Capacitance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Capacitance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Capacitance -> m Capacitance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Capacitance -> m Capacitance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Capacitance -> m Capacitance #
Generic Capacitance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Capacitance :: Type -> Type # Methods from :: Capacitance -> Rep Capacitance x # to :: Rep Capacitance x -> Capacitance #
Read Capacitance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Capacitance # readList :: ReadS [Capacitance] # readPrec :: ReadPrec Capacitance # readListPrec :: ReadPrec [Capacitance] #
Show Capacitance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Capacitance -> ShowS # show :: Capacitance -> String # showList :: [Capacitance] -> ShowS #
Binary Capacitance Source #
Instance details Defined in Math.Number.Units Methods put :: Capacitance -> Put # get :: Get Capacitance # putList :: [Capacitance] -> Put #
NormedSpace Capacitance Source #
Instance details Defined in Math.Number.Units Methods norm :: Capacitance -> Scalar Capacitance Source # norm_squared :: Capacitance -> Scalar Capacitance Source #
VectorSpace Capacitance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Capacitance Source # Methods vzero :: Capacitance Source # vnegate :: Capacitance -> Capacitance Source # (%+) :: Capacitance -> Capacitance -> Capacitance Source # (%*) :: Scalar Capacitance -> Capacitance -> Capacitance Source #
LiteralUnit Capacitance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Capacitance -> Capacitance Source # zeroAmount :: (Scalar Capacitance -> Capacitance) -> Scalar Capacitance Source # conversionFactor :: (Scalar Capacitance -> Capacitance) -> Scalar Capacitance Source #
Unit Capacitance Source #
Instance details Defined in Math.Number.Units Methods amount :: Capacitance -> Scalar Capacitance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Capacitance) -> m Capacitance Source # unitOf :: Capacitance -> String Source # dimension :: Capacitance -> Dimension Source #
Eq Capacitance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Capacitance -> Capacitance -> Bool # (/=) :: Capacitance -> Capacitance -> Bool #
Ord Capacitance Source #
Instance details Defined in Math.Number.Units Methods compare :: Capacitance -> Capacitance -> Ordering # (<) :: Capacitance -> Capacitance -> Bool # (<=) :: Capacitance -> Capacitance -> Bool # (>) :: Capacitance -> Capacitance -> Bool # (>=) :: Capacitance -> Capacitance -> Bool # max :: Capacitance -> Capacitance -> Capacitance # min :: Capacitance -> Capacitance -> Capacitance #
type Rep Capacitance Source #
Instance details Defined in Math.Number.Units type Rep Capacitance = D1 ('MetaData "Capacitance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Farads" 'PrefixI 'True) (S1 ('MetaSel ('Just "farads") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Capacitance Source #
Instance details Defined in Math.Number.Units type Scalar Capacitance = Scalar Dimensionless

newtype Resistance Source #

Constructors

Ohms
Fields ohms :: Double

Instances

Instances details

Data Resistance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Resistance -> c Resistance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Resistance # toConstr :: Resistance -> Constr # dataTypeOf :: Resistance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Resistance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Resistance) # gmapT :: (forall b. Data b => b -> b) -> Resistance -> Resistance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Resistance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Resistance -> r # gmapQ :: (forall d. Data d => d -> u) -> Resistance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Resistance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Resistance -> m Resistance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Resistance -> m Resistance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Resistance -> m Resistance #
Generic Resistance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Resistance :: Type -> Type # Methods from :: Resistance -> Rep Resistance x # to :: Rep Resistance x -> Resistance #
Read Resistance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Resistance # readList :: ReadS [Resistance] # readPrec :: ReadPrec Resistance # readListPrec :: ReadPrec [Resistance] #
Show Resistance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Resistance -> ShowS # show :: Resistance -> String # showList :: [Resistance] -> ShowS #
Binary Resistance Source #
Instance details Defined in Math.Number.Units Methods put :: Resistance -> Put # get :: Get Resistance # putList :: [Resistance] -> Put #
NormedSpace Resistance Source #
Instance details Defined in Math.Number.Units Methods norm :: Resistance -> Scalar Resistance Source # norm_squared :: Resistance -> Scalar Resistance Source #
VectorSpace Resistance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Resistance Source # Methods vzero :: Resistance Source # vnegate :: Resistance -> Resistance Source # (%+) :: Resistance -> Resistance -> Resistance Source # (%*) :: Scalar Resistance -> Resistance -> Resistance Source #
LiteralUnit Resistance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Resistance -> Resistance Source # zeroAmount :: (Scalar Resistance -> Resistance) -> Scalar Resistance Source # conversionFactor :: (Scalar Resistance -> Resistance) -> Scalar Resistance Source #
Unit Resistance Source #
Instance details Defined in Math.Number.Units Methods amount :: Resistance -> Scalar Resistance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Resistance) -> m Resistance Source # unitOf :: Resistance -> String Source # dimension :: Resistance -> Dimension Source #
Eq Resistance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Resistance -> Resistance -> Bool # (/=) :: Resistance -> Resistance -> Bool #
Ord Resistance Source #
Instance details Defined in Math.Number.Units Methods compare :: Resistance -> Resistance -> Ordering # (<) :: Resistance -> Resistance -> Bool # (<=) :: Resistance -> Resistance -> Bool # (>) :: Resistance -> Resistance -> Bool # (>=) :: Resistance -> Resistance -> Bool # max :: Resistance -> Resistance -> Resistance # min :: Resistance -> Resistance -> Resistance #
type Rep Resistance Source #
Instance details Defined in Math.Number.Units type Rep Resistance = D1 ('MetaData "Resistance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Ohms" 'PrefixI 'True) (S1 ('MetaSel ('Just "ohms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Resistance Source #
Instance details Defined in Math.Number.Units type Scalar Resistance = Scalar Dimensionless

newtype Conductance Source #

Constructors

Siemenses
Fields siemenses :: Double

Instances

Instances details

Data Conductance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Conductance -> c Conductance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Conductance # toConstr :: Conductance -> Constr # dataTypeOf :: Conductance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Conductance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Conductance) # gmapT :: (forall b. Data b => b -> b) -> Conductance -> Conductance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Conductance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Conductance -> r # gmapQ :: (forall d. Data d => d -> u) -> Conductance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Conductance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Conductance -> m Conductance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Conductance -> m Conductance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Conductance -> m Conductance #
Generic Conductance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Conductance :: Type -> Type # Methods from :: Conductance -> Rep Conductance x # to :: Rep Conductance x -> Conductance #
Read Conductance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Conductance # readList :: ReadS [Conductance] # readPrec :: ReadPrec Conductance # readListPrec :: ReadPrec [Conductance] #
Show Conductance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Conductance -> ShowS # show :: Conductance -> String # showList :: [Conductance] -> ShowS #
Binary Conductance Source #
Instance details Defined in Math.Number.Units Methods put :: Conductance -> Put # get :: Get Conductance # putList :: [Conductance] -> Put #
NormedSpace Conductance Source #
Instance details Defined in Math.Number.Units Methods norm :: Conductance -> Scalar Conductance Source # norm_squared :: Conductance -> Scalar Conductance Source #
VectorSpace Conductance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Conductance Source # Methods vzero :: Conductance Source # vnegate :: Conductance -> Conductance Source # (%+) :: Conductance -> Conductance -> Conductance Source # (%*) :: Scalar Conductance -> Conductance -> Conductance Source #
LiteralUnit Conductance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Conductance -> Conductance Source # zeroAmount :: (Scalar Conductance -> Conductance) -> Scalar Conductance Source # conversionFactor :: (Scalar Conductance -> Conductance) -> Scalar Conductance Source #
Unit Conductance Source #
Instance details Defined in Math.Number.Units Methods amount :: Conductance -> Scalar Conductance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Conductance) -> m Conductance Source # unitOf :: Conductance -> String Source # dimension :: Conductance -> Dimension Source #
Eq Conductance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Conductance -> Conductance -> Bool # (/=) :: Conductance -> Conductance -> Bool #
Ord Conductance Source #
Instance details Defined in Math.Number.Units Methods compare :: Conductance -> Conductance -> Ordering # (<) :: Conductance -> Conductance -> Bool # (<=) :: Conductance -> Conductance -> Bool # (>) :: Conductance -> Conductance -> Bool # (>=) :: Conductance -> Conductance -> Bool # max :: Conductance -> Conductance -> Conductance # min :: Conductance -> Conductance -> Conductance #
type Rep Conductance Source #
Instance details Defined in Math.Number.Units type Rep Conductance = D1 ('MetaData "Conductance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Siemenses" 'PrefixI 'True) (S1 ('MetaSel ('Just "siemenses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Conductance Source #
Instance details Defined in Math.Number.Units type Scalar Conductance = Scalar Dimensionless

newtype Flux Source #

Constructors

Webers
Fields webers :: Double

Instances

Instances details

Data Flux Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Flux -> c Flux # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Flux # toConstr :: Flux -> Constr # dataTypeOf :: Flux -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Flux) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Flux) # gmapT :: (forall b. Data b => b -> b) -> Flux -> Flux # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Flux -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Flux -> r # gmapQ :: (forall d. Data d => d -> u) -> Flux -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Flux -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Flux -> m Flux # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Flux -> m Flux # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Flux -> m Flux #
Generic Flux Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Flux :: Type -> Type # Methods from :: Flux -> Rep Flux x # to :: Rep Flux x -> Flux #
Read Flux Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Flux # readList :: ReadS [Flux] # readPrec :: ReadPrec Flux # readListPrec :: ReadPrec [Flux] #
Show Flux Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Flux -> ShowS # show :: Flux -> String # showList :: [Flux] -> ShowS #
Binary Flux Source #
Instance details Defined in Math.Number.Units Methods put :: Flux -> Put # get :: Get Flux # putList :: [Flux] -> Put #
NormedSpace Flux Source #
Instance details Defined in Math.Number.Units Methods norm :: Flux -> Scalar Flux Source # norm_squared :: Flux -> Scalar Flux Source #
VectorSpace Flux Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Flux Source # Methods vzero :: Flux Source # vnegate :: Flux -> Flux Source # (%+) :: Flux -> Flux -> Flux Source # (%*) :: Scalar Flux -> Flux -> Flux Source #
LiteralUnit Flux Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Flux -> Flux Source # zeroAmount :: (Scalar Flux -> Flux) -> Scalar Flux Source # conversionFactor :: (Scalar Flux -> Flux) -> Scalar Flux Source #
Unit Flux Source #
Instance details Defined in Math.Number.Units Methods amount :: Flux -> Scalar Flux Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Flux) -> m Flux Source # unitOf :: Flux -> String Source # dimension :: Flux -> Dimension Source #
Eq Flux Source #
Instance details Defined in Math.Number.Units Methods (==) :: Flux -> Flux -> Bool # (/=) :: Flux -> Flux -> Bool #
Ord Flux Source #
Instance details Defined in Math.Number.Units Methods compare :: Flux -> Flux -> Ordering # (<) :: Flux -> Flux -> Bool # (<=) :: Flux -> Flux -> Bool # (>) :: Flux -> Flux -> Bool # (>=) :: Flux -> Flux -> Bool # max :: Flux -> Flux -> Flux # min :: Flux -> Flux -> Flux #
type Rep Flux Source #
Instance details Defined in Math.Number.Units type Rep Flux = D1 ('MetaData "Flux" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Webers" 'PrefixI 'True) (S1 ('MetaSel ('Just "webers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Flux Source #
Instance details Defined in Math.Number.Units type Scalar Flux = Scalar Dimensionless

newtype FluxDensity Source #

Constructors

Teslas
Fields teslas :: Double

Instances

Instances details

Data FluxDensity Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FluxDensity -> c FluxDensity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FluxDensity # toConstr :: FluxDensity -> Constr # dataTypeOf :: FluxDensity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FluxDensity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FluxDensity) # gmapT :: (forall b. Data b => b -> b) -> FluxDensity -> FluxDensity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FluxDensity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FluxDensity -> r # gmapQ :: (forall d. Data d => d -> u) -> FluxDensity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FluxDensity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FluxDensity -> m FluxDensity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FluxDensity -> m FluxDensity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FluxDensity -> m FluxDensity #
Generic FluxDensity Source #
Instance details Defined in Math.Number.Units Associated Types type Rep FluxDensity :: Type -> Type # Methods from :: FluxDensity -> Rep FluxDensity x # to :: Rep FluxDensity x -> FluxDensity #
Read FluxDensity Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS FluxDensity # readList :: ReadS [FluxDensity] # readPrec :: ReadPrec FluxDensity # readListPrec :: ReadPrec [FluxDensity] #
Show FluxDensity Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> FluxDensity -> ShowS # show :: FluxDensity -> String # showList :: [FluxDensity] -> ShowS #
Binary FluxDensity Source #
Instance details Defined in Math.Number.Units Methods put :: FluxDensity -> Put # get :: Get FluxDensity # putList :: [FluxDensity] -> Put #
NormedSpace FluxDensity Source #
Instance details Defined in Math.Number.Units Methods norm :: FluxDensity -> Scalar FluxDensity Source # norm_squared :: FluxDensity -> Scalar FluxDensity Source #
VectorSpace FluxDensity Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar FluxDensity Source # Methods vzero :: FluxDensity Source # vnegate :: FluxDensity -> FluxDensity Source # (%+) :: FluxDensity -> FluxDensity -> FluxDensity Source # (%*) :: Scalar FluxDensity -> FluxDensity -> FluxDensity Source #
LiteralUnit FluxDensity Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar FluxDensity -> FluxDensity Source # zeroAmount :: (Scalar FluxDensity -> FluxDensity) -> Scalar FluxDensity Source # conversionFactor :: (Scalar FluxDensity -> FluxDensity) -> Scalar FluxDensity Source #
Unit FluxDensity Source #
Instance details Defined in Math.Number.Units Methods amount :: FluxDensity -> Scalar FluxDensity Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar FluxDensity) -> m FluxDensity Source # unitOf :: FluxDensity -> String Source # dimension :: FluxDensity -> Dimension Source #
Eq FluxDensity Source #
Instance details Defined in Math.Number.Units Methods (==) :: FluxDensity -> FluxDensity -> Bool # (/=) :: FluxDensity -> FluxDensity -> Bool #
Ord FluxDensity Source #
Instance details Defined in Math.Number.Units Methods compare :: FluxDensity -> FluxDensity -> Ordering # (<) :: FluxDensity -> FluxDensity -> Bool # (<=) :: FluxDensity -> FluxDensity -> Bool # (>) :: FluxDensity -> FluxDensity -> Bool # (>=) :: FluxDensity -> FluxDensity -> Bool # max :: FluxDensity -> FluxDensity -> FluxDensity # min :: FluxDensity -> FluxDensity -> FluxDensity #
type Rep FluxDensity Source #
Instance details Defined in Math.Number.Units type Rep FluxDensity = D1 ('MetaData "FluxDensity" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Teslas" 'PrefixI 'True) (S1 ('MetaSel ('Just "teslas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar FluxDensity Source #
Instance details Defined in Math.Number.Units type Scalar FluxDensity = Scalar Dimensionless

newtype Inductance Source #

Constructors

Henrys
Fields henrys :: Double

Instances

Instances details

Data Inductance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inductance -> c Inductance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inductance # toConstr :: Inductance -> Constr # dataTypeOf :: Inductance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inductance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inductance) # gmapT :: (forall b. Data b => b -> b) -> Inductance -> Inductance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inductance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inductance -> r # gmapQ :: (forall d. Data d => d -> u) -> Inductance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inductance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inductance -> m Inductance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inductance -> m Inductance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inductance -> m Inductance #
Generic Inductance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Inductance :: Type -> Type # Methods from :: Inductance -> Rep Inductance x # to :: Rep Inductance x -> Inductance #
Read Inductance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Inductance # readList :: ReadS [Inductance] # readPrec :: ReadPrec Inductance # readListPrec :: ReadPrec [Inductance] #
Show Inductance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Inductance -> ShowS # show :: Inductance -> String # showList :: [Inductance] -> ShowS #
Binary Inductance Source #
Instance details Defined in Math.Number.Units Methods put :: Inductance -> Put # get :: Get Inductance # putList :: [Inductance] -> Put #
NormedSpace Inductance Source #
Instance details Defined in Math.Number.Units Methods norm :: Inductance -> Scalar Inductance Source # norm_squared :: Inductance -> Scalar Inductance Source #
VectorSpace Inductance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Inductance Source # Methods vzero :: Inductance Source # vnegate :: Inductance -> Inductance Source # (%+) :: Inductance -> Inductance -> Inductance Source # (%*) :: Scalar Inductance -> Inductance -> Inductance Source #
LiteralUnit Inductance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Inductance -> Inductance Source # zeroAmount :: (Scalar Inductance -> Inductance) -> Scalar Inductance Source # conversionFactor :: (Scalar Inductance -> Inductance) -> Scalar Inductance Source #
Unit Inductance Source #
Instance details Defined in Math.Number.Units Methods amount :: Inductance -> Scalar Inductance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Inductance) -> m Inductance Source # unitOf :: Inductance -> String Source # dimension :: Inductance -> Dimension Source #
Eq Inductance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Inductance -> Inductance -> Bool # (/=) :: Inductance -> Inductance -> Bool #
Ord Inductance Source #
Instance details Defined in Math.Number.Units Methods compare :: Inductance -> Inductance -> Ordering # (<) :: Inductance -> Inductance -> Bool # (<=) :: Inductance -> Inductance -> Bool # (>) :: Inductance -> Inductance -> Bool # (>=) :: Inductance -> Inductance -> Bool # max :: Inductance -> Inductance -> Inductance # min :: Inductance -> Inductance -> Inductance #
type Rep Inductance Source #
Instance details Defined in Math.Number.Units type Rep Inductance = D1 ('MetaData "Inductance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Henrys" 'PrefixI 'True) (S1 ('MetaSel ('Just "henrys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Inductance Source #
Instance details Defined in Math.Number.Units type Scalar Inductance = Scalar Dimensionless

newtype LuminousFlux Source #

Constructors

Lumens
Fields lumens :: Double

Instances

Instances details

Data LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LuminousFlux -> c LuminousFlux # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LuminousFlux # toConstr :: LuminousFlux -> Constr # dataTypeOf :: LuminousFlux -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LuminousFlux) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LuminousFlux) # gmapT :: (forall b. Data b => b -> b) -> LuminousFlux -> LuminousFlux # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LuminousFlux -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LuminousFlux -> r # gmapQ :: (forall d. Data d => d -> u) -> LuminousFlux -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LuminousFlux -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LuminousFlux -> m LuminousFlux # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LuminousFlux -> m LuminousFlux # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LuminousFlux -> m LuminousFlux #
Generic LuminousFlux Source #
Instance details Defined in Math.Number.Units Associated Types type Rep LuminousFlux :: Type -> Type # Methods from :: LuminousFlux -> Rep LuminousFlux x # to :: Rep LuminousFlux x -> LuminousFlux #
Read LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS LuminousFlux # readList :: ReadS [LuminousFlux] # readPrec :: ReadPrec LuminousFlux # readListPrec :: ReadPrec [LuminousFlux] #
Show LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> LuminousFlux -> ShowS # show :: LuminousFlux -> String # showList :: [LuminousFlux] -> ShowS #
Binary LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods put :: LuminousFlux -> Put # get :: Get LuminousFlux # putList :: [LuminousFlux] -> Put #
NormedSpace LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods norm :: LuminousFlux -> Scalar LuminousFlux Source # norm_squared :: LuminousFlux -> Scalar LuminousFlux Source #
VectorSpace LuminousFlux Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar LuminousFlux Source # Methods vzero :: LuminousFlux Source # vnegate :: LuminousFlux -> LuminousFlux Source # (%+) :: LuminousFlux -> LuminousFlux -> LuminousFlux Source # (%*) :: Scalar LuminousFlux -> LuminousFlux -> LuminousFlux Source #
LiteralUnit LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar LuminousFlux -> LuminousFlux Source # zeroAmount :: (Scalar LuminousFlux -> LuminousFlux) -> Scalar LuminousFlux Source # conversionFactor :: (Scalar LuminousFlux -> LuminousFlux) -> Scalar LuminousFlux Source #
Unit LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods amount :: LuminousFlux -> Scalar LuminousFlux Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar LuminousFlux) -> m LuminousFlux Source # unitOf :: LuminousFlux -> String Source # dimension :: LuminousFlux -> Dimension Source #
Eq LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods (==) :: LuminousFlux -> LuminousFlux -> Bool # (/=) :: LuminousFlux -> LuminousFlux -> Bool #
Ord LuminousFlux Source #
Instance details Defined in Math.Number.Units Methods compare :: LuminousFlux -> LuminousFlux -> Ordering # (<) :: LuminousFlux -> LuminousFlux -> Bool # (<=) :: LuminousFlux -> LuminousFlux -> Bool # (>) :: LuminousFlux -> LuminousFlux -> Bool # (>=) :: LuminousFlux -> LuminousFlux -> Bool # max :: LuminousFlux -> LuminousFlux -> LuminousFlux # min :: LuminousFlux -> LuminousFlux -> LuminousFlux #
type Rep LuminousFlux Source #
Instance details Defined in Math.Number.Units type Rep LuminousFlux = D1 ('MetaData "LuminousFlux" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Lumens" 'PrefixI 'True) (S1 ('MetaSel ('Just "lumens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar LuminousFlux Source #
Instance details Defined in Math.Number.Units type Scalar LuminousFlux = Scalar Dimensionless

newtype Illuminance Source #

Constructors

Luxes
Fields luxes :: Double

Instances

Instances details

Data Illuminance Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Illuminance -> c Illuminance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Illuminance # toConstr :: Illuminance -> Constr # dataTypeOf :: Illuminance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Illuminance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Illuminance) # gmapT :: (forall b. Data b => b -> b) -> Illuminance -> Illuminance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Illuminance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Illuminance -> r # gmapQ :: (forall d. Data d => d -> u) -> Illuminance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Illuminance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Illuminance -> m Illuminance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Illuminance -> m Illuminance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Illuminance -> m Illuminance #
Generic Illuminance Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Illuminance :: Type -> Type # Methods from :: Illuminance -> Rep Illuminance x # to :: Rep Illuminance x -> Illuminance #
Read Illuminance Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Illuminance # readList :: ReadS [Illuminance] # readPrec :: ReadPrec Illuminance # readListPrec :: ReadPrec [Illuminance] #
Show Illuminance Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Illuminance -> ShowS # show :: Illuminance -> String # showList :: [Illuminance] -> ShowS #
Binary Illuminance Source #
Instance details Defined in Math.Number.Units Methods put :: Illuminance -> Put # get :: Get Illuminance # putList :: [Illuminance] -> Put #
NormedSpace Illuminance Source #
Instance details Defined in Math.Number.Units Methods norm :: Illuminance -> Scalar Illuminance Source # norm_squared :: Illuminance -> Scalar Illuminance Source #
VectorSpace Illuminance Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Illuminance Source # Methods vzero :: Illuminance Source # vnegate :: Illuminance -> Illuminance Source # (%+) :: Illuminance -> Illuminance -> Illuminance Source # (%*) :: Scalar Illuminance -> Illuminance -> Illuminance Source #
LiteralUnit Illuminance Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Illuminance -> Illuminance Source # zeroAmount :: (Scalar Illuminance -> Illuminance) -> Scalar Illuminance Source # conversionFactor :: (Scalar Illuminance -> Illuminance) -> Scalar Illuminance Source #
Unit Illuminance Source #
Instance details Defined in Math.Number.Units Methods amount :: Illuminance -> Scalar Illuminance Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Illuminance) -> m Illuminance Source # unitOf :: Illuminance -> String Source # dimension :: Illuminance -> Dimension Source #
Eq Illuminance Source #
Instance details Defined in Math.Number.Units Methods (==) :: Illuminance -> Illuminance -> Bool # (/=) :: Illuminance -> Illuminance -> Bool #
Ord Illuminance Source #
Instance details Defined in Math.Number.Units Methods compare :: Illuminance -> Illuminance -> Ordering # (<) :: Illuminance -> Illuminance -> Bool # (<=) :: Illuminance -> Illuminance -> Bool # (>) :: Illuminance -> Illuminance -> Bool # (>=) :: Illuminance -> Illuminance -> Bool # max :: Illuminance -> Illuminance -> Illuminance # min :: Illuminance -> Illuminance -> Illuminance #
type Rep Illuminance Source #
Instance details Defined in Math.Number.Units type Rep Illuminance = D1 ('MetaData "Illuminance" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Luxes" 'PrefixI 'True) (S1 ('MetaSel ('Just "luxes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Illuminance Source #
Instance details Defined in Math.Number.Units type Scalar Illuminance = Scalar Dimensionless

newtype Radioactivity Source #

Constructors

Becquerels
Fields becquerels :: Double

Instances

Instances details

Data Radioactivity Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Radioactivity -> c Radioactivity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Radioactivity # toConstr :: Radioactivity -> Constr # dataTypeOf :: Radioactivity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Radioactivity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Radioactivity) # gmapT :: (forall b. Data b => b -> b) -> Radioactivity -> Radioactivity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Radioactivity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Radioactivity -> r # gmapQ :: (forall d. Data d => d -> u) -> Radioactivity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Radioactivity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Radioactivity -> m Radioactivity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Radioactivity -> m Radioactivity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Radioactivity -> m Radioactivity #
Generic Radioactivity Source #
Instance details Defined in Math.Number.Units Associated Types type Rep Radioactivity :: Type -> Type # Methods from :: Radioactivity -> Rep Radioactivity x # to :: Rep Radioactivity x -> Radioactivity #
Read Radioactivity Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS Radioactivity # readList :: ReadS [Radioactivity] # readPrec :: ReadPrec Radioactivity # readListPrec :: ReadPrec [Radioactivity] #
Show Radioactivity Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> Radioactivity -> ShowS # show :: Radioactivity -> String # showList :: [Radioactivity] -> ShowS #
Binary Radioactivity Source #
Instance details Defined in Math.Number.Units Methods put :: Radioactivity -> Put # get :: Get Radioactivity # putList :: [Radioactivity] -> Put #
NormedSpace Radioactivity Source #
Instance details Defined in Math.Number.Units Methods norm :: Radioactivity -> Scalar Radioactivity Source # norm_squared :: Radioactivity -> Scalar Radioactivity Source #
VectorSpace Radioactivity Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar Radioactivity Source # Methods vzero :: Radioactivity Source # vnegate :: Radioactivity -> Radioactivity Source # (%+) :: Radioactivity -> Radioactivity -> Radioactivity Source # (%*) :: Scalar Radioactivity -> Radioactivity -> Radioactivity Source #
LiteralUnit Radioactivity Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar Radioactivity -> Radioactivity Source # zeroAmount :: (Scalar Radioactivity -> Radioactivity) -> Scalar Radioactivity Source # conversionFactor :: (Scalar Radioactivity -> Radioactivity) -> Scalar Radioactivity Source #
Unit Radioactivity Source #
Instance details Defined in Math.Number.Units Methods amount :: Radioactivity -> Scalar Radioactivity Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Radioactivity) -> m Radioactivity Source # unitOf :: Radioactivity -> String Source # dimension :: Radioactivity -> Dimension Source #
Eq Radioactivity Source #
Instance details Defined in Math.Number.Units Methods (==) :: Radioactivity -> Radioactivity -> Bool # (/=) :: Radioactivity -> Radioactivity -> Bool #
Ord Radioactivity Source #
Instance details Defined in Math.Number.Units Methods compare :: Radioactivity -> Radioactivity -> Ordering # (<) :: Radioactivity -> Radioactivity -> Bool # (<=) :: Radioactivity -> Radioactivity -> Bool # (>) :: Radioactivity -> Radioactivity -> Bool # (>=) :: Radioactivity -> Radioactivity -> Bool # max :: Radioactivity -> Radioactivity -> Radioactivity # min :: Radioactivity -> Radioactivity -> Radioactivity #
type Rep Radioactivity Source #
Instance details Defined in Math.Number.Units type Rep Radioactivity = D1 ('MetaData "Radioactivity" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Becquerels" 'PrefixI 'True) (S1 ('MetaSel ('Just "becquerels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar Radioactivity Source #
Instance details Defined in Math.Number.Units type Scalar Radioactivity = Scalar Dimensionless

newtype AbsorbedDose Source #

Constructors

Grays
Fields grays :: Double

Instances

Instances details

Data AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AbsorbedDose -> c AbsorbedDose # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AbsorbedDose # toConstr :: AbsorbedDose -> Constr # dataTypeOf :: AbsorbedDose -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AbsorbedDose) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AbsorbedDose) # gmapT :: (forall b. Data b => b -> b) -> AbsorbedDose -> AbsorbedDose # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AbsorbedDose -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AbsorbedDose -> r # gmapQ :: (forall d. Data d => d -> u) -> AbsorbedDose -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AbsorbedDose -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AbsorbedDose -> m AbsorbedDose # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AbsorbedDose -> m AbsorbedDose # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AbsorbedDose -> m AbsorbedDose #
Generic AbsorbedDose Source #
Instance details Defined in Math.Number.Units Associated Types type Rep AbsorbedDose :: Type -> Type # Methods from :: AbsorbedDose -> Rep AbsorbedDose x # to :: Rep AbsorbedDose x -> AbsorbedDose #
Read AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS AbsorbedDose # readList :: ReadS [AbsorbedDose] # readPrec :: ReadPrec AbsorbedDose # readListPrec :: ReadPrec [AbsorbedDose] #
Show AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> AbsorbedDose -> ShowS # show :: AbsorbedDose -> String # showList :: [AbsorbedDose] -> ShowS #
Binary AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods put :: AbsorbedDose -> Put # get :: Get AbsorbedDose # putList :: [AbsorbedDose] -> Put #
NormedSpace AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods norm :: AbsorbedDose -> Scalar AbsorbedDose Source # norm_squared :: AbsorbedDose -> Scalar AbsorbedDose Source #
VectorSpace AbsorbedDose Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar AbsorbedDose Source # Methods vzero :: AbsorbedDose Source # vnegate :: AbsorbedDose -> AbsorbedDose Source # (%+) :: AbsorbedDose -> AbsorbedDose -> AbsorbedDose Source # (%*) :: Scalar AbsorbedDose -> AbsorbedDose -> AbsorbedDose Source #
LiteralUnit AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar AbsorbedDose -> AbsorbedDose Source # zeroAmount :: (Scalar AbsorbedDose -> AbsorbedDose) -> Scalar AbsorbedDose Source # conversionFactor :: (Scalar AbsorbedDose -> AbsorbedDose) -> Scalar AbsorbedDose Source #
Unit AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods amount :: AbsorbedDose -> Scalar AbsorbedDose Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar AbsorbedDose) -> m AbsorbedDose Source # unitOf :: AbsorbedDose -> String Source # dimension :: AbsorbedDose -> Dimension Source #
Eq AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods (==) :: AbsorbedDose -> AbsorbedDose -> Bool # (/=) :: AbsorbedDose -> AbsorbedDose -> Bool #
Ord AbsorbedDose Source #
Instance details Defined in Math.Number.Units Methods compare :: AbsorbedDose -> AbsorbedDose -> Ordering # (<) :: AbsorbedDose -> AbsorbedDose -> Bool # (<=) :: AbsorbedDose -> AbsorbedDose -> Bool # (>) :: AbsorbedDose -> AbsorbedDose -> Bool # (>=) :: AbsorbedDose -> AbsorbedDose -> Bool # max :: AbsorbedDose -> AbsorbedDose -> AbsorbedDose # min :: AbsorbedDose -> AbsorbedDose -> AbsorbedDose #
type Rep AbsorbedDose Source #
Instance details Defined in Math.Number.Units type Rep AbsorbedDose = D1 ('MetaData "AbsorbedDose" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Grays" 'PrefixI 'True) (S1 ('MetaSel ('Just "grays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar AbsorbedDose Source #
Instance details Defined in Math.Number.Units type Scalar AbsorbedDose = Scalar Dimensionless

newtype EquivalentDose Source #

Constructors

Sieverts
Fields sieverts :: Double

Instances

Instances details

Data EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EquivalentDose -> c EquivalentDose # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EquivalentDose # toConstr :: EquivalentDose -> Constr # dataTypeOf :: EquivalentDose -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EquivalentDose) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EquivalentDose) # gmapT :: (forall b. Data b => b -> b) -> EquivalentDose -> EquivalentDose # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EquivalentDose -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EquivalentDose -> r # gmapQ :: (forall d. Data d => d -> u) -> EquivalentDose -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EquivalentDose -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EquivalentDose -> m EquivalentDose # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EquivalentDose -> m EquivalentDose # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EquivalentDose -> m EquivalentDose #
Generic EquivalentDose Source #
Instance details Defined in Math.Number.Units Associated Types type Rep EquivalentDose :: Type -> Type # Methods from :: EquivalentDose -> Rep EquivalentDose x # to :: Rep EquivalentDose x -> EquivalentDose #
Read EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS EquivalentDose # readList :: ReadS [EquivalentDose] # readPrec :: ReadPrec EquivalentDose # readListPrec :: ReadPrec [EquivalentDose] #
Show EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> EquivalentDose -> ShowS # show :: EquivalentDose -> String # showList :: [EquivalentDose] -> ShowS #
Binary EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods put :: EquivalentDose -> Put # get :: Get EquivalentDose # putList :: [EquivalentDose] -> Put #
NormedSpace EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods norm :: EquivalentDose -> Scalar EquivalentDose Source # norm_squared :: EquivalentDose -> Scalar EquivalentDose Source #
VectorSpace EquivalentDose Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar EquivalentDose Source # Methods vzero :: EquivalentDose Source # vnegate :: EquivalentDose -> EquivalentDose Source # (%+) :: EquivalentDose -> EquivalentDose -> EquivalentDose Source # (%*) :: Scalar EquivalentDose -> EquivalentDose -> EquivalentDose Source #
LiteralUnit EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar EquivalentDose -> EquivalentDose Source # zeroAmount :: (Scalar EquivalentDose -> EquivalentDose) -> Scalar EquivalentDose Source # conversionFactor :: (Scalar EquivalentDose -> EquivalentDose) -> Scalar EquivalentDose Source #
Unit EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods amount :: EquivalentDose -> Scalar EquivalentDose Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar EquivalentDose) -> m EquivalentDose Source # unitOf :: EquivalentDose -> String Source # dimension :: EquivalentDose -> Dimension Source #
Eq EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods (==) :: EquivalentDose -> EquivalentDose -> Bool # (/=) :: EquivalentDose -> EquivalentDose -> Bool #
Ord EquivalentDose Source #
Instance details Defined in Math.Number.Units Methods compare :: EquivalentDose -> EquivalentDose -> Ordering # (<) :: EquivalentDose -> EquivalentDose -> Bool # (<=) :: EquivalentDose -> EquivalentDose -> Bool # (>) :: EquivalentDose -> EquivalentDose -> Bool # (>=) :: EquivalentDose -> EquivalentDose -> Bool # max :: EquivalentDose -> EquivalentDose -> EquivalentDose # min :: EquivalentDose -> EquivalentDose -> EquivalentDose #
type Rep EquivalentDose Source #
Instance details Defined in Math.Number.Units type Rep EquivalentDose = D1 ('MetaData "EquivalentDose" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Sieverts" 'PrefixI 'True) (S1 ('MetaSel ('Just "sieverts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar EquivalentDose Source #
Instance details Defined in Math.Number.Units type Scalar EquivalentDose = Scalar Dimensionless

newtype CatalyticActivity Source #

Constructors

Katals
Fields katals :: Double

Instances

Instances details

Data CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CatalyticActivity -> c CatalyticActivity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CatalyticActivity # toConstr :: CatalyticActivity -> Constr # dataTypeOf :: CatalyticActivity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CatalyticActivity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CatalyticActivity) # gmapT :: (forall b. Data b => b -> b) -> CatalyticActivity -> CatalyticActivity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CatalyticActivity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CatalyticActivity -> r # gmapQ :: (forall d. Data d => d -> u) -> CatalyticActivity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CatalyticActivity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CatalyticActivity -> m CatalyticActivity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CatalyticActivity -> m CatalyticActivity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CatalyticActivity -> m CatalyticActivity #
Generic CatalyticActivity Source #
Instance details Defined in Math.Number.Units Associated Types type Rep CatalyticActivity :: Type -> Type # Methods from :: CatalyticActivity -> Rep CatalyticActivity x # to :: Rep CatalyticActivity x -> CatalyticActivity #
Read CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods readsPrec :: Int -> ReadS CatalyticActivity # readList :: ReadS [CatalyticActivity] # readPrec :: ReadPrec CatalyticActivity # readListPrec :: ReadPrec [CatalyticActivity] #
Show CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods showsPrec :: Int -> CatalyticActivity -> ShowS # show :: CatalyticActivity -> String # showList :: [CatalyticActivity] -> ShowS #
Binary CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods put :: CatalyticActivity -> Put # get :: Get CatalyticActivity # putList :: [CatalyticActivity] -> Put #
NormedSpace CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods norm :: CatalyticActivity -> Scalar CatalyticActivity Source # norm_squared :: CatalyticActivity -> Scalar CatalyticActivity Source #
VectorSpace CatalyticActivity Source #
Instance details Defined in Math.Number.Units Associated Types type Scalar CatalyticActivity Source # Methods vzero :: CatalyticActivity Source # vnegate :: CatalyticActivity -> CatalyticActivity Source # (%+) :: CatalyticActivity -> CatalyticActivity -> CatalyticActivity Source # (%*) :: Scalar CatalyticActivity -> CatalyticActivity -> CatalyticActivity Source #
LiteralUnit CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods fromAmount :: Scalar CatalyticActivity -> CatalyticActivity Source # zeroAmount :: (Scalar CatalyticActivity -> CatalyticActivity) -> Scalar CatalyticActivity Source # conversionFactor :: (Scalar CatalyticActivity -> CatalyticActivity) -> Scalar CatalyticActivity Source #
Unit CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods amount :: CatalyticActivity -> Scalar CatalyticActivity Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar CatalyticActivity) -> m CatalyticActivity Source # unitOf :: CatalyticActivity -> String Source # dimension :: CatalyticActivity -> Dimension Source #
Eq CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods (==) :: CatalyticActivity -> CatalyticActivity -> Bool # (/=) :: CatalyticActivity -> CatalyticActivity -> Bool #
Ord CatalyticActivity Source #
Instance details Defined in Math.Number.Units Methods compare :: CatalyticActivity -> CatalyticActivity -> Ordering # (<) :: CatalyticActivity -> CatalyticActivity -> Bool # (<=) :: CatalyticActivity -> CatalyticActivity -> Bool # (>) :: CatalyticActivity -> CatalyticActivity -> Bool # (>=) :: CatalyticActivity -> CatalyticActivity -> Bool # max :: CatalyticActivity -> CatalyticActivity -> CatalyticActivity # min :: CatalyticActivity -> CatalyticActivity -> CatalyticActivity #
type Rep CatalyticActivity Source #
Instance details Defined in Math.Number.Units type Rep CatalyticActivity = D1 ('MetaData "CatalyticActivity" "Math.Number.Units" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'True) (C1 ('MetaCons "Katals" 'PrefixI 'True) (S1 ('MetaSel ('Just "katals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))
type Scalar CatalyticActivity Source #
Instance details Defined in Math.Number.Units type Scalar CatalyticActivity = Scalar Dimensionless

Orphan instances

LiteralUnit R Source #
Instance details Methods fromAmount :: Scalar R -> R Source # zeroAmount :: (Scalar R -> R) -> Scalar R Source # conversionFactor :: (Scalar R -> R) -> Scalar R Source #
LiteralUnit Double Source #
Instance details Methods fromAmount :: Scalar Double -> Double Source # zeroAmount :: (Scalar Double -> Double) -> Scalar Double Source # conversionFactor :: (Scalar Double -> Double) -> Scalar Double Source #
LiteralUnit Float Source #
Instance details Methods fromAmount :: Scalar Float -> Float Source # zeroAmount :: (Scalar Float -> Float) -> Scalar Float Source # conversionFactor :: (Scalar Float -> Float) -> Scalar Float Source #
Unit R Source #
Instance details Methods amount :: R -> Scalar R Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar R) -> m R Source # unitOf :: R -> String Source # dimension :: R -> Dimension Source #
Unit Double Source #
Instance details Methods amount :: Double -> Scalar Double Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Double) -> m Double Source # unitOf :: Double -> String Source # dimension :: Double -> Dimension Source #
Unit Float Source #
Instance details Methods amount :: Float -> Scalar Float Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar Float) -> m Float Source # unitOf :: Float -> String Source # dimension :: Float -> Dimension Source #