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 {
- qdivideAmount :: !(Scalar a)
- qdivideDividendUnit :: UnitName a
- qdivideDivisorUnit :: UnitName b
}
data a :* b = QProduct {
- qproductAmount :: !(Scalar a)
- qproduct_firstUnit :: UnitName a
- qproduct_secondUnit :: UnitName b
}
newtype Dimensionless a = Dimensionless {
- dimensionlessValue :: a
}
newtype Information a = Bits {
- numberOfBits :: a
}
newtype SoundLevel a = SoundAmplitude {
- soundAmplitude :: a
}
newtype Angle a = Radians {
- radians :: a
}
class Functor angle => DimensionalFloating angle where
- halfRotation :: angle Double
- fullRotation :: angle Double
- fractionOfRotation :: Rational -> angle Double
- dimSin :: Floating a => angle a -> a
- dimCos :: Floating a => angle a -> a
- dimTan :: Floating a => angle a -> a
- dimAsin :: Floating a => a -> angle a
- dimAcos :: Floating a => a -> angle a
- dimAtan :: Floating a => a -> angle a
- dimLog :: RealFloat a => Complex a -> angle a
- dimExp :: RealFloat a => angle a -> Complex a
- dimFromPolar :: RealFloat a => a -> angle a -> Complex a
- dimToPolar :: RealFloat a => Complex a -> (a, angle a)
piAngle :: Angle Double
fraction_of_circle :: Rational -> Angle Double
asinAngle :: Floating a => a -> Angle a
acosAngle :: Floating a => a -> Angle a
atanAngle :: Floating a => a -> Angle a
sinAngle :: Floating a => Angle a -> a
cosAngle :: Floating a => Angle a -> a
tanAngle :: Floating a => Angle a -> a
logAngle :: RealFloat a => Complex a -> Angle a
expAngle :: Floating a => Angle a -> Complex a
fromPolar :: (Unit u, Floating (Scalar u)) => u -> Angle (Scalar u) -> Complex u
toPolar :: (LiteralUnit u, RealFloat (Scalar u)) => Complex u -> (u, Angle (Scalar u))
newtype DegreesAngle a = Degrees {
- degrees :: a
}
degreesAngle :: Floating a => DegreesAngle a -> Angle a
angleDegrees :: Floating a => Angle a -> DegreesAngle a
isoDegreesToAngle :: Floating a => DegreesAngle a :==: Angle a
newtype SolidAngle a = Steradians {
- steradians :: a
}
showUnit :: (Unit u, Show (Scalar u)) => u -> String
readUnit :: (Unit u, Read (Scalar u)) => UnitName u -> ReadPrec u
newtype Percentage a = Percentages {
- percentages :: a
}
newtype Acceleration a = MetersPerSquareSecond {
- metersPerSquareSecond :: a
}
newtype Velocity a = MetersPerSecond {
- metersPerSecond :: a
}
newtype SquareLength a = SquareMeters {
- squaremeters :: a
}
newtype CubicLength a = CubicMeters {
- cubicmeters :: a
}
sqrt_length :: Floating a => SquareLength a -> Length a
square_length :: Num a => Length a -> SquareLength a
times_length :: Num a => Length a -> Length a -> SquareLength a
newtype Length a = Meters {
- meters :: a
}
newtype Mass a = Kilograms {
- kilograms :: a
}
newtype Time a = Seconds {
- seconds :: a
}
newtype Current a = Amperes {
- amperes :: a
}
newtype DegreesFahrenheit a = DegreesFahrenheit {
- fahrenheits :: a
}
newtype DegreesRankine a = DegreesRankine {
- rankines :: a
}
newtype DegreesTemperature a = DegreesCelcius {
- celciuses :: a
}
newtype Temperature a = DegreesKelvin {
- kelvins :: a
}
isoCelciusToKelvin :: Fractional a => DegreesTemperature a :==: Temperature a
celciusToKelvin :: Fractional a => DegreesTemperature a -> Temperature a
kelvinToCelcius :: Fractional a => Temperature a -> DegreesTemperature a
newtype Substance a = Moles {
- moles :: a
}
newtype Intensity a = Candelas {
- candelas :: a
}
newtype Frequency a = Hertzes {
- hertzes :: a
}
newtype Force a = Newtons {
- newtons :: a
}
newtype Torque a = NewtonMeters {
- newtonmeters :: a
}
newtype Pressure a = Pascals {
- pascals :: a
}
newtype Energy a = Joules {
- joules :: a
}
newtype Power a = Watts {
- watts :: a
}
newtype Charge a = Coulombs {
- coulombs :: a
}
newtype Voltage a = Volts {
- volts :: a
}
newtype Capacitance a = Farads {
- farads :: a
}
newtype Resistance a = Ohms {
- ohms :: a
}
newtype Conductance a = Siemenses {
- siemenses :: a
}
newtype Flux a = Webers {
- webers :: a
}
newtype FluxDensity a = Teslas {
- teslas :: a
}
newtype Inductance a = Henrys {
- henrys :: a
}
newtype LuminousFlux a = Lumens {
- lumens :: a
}
newtype Illuminance a = Luxes {
- luxes :: a
}
newtype Radioactivity a = Becquerels {
- becquerels :: a
}
newtype AbsorbedDose a = Grays {
- grays :: a
}
newtype EquivalentDose a = Sieverts {
- sieverts :: a
}
newtype CatalyticActivity a = Katals {
- katals :: a
}

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 qdivideAmount :: !(Scalar a) qdivideDividendUnit :: UnitName a qdivideDivisorUnit :: 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-2.0.0.0-K3Wcv1zXOBxvFThQyThI4" 'False) (C1 ('MetaCons "QDivide" 'PrefixI 'True) (S1 ('MetaSel ('Just "qdivideAmount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Scalar a)) :: (S1 ('MetaSel ('Just "qdivideDividendUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName a)) :: S1 ('MetaSel ('Just "qdivideDivisorUnit") '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 qproductAmount :: !(Scalar a) qproduct_firstUnit :: UnitName a qproduct_secondUnit :: 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-2.0.0.0-K3Wcv1zXOBxvFThQyThI4" 'False) (C1 ('MetaCons "QProduct" 'PrefixI 'True) (S1 ('MetaSel ('Just "qproductAmount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Scalar a)) :: (S1 ('MetaSel ('Just "qproduct_firstUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnitName a)) :*: S1 ('MetaSel ('Just "qproduct_secondUnit") '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 a Source #

Constructors

Dimensionless
Fields dimensionlessValue :: a

Instances

Instances details

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

newtype Information a Source #

Constructors

Bits
Fields numberOfBits :: a

Instances

Instances details

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

newtype SoundLevel a Source #

Constructors

SoundAmplitude
Fields soundAmplitude :: a

Instances

Instances details

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

newtype Angle a Source #

Constructors

Radians
Fields radians :: a

Instances

Instances details

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

class Functor angle => DimensionalFloating angle where Source #

Minimal complete definition

fractionOfRotation, dimSin, dimCos, dimTan, dimAsin, dimAcos, dimAtan, dimLog, dimExp, dimFromPolar, dimToPolar

Methods

halfRotation :: angle Double Source #

fullRotation :: angle Double Source #

fractionOfRotation :: Rational -> angle Double Source #

dimSin :: Floating a => angle a -> a Source #

dimCos :: Floating a => angle a -> a Source #

dimTan :: Floating a => angle a -> a Source #

dimAsin :: Floating a => a -> angle a Source #

dimAcos :: Floating a => a -> angle a Source #

dimAtan :: Floating a => a -> angle a Source #

dimLog :: RealFloat a => Complex a -> angle a Source #

dimExp :: RealFloat a => angle a -> Complex a Source #

dimFromPolar :: RealFloat a => a -> angle a -> Complex a Source #

dimToPolar :: RealFloat a => Complex a -> (a, angle a) Source #

Instances

Instances details

DimensionalFloating Angle Source #

Instance details

Defined in Math.Number.Units

Methods

halfRotation :: Angle Double Source #

fullRotation :: Angle Double Source #

fractionOfRotation :: Rational -> Angle Double Source #

dimSin :: Floating a => Angle a -> a Source #

dimCos :: Floating a => Angle a -> a Source #

dimTan :: Floating a => Angle a -> a Source #

dimAsin :: Floating a => a -> Angle a Source #

dimAcos :: Floating a => a -> Angle a Source #

dimAtan :: Floating a => a -> Angle a Source #

dimLog :: RealFloat a => Complex a -> Angle a Source #

dimExp :: RealFloat a => Angle a -> Complex a Source #

dimFromPolar :: RealFloat a => a -> Angle a -> Complex a Source #

dimToPolar :: RealFloat a => Complex a -> (a, Angle a) Source #

piAngle :: Angle Double Source #

fraction_of_circle :: Rational -> Angle Double Source #

asinAngle :: Floating a => a -> Angle a Source #

acosAngle :: Floating a => a -> Angle a Source #

atanAngle :: Floating a => a -> Angle a Source #

sinAngle :: Floating a => Angle a -> a Source #

cosAngle :: Floating a => Angle a -> a Source #

tanAngle :: Floating a => Angle a -> a Source #

logAngle :: RealFloat a => Complex a -> Angle a Source #

expAngle :: Floating a => Angle a -> Complex a Source #

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

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

newtype DegreesAngle a Source #

Constructors

Degrees
Fields degrees :: a

Instances

Instances details

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

degreesAngle :: Floating a => DegreesAngle a -> Angle a Source #

angleDegrees :: Floating a => Angle a -> DegreesAngle a Source #

isoDegreesToAngle :: Floating a => DegreesAngle a :==: Angle a Source #

newtype SolidAngle a Source #

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

Constructors

Steradians
Fields steradians :: a

Instances

Instances details

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

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

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

newtype Percentage a Source #

Constructors

Percentages
Fields percentages :: a

Instances

Instances details

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

newtype Acceleration a Source #

Constructors

MetersPerSquareSecond
Fields metersPerSquareSecond :: a

Instances

Instances details

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

newtype Velocity a Source #

Constructors

MetersPerSecond
Fields metersPerSecond :: a

Instances

Instances details

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

newtype SquareLength a Source #

Constructors

SquareMeters
Fields squaremeters :: a

Instances

Instances details

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

newtype CubicLength a Source #

Constructors

CubicMeters
Fields cubicmeters :: a

Instances

Instances details

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

sqrt_length :: Floating a => SquareLength a -> Length a Source #

square_length :: Num a => Length a -> SquareLength a Source #

times_length :: Num a => Length a -> Length a -> SquareLength a Source #

newtype Length a Source #

Constructors

Meters
Fields meters :: a

Instances

Instances details

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

newtype Mass a Source #

Constructors

Kilograms
Fields kilograms :: a

Instances

Instances details

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

newtype Time a Source #

Constructors

Seconds
Fields seconds :: a

Instances

Instances details

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

newtype Current a Source #

Constructors

Amperes
Fields amperes :: a

Instances

Instances details

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

newtype DegreesFahrenheit a Source #

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

Constructors

DegreesFahrenheit
Fields fahrenheits :: a

Instances

Instances details

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

newtype DegreesRankine a Source #

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

Constructors

DegreesRankine
Fields rankines :: a

Instances

Instances details

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

newtype DegreesTemperature a Source #

Constructors

DegreesCelcius
Fields celciuses :: a

Instances

Instances details

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

newtype Temperature a Source #

Constructors

DegreesKelvin
Fields kelvins :: a

Instances

Instances details

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

isoCelciusToKelvin :: Fractional a => DegreesTemperature a :==: Temperature a Source #

celciusToKelvin :: Fractional a => DegreesTemperature a -> Temperature a Source #

kelvinToCelcius :: Fractional a => Temperature a -> DegreesTemperature a Source #

newtype Substance a Source #

Constructors

Moles
Fields moles :: a

Instances

Instances details

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

newtype Intensity a Source #

Constructors

Candelas
Fields candelas :: a

Instances

Instances details

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

newtype Frequency a Source #

Constructors

Hertzes
Fields hertzes :: a

Instances

Instances details

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

newtype Force a Source #

Constructors

Newtons
Fields newtons :: a

Instances

Instances details

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

newtype Torque a Source #

Constructors

NewtonMeters
Fields newtonmeters :: a

Instances

Instances details

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

newtype Pressure a Source #

Constructors

Pascals
Fields pascals :: a

Instances

Instances details

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

newtype Energy a Source #

Constructors

Joules
Fields joules :: a

Instances

Instances details

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

newtype Power a Source #

Constructors

Watts
Fields watts :: a

Instances

Instances details

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

newtype Charge a Source #

Constructors

Coulombs
Fields coulombs :: a

Instances

Instances details

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

newtype Voltage a Source #

Constructors

Volts
Fields volts :: a

Instances

Instances details

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

newtype Capacitance a Source #

Constructors

Farads
Fields farads :: a

Instances

Instances details

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

newtype Resistance a Source #

Constructors

Ohms
Fields ohms :: a

Instances

Instances details

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

newtype Conductance a Source #

Constructors

Siemenses
Fields siemenses :: a

Instances

Instances details

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

newtype Flux a Source #

Constructors

Webers
Fields webers :: a

Instances

Instances details

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

newtype FluxDensity a Source #

Constructors

Teslas
Fields teslas :: a

Instances

Instances details

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

newtype Inductance a Source #

Constructors

Henrys
Fields henrys :: a

Instances

Instances details

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

newtype LuminousFlux a Source #

Constructors

Lumens
Fields lumens :: a

Instances

Instances details

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

newtype Illuminance a Source #

Constructors

Luxes
Fields luxes :: a

Instances

Instances details

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

newtype Radioactivity a Source #

Constructors

Becquerels
Fields becquerels :: a

Instances

Instances details

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

newtype AbsorbedDose a Source #

Constructors

Grays
Fields grays :: a

Instances

Instances details

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

newtype EquivalentDose a Source #

Constructors

Sieverts
Fields sieverts :: a

Instances

Instances details

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

newtype CatalyticActivity a Source #

Constructors

Katals
Fields katals :: a

Instances

Instances details

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

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 #