Safe Haskell	Trustworthy
Language	Haskell2010

Math.Number.TypeUnits

Synopsis

data DDimension = DDimension {
- dlength_power :: SNat
- dweight_power :: SNat
- dtime_power :: SNat
- dcurrent_power :: SNat
- dtemperature_power :: SNat
- dluminosity_power :: SNat
- dsubstance_power :: SNat
- dcircular_power :: SNat
}
type DDimensionless = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DLength = 'DDimension SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DWeight = 'DDimension 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DTime = 'DDimension 'Ze 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze
type DCurrent = 'DDimension 'Ze 'Ze 'Ze SOne 'Ze 'Ze 'Ze 'Ze
type DTemperature = 'DDimension 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze 'Ze
type DLuminosity = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze
type DSubstance = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze
type DAngle = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze SOne
type DAngularSpeed = 'DDimension 'Ze 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze SOne
type DAngularAcceleration = 'DDimension 'Ze 'Ze ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne
type DSolidAngle = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze STwo
type DSquareLength = 'DDimension STwo 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DCubicLength = 'DDimension SThree 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DVelocity = 'DDimension SOne 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze
type DAcceleration = 'DDimension SOne 'Ze ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze
type DMass = 'DDimension 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DFrequency = 'DDimension 'Ze 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze
type DForce = 'DDimension SOne SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze
type DInductance = 'DDimension STwo SOne ('SNegate STwo) ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze
type DTorque = 'DDimension STwo SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze ('SNegate SOne)
type DPressure = 'DDimension ('SNegate SOne) SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze
type DEnergy = 'DDimension STwo SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze
type DPower = 'DDimension STwo SOne ('SNegate SThree) 'Ze 'Ze 'Ze 'Ze 'Ze
type DCharge = 'DDimension 'Ze 'Ze SOne SOne 'Ze 'Ze 'Ze 'Ze
type DVoltage = 'DDimension STwo SOne ('SNegate SThree) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze
type DCapacitance = 'DDimension ('SNegate STwo) ('SNegate SOne) SFour STwo 'Ze 'Ze 'Ze 'Ze
type DResistance = 'DDimension STwo SOne ('SNegate SThree) ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze
type DConductance = 'DDimension ('SNegate STwo) ('SNegate SOne) SThree STwo 'Ze 'Ze 'Ze 'Ze
type DFlux = 'DDimension STwo SOne ('SNegate STwo) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze
type DFluxDensity = 'DDimension 'Ze SOne ('SNegate STwo) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze
type DLuminousEnergy = 'DDimension 'Ze 'Ze SOne 'Ze 'Ze SOne 'Ze STwo
type DLuminousIntensity = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze
type DLuminousFlux = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo
type DLuminousExitance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo
type DIlluminance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo
type DLuminance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze
type DRadioactivity = 'DDimension 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DAbsorbedDose = 'DDimension STwo ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze
type DEquivalentDose = 'DDimension ('SNegate STwo) ('SNegate SOne) SThree STwo 'Ze 'Ze 'Ze 'Ze
type DCatalyticActivity = 'DDimension 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze SOne 'Ze
type family DimensionPower (a :: DDimension) (n :: Nat) :: DDimension
type family DimensionNegativePower (a :: DDimension) (n :: Nat) :: DDimension
type family DimensionInverse (a :: DDimension) :: DDimension
type family DimensionPlus (a :: DDimension) (b :: DDimension) :: DDimension
type family DimensionMinus (a :: DDimension) (b :: DDimension) :: DDimension
unit_multiply :: (Scalar (DUnit (DimensionPlus u u')) ~ Double, Scalar (DUnit u) ~ Double, Scalar (DUnit u') ~ Double, Unit (DUnit u), Unit (DUnit u'), LiteralUnit (DUnit (DimensionPlus u u'))) => DUnit u -> DUnit u' -> DUnit (DimensionPlus u u')
unit_divide :: (Scalar (DUnit (DimensionMinus u u')) ~ Double, Scalar (DUnit u) ~ Double, Scalar (DUnit u') ~ Double, Unit (DUnit u), Unit (DUnit u'), LiteralUnit (DUnit (DimensionMinus u u'))) => DUnit u -> DUnit u' -> DUnit (DimensionMinus u u')
half_circle_angle :: DUnit DAngle
full_circle_angle :: DUnit DAngle
type family a :#: (dim :: [DDimension])
type family a :/: (dim :: [DDimension])
type family (a :: [k]) :++ (b :: [k]) :: [k]
data family DUnit (u :: DDimension)

Documentation

data DDimension Source #

Constructors

DDimension
Fields dlength_power :: SNat dweight_power :: SNat dtime_power :: SNat dcurrent_power :: SNat dtemperature_power :: SNat dluminosity_power :: SNat dsubstance_power :: SNat dcircular_power :: SNat

Instances

Instances details

type Double :#: ('[] :: [DDimension]) Source #
Instance details Defined in Math.Number.TypeUnits type Double :#: ('[] :: [DDimension]) = DUnit DDimensionless
type a :/: ('[] :: [DDimension]) Source #
Instance details Defined in Math.Number.TypeUnits type a :/: ('[] :: [DDimension]) = a
type Double :#: '[a] Source #
Instance details Defined in Math.Number.TypeUnits type Double :#: '[a] = DUnit a
type d :#: (a ': (b ': cr)) Source #
Instance details Defined in Math.Number.TypeUnits type d :#: (a ': (b ': cr)) = d :#: (DimensionPlus a b ': cr)
type a :/: (b ': (c ': cr)) Source #
Instance details Defined in Math.Number.TypeUnits type a :/: (b ': (c ': cr)) = a :/: (DimensionPlus b c ': cr)
type (DUnit a) :/: '[b] Source #
Instance details Defined in Math.Number.TypeUnits type (DUnit a) :/: '[b] = DUnit (DimensionMinus a b)

type DDimensionless = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DLength = 'DDimension SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DWeight = 'DDimension 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DTime = 'DDimension 'Ze 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DCurrent = 'DDimension 'Ze 'Ze 'Ze SOne 'Ze 'Ze 'Ze 'Ze Source #

type DTemperature = 'DDimension 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze 'Ze Source #

type DLuminosity = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze Source #

type DSubstance = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze Source #

type DAngle = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze SOne Source #

type DAngularSpeed = 'DDimension 'Ze 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze SOne Source #

type DAngularAcceleration = 'DDimension 'Ze 'Ze ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne Source #

type DSolidAngle = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze STwo Source #

type DSquareLength = 'DDimension STwo 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DCubicLength = 'DDimension SThree 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DVelocity = 'DDimension SOne 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DAcceleration = 'DDimension SOne 'Ze ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DMass = 'DDimension 'Ze SOne 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DFrequency = 'DDimension 'Ze 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DForce = 'DDimension SOne SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DInductance = 'DDimension STwo SOne ('SNegate STwo) ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze Source #

type DTorque = 'DDimension STwo SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze ('SNegate SOne) Source #

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

type DPressure = 'DDimension ('SNegate SOne) SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DEnergy = 'DDimension STwo SOne ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DPower = 'DDimension STwo SOne ('SNegate SThree) 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DCharge = 'DDimension 'Ze 'Ze SOne SOne 'Ze 'Ze 'Ze 'Ze Source #

type DVoltage = 'DDimension STwo SOne ('SNegate SThree) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze Source #

type DCapacitance = 'DDimension ('SNegate STwo) ('SNegate SOne) SFour STwo 'Ze 'Ze 'Ze 'Ze Source #

type DResistance = 'DDimension STwo SOne ('SNegate SThree) ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze Source #

type DConductance = 'DDimension ('SNegate STwo) ('SNegate SOne) SThree STwo 'Ze 'Ze 'Ze 'Ze Source #

type DFlux = 'DDimension STwo SOne ('SNegate STwo) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze Source #

type DFluxDensity = 'DDimension 'Ze SOne ('SNegate STwo) ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze Source #

type DLuminousEnergy = 'DDimension 'Ze 'Ze SOne 'Ze 'Ze SOne 'Ze STwo Source #

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

type DLuminousIntensity = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze Source #

type DLuminousFlux = 'DDimension 'Ze 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo Source #

type DLuminousExitance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo Source #

type DIlluminance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze STwo Source #

type DLuminance = 'DDimension ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze SOne 'Ze 'Ze Source #

type DRadioactivity = 'DDimension 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DAbsorbedDose = 'DDimension STwo ('SNegate STwo) 'Ze 'Ze 'Ze 'Ze 'Ze 'Ze Source #

type DEquivalentDose = 'DDimension ('SNegate STwo) ('SNegate SOne) SThree STwo 'Ze 'Ze 'Ze 'Ze Source #

type DCatalyticActivity = 'DDimension 'Ze ('SNegate SOne) 'Ze 'Ze 'Ze 'Ze SOne 'Ze Source #

type family DimensionPower (a :: DDimension) (n :: Nat) :: DDimension Source #

Instances

Instances details

type DimensionPower a 0 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 0 = DDimensionless
type DimensionPower a 1 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 1 = a
type DimensionPower a 2 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 2 = DimensionPlus a a
type DimensionPower a 3 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 3 = DimensionPlus a (DimensionPower a 2)
type DimensionPower a 4 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 4 = DimensionPlus a (DimensionPower a 3)
type DimensionPower a 5 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 5 = DimensionPlus a (DimensionPower a 4)
type DimensionPower a 6 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 6 = DimensionPlus a (DimensionPower a 5)
type DimensionPower a 7 Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPower a 7 = DimensionPlus a (DimensionPower a 6)

type family DimensionNegativePower (a :: DDimension) (n :: Nat) :: DDimension Source #

Instances

Instances details

type DimensionNegativePower a n Source #
Instance details Defined in Math.Number.TypeUnits type DimensionNegativePower a n = DimensionInverse (DimensionPower a n)

type family DimensionInverse (a :: DDimension) :: DDimension Source #

Instances

Instances details

type DimensionInverse a Source #
Instance details Defined in Math.Number.TypeUnits type DimensionInverse a = DimensionMinus DDimensionless a

type family DimensionPlus (a :: DDimension) (b :: DDimension) :: DDimension Source #

Instances

Instances details

type DimensionPlus ('DDimension a1 a2 a3 a4 a5 a6 a7 a8) ('DDimension b1 b2 b3 b4 b5 b6 b7 b8) Source #
Instance details Defined in Math.Number.TypeUnits type DimensionPlus ('DDimension a1 a2 a3 a4 a5 a6 a7 a8) ('DDimension b1 b2 b3 b4 b5 b6 b7 b8) = 'DDimension (SPlus a1 b1) (SPlus a2 b2) (SPlus a3 b3) (SPlus a4 b4) (SPlus a5 b5) (SPlus a6 b6) (SPlus a7 b7) (SPlus a8 b8)

type family DimensionMinus (a :: DDimension) (b :: DDimension) :: DDimension Source #

Instances

Instances details

type DimensionMinus ('DDimension a1 a2 a3 a4 a5 a6 a7 a8) ('DDimension b1 b2 b3 b4 b5 b6 b7 b8) Source #
Instance details Defined in Math.Number.TypeUnits type DimensionMinus ('DDimension a1 a2 a3 a4 a5 a6 a7 a8) ('DDimension b1 b2 b3 b4 b5 b6 b7 b8) = 'DDimension (SMinus a1 b1) (SMinus a2 b2) (SMinus a3 b3) (SMinus a4 b4) (SMinus a5 b5) (SMinus a6 b6) (SMinus a7 b7) (SMinus a8 b8)

unit_multiply :: (Scalar (DUnit (DimensionPlus u u')) ~ Double, Scalar (DUnit u) ~ Double, Scalar (DUnit u') ~ Double, Unit (DUnit u), Unit (DUnit u'), LiteralUnit (DUnit (DimensionPlus u u'))) => DUnit u -> DUnit u' -> DUnit (DimensionPlus u u') Source #

unit_divide :: (Scalar (DUnit (DimensionMinus u u')) ~ Double, Scalar (DUnit u) ~ Double, Scalar (DUnit u') ~ Double, Unit (DUnit u), Unit (DUnit u'), LiteralUnit (DUnit (DimensionMinus u u'))) => DUnit u -> DUnit u' -> DUnit (DimensionMinus u u') Source #

half_circle_angle :: DUnit DAngle Source #

full_circle_angle :: DUnit DAngle Source #

type family a :#: (dim :: [DDimension]) Source #

Instances

Instances details

type Double :#: ('[] :: [DDimension]) Source #
Instance details Defined in Math.Number.TypeUnits type Double :#: ('[] :: [DDimension]) = DUnit DDimensionless
type Double :#: '[a] Source #
Instance details Defined in Math.Number.TypeUnits type Double :#: '[a] = DUnit a
type d :#: (a ': (b ': cr)) Source #
Instance details Defined in Math.Number.TypeUnits type d :#: (a ': (b ': cr)) = d :#: (DimensionPlus a b ': cr)

type family a :/: (dim :: [DDimension]) Source #

Instances

Instances details

type a :/: ('[] :: [DDimension]) Source #
Instance details Defined in Math.Number.TypeUnits type a :/: ('[] :: [DDimension]) = a
type a :/: (b ': (c ': cr)) Source #
Instance details Defined in Math.Number.TypeUnits type a :/: (b ': (c ': cr)) = a :/: (DimensionPlus b c ': cr)
type (DUnit a) :/: '[b] Source #
Instance details Defined in Math.Number.TypeUnits type (DUnit a) :/: '[b] = DUnit (DimensionMinus a b)

type family (a :: [k]) :++ (b :: [k]) :: [k] Source #

Instances

Instances details

type ('[] :: [k]) :++ (b :: [k]) Source #
Instance details Defined in Math.Number.TypeUnits type ('[] :: [k]) :++ (b :: [k]) = b
type (a ': ar :: [k]) :++ (b :: [k]) Source #
Instance details Defined in Math.Number.TypeUnits type (a ': ar :: [k]) :++ (b :: [k]) = a ': (ar :++ b)

data family DUnit (u :: DDimension) Source #

Instances

Instances details

Data (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DUnit DDimensionless -> c (DUnit DDimensionless) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DUnit DDimensionless) # toConstr :: DUnit DDimensionless -> Constr # dataTypeOf :: DUnit DDimensionless -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DUnit DDimensionless)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DUnit DDimensionless)) # gmapT :: (forall b. Data b => b -> b) -> DUnit DDimensionless -> DUnit DDimensionless # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DUnit DDimensionless -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DUnit DDimensionless -> r # gmapQ :: (forall d. Data d => d -> u) -> DUnit DDimensionless -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DUnit DDimensionless -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DUnit DDimensionless -> m (DUnit DDimensionless) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DUnit DDimensionless -> m (DUnit DDimensionless) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DUnit DDimensionless -> m (DUnit DDimensionless) #
Generic (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Rep (DUnit DDimensionless) :: Type -> Type # Methods from :: DUnit DDimensionless -> Rep (DUnit DDimensionless) x # to :: Rep (DUnit DDimensionless) x -> DUnit DDimensionless #
Read (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DAbsorbedDose) # readList :: ReadS [DUnit DAbsorbedDose] # readPrec :: ReadPrec (DUnit DAbsorbedDose) # readListPrec :: ReadPrec [DUnit DAbsorbedDose] #
Read (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DAcceleration) # readList :: ReadS [DUnit DAcceleration] # readPrec :: ReadPrec (DUnit DAcceleration) # readListPrec :: ReadPrec [DUnit DAcceleration] #
Read (DUnit DAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DAngle) # readList :: ReadS [DUnit DAngle] # readPrec :: ReadPrec (DUnit DAngle) # readListPrec :: ReadPrec [DUnit DAngle] #
Read (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DCapacitance) # readList :: ReadS [DUnit DCapacitance] # readPrec :: ReadPrec (DUnit DCapacitance) # readListPrec :: ReadPrec [DUnit DCapacitance] #
Read (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DCatalyticActivity) # readList :: ReadS [DUnit DCatalyticActivity] # readPrec :: ReadPrec (DUnit DCatalyticActivity) # readListPrec :: ReadPrec [DUnit DCatalyticActivity] #
Read (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DCharge) # readList :: ReadS [DUnit DCharge] # readPrec :: ReadPrec (DUnit DCharge) # readListPrec :: ReadPrec [DUnit DCharge] #
Read (DUnit DConductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DConductance) # readList :: ReadS [DUnit DConductance] # readPrec :: ReadPrec (DUnit DConductance) # readListPrec :: ReadPrec [DUnit DConductance] #
Read (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DCubicLength) # readList :: ReadS [DUnit DCubicLength] # readPrec :: ReadPrec (DUnit DCubicLength) # readListPrec :: ReadPrec [DUnit DCubicLength] #
Read (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DCurrent) # readList :: ReadS [DUnit DCurrent] # readPrec :: ReadPrec (DUnit DCurrent) # readListPrec :: ReadPrec [DUnit DCurrent] #
Read (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DDimensionless) # readList :: ReadS [DUnit DDimensionless] # readPrec :: ReadPrec (DUnit DDimensionless) # readListPrec :: ReadPrec [DUnit DDimensionless] #
Read (DUnit DEnergy) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DEnergy) # readList :: ReadS [DUnit DEnergy] # readPrec :: ReadPrec (DUnit DEnergy) # readListPrec :: ReadPrec [DUnit DEnergy] #
Read (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DFlux) # readList :: ReadS [DUnit DFlux] # readPrec :: ReadPrec (DUnit DFlux) # readListPrec :: ReadPrec [DUnit DFlux] #
Read (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DFluxDensity) # readList :: ReadS [DUnit DFluxDensity] # readPrec :: ReadPrec (DUnit DFluxDensity) # readListPrec :: ReadPrec [DUnit DFluxDensity] #
Read (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DForce) # readList :: ReadS [DUnit DForce] # readPrec :: ReadPrec (DUnit DForce) # readListPrec :: ReadPrec [DUnit DForce] #
Read (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DFrequency) # readList :: ReadS [DUnit DFrequency] # readPrec :: ReadPrec (DUnit DFrequency) # readListPrec :: ReadPrec [DUnit DFrequency] #
Read (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DIlluminance) # readList :: ReadS [DUnit DIlluminance] # readPrec :: ReadPrec (DUnit DIlluminance) # readListPrec :: ReadPrec [DUnit DIlluminance] #
Read (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DInductance) # readList :: ReadS [DUnit DInductance] # readPrec :: ReadPrec (DUnit DInductance) # readListPrec :: ReadPrec [DUnit DInductance] #
Read (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DLength) # readList :: ReadS [DUnit DLength] # readPrec :: ReadPrec (DUnit DLength) # readListPrec :: ReadPrec [DUnit DLength] #
Read (DUnit DLuminosity) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DLuminosity) # readList :: ReadS [DUnit DLuminosity] # readPrec :: ReadPrec (DUnit DLuminosity) # readListPrec :: ReadPrec [DUnit DLuminosity] #
Read (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DMass) # readList :: ReadS [DUnit DMass] # readPrec :: ReadPrec (DUnit DMass) # readListPrec :: ReadPrec [DUnit DMass] #
Read (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DPower) # readList :: ReadS [DUnit DPower] # readPrec :: ReadPrec (DUnit DPower) # readListPrec :: ReadPrec [DUnit DPower] #
Read (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DPressure) # readList :: ReadS [DUnit DPressure] # readPrec :: ReadPrec (DUnit DPressure) # readListPrec :: ReadPrec [DUnit DPressure] #
Read (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DRadioactivity) # readList :: ReadS [DUnit DRadioactivity] # readPrec :: ReadPrec (DUnit DRadioactivity) # readListPrec :: ReadPrec [DUnit DRadioactivity] #
Read (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DResistance) # readList :: ReadS [DUnit DResistance] # readPrec :: ReadPrec (DUnit DResistance) # readListPrec :: ReadPrec [DUnit DResistance] #
Read (DUnit DSolidAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DSolidAngle) # readList :: ReadS [DUnit DSolidAngle] # readPrec :: ReadPrec (DUnit DSolidAngle) # readListPrec :: ReadPrec [DUnit DSolidAngle] #
Read (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DSquareLength) # readList :: ReadS [DUnit DSquareLength] # readPrec :: ReadPrec (DUnit DSquareLength) # readListPrec :: ReadPrec [DUnit DSquareLength] #
Read (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DSubstance) # readList :: ReadS [DUnit DSubstance] # readPrec :: ReadPrec (DUnit DSubstance) # readListPrec :: ReadPrec [DUnit DSubstance] #
Read (DUnit DTemperature) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DTemperature) # readList :: ReadS [DUnit DTemperature] # readPrec :: ReadPrec (DUnit DTemperature) # readListPrec :: ReadPrec [DUnit DTemperature] #
Read (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DTime) # readList :: ReadS [DUnit DTime] # readPrec :: ReadPrec (DUnit DTime) # readListPrec :: ReadPrec [DUnit DTime] #
Read (DUnit DTorque) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DTorque) # readList :: ReadS [DUnit DTorque] # readPrec :: ReadPrec (DUnit DTorque) # readListPrec :: ReadPrec [DUnit DTorque] #
Read (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DVelocity) # readList :: ReadS [DUnit DVelocity] # readPrec :: ReadPrec (DUnit DVelocity) # readListPrec :: ReadPrec [DUnit DVelocity] #
Read (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Methods readsPrec :: Int -> ReadS (DUnit DVoltage) # readList :: ReadS [DUnit DVoltage] # readPrec :: ReadPrec (DUnit DVoltage) # readListPrec :: ReadPrec [DUnit DVoltage] #
Show (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DAbsorbedDose -> ShowS # show :: DUnit DAbsorbedDose -> String # showList :: [DUnit DAbsorbedDose] -> ShowS #
Show (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DAcceleration -> ShowS # show :: DUnit DAcceleration -> String # showList :: [DUnit DAcceleration] -> ShowS #
Show (DUnit DAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DAngle -> ShowS # show :: DUnit DAngle -> String # showList :: [DUnit DAngle] -> ShowS #
Show (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DCapacitance -> ShowS # show :: DUnit DCapacitance -> String # showList :: [DUnit DCapacitance] -> ShowS #
Show (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DCatalyticActivity -> ShowS # show :: DUnit DCatalyticActivity -> String # showList :: [DUnit DCatalyticActivity] -> ShowS #
Show (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DCharge -> ShowS # show :: DUnit DCharge -> String # showList :: [DUnit DCharge] -> ShowS #
Show (DUnit DConductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DConductance -> ShowS # show :: DUnit DConductance -> String # showList :: [DUnit DConductance] -> ShowS #
Show (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DCubicLength -> ShowS # show :: DUnit DCubicLength -> String # showList :: [DUnit DCubicLength] -> ShowS #
Show (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DCurrent -> ShowS # show :: DUnit DCurrent -> String # showList :: [DUnit DCurrent] -> ShowS #
Show (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DDimensionless -> ShowS # show :: DUnit DDimensionless -> String # showList :: [DUnit DDimensionless] -> ShowS #
Show (DUnit DEnergy) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DEnergy -> ShowS # show :: DUnit DEnergy -> String # showList :: [DUnit DEnergy] -> ShowS #
Show (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DFlux -> ShowS # show :: DUnit DFlux -> String # showList :: [DUnit DFlux] -> ShowS #
Show (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DFluxDensity -> ShowS # show :: DUnit DFluxDensity -> String # showList :: [DUnit DFluxDensity] -> ShowS #
Show (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DForce -> ShowS # show :: DUnit DForce -> String # showList :: [DUnit DForce] -> ShowS #
Show (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DFrequency -> ShowS # show :: DUnit DFrequency -> String # showList :: [DUnit DFrequency] -> ShowS #
Show (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DIlluminance -> ShowS # show :: DUnit DIlluminance -> String # showList :: [DUnit DIlluminance] -> ShowS #
Show (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DInductance -> ShowS # show :: DUnit DInductance -> String # showList :: [DUnit DInductance] -> ShowS #
Show (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DLength -> ShowS # show :: DUnit DLength -> String # showList :: [DUnit DLength] -> ShowS #
Show (DUnit DLuminosity) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DLuminosity -> ShowS # show :: DUnit DLuminosity -> String # showList :: [DUnit DLuminosity] -> ShowS #
Show (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DMass -> ShowS # show :: DUnit DMass -> String # showList :: [DUnit DMass] -> ShowS #
Show (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DPower -> ShowS # show :: DUnit DPower -> String # showList :: [DUnit DPower] -> ShowS #
Show (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DPressure -> ShowS # show :: DUnit DPressure -> String # showList :: [DUnit DPressure] -> ShowS #
Show (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DRadioactivity -> ShowS # show :: DUnit DRadioactivity -> String # showList :: [DUnit DRadioactivity] -> ShowS #
Show (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DResistance -> ShowS # show :: DUnit DResistance -> String # showList :: [DUnit DResistance] -> ShowS #
Show (DUnit DSolidAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DSolidAngle -> ShowS # show :: DUnit DSolidAngle -> String # showList :: [DUnit DSolidAngle] -> ShowS #
Show (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DSquareLength -> ShowS # show :: DUnit DSquareLength -> String # showList :: [DUnit DSquareLength] -> ShowS #
Show (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DSubstance -> ShowS # show :: DUnit DSubstance -> String # showList :: [DUnit DSubstance] -> ShowS #
Show (DUnit DTemperature) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DTemperature -> ShowS # show :: DUnit DTemperature -> String # showList :: [DUnit DTemperature] -> ShowS #
Show (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DTime -> ShowS # show :: DUnit DTime -> String # showList :: [DUnit DTime] -> ShowS #
Show (DUnit DTorque) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DTorque -> ShowS # show :: DUnit DTorque -> String # showList :: [DUnit DTorque] -> ShowS #
Show (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DVelocity -> ShowS # show :: DUnit DVelocity -> String # showList :: [DUnit DVelocity] -> ShowS #
Show (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Methods showsPrec :: Int -> DUnit DVoltage -> ShowS # show :: DUnit DVoltage -> String # showList :: [DUnit DVoltage] -> ShowS #
VectorSpace (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DAbsorbedDose) Source # Methods vzero :: DUnit DAbsorbedDose Source # vnegate :: DUnit DAbsorbedDose -> DUnit DAbsorbedDose Source # (%+) :: DUnit DAbsorbedDose -> DUnit DAbsorbedDose -> DUnit DAbsorbedDose Source # (%*) :: Scalar (DUnit DAbsorbedDose) -> DUnit DAbsorbedDose -> DUnit DAbsorbedDose Source #
VectorSpace (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DAcceleration) Source # Methods vzero :: DUnit DAcceleration Source # vnegate :: DUnit DAcceleration -> DUnit DAcceleration Source # (%+) :: DUnit DAcceleration -> DUnit DAcceleration -> DUnit DAcceleration Source # (%*) :: Scalar (DUnit DAcceleration) -> DUnit DAcceleration -> DUnit DAcceleration Source #
VectorSpace (DUnit DAngle) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DAngle) Source # Methods vzero :: DUnit DAngle Source # vnegate :: DUnit DAngle -> DUnit DAngle Source # (%+) :: DUnit DAngle -> DUnit DAngle -> DUnit DAngle Source # (%*) :: Scalar (DUnit DAngle) -> DUnit DAngle -> DUnit DAngle Source #
VectorSpace (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DCapacitance) Source # Methods vzero :: DUnit DCapacitance Source # vnegate :: DUnit DCapacitance -> DUnit DCapacitance Source # (%+) :: DUnit DCapacitance -> DUnit DCapacitance -> DUnit DCapacitance Source # (%*) :: Scalar (DUnit DCapacitance) -> DUnit DCapacitance -> DUnit DCapacitance Source #
VectorSpace (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DCatalyticActivity) Source # Methods vzero :: DUnit DCatalyticActivity Source # vnegate :: DUnit DCatalyticActivity -> DUnit DCatalyticActivity Source # (%+) :: DUnit DCatalyticActivity -> DUnit DCatalyticActivity -> DUnit DCatalyticActivity Source # (%*) :: Scalar (DUnit DCatalyticActivity) -> DUnit DCatalyticActivity -> DUnit DCatalyticActivity Source #
VectorSpace (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DCharge) Source # Methods vzero :: DUnit DCharge Source # vnegate :: DUnit DCharge -> DUnit DCharge Source # (%+) :: DUnit DCharge -> DUnit DCharge -> DUnit DCharge Source # (%*) :: Scalar (DUnit DCharge) -> DUnit DCharge -> DUnit DCharge Source #
VectorSpace (DUnit DConductance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DConductance) Source # Methods vzero :: DUnit DConductance Source # vnegate :: DUnit DConductance -> DUnit DConductance Source # (%+) :: DUnit DConductance -> DUnit DConductance -> DUnit DConductance Source # (%*) :: Scalar (DUnit DConductance) -> DUnit DConductance -> DUnit DConductance Source #
VectorSpace (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DCubicLength) Source # Methods vzero :: DUnit DCubicLength Source # vnegate :: DUnit DCubicLength -> DUnit DCubicLength Source # (%+) :: DUnit DCubicLength -> DUnit DCubicLength -> DUnit DCubicLength Source # (%*) :: Scalar (DUnit DCubicLength) -> DUnit DCubicLength -> DUnit DCubicLength Source #
VectorSpace (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DCurrent) Source # Methods vzero :: DUnit DCurrent Source # vnegate :: DUnit DCurrent -> DUnit DCurrent Source # (%+) :: DUnit DCurrent -> DUnit DCurrent -> DUnit DCurrent Source # (%*) :: Scalar (DUnit DCurrent) -> DUnit DCurrent -> DUnit DCurrent Source #
VectorSpace (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DDimensionless) Source # Methods vzero :: DUnit DDimensionless Source # vnegate :: DUnit DDimensionless -> DUnit DDimensionless Source # (%+) :: DUnit DDimensionless -> DUnit DDimensionless -> DUnit DDimensionless Source # (%*) :: Scalar (DUnit DDimensionless) -> DUnit DDimensionless -> DUnit DDimensionless Source #
VectorSpace (DUnit DEnergy) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DEnergy) Source # Methods vzero :: DUnit DEnergy Source # vnegate :: DUnit DEnergy -> DUnit DEnergy Source # (%+) :: DUnit DEnergy -> DUnit DEnergy -> DUnit DEnergy Source # (%*) :: Scalar (DUnit DEnergy) -> DUnit DEnergy -> DUnit DEnergy Source #
VectorSpace (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DFlux) Source # Methods vzero :: DUnit DFlux Source # vnegate :: DUnit DFlux -> DUnit DFlux Source # (%+) :: DUnit DFlux -> DUnit DFlux -> DUnit DFlux Source # (%*) :: Scalar (DUnit DFlux) -> DUnit DFlux -> DUnit DFlux Source #
VectorSpace (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DFluxDensity) Source # Methods vzero :: DUnit DFluxDensity Source # vnegate :: DUnit DFluxDensity -> DUnit DFluxDensity Source # (%+) :: DUnit DFluxDensity -> DUnit DFluxDensity -> DUnit DFluxDensity Source # (%*) :: Scalar (DUnit DFluxDensity) -> DUnit DFluxDensity -> DUnit DFluxDensity Source #
VectorSpace (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DForce) Source # Methods vzero :: DUnit DForce Source # vnegate :: DUnit DForce -> DUnit DForce Source # (%+) :: DUnit DForce -> DUnit DForce -> DUnit DForce Source # (%*) :: Scalar (DUnit DForce) -> DUnit DForce -> DUnit DForce Source #
VectorSpace (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DFrequency) Source # Methods vzero :: DUnit DFrequency Source # vnegate :: DUnit DFrequency -> DUnit DFrequency Source # (%+) :: DUnit DFrequency -> DUnit DFrequency -> DUnit DFrequency Source # (%*) :: Scalar (DUnit DFrequency) -> DUnit DFrequency -> DUnit DFrequency Source #
VectorSpace (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DIlluminance) Source # Methods vzero :: DUnit DIlluminance Source # vnegate :: DUnit DIlluminance -> DUnit DIlluminance Source # (%+) :: DUnit DIlluminance -> DUnit DIlluminance -> DUnit DIlluminance Source # (%*) :: Scalar (DUnit DIlluminance) -> DUnit DIlluminance -> DUnit DIlluminance Source #
VectorSpace (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DInductance) Source # Methods vzero :: DUnit DInductance Source # vnegate :: DUnit DInductance -> DUnit DInductance Source # (%+) :: DUnit DInductance -> DUnit DInductance -> DUnit DInductance Source # (%*) :: Scalar (DUnit DInductance) -> DUnit DInductance -> DUnit DInductance Source #
VectorSpace (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DLength) Source # Methods vzero :: DUnit DLength Source # vnegate :: DUnit DLength -> DUnit DLength Source # (%+) :: DUnit DLength -> DUnit DLength -> DUnit DLength Source # (%*) :: Scalar (DUnit DLength) -> DUnit DLength -> DUnit DLength Source #
VectorSpace (DUnit DLuminosity) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DLuminosity) Source # Methods vzero :: DUnit DLuminosity Source # vnegate :: DUnit DLuminosity -> DUnit DLuminosity Source # (%+) :: DUnit DLuminosity -> DUnit DLuminosity -> DUnit DLuminosity Source # (%*) :: Scalar (DUnit DLuminosity) -> DUnit DLuminosity -> DUnit DLuminosity Source #
VectorSpace (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DMass) Source # Methods vzero :: DUnit DMass Source # vnegate :: DUnit DMass -> DUnit DMass Source # (%+) :: DUnit DMass -> DUnit DMass -> DUnit DMass Source # (%*) :: Scalar (DUnit DMass) -> DUnit DMass -> DUnit DMass Source #
VectorSpace (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DPower) Source # Methods vzero :: DUnit DPower Source # vnegate :: DUnit DPower -> DUnit DPower Source # (%+) :: DUnit DPower -> DUnit DPower -> DUnit DPower Source # (%*) :: Scalar (DUnit DPower) -> DUnit DPower -> DUnit DPower Source #
VectorSpace (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DPressure) Source # Methods vzero :: DUnit DPressure Source # vnegate :: DUnit DPressure -> DUnit DPressure Source # (%+) :: DUnit DPressure -> DUnit DPressure -> DUnit DPressure Source # (%*) :: Scalar (DUnit DPressure) -> DUnit DPressure -> DUnit DPressure Source #
VectorSpace (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DRadioactivity) Source # Methods vzero :: DUnit DRadioactivity Source # vnegate :: DUnit DRadioactivity -> DUnit DRadioactivity Source # (%+) :: DUnit DRadioactivity -> DUnit DRadioactivity -> DUnit DRadioactivity Source # (%*) :: Scalar (DUnit DRadioactivity) -> DUnit DRadioactivity -> DUnit DRadioactivity Source #
VectorSpace (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DResistance) Source # Methods vzero :: DUnit DResistance Source # vnegate :: DUnit DResistance -> DUnit DResistance Source # (%+) :: DUnit DResistance -> DUnit DResistance -> DUnit DResistance Source # (%*) :: Scalar (DUnit DResistance) -> DUnit DResistance -> DUnit DResistance Source #
VectorSpace (DUnit DSolidAngle) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DSolidAngle) Source # Methods vzero :: DUnit DSolidAngle Source # vnegate :: DUnit DSolidAngle -> DUnit DSolidAngle Source # (%+) :: DUnit DSolidAngle -> DUnit DSolidAngle -> DUnit DSolidAngle Source # (%*) :: Scalar (DUnit DSolidAngle) -> DUnit DSolidAngle -> DUnit DSolidAngle Source #
VectorSpace (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DSquareLength) Source # Methods vzero :: DUnit DSquareLength Source # vnegate :: DUnit DSquareLength -> DUnit DSquareLength Source # (%+) :: DUnit DSquareLength -> DUnit DSquareLength -> DUnit DSquareLength Source # (%*) :: Scalar (DUnit DSquareLength) -> DUnit DSquareLength -> DUnit DSquareLength Source #
VectorSpace (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DSubstance) Source # Methods vzero :: DUnit DSubstance Source # vnegate :: DUnit DSubstance -> DUnit DSubstance Source # (%+) :: DUnit DSubstance -> DUnit DSubstance -> DUnit DSubstance Source # (%*) :: Scalar (DUnit DSubstance) -> DUnit DSubstance -> DUnit DSubstance Source #
VectorSpace (DUnit DTemperature) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DTemperature) Source # Methods vzero :: DUnit DTemperature Source # vnegate :: DUnit DTemperature -> DUnit DTemperature Source # (%+) :: DUnit DTemperature -> DUnit DTemperature -> DUnit DTemperature Source # (%*) :: Scalar (DUnit DTemperature) -> DUnit DTemperature -> DUnit DTemperature Source #
VectorSpace (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DTime) Source # Methods vzero :: DUnit DTime Source # vnegate :: DUnit DTime -> DUnit DTime Source # (%+) :: DUnit DTime -> DUnit DTime -> DUnit DTime Source # (%*) :: Scalar (DUnit DTime) -> DUnit DTime -> DUnit DTime Source #
VectorSpace (DUnit DTorque) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DTorque) Source # Methods vzero :: DUnit DTorque Source # vnegate :: DUnit DTorque -> DUnit DTorque Source # (%+) :: DUnit DTorque -> DUnit DTorque -> DUnit DTorque Source # (%*) :: Scalar (DUnit DTorque) -> DUnit DTorque -> DUnit DTorque Source #
VectorSpace (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DVelocity) Source # Methods vzero :: DUnit DVelocity Source # vnegate :: DUnit DVelocity -> DUnit DVelocity Source # (%+) :: DUnit DVelocity -> DUnit DVelocity -> DUnit DVelocity Source # (%*) :: Scalar (DUnit DVelocity) -> DUnit DVelocity -> DUnit DVelocity Source #
VectorSpace (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Associated Types type Scalar (DUnit DVoltage) Source # Methods vzero :: DUnit DVoltage Source # vnegate :: DUnit DVoltage -> DUnit DVoltage Source # (%+) :: DUnit DVoltage -> DUnit DVoltage -> DUnit DVoltage Source # (%*) :: Scalar (DUnit DVoltage) -> DUnit DVoltage -> DUnit DVoltage Source #
LiteralUnit (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DAbsorbedDose) -> DUnit DAbsorbedDose Source # zeroAmount :: (Scalar (DUnit DAbsorbedDose) -> DUnit DAbsorbedDose) -> Scalar (DUnit DAbsorbedDose) Source # conversionFactor :: (Scalar (DUnit DAbsorbedDose) -> DUnit DAbsorbedDose) -> Scalar (DUnit DAbsorbedDose) Source #
LiteralUnit (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DAcceleration) -> DUnit DAcceleration Source # zeroAmount :: (Scalar (DUnit DAcceleration) -> DUnit DAcceleration) -> Scalar (DUnit DAcceleration) Source # conversionFactor :: (Scalar (DUnit DAcceleration) -> DUnit DAcceleration) -> Scalar (DUnit DAcceleration) Source #
LiteralUnit (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DCapacitance) -> DUnit DCapacitance Source # zeroAmount :: (Scalar (DUnit DCapacitance) -> DUnit DCapacitance) -> Scalar (DUnit DCapacitance) Source # conversionFactor :: (Scalar (DUnit DCapacitance) -> DUnit DCapacitance) -> Scalar (DUnit DCapacitance) Source #
LiteralUnit (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DCatalyticActivity) -> DUnit DCatalyticActivity Source # zeroAmount :: (Scalar (DUnit DCatalyticActivity) -> DUnit DCatalyticActivity) -> Scalar (DUnit DCatalyticActivity) Source # conversionFactor :: (Scalar (DUnit DCatalyticActivity) -> DUnit DCatalyticActivity) -> Scalar (DUnit DCatalyticActivity) Source #
LiteralUnit (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DCharge) -> DUnit DCharge Source # zeroAmount :: (Scalar (DUnit DCharge) -> DUnit DCharge) -> Scalar (DUnit DCharge) Source # conversionFactor :: (Scalar (DUnit DCharge) -> DUnit DCharge) -> Scalar (DUnit DCharge) Source #
LiteralUnit (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DCubicLength) -> DUnit DCubicLength Source # zeroAmount :: (Scalar (DUnit DCubicLength) -> DUnit DCubicLength) -> Scalar (DUnit DCubicLength) Source # conversionFactor :: (Scalar (DUnit DCubicLength) -> DUnit DCubicLength) -> Scalar (DUnit DCubicLength) Source #
LiteralUnit (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DCurrent) -> DUnit DCurrent Source # zeroAmount :: (Scalar (DUnit DCurrent) -> DUnit DCurrent) -> Scalar (DUnit DCurrent) Source # conversionFactor :: (Scalar (DUnit DCurrent) -> DUnit DCurrent) -> Scalar (DUnit DCurrent) Source #
LiteralUnit (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DFlux) -> DUnit DFlux Source # zeroAmount :: (Scalar (DUnit DFlux) -> DUnit DFlux) -> Scalar (DUnit DFlux) Source # conversionFactor :: (Scalar (DUnit DFlux) -> DUnit DFlux) -> Scalar (DUnit DFlux) Source #
LiteralUnit (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DFluxDensity) -> DUnit DFluxDensity Source # zeroAmount :: (Scalar (DUnit DFluxDensity) -> DUnit DFluxDensity) -> Scalar (DUnit DFluxDensity) Source # conversionFactor :: (Scalar (DUnit DFluxDensity) -> DUnit DFluxDensity) -> Scalar (DUnit DFluxDensity) Source #
LiteralUnit (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DForce) -> DUnit DForce Source # zeroAmount :: (Scalar (DUnit DForce) -> DUnit DForce) -> Scalar (DUnit DForce) Source # conversionFactor :: (Scalar (DUnit DForce) -> DUnit DForce) -> Scalar (DUnit DForce) Source #
LiteralUnit (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DFrequency) -> DUnit DFrequency Source # zeroAmount :: (Scalar (DUnit DFrequency) -> DUnit DFrequency) -> Scalar (DUnit DFrequency) Source # conversionFactor :: (Scalar (DUnit DFrequency) -> DUnit DFrequency) -> Scalar (DUnit DFrequency) Source #
LiteralUnit (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DIlluminance) -> DUnit DIlluminance Source # zeroAmount :: (Scalar (DUnit DIlluminance) -> DUnit DIlluminance) -> Scalar (DUnit DIlluminance) Source # conversionFactor :: (Scalar (DUnit DIlluminance) -> DUnit DIlluminance) -> Scalar (DUnit DIlluminance) Source #
LiteralUnit (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DInductance) -> DUnit DInductance Source # zeroAmount :: (Scalar (DUnit DInductance) -> DUnit DInductance) -> Scalar (DUnit DInductance) Source # conversionFactor :: (Scalar (DUnit DInductance) -> DUnit DInductance) -> Scalar (DUnit DInductance) Source #
LiteralUnit (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DLength) -> DUnit DLength Source # zeroAmount :: (Scalar (DUnit DLength) -> DUnit DLength) -> Scalar (DUnit DLength) Source # conversionFactor :: (Scalar (DUnit DLength) -> DUnit DLength) -> Scalar (DUnit DLength) Source #
LiteralUnit (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DMass) -> DUnit DMass Source # zeroAmount :: (Scalar (DUnit DMass) -> DUnit DMass) -> Scalar (DUnit DMass) Source # conversionFactor :: (Scalar (DUnit DMass) -> DUnit DMass) -> Scalar (DUnit DMass) Source #
LiteralUnit (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DPower) -> DUnit DPower Source # zeroAmount :: (Scalar (DUnit DPower) -> DUnit DPower) -> Scalar (DUnit DPower) Source # conversionFactor :: (Scalar (DUnit DPower) -> DUnit DPower) -> Scalar (DUnit DPower) Source #
LiteralUnit (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DPressure) -> DUnit DPressure Source # zeroAmount :: (Scalar (DUnit DPressure) -> DUnit DPressure) -> Scalar (DUnit DPressure) Source # conversionFactor :: (Scalar (DUnit DPressure) -> DUnit DPressure) -> Scalar (DUnit DPressure) Source #
LiteralUnit (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DRadioactivity) -> DUnit DRadioactivity Source # zeroAmount :: (Scalar (DUnit DRadioactivity) -> DUnit DRadioactivity) -> Scalar (DUnit DRadioactivity) Source # conversionFactor :: (Scalar (DUnit DRadioactivity) -> DUnit DRadioactivity) -> Scalar (DUnit DRadioactivity) Source #
LiteralUnit (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DResistance) -> DUnit DResistance Source # zeroAmount :: (Scalar (DUnit DResistance) -> DUnit DResistance) -> Scalar (DUnit DResistance) Source # conversionFactor :: (Scalar (DUnit DResistance) -> DUnit DResistance) -> Scalar (DUnit DResistance) Source #
LiteralUnit (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DSquareLength) -> DUnit DSquareLength Source # zeroAmount :: (Scalar (DUnit DSquareLength) -> DUnit DSquareLength) -> Scalar (DUnit DSquareLength) Source # conversionFactor :: (Scalar (DUnit DSquareLength) -> DUnit DSquareLength) -> Scalar (DUnit DSquareLength) Source #
LiteralUnit (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DSubstance) -> DUnit DSubstance Source # zeroAmount :: (Scalar (DUnit DSubstance) -> DUnit DSubstance) -> Scalar (DUnit DSubstance) Source # conversionFactor :: (Scalar (DUnit DSubstance) -> DUnit DSubstance) -> Scalar (DUnit DSubstance) Source #
LiteralUnit (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DTime) -> DUnit DTime Source # zeroAmount :: (Scalar (DUnit DTime) -> DUnit DTime) -> Scalar (DUnit DTime) Source # conversionFactor :: (Scalar (DUnit DTime) -> DUnit DTime) -> Scalar (DUnit DTime) Source #
LiteralUnit (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DVelocity) -> DUnit DVelocity Source # zeroAmount :: (Scalar (DUnit DVelocity) -> DUnit DVelocity) -> Scalar (DUnit DVelocity) Source # conversionFactor :: (Scalar (DUnit DVelocity) -> DUnit DVelocity) -> Scalar (DUnit DVelocity) Source #
LiteralUnit (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Methods fromAmount :: Scalar (DUnit DVoltage) -> DUnit DVoltage Source # zeroAmount :: (Scalar (DUnit DVoltage) -> DUnit DVoltage) -> Scalar (DUnit DVoltage) Source # conversionFactor :: (Scalar (DUnit DVoltage) -> DUnit DVoltage) -> Scalar (DUnit DVoltage) Source #
Unit (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DAbsorbedDose -> Scalar (DUnit DAbsorbedDose) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DAbsorbedDose)) -> m (DUnit DAbsorbedDose) Source # unitOf :: DUnit DAbsorbedDose -> String Source # dimension :: DUnit DAbsorbedDose -> Dimension Source #
Unit (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DAcceleration -> Scalar (DUnit DAcceleration) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DAcceleration)) -> m (DUnit DAcceleration) Source # unitOf :: DUnit DAcceleration -> String Source # dimension :: DUnit DAcceleration -> Dimension Source #
Unit (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DCapacitance -> Scalar (DUnit DCapacitance) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCapacitance)) -> m (DUnit DCapacitance) Source # unitOf :: DUnit DCapacitance -> String Source # dimension :: DUnit DCapacitance -> Dimension Source #
Unit (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DCatalyticActivity -> Scalar (DUnit DCatalyticActivity) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCatalyticActivity)) -> m (DUnit DCatalyticActivity) Source # unitOf :: DUnit DCatalyticActivity -> String Source # dimension :: DUnit DCatalyticActivity -> Dimension Source #
Unit (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DCharge -> Scalar (DUnit DCharge) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCharge)) -> m (DUnit DCharge) Source # unitOf :: DUnit DCharge -> String Source # dimension :: DUnit DCharge -> Dimension Source #
Unit (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DCubicLength -> Scalar (DUnit DCubicLength) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCubicLength)) -> m (DUnit DCubicLength) Source # unitOf :: DUnit DCubicLength -> String Source # dimension :: DUnit DCubicLength -> Dimension Source #
Unit (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DCurrent -> Scalar (DUnit DCurrent) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCurrent)) -> m (DUnit DCurrent) Source # unitOf :: DUnit DCurrent -> String Source # dimension :: DUnit DCurrent -> Dimension Source #
Unit (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DFlux -> Scalar (DUnit DFlux) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFlux)) -> m (DUnit DFlux) Source # unitOf :: DUnit DFlux -> String Source # dimension :: DUnit DFlux -> Dimension Source #
Unit (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DFluxDensity -> Scalar (DUnit DFluxDensity) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFluxDensity)) -> m (DUnit DFluxDensity) Source # unitOf :: DUnit DFluxDensity -> String Source # dimension :: DUnit DFluxDensity -> Dimension Source #
Unit (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DForce -> Scalar (DUnit DForce) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DForce)) -> m (DUnit DForce) Source # unitOf :: DUnit DForce -> String Source # dimension :: DUnit DForce -> Dimension Source #
Unit (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DFrequency -> Scalar (DUnit DFrequency) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFrequency)) -> m (DUnit DFrequency) Source # unitOf :: DUnit DFrequency -> String Source # dimension :: DUnit DFrequency -> Dimension Source #
Unit (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DIlluminance -> Scalar (DUnit DIlluminance) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DIlluminance)) -> m (DUnit DIlluminance) Source # unitOf :: DUnit DIlluminance -> String Source # dimension :: DUnit DIlluminance -> Dimension Source #
Unit (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DInductance -> Scalar (DUnit DInductance) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DInductance)) -> m (DUnit DInductance) Source # unitOf :: DUnit DInductance -> String Source # dimension :: DUnit DInductance -> Dimension Source #
Unit (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DLength -> Scalar (DUnit DLength) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DLength)) -> m (DUnit DLength) Source # unitOf :: DUnit DLength -> String Source # dimension :: DUnit DLength -> Dimension Source #
Unit (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DMass -> Scalar (DUnit DMass) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DMass)) -> m (DUnit DMass) Source # unitOf :: DUnit DMass -> String Source # dimension :: DUnit DMass -> Dimension Source #
Unit (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DPower -> Scalar (DUnit DPower) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DPower)) -> m (DUnit DPower) Source # unitOf :: DUnit DPower -> String Source # dimension :: DUnit DPower -> Dimension Source #
Unit (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DPressure -> Scalar (DUnit DPressure) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DPressure)) -> m (DUnit DPressure) Source # unitOf :: DUnit DPressure -> String Source # dimension :: DUnit DPressure -> Dimension Source #
Unit (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DRadioactivity -> Scalar (DUnit DRadioactivity) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DRadioactivity)) -> m (DUnit DRadioactivity) Source # unitOf :: DUnit DRadioactivity -> String Source # dimension :: DUnit DRadioactivity -> Dimension Source #
Unit (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DResistance -> Scalar (DUnit DResistance) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DResistance)) -> m (DUnit DResistance) Source # unitOf :: DUnit DResistance -> String Source # dimension :: DUnit DResistance -> Dimension Source #
Unit (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DSquareLength -> Scalar (DUnit DSquareLength) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DSquareLength)) -> m (DUnit DSquareLength) Source # unitOf :: DUnit DSquareLength -> String Source # dimension :: DUnit DSquareLength -> Dimension Source #
Unit (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DSubstance -> Scalar (DUnit DSubstance) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DSubstance)) -> m (DUnit DSubstance) Source # unitOf :: DUnit DSubstance -> String Source # dimension :: DUnit DSubstance -> Dimension Source #
Unit (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DTime -> Scalar (DUnit DTime) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DTime)) -> m (DUnit DTime) Source # unitOf :: DUnit DTime -> String Source # dimension :: DUnit DTime -> Dimension Source #
Unit (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DVelocity -> Scalar (DUnit DVelocity) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DVelocity)) -> m (DUnit DVelocity) Source # unitOf :: DUnit DVelocity -> String Source # dimension :: DUnit DVelocity -> Dimension Source #
Unit (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Methods amount :: DUnit DVoltage -> Scalar (DUnit DVoltage) Source # fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DVoltage)) -> m (DUnit DVoltage) Source # unitOf :: DUnit DVoltage -> String Source # dimension :: DUnit DVoltage -> Dimension Source #
Eq (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DAbsorbedDose -> DUnit DAbsorbedDose -> Bool # (/=) :: DUnit DAbsorbedDose -> DUnit DAbsorbedDose -> Bool #
Eq (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DAcceleration -> DUnit DAcceleration -> Bool # (/=) :: DUnit DAcceleration -> DUnit DAcceleration -> Bool #
Eq (DUnit DAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DAngle -> DUnit DAngle -> Bool # (/=) :: DUnit DAngle -> DUnit DAngle -> Bool #
Eq (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DCapacitance -> DUnit DCapacitance -> Bool # (/=) :: DUnit DCapacitance -> DUnit DCapacitance -> Bool #
Eq (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DCatalyticActivity -> DUnit DCatalyticActivity -> Bool # (/=) :: DUnit DCatalyticActivity -> DUnit DCatalyticActivity -> Bool #
Eq (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DCharge -> DUnit DCharge -> Bool # (/=) :: DUnit DCharge -> DUnit DCharge -> Bool #
Eq (DUnit DConductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DConductance -> DUnit DConductance -> Bool # (/=) :: DUnit DConductance -> DUnit DConductance -> Bool #
Eq (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DCubicLength -> DUnit DCubicLength -> Bool # (/=) :: DUnit DCubicLength -> DUnit DCubicLength -> Bool #
Eq (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DCurrent -> DUnit DCurrent -> Bool # (/=) :: DUnit DCurrent -> DUnit DCurrent -> Bool #
Eq (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DDimensionless -> DUnit DDimensionless -> Bool # (/=) :: DUnit DDimensionless -> DUnit DDimensionless -> Bool #
Eq (DUnit DEnergy) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DEnergy -> DUnit DEnergy -> Bool # (/=) :: DUnit DEnergy -> DUnit DEnergy -> Bool #
Eq (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DFlux -> DUnit DFlux -> Bool # (/=) :: DUnit DFlux -> DUnit DFlux -> Bool #
Eq (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DFluxDensity -> DUnit DFluxDensity -> Bool # (/=) :: DUnit DFluxDensity -> DUnit DFluxDensity -> Bool #
Eq (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DForce -> DUnit DForce -> Bool # (/=) :: DUnit DForce -> DUnit DForce -> Bool #
Eq (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DFrequency -> DUnit DFrequency -> Bool # (/=) :: DUnit DFrequency -> DUnit DFrequency -> Bool #
Eq (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DIlluminance -> DUnit DIlluminance -> Bool # (/=) :: DUnit DIlluminance -> DUnit DIlluminance -> Bool #
Eq (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DInductance -> DUnit DInductance -> Bool # (/=) :: DUnit DInductance -> DUnit DInductance -> Bool #
Eq (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DLength -> DUnit DLength -> Bool # (/=) :: DUnit DLength -> DUnit DLength -> Bool #
Eq (DUnit DLuminosity) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DLuminosity -> DUnit DLuminosity -> Bool # (/=) :: DUnit DLuminosity -> DUnit DLuminosity -> Bool #
Eq (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DMass -> DUnit DMass -> Bool # (/=) :: DUnit DMass -> DUnit DMass -> Bool #
Eq (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DPower -> DUnit DPower -> Bool # (/=) :: DUnit DPower -> DUnit DPower -> Bool #
Eq (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DPressure -> DUnit DPressure -> Bool # (/=) :: DUnit DPressure -> DUnit DPressure -> Bool #
Eq (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DRadioactivity -> DUnit DRadioactivity -> Bool # (/=) :: DUnit DRadioactivity -> DUnit DRadioactivity -> Bool #
Eq (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DResistance -> DUnit DResistance -> Bool # (/=) :: DUnit DResistance -> DUnit DResistance -> Bool #
Eq (DUnit DSolidAngle) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DSolidAngle -> DUnit DSolidAngle -> Bool # (/=) :: DUnit DSolidAngle -> DUnit DSolidAngle -> Bool #
Eq (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DSquareLength -> DUnit DSquareLength -> Bool # (/=) :: DUnit DSquareLength -> DUnit DSquareLength -> Bool #
Eq (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DSubstance -> DUnit DSubstance -> Bool # (/=) :: DUnit DSubstance -> DUnit DSubstance -> Bool #
Eq (DUnit DTemperature) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DTemperature -> DUnit DTemperature -> Bool # (/=) :: DUnit DTemperature -> DUnit DTemperature -> Bool #
Eq (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DTime -> DUnit DTime -> Bool # (/=) :: DUnit DTime -> DUnit DTime -> Bool #
Eq (DUnit DTorque) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DTorque -> DUnit DTorque -> Bool # (/=) :: DUnit DTorque -> DUnit DTorque -> Bool #
Eq (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DVelocity -> DUnit DVelocity -> Bool # (/=) :: DUnit DVelocity -> DUnit DVelocity -> Bool #
Eq (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits Methods (==) :: DUnit DVoltage -> DUnit DVoltage -> Bool # (/=) :: DUnit DVoltage -> DUnit DVoltage -> Bool #
newtype DUnit DAbsorbedDose Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DAbsorbedDose = DAbsorbedDose AbsorbedDose
newtype DUnit DAcceleration Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DAcceleration = DAcceleration Acceleration
data DUnit DAngle Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DAngle = DAngle Angle \| DDegreesAngle DegreesAngle \| DAngleZero
newtype DUnit DCapacitance Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DCapacitance = DCapacitance Capacitance
newtype DUnit DCatalyticActivity Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DCatalyticActivity = DCatalyticActivity CatalyticActivity
newtype DUnit DCharge Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DCharge = DCharge Charge
data DUnit DConductance Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DConductance = DConductance Conductance \| DEquivalentDose EquivalentDose \| DZeroConductance
newtype DUnit DCubicLength Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DCubicLength = DCubicLength CubicLength
newtype DUnit DCurrent Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DCurrent = DCurrent Current
data DUnit DDimensionless Source #	DDimensionlessZero is needed to avoid type error in vzero.
Instance details Defined in Math.Number.TypeUnits data DUnit DDimensionless = DDimensionless Dimensionless \| DInformation Information \| DSoundLevel SoundLevel \| DPercentage Percentage \| DDimensionlessZero
data DUnit DEnergy Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DEnergy = DEnergy Energy
newtype DUnit DFlux Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DFlux = DFlux Flux
newtype DUnit DFluxDensity Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DFluxDensity = DFluxDensity FluxDensity
newtype DUnit DForce Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DForce = DForce Force
newtype DUnit DFrequency Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DFrequency = DFrequency Frequency
newtype DUnit DIlluminance Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DIlluminance = DIlluminance Illuminance
newtype DUnit DInductance Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DInductance = DInductance Inductance
newtype DUnit DLength Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DLength = DLength Length
data DUnit DLuminosity Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DLuminosity = DLuminosity Intensity \| DLuminousFlux LuminousFlux \| DZeroLuminosity
newtype DUnit DMass Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DMass = DMass Mass
newtype DUnit DPower Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DPower = DPower Power
newtype DUnit DPressure Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DPressure = DPressure Pressure
newtype DUnit DRadioactivity Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DRadioactivity = DRadioactivity Radioactivity
newtype DUnit DResistance Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DResistance = DResistance Resistance
newtype DUnit DSolidAngle Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DSolidAngle = DSolidAngle SolidAngle
newtype DUnit DSquareLength Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DSquareLength = DSquareLength SquareLength
newtype DUnit DSubstance Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DSubstance = DSubstance Substance
data DUnit DTemperature Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DTemperature = DDegreesFahrenheit DegreesFahrenheit \| DDegreesCelcius DegreesTemperature \| DDegreesKelvin Temperature \| DZeroTemperature
newtype DUnit DTime Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DTime = DTime Time
data DUnit DTorque Source #
Instance details Defined in Math.Number.TypeUnits data DUnit DTorque = DTorque Torque
newtype DUnit DVelocity Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DVelocity = DVelocity Velocity
newtype DUnit DVoltage Source #
Instance details Defined in Math.Number.TypeUnits newtype DUnit DVoltage = DVoltage Voltage
type Rep (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits type Rep (DUnit DDimensionless) = D1 ('MetaData "DUnit" "Math.Number.TypeUnits" "cifl-math-library-1.1.1.0-JEQP78tsA0rJRaFkv5LJVZ" 'False) ((C1 ('MetaCons "DDimensionless" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dimensionless)) :+: C1 ('MetaCons "DInformation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Information))) :+: (C1 ('MetaCons "DSoundLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SoundLevel)) :+: (C1 ('MetaCons "DPercentage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Percentage)) :+: C1 ('MetaCons "DDimensionlessZero" 'PrefixI 'False) (U1 :: Type -> Type))))
type Scalar (DUnit DAbsorbedDose) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DAbsorbedDose) = Scalar AbsorbedDose
type Scalar (DUnit DAcceleration) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DAcceleration) = Scalar Acceleration
type Scalar (DUnit DAngle) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DAngle) = Double
type Scalar (DUnit DCapacitance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DCapacitance) = Scalar Capacitance
type Scalar (DUnit DCatalyticActivity) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DCatalyticActivity) = Scalar CatalyticActivity
type Scalar (DUnit DCharge) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DCharge) = Scalar Charge
type Scalar (DUnit DConductance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DConductance) = Double
type Scalar (DUnit DCubicLength) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DCubicLength) = Scalar CubicLength
type Scalar (DUnit DCurrent) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DCurrent) = Scalar Current
type Scalar (DUnit DDimensionless) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DDimensionless) = Scalar Dimensionless
type Scalar (DUnit DEnergy) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DEnergy) = Double
type Scalar (DUnit DFlux) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DFlux) = Scalar Flux
type Scalar (DUnit DFluxDensity) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DFluxDensity) = Scalar FluxDensity
type Scalar (DUnit DForce) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DForce) = Scalar Force
type Scalar (DUnit DFrequency) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DFrequency) = Scalar Frequency
type Scalar (DUnit DIlluminance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DIlluminance) = Scalar Illuminance
type Scalar (DUnit DInductance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DInductance) = Scalar Inductance
type Scalar (DUnit DLength) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DLength) = Scalar Length
type Scalar (DUnit DLuminosity) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DLuminosity) = Double
type Scalar (DUnit DMass) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DMass) = Scalar Mass
type Scalar (DUnit DPower) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DPower) = Scalar Power
type Scalar (DUnit DPressure) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DPressure) = Scalar Pressure
type Scalar (DUnit DRadioactivity) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DRadioactivity) = Scalar Radioactivity
type Scalar (DUnit DResistance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DResistance) = Scalar Resistance
type Scalar (DUnit DSolidAngle) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DSolidAngle) = Scalar SolidAngle
type Scalar (DUnit DSquareLength) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DSquareLength) = Scalar SquareLength
type Scalar (DUnit DSubstance) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DSubstance) = Scalar Substance
type Scalar (DUnit DTemperature) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DTemperature) = Double
type Scalar (DUnit DTime) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DTime) = Scalar Time
type Scalar (DUnit DTorque) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DTorque) = Double
type Scalar (DUnit DVelocity) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DVelocity) = Scalar Velocity
type Scalar (DUnit DVoltage) Source #
Instance details Defined in Math.Number.TypeUnits type Scalar (DUnit DVoltage) = Scalar Voltage
type (DUnit a) :/: '[b] Source #
Instance details Defined in Math.Number.TypeUnits type (DUnit a) :/: '[b] = DUnit (DimensionMinus a b)