cifl-math-library-2.0.0.0: Math libraries
Safe HaskellTrustworthy
LanguageHaskell2010

Math.Number.TypeUnits

Synopsis

Documentation

data DDimension Source #

Constructors

DDimension 

Fields

Instances

Instances details
type s :#: ('[] :: [DDimension]) Source # 
Instance details

Defined in Math.Number.TypeUnits

type s :#: ('[] :: [DDimension]) = DUnit DDimensionless s
type a :/: ('[] :: [DDimension]) Source # 
Instance details

Defined in Math.Number.TypeUnits

type a :/: ('[] :: [DDimension]) = 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 s :#: '[a] Source # 
Instance details

Defined in Math.Number.TypeUnits

type s :#: '[a] = DUnit a s
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 s) :/: '[b] Source # 
Instance details

Defined in Math.Number.TypeUnits

type (DUnit a s) :/: '[b] = DUnit (DimensionMinus a b) s

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') a) ~ Scalar (DUnit u' a), Scalar (DUnit u a) ~ Scalar (DUnit u' a), Unit (DUnit u a), Unit (DUnit u' a), LiteralUnit (DUnit (DimensionPlus u u') a)) => DUnit u a -> DUnit u' a -> DUnit (DimensionPlus u u') a Source #

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

half_circle_angle :: Floating a => DUnit DAngle a Source #

full_circle_angle :: Floating a => DUnit DAngle a Source #

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

Instances

Instances details
type s :#: ('[] :: [DDimension]) Source # 
Instance details

Defined in Math.Number.TypeUnits

type s :#: ('[] :: [DDimension]) = DUnit DDimensionless s
type d :#: (a ': (b ': cr)) Source # 
Instance details

Defined in Math.Number.TypeUnits

type d :#: (a ': (b ': cr)) = d :#: (DimensionPlus a b ': cr)
type s :#: '[a] Source # 
Instance details

Defined in Math.Number.TypeUnits

type s :#: '[a] = DUnit a s

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 s) :/: '[b] Source # 
Instance details

Defined in Math.Number.TypeUnits

type (DUnit a s) :/: '[b] = DUnit (DimensionMinus a b) s

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) a Source #

Instances

Instances details
Data a => Data (DUnit DDimensionless a) 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 a -> c (DUnit DDimensionless a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DUnit DDimensionless a) #

toConstr :: DUnit DDimensionless a -> Constr #

dataTypeOf :: DUnit DDimensionless a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DUnit DDimensionless a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DUnit DDimensionless a)) #

gmapT :: (forall b. Data b => b -> b) -> DUnit DDimensionless a -> DUnit DDimensionless a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DUnit DDimensionless a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DUnit DDimensionless a -> r #

gmapQ :: (forall d. Data d => d -> u) -> DUnit DDimensionless a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DUnit DDimensionless a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DUnit DDimensionless a -> m (DUnit DDimensionless a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DUnit DDimensionless a -> m (DUnit DDimensionless a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DUnit DDimensionless a -> m (DUnit DDimensionless a) #

Generic (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Rep (DUnit DDimensionless a) :: Type -> Type #

Methods

from :: DUnit DDimensionless a -> Rep (DUnit DDimensionless a) x #

to :: Rep (DUnit DDimensionless a) x -> DUnit DDimensionless a #

(Show a, Num a, Read a) => Read (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DAbsorbedDose a) #

readList :: ReadS [DUnit DAbsorbedDose a] #

readPrec :: ReadPrec (DUnit DAbsorbedDose a) #

readListPrec :: ReadPrec [DUnit DAbsorbedDose a] #

(Show a, Num a, Read a) => Read (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DAcceleration a) #

readList :: ReadS [DUnit DAcceleration a] #

readPrec :: ReadPrec (DUnit DAcceleration a) #

readListPrec :: ReadPrec [DUnit DAcceleration a] #

(Floating a, Read a, Show a) => Read (DUnit DAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DAngle a) #

readList :: ReadS [DUnit DAngle a] #

readPrec :: ReadPrec (DUnit DAngle a) #

readListPrec :: ReadPrec [DUnit DAngle a] #

(Show a, Num a, Read a) => Read (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DCapacitance a) #

readList :: ReadS [DUnit DCapacitance a] #

readPrec :: ReadPrec (DUnit DCapacitance a) #

readListPrec :: ReadPrec [DUnit DCapacitance a] #

(Show a, Num a, Read a) => Read (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DCatalyticActivity a) #

readList :: ReadS [DUnit DCatalyticActivity a] #

readPrec :: ReadPrec (DUnit DCatalyticActivity a) #

readListPrec :: ReadPrec [DUnit DCatalyticActivity a] #

(Show a, Num a, Read a) => Read (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DCharge a) #

readList :: ReadS [DUnit DCharge a] #

readPrec :: ReadPrec (DUnit DCharge a) #

readListPrec :: ReadPrec [DUnit DCharge a] #

(Show a, Num a, Read a) => Read (DUnit DConductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DConductance a) #

readList :: ReadS [DUnit DConductance a] #

readPrec :: ReadPrec (DUnit DConductance a) #

readListPrec :: ReadPrec [DUnit DConductance a] #

(Show a, Num a, Read a) => Read (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DCubicLength a) #

readList :: ReadS [DUnit DCubicLength a] #

readPrec :: ReadPrec (DUnit DCubicLength a) #

readListPrec :: ReadPrec [DUnit DCubicLength a] #

(Show a, Num a, Read a) => Read (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DCurrent a) #

readList :: ReadS [DUnit DCurrent a] #

readPrec :: ReadPrec (DUnit DCurrent a) #

readListPrec :: ReadPrec [DUnit DCurrent a] #

(Show a, Read a, Floating a) => Read (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DDimensionless a) #

readList :: ReadS [DUnit DDimensionless a] #

readPrec :: ReadPrec (DUnit DDimensionless a) #

readListPrec :: ReadPrec [DUnit DDimensionless a] #

(Show a, Num a, Read a) => Read (DUnit DEnergy a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DEnergy a) #

readList :: ReadS [DUnit DEnergy a] #

readPrec :: ReadPrec (DUnit DEnergy a) #

readListPrec :: ReadPrec [DUnit DEnergy a] #

(Show a, Num a, Read a) => Read (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DFlux a) #

readList :: ReadS [DUnit DFlux a] #

readPrec :: ReadPrec (DUnit DFlux a) #

readListPrec :: ReadPrec [DUnit DFlux a] #

(Show a, Num a, Read a) => Read (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DFluxDensity a) #

readList :: ReadS [DUnit DFluxDensity a] #

readPrec :: ReadPrec (DUnit DFluxDensity a) #

readListPrec :: ReadPrec [DUnit DFluxDensity a] #

(Show a, Num a, Read a) => Read (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DForce a) #

readList :: ReadS [DUnit DForce a] #

readPrec :: ReadPrec (DUnit DForce a) #

readListPrec :: ReadPrec [DUnit DForce a] #

(Show a, Num a, Read a) => Read (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DFrequency a) #

readList :: ReadS [DUnit DFrequency a] #

readPrec :: ReadPrec (DUnit DFrequency a) #

readListPrec :: ReadPrec [DUnit DFrequency a] #

(Show a, Num a, Read a) => Read (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DIlluminance a) #

readList :: ReadS [DUnit DIlluminance a] #

readPrec :: ReadPrec (DUnit DIlluminance a) #

readListPrec :: ReadPrec [DUnit DIlluminance a] #

(Show a, Num a, Read a) => Read (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DInductance a) #

readList :: ReadS [DUnit DInductance a] #

readPrec :: ReadPrec (DUnit DInductance a) #

readListPrec :: ReadPrec [DUnit DInductance a] #

(Show a, Num a, Read a) => Read (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DLength a) #

readList :: ReadS [DUnit DLength a] #

readPrec :: ReadPrec (DUnit DLength a) #

readListPrec :: ReadPrec [DUnit DLength a] #

(Show a, Num a, Read a) => Read (DUnit DLuminosity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DLuminosity a) #

readList :: ReadS [DUnit DLuminosity a] #

readPrec :: ReadPrec (DUnit DLuminosity a) #

readListPrec :: ReadPrec [DUnit DLuminosity a] #

(Show a, Num a, Read a) => Read (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DMass a) #

readList :: ReadS [DUnit DMass a] #

readPrec :: ReadPrec (DUnit DMass a) #

readListPrec :: ReadPrec [DUnit DMass a] #

(Show a, Num a, Read a) => Read (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DPower a) #

readList :: ReadS [DUnit DPower a] #

readPrec :: ReadPrec (DUnit DPower a) #

readListPrec :: ReadPrec [DUnit DPower a] #

(Show a, Num a, Read a) => Read (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DPressure a) #

readList :: ReadS [DUnit DPressure a] #

readPrec :: ReadPrec (DUnit DPressure a) #

readListPrec :: ReadPrec [DUnit DPressure a] #

(Show a, Num a, Read a) => Read (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DRadioactivity a) #

readList :: ReadS [DUnit DRadioactivity a] #

readPrec :: ReadPrec (DUnit DRadioactivity a) #

readListPrec :: ReadPrec [DUnit DRadioactivity a] #

(Show a, Read a, Num a) => Read (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DResistance a) #

readList :: ReadS [DUnit DResistance a] #

readPrec :: ReadPrec (DUnit DResistance a) #

readListPrec :: ReadPrec [DUnit DResistance a] #

(Show a, Num a, Read a) => Read (DUnit DSolidAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DSolidAngle a) #

readList :: ReadS [DUnit DSolidAngle a] #

readPrec :: ReadPrec (DUnit DSolidAngle a) #

readListPrec :: ReadPrec [DUnit DSolidAngle a] #

(Show a, Num a, Read a) => Read (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DSquareLength a) #

readList :: ReadS [DUnit DSquareLength a] #

readPrec :: ReadPrec (DUnit DSquareLength a) #

readListPrec :: ReadPrec [DUnit DSquareLength a] #

(Show a, Num a, Read a) => Read (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DSubstance a) #

readList :: ReadS [DUnit DSubstance a] #

readPrec :: ReadPrec (DUnit DSubstance a) #

readListPrec :: ReadPrec [DUnit DSubstance a] #

(Show a, Fractional a, Read a) => Read (DUnit DTemperature a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DTemperature a) #

readList :: ReadS [DUnit DTemperature a] #

readPrec :: ReadPrec (DUnit DTemperature a) #

readListPrec :: ReadPrec [DUnit DTemperature a] #

(Show a, Num a, Read a) => Read (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DTime a) #

readList :: ReadS [DUnit DTime a] #

readPrec :: ReadPrec (DUnit DTime a) #

readListPrec :: ReadPrec [DUnit DTime a] #

(Show a, Num a, Read a) => Read (DUnit DTorque a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DTorque a) #

readList :: ReadS [DUnit DTorque a] #

readPrec :: ReadPrec (DUnit DTorque a) #

readListPrec :: ReadPrec [DUnit DTorque a] #

(Show a, Num a, Read a) => Read (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DVelocity a) #

readList :: ReadS [DUnit DVelocity a] #

readPrec :: ReadPrec (DUnit DVelocity a) #

readListPrec :: ReadPrec [DUnit DVelocity a] #

(Show a, Num a, Read a) => Read (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

readsPrec :: Int -> ReadS (DUnit DVoltage a) #

readList :: ReadS [DUnit DVoltage a] #

readPrec :: ReadPrec (DUnit DVoltage a) #

readListPrec :: ReadPrec [DUnit DVoltage a] #

(Num a, Show a) => Show (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DAbsorbedDose a -> ShowS #

show :: DUnit DAbsorbedDose a -> String #

showList :: [DUnit DAbsorbedDose a] -> ShowS #

(Num a, Show a) => Show (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DAcceleration a -> ShowS #

show :: DUnit DAcceleration a -> String #

showList :: [DUnit DAcceleration a] -> ShowS #

(Show a, Floating a) => Show (DUnit DAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DAngle a -> ShowS #

show :: DUnit DAngle a -> String #

showList :: [DUnit DAngle a] -> ShowS #

(Num a, Show a) => Show (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DCapacitance a -> ShowS #

show :: DUnit DCapacitance a -> String #

showList :: [DUnit DCapacitance a] -> ShowS #

(Num a, Show a) => Show (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DCatalyticActivity a -> ShowS #

show :: DUnit DCatalyticActivity a -> String #

showList :: [DUnit DCatalyticActivity a] -> ShowS #

(Num a, Show a) => Show (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DCharge a -> ShowS #

show :: DUnit DCharge a -> String #

showList :: [DUnit DCharge a] -> ShowS #

(Num a, Show a) => Show (DUnit DConductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DConductance a -> ShowS #

show :: DUnit DConductance a -> String #

showList :: [DUnit DConductance a] -> ShowS #

(Num a, Show a) => Show (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DCubicLength a -> ShowS #

show :: DUnit DCubicLength a -> String #

showList :: [DUnit DCubicLength a] -> ShowS #

(Num a, Show a) => Show (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DCurrent a -> ShowS #

show :: DUnit DCurrent a -> String #

showList :: [DUnit DCurrent a] -> ShowS #

(Show a, Floating a) => Show (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DDimensionless a -> ShowS #

show :: DUnit DDimensionless a -> String #

showList :: [DUnit DDimensionless a] -> ShowS #

(Num a, Show a) => Show (DUnit DEnergy a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DEnergy a -> ShowS #

show :: DUnit DEnergy a -> String #

showList :: [DUnit DEnergy a] -> ShowS #

(Num a, Show a) => Show (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DFlux a -> ShowS #

show :: DUnit DFlux a -> String #

showList :: [DUnit DFlux a] -> ShowS #

(Num a, Show a) => Show (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DFluxDensity a -> ShowS #

show :: DUnit DFluxDensity a -> String #

showList :: [DUnit DFluxDensity a] -> ShowS #

(Num a, Show a) => Show (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DForce a -> ShowS #

show :: DUnit DForce a -> String #

showList :: [DUnit DForce a] -> ShowS #

(Num a, Show a) => Show (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DFrequency a -> ShowS #

show :: DUnit DFrequency a -> String #

showList :: [DUnit DFrequency a] -> ShowS #

(Num a, Show a) => Show (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DIlluminance a -> ShowS #

show :: DUnit DIlluminance a -> String #

showList :: [DUnit DIlluminance a] -> ShowS #

(Num a, Show a) => Show (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DInductance a -> ShowS #

show :: DUnit DInductance a -> String #

showList :: [DUnit DInductance a] -> ShowS #

(Num a, Show a) => Show (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DLength a -> ShowS #

show :: DUnit DLength a -> String #

showList :: [DUnit DLength a] -> ShowS #

(Num a, Show a) => Show (DUnit DLuminosity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DLuminosity a -> ShowS #

show :: DUnit DLuminosity a -> String #

showList :: [DUnit DLuminosity a] -> ShowS #

(Num a, Show a) => Show (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DMass a -> ShowS #

show :: DUnit DMass a -> String #

showList :: [DUnit DMass a] -> ShowS #

(Num a, Show a) => Show (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DPower a -> ShowS #

show :: DUnit DPower a -> String #

showList :: [DUnit DPower a] -> ShowS #

(Num a, Show a) => Show (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DPressure a -> ShowS #

show :: DUnit DPressure a -> String #

showList :: [DUnit DPressure a] -> ShowS #

(Num a, Show a) => Show (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DRadioactivity a -> ShowS #

show :: DUnit DRadioactivity a -> String #

showList :: [DUnit DRadioactivity a] -> ShowS #

(Num a, Show a) => Show (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DResistance a -> ShowS #

show :: DUnit DResistance a -> String #

showList :: [DUnit DResistance a] -> ShowS #

(Num a, Show a) => Show (DUnit DSolidAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DSolidAngle a -> ShowS #

show :: DUnit DSolidAngle a -> String #

showList :: [DUnit DSolidAngle a] -> ShowS #

(Num a, Show a) => Show (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DSquareLength a -> ShowS #

show :: DUnit DSquareLength a -> String #

showList :: [DUnit DSquareLength a] -> ShowS #

(Num a, Show a) => Show (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DSubstance a -> ShowS #

show :: DUnit DSubstance a -> String #

showList :: [DUnit DSubstance a] -> ShowS #

(Fractional a, Show a) => Show (DUnit DTemperature a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DTemperature a -> ShowS #

show :: DUnit DTemperature a -> String #

showList :: [DUnit DTemperature a] -> ShowS #

(Num a, Show a) => Show (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DTime a -> ShowS #

show :: DUnit DTime a -> String #

showList :: [DUnit DTime a] -> ShowS #

(Num a, Show a) => Show (DUnit DTorque a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DTorque a -> ShowS #

show :: DUnit DTorque a -> String #

showList :: [DUnit DTorque a] -> ShowS #

(Num a, Show a) => Show (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DVelocity a -> ShowS #

show :: DUnit DVelocity a -> String #

showList :: [DUnit DVelocity a] -> ShowS #

(Num a, Show a) => Show (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

showsPrec :: Int -> DUnit DVoltage a -> ShowS #

show :: DUnit DVoltage a -> String #

showList :: [DUnit DVoltage a] -> ShowS #

Num a => VectorSpace (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DAbsorbedDose a) Source #

Methods

vzero :: DUnit DAbsorbedDose a Source #

vnegate :: DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a Source #

(%+) :: DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a Source #

(%*) :: Scalar (DUnit DAbsorbedDose a) -> DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a Source #

Num a => VectorSpace (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DAcceleration a) Source #

Methods

vzero :: DUnit DAcceleration a Source #

vnegate :: DUnit DAcceleration a -> DUnit DAcceleration a Source #

(%+) :: DUnit DAcceleration a -> DUnit DAcceleration a -> DUnit DAcceleration a Source #

(%*) :: Scalar (DUnit DAcceleration a) -> DUnit DAcceleration a -> DUnit DAcceleration a Source #

Num a => VectorSpace (DUnit DAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DAngle a) Source #

Methods

vzero :: DUnit DAngle a Source #

vnegate :: DUnit DAngle a -> DUnit DAngle a Source #

(%+) :: DUnit DAngle a -> DUnit DAngle a -> DUnit DAngle a Source #

(%*) :: Scalar (DUnit DAngle a) -> DUnit DAngle a -> DUnit DAngle a Source #

Num a => VectorSpace (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DCapacitance a) Source #

Methods

vzero :: DUnit DCapacitance a Source #

vnegate :: DUnit DCapacitance a -> DUnit DCapacitance a Source #

(%+) :: DUnit DCapacitance a -> DUnit DCapacitance a -> DUnit DCapacitance a Source #

(%*) :: Scalar (DUnit DCapacitance a) -> DUnit DCapacitance a -> DUnit DCapacitance a Source #

Num a => VectorSpace (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DCatalyticActivity a) Source #

Methods

vzero :: DUnit DCatalyticActivity a Source #

vnegate :: DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a Source #

(%+) :: DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a Source #

(%*) :: Scalar (DUnit DCatalyticActivity a) -> DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a Source #

Num a => VectorSpace (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DCharge a) Source #

Methods

vzero :: DUnit DCharge a Source #

vnegate :: DUnit DCharge a -> DUnit DCharge a Source #

(%+) :: DUnit DCharge a -> DUnit DCharge a -> DUnit DCharge a Source #

(%*) :: Scalar (DUnit DCharge a) -> DUnit DCharge a -> DUnit DCharge a Source #

Num a => VectorSpace (DUnit DConductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DConductance a) Source #

Methods

vzero :: DUnit DConductance a Source #

vnegate :: DUnit DConductance a -> DUnit DConductance a Source #

(%+) :: DUnit DConductance a -> DUnit DConductance a -> DUnit DConductance a Source #

(%*) :: Scalar (DUnit DConductance a) -> DUnit DConductance a -> DUnit DConductance a Source #

Num a => VectorSpace (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DCubicLength a) Source #

Methods

vzero :: DUnit DCubicLength a Source #

vnegate :: DUnit DCubicLength a -> DUnit DCubicLength a Source #

(%+) :: DUnit DCubicLength a -> DUnit DCubicLength a -> DUnit DCubicLength a Source #

(%*) :: Scalar (DUnit DCubicLength a) -> DUnit DCubicLength a -> DUnit DCubicLength a Source #

Num a => VectorSpace (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DCurrent a) Source #

Methods

vzero :: DUnit DCurrent a Source #

vnegate :: DUnit DCurrent a -> DUnit DCurrent a Source #

(%+) :: DUnit DCurrent a -> DUnit DCurrent a -> DUnit DCurrent a Source #

(%*) :: Scalar (DUnit DCurrent a) -> DUnit DCurrent a -> DUnit DCurrent a Source #

Floating a => VectorSpace (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DDimensionless a) Source #

Methods

vzero :: DUnit DDimensionless a Source #

vnegate :: DUnit DDimensionless a -> DUnit DDimensionless a Source #

(%+) :: DUnit DDimensionless a -> DUnit DDimensionless a -> DUnit DDimensionless a Source #

(%*) :: Scalar (DUnit DDimensionless a) -> DUnit DDimensionless a -> DUnit DDimensionless a Source #

Num a => VectorSpace (DUnit DEnergy a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DEnergy a) Source #

Methods

vzero :: DUnit DEnergy a Source #

vnegate :: DUnit DEnergy a -> DUnit DEnergy a Source #

(%+) :: DUnit DEnergy a -> DUnit DEnergy a -> DUnit DEnergy a Source #

(%*) :: Scalar (DUnit DEnergy a) -> DUnit DEnergy a -> DUnit DEnergy a Source #

Num a => VectorSpace (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DFlux a) Source #

Methods

vzero :: DUnit DFlux a Source #

vnegate :: DUnit DFlux a -> DUnit DFlux a Source #

(%+) :: DUnit DFlux a -> DUnit DFlux a -> DUnit DFlux a Source #

(%*) :: Scalar (DUnit DFlux a) -> DUnit DFlux a -> DUnit DFlux a Source #

Num a => VectorSpace (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DFluxDensity a) Source #

Methods

vzero :: DUnit DFluxDensity a Source #

vnegate :: DUnit DFluxDensity a -> DUnit DFluxDensity a Source #

(%+) :: DUnit DFluxDensity a -> DUnit DFluxDensity a -> DUnit DFluxDensity a Source #

(%*) :: Scalar (DUnit DFluxDensity a) -> DUnit DFluxDensity a -> DUnit DFluxDensity a Source #

Num a => VectorSpace (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DForce a) Source #

Methods

vzero :: DUnit DForce a Source #

vnegate :: DUnit DForce a -> DUnit DForce a Source #

(%+) :: DUnit DForce a -> DUnit DForce a -> DUnit DForce a Source #

(%*) :: Scalar (DUnit DForce a) -> DUnit DForce a -> DUnit DForce a Source #

Num a => VectorSpace (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DFrequency a) Source #

Methods

vzero :: DUnit DFrequency a Source #

vnegate :: DUnit DFrequency a -> DUnit DFrequency a Source #

(%+) :: DUnit DFrequency a -> DUnit DFrequency a -> DUnit DFrequency a Source #

(%*) :: Scalar (DUnit DFrequency a) -> DUnit DFrequency a -> DUnit DFrequency a Source #

Num a => VectorSpace (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DIlluminance a) Source #

Methods

vzero :: DUnit DIlluminance a Source #

vnegate :: DUnit DIlluminance a -> DUnit DIlluminance a Source #

(%+) :: DUnit DIlluminance a -> DUnit DIlluminance a -> DUnit DIlluminance a Source #

(%*) :: Scalar (DUnit DIlluminance a) -> DUnit DIlluminance a -> DUnit DIlluminance a Source #

Num a => VectorSpace (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DInductance a) Source #

Methods

vzero :: DUnit DInductance a Source #

vnegate :: DUnit DInductance a -> DUnit DInductance a Source #

(%+) :: DUnit DInductance a -> DUnit DInductance a -> DUnit DInductance a Source #

(%*) :: Scalar (DUnit DInductance a) -> DUnit DInductance a -> DUnit DInductance a Source #

Num a => VectorSpace (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DLength a) Source #

Methods

vzero :: DUnit DLength a Source #

vnegate :: DUnit DLength a -> DUnit DLength a Source #

(%+) :: DUnit DLength a -> DUnit DLength a -> DUnit DLength a Source #

(%*) :: Scalar (DUnit DLength a) -> DUnit DLength a -> DUnit DLength a Source #

Num a => VectorSpace (DUnit DLuminosity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DLuminosity a) Source #

Methods

vzero :: DUnit DLuminosity a Source #

vnegate :: DUnit DLuminosity a -> DUnit DLuminosity a Source #

(%+) :: DUnit DLuminosity a -> DUnit DLuminosity a -> DUnit DLuminosity a Source #

(%*) :: Scalar (DUnit DLuminosity a) -> DUnit DLuminosity a -> DUnit DLuminosity a Source #

Num a => VectorSpace (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DMass a) Source #

Methods

vzero :: DUnit DMass a Source #

vnegate :: DUnit DMass a -> DUnit DMass a Source #

(%+) :: DUnit DMass a -> DUnit DMass a -> DUnit DMass a Source #

(%*) :: Scalar (DUnit DMass a) -> DUnit DMass a -> DUnit DMass a Source #

Num a => VectorSpace (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DPower a) Source #

Methods

vzero :: DUnit DPower a Source #

vnegate :: DUnit DPower a -> DUnit DPower a Source #

(%+) :: DUnit DPower a -> DUnit DPower a -> DUnit DPower a Source #

(%*) :: Scalar (DUnit DPower a) -> DUnit DPower a -> DUnit DPower a Source #

Num a => VectorSpace (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DPressure a) Source #

Methods

vzero :: DUnit DPressure a Source #

vnegate :: DUnit DPressure a -> DUnit DPressure a Source #

(%+) :: DUnit DPressure a -> DUnit DPressure a -> DUnit DPressure a Source #

(%*) :: Scalar (DUnit DPressure a) -> DUnit DPressure a -> DUnit DPressure a Source #

Num a => VectorSpace (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DRadioactivity a) Source #

Methods

vzero :: DUnit DRadioactivity a Source #

vnegate :: DUnit DRadioactivity a -> DUnit DRadioactivity a Source #

(%+) :: DUnit DRadioactivity a -> DUnit DRadioactivity a -> DUnit DRadioactivity a Source #

(%*) :: Scalar (DUnit DRadioactivity a) -> DUnit DRadioactivity a -> DUnit DRadioactivity a Source #

Num a => VectorSpace (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DResistance a) Source #

Methods

vzero :: DUnit DResistance a Source #

vnegate :: DUnit DResistance a -> DUnit DResistance a Source #

(%+) :: DUnit DResistance a -> DUnit DResistance a -> DUnit DResistance a Source #

(%*) :: Scalar (DUnit DResistance a) -> DUnit DResistance a -> DUnit DResistance a Source #

Num a => VectorSpace (DUnit DSolidAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DSolidAngle a) Source #

Methods

vzero :: DUnit DSolidAngle a Source #

vnegate :: DUnit DSolidAngle a -> DUnit DSolidAngle a Source #

(%+) :: DUnit DSolidAngle a -> DUnit DSolidAngle a -> DUnit DSolidAngle a Source #

(%*) :: Scalar (DUnit DSolidAngle a) -> DUnit DSolidAngle a -> DUnit DSolidAngle a Source #

Num a => VectorSpace (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DSquareLength a) Source #

Methods

vzero :: DUnit DSquareLength a Source #

vnegate :: DUnit DSquareLength a -> DUnit DSquareLength a Source #

(%+) :: DUnit DSquareLength a -> DUnit DSquareLength a -> DUnit DSquareLength a Source #

(%*) :: Scalar (DUnit DSquareLength a) -> DUnit DSquareLength a -> DUnit DSquareLength a Source #

Num a => VectorSpace (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DSubstance a) Source #

Methods

vzero :: DUnit DSubstance a Source #

vnegate :: DUnit DSubstance a -> DUnit DSubstance a Source #

(%+) :: DUnit DSubstance a -> DUnit DSubstance a -> DUnit DSubstance a Source #

(%*) :: Scalar (DUnit DSubstance a) -> DUnit DSubstance a -> DUnit DSubstance a Source #

Num a => VectorSpace (DUnit DTemperature a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DTemperature a) Source #

Methods

vzero :: DUnit DTemperature a Source #

vnegate :: DUnit DTemperature a -> DUnit DTemperature a Source #

(%+) :: DUnit DTemperature a -> DUnit DTemperature a -> DUnit DTemperature a Source #

(%*) :: Scalar (DUnit DTemperature a) -> DUnit DTemperature a -> DUnit DTemperature a Source #

Num a => VectorSpace (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DTime a) Source #

Methods

vzero :: DUnit DTime a Source #

vnegate :: DUnit DTime a -> DUnit DTime a Source #

(%+) :: DUnit DTime a -> DUnit DTime a -> DUnit DTime a Source #

(%*) :: Scalar (DUnit DTime a) -> DUnit DTime a -> DUnit DTime a Source #

Num a => VectorSpace (DUnit DTorque a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DTorque a) Source #

Methods

vzero :: DUnit DTorque a Source #

vnegate :: DUnit DTorque a -> DUnit DTorque a Source #

(%+) :: DUnit DTorque a -> DUnit DTorque a -> DUnit DTorque a Source #

(%*) :: Scalar (DUnit DTorque a) -> DUnit DTorque a -> DUnit DTorque a Source #

Num a => VectorSpace (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DVelocity a) Source #

Methods

vzero :: DUnit DVelocity a Source #

vnegate :: DUnit DVelocity a -> DUnit DVelocity a Source #

(%+) :: DUnit DVelocity a -> DUnit DVelocity a -> DUnit DVelocity a Source #

(%*) :: Scalar (DUnit DVelocity a) -> DUnit DVelocity a -> DUnit DVelocity a Source #

Num a => VectorSpace (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Associated Types

type Scalar (DUnit DVoltage a) Source #

Methods

vzero :: DUnit DVoltage a Source #

vnegate :: DUnit DVoltage a -> DUnit DVoltage a Source #

(%+) :: DUnit DVoltage a -> DUnit DVoltage a -> DUnit DVoltage a Source #

(%*) :: Scalar (DUnit DVoltage a) -> DUnit DVoltage a -> DUnit DVoltage a Source #

(Num a, Show a) => LiteralUnit (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DAbsorbedDose a) -> DUnit DAbsorbedDose a Source #

zeroAmount :: (Scalar (DUnit DAbsorbedDose a) -> DUnit DAbsorbedDose a) -> Scalar (DUnit DAbsorbedDose a) Source #

conversionFactor :: (Scalar (DUnit DAbsorbedDose a) -> DUnit DAbsorbedDose a) -> Scalar (DUnit DAbsorbedDose a) Source #

(Num a, Show a) => LiteralUnit (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DAcceleration a) -> DUnit DAcceleration a Source #

zeroAmount :: (Scalar (DUnit DAcceleration a) -> DUnit DAcceleration a) -> Scalar (DUnit DAcceleration a) Source #

conversionFactor :: (Scalar (DUnit DAcceleration a) -> DUnit DAcceleration a) -> Scalar (DUnit DAcceleration a) Source #

(Num a, Show a) => LiteralUnit (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DCapacitance a) -> DUnit DCapacitance a Source #

zeroAmount :: (Scalar (DUnit DCapacitance a) -> DUnit DCapacitance a) -> Scalar (DUnit DCapacitance a) Source #

conversionFactor :: (Scalar (DUnit DCapacitance a) -> DUnit DCapacitance a) -> Scalar (DUnit DCapacitance a) Source #

(Num a, Show a) => LiteralUnit (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DCatalyticActivity a) -> DUnit DCatalyticActivity a Source #

zeroAmount :: (Scalar (DUnit DCatalyticActivity a) -> DUnit DCatalyticActivity a) -> Scalar (DUnit DCatalyticActivity a) Source #

conversionFactor :: (Scalar (DUnit DCatalyticActivity a) -> DUnit DCatalyticActivity a) -> Scalar (DUnit DCatalyticActivity a) Source #

(Num a, Show a) => LiteralUnit (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DCharge a) -> DUnit DCharge a Source #

zeroAmount :: (Scalar (DUnit DCharge a) -> DUnit DCharge a) -> Scalar (DUnit DCharge a) Source #

conversionFactor :: (Scalar (DUnit DCharge a) -> DUnit DCharge a) -> Scalar (DUnit DCharge a) Source #

(Num a, Show a) => LiteralUnit (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DCubicLength a) -> DUnit DCubicLength a Source #

zeroAmount :: (Scalar (DUnit DCubicLength a) -> DUnit DCubicLength a) -> Scalar (DUnit DCubicLength a) Source #

conversionFactor :: (Scalar (DUnit DCubicLength a) -> DUnit DCubicLength a) -> Scalar (DUnit DCubicLength a) Source #

(Num a, Show a) => LiteralUnit (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DCurrent a) -> DUnit DCurrent a Source #

zeroAmount :: (Scalar (DUnit DCurrent a) -> DUnit DCurrent a) -> Scalar (DUnit DCurrent a) Source #

conversionFactor :: (Scalar (DUnit DCurrent a) -> DUnit DCurrent a) -> Scalar (DUnit DCurrent a) Source #

(Num a, Show a) => LiteralUnit (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DFlux a) -> DUnit DFlux a Source #

zeroAmount :: (Scalar (DUnit DFlux a) -> DUnit DFlux a) -> Scalar (DUnit DFlux a) Source #

conversionFactor :: (Scalar (DUnit DFlux a) -> DUnit DFlux a) -> Scalar (DUnit DFlux a) Source #

(Num a, Show a) => LiteralUnit (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DFluxDensity a) -> DUnit DFluxDensity a Source #

zeroAmount :: (Scalar (DUnit DFluxDensity a) -> DUnit DFluxDensity a) -> Scalar (DUnit DFluxDensity a) Source #

conversionFactor :: (Scalar (DUnit DFluxDensity a) -> DUnit DFluxDensity a) -> Scalar (DUnit DFluxDensity a) Source #

(Num a, Show a) => LiteralUnit (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DForce a) -> DUnit DForce a Source #

zeroAmount :: (Scalar (DUnit DForce a) -> DUnit DForce a) -> Scalar (DUnit DForce a) Source #

conversionFactor :: (Scalar (DUnit DForce a) -> DUnit DForce a) -> Scalar (DUnit DForce a) Source #

(Num a, Show a) => LiteralUnit (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DFrequency a) -> DUnit DFrequency a Source #

zeroAmount :: (Scalar (DUnit DFrequency a) -> DUnit DFrequency a) -> Scalar (DUnit DFrequency a) Source #

conversionFactor :: (Scalar (DUnit DFrequency a) -> DUnit DFrequency a) -> Scalar (DUnit DFrequency a) Source #

(Num a, Show a) => LiteralUnit (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DIlluminance a) -> DUnit DIlluminance a Source #

zeroAmount :: (Scalar (DUnit DIlluminance a) -> DUnit DIlluminance a) -> Scalar (DUnit DIlluminance a) Source #

conversionFactor :: (Scalar (DUnit DIlluminance a) -> DUnit DIlluminance a) -> Scalar (DUnit DIlluminance a) Source #

(Num a, Show a) => LiteralUnit (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DInductance a) -> DUnit DInductance a Source #

zeroAmount :: (Scalar (DUnit DInductance a) -> DUnit DInductance a) -> Scalar (DUnit DInductance a) Source #

conversionFactor :: (Scalar (DUnit DInductance a) -> DUnit DInductance a) -> Scalar (DUnit DInductance a) Source #

(Num a, Show a) => LiteralUnit (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DLength a) -> DUnit DLength a Source #

zeroAmount :: (Scalar (DUnit DLength a) -> DUnit DLength a) -> Scalar (DUnit DLength a) Source #

conversionFactor :: (Scalar (DUnit DLength a) -> DUnit DLength a) -> Scalar (DUnit DLength a) Source #

(Num a, Show a) => LiteralUnit (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DMass a) -> DUnit DMass a Source #

zeroAmount :: (Scalar (DUnit DMass a) -> DUnit DMass a) -> Scalar (DUnit DMass a) Source #

conversionFactor :: (Scalar (DUnit DMass a) -> DUnit DMass a) -> Scalar (DUnit DMass a) Source #

(Num a, Show a) => LiteralUnit (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DPower a) -> DUnit DPower a Source #

zeroAmount :: (Scalar (DUnit DPower a) -> DUnit DPower a) -> Scalar (DUnit DPower a) Source #

conversionFactor :: (Scalar (DUnit DPower a) -> DUnit DPower a) -> Scalar (DUnit DPower a) Source #

(Num a, Show a) => LiteralUnit (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DPressure a) -> DUnit DPressure a Source #

zeroAmount :: (Scalar (DUnit DPressure a) -> DUnit DPressure a) -> Scalar (DUnit DPressure a) Source #

conversionFactor :: (Scalar (DUnit DPressure a) -> DUnit DPressure a) -> Scalar (DUnit DPressure a) Source #

(Num a, Show a) => LiteralUnit (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DRadioactivity a) -> DUnit DRadioactivity a Source #

zeroAmount :: (Scalar (DUnit DRadioactivity a) -> DUnit DRadioactivity a) -> Scalar (DUnit DRadioactivity a) Source #

conversionFactor :: (Scalar (DUnit DRadioactivity a) -> DUnit DRadioactivity a) -> Scalar (DUnit DRadioactivity a) Source #

(Num a, Show a) => LiteralUnit (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DResistance a) -> DUnit DResistance a Source #

zeroAmount :: (Scalar (DUnit DResistance a) -> DUnit DResistance a) -> Scalar (DUnit DResistance a) Source #

conversionFactor :: (Scalar (DUnit DResistance a) -> DUnit DResistance a) -> Scalar (DUnit DResistance a) Source #

(Num a, Show a) => LiteralUnit (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DSquareLength a) -> DUnit DSquareLength a Source #

zeroAmount :: (Scalar (DUnit DSquareLength a) -> DUnit DSquareLength a) -> Scalar (DUnit DSquareLength a) Source #

conversionFactor :: (Scalar (DUnit DSquareLength a) -> DUnit DSquareLength a) -> Scalar (DUnit DSquareLength a) Source #

(Num a, Show a) => LiteralUnit (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DSubstance a) -> DUnit DSubstance a Source #

zeroAmount :: (Scalar (DUnit DSubstance a) -> DUnit DSubstance a) -> Scalar (DUnit DSubstance a) Source #

conversionFactor :: (Scalar (DUnit DSubstance a) -> DUnit DSubstance a) -> Scalar (DUnit DSubstance a) Source #

(Num a, Show a) => LiteralUnit (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DTime a) -> DUnit DTime a Source #

zeroAmount :: (Scalar (DUnit DTime a) -> DUnit DTime a) -> Scalar (DUnit DTime a) Source #

conversionFactor :: (Scalar (DUnit DTime a) -> DUnit DTime a) -> Scalar (DUnit DTime a) Source #

(Num a, Show a) => LiteralUnit (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DVelocity a) -> DUnit DVelocity a Source #

zeroAmount :: (Scalar (DUnit DVelocity a) -> DUnit DVelocity a) -> Scalar (DUnit DVelocity a) Source #

conversionFactor :: (Scalar (DUnit DVelocity a) -> DUnit DVelocity a) -> Scalar (DUnit DVelocity a) Source #

(Num a, Show a) => LiteralUnit (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

fromAmount :: Scalar (DUnit DVoltage a) -> DUnit DVoltage a Source #

zeroAmount :: (Scalar (DUnit DVoltage a) -> DUnit DVoltage a) -> Scalar (DUnit DVoltage a) Source #

conversionFactor :: (Scalar (DUnit DVoltage a) -> DUnit DVoltage a) -> Scalar (DUnit DVoltage a) Source #

(Num a, Show a) => Unit (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DAbsorbedDose a -> Scalar (DUnit DAbsorbedDose a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DAbsorbedDose a)) -> m (DUnit DAbsorbedDose a) Source #

unitOf :: DUnit DAbsorbedDose a -> String Source #

dimension :: DUnit DAbsorbedDose a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DAcceleration a -> Scalar (DUnit DAcceleration a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DAcceleration a)) -> m (DUnit DAcceleration a) Source #

unitOf :: DUnit DAcceleration a -> String Source #

dimension :: DUnit DAcceleration a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DCapacitance a -> Scalar (DUnit DCapacitance a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCapacitance a)) -> m (DUnit DCapacitance a) Source #

unitOf :: DUnit DCapacitance a -> String Source #

dimension :: DUnit DCapacitance a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DCatalyticActivity a -> Scalar (DUnit DCatalyticActivity a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCatalyticActivity a)) -> m (DUnit DCatalyticActivity a) Source #

unitOf :: DUnit DCatalyticActivity a -> String Source #

dimension :: DUnit DCatalyticActivity a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DCharge a -> Scalar (DUnit DCharge a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCharge a)) -> m (DUnit DCharge a) Source #

unitOf :: DUnit DCharge a -> String Source #

dimension :: DUnit DCharge a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DCubicLength a -> Scalar (DUnit DCubicLength a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCubicLength a)) -> m (DUnit DCubicLength a) Source #

unitOf :: DUnit DCubicLength a -> String Source #

dimension :: DUnit DCubicLength a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DCurrent a -> Scalar (DUnit DCurrent a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DCurrent a)) -> m (DUnit DCurrent a) Source #

unitOf :: DUnit DCurrent a -> String Source #

dimension :: DUnit DCurrent a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DFlux a -> Scalar (DUnit DFlux a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFlux a)) -> m (DUnit DFlux a) Source #

unitOf :: DUnit DFlux a -> String Source #

dimension :: DUnit DFlux a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DFluxDensity a -> Scalar (DUnit DFluxDensity a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFluxDensity a)) -> m (DUnit DFluxDensity a) Source #

unitOf :: DUnit DFluxDensity a -> String Source #

dimension :: DUnit DFluxDensity a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DForce a -> Scalar (DUnit DForce a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DForce a)) -> m (DUnit DForce a) Source #

unitOf :: DUnit DForce a -> String Source #

dimension :: DUnit DForce a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DFrequency a -> Scalar (DUnit DFrequency a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DFrequency a)) -> m (DUnit DFrequency a) Source #

unitOf :: DUnit DFrequency a -> String Source #

dimension :: DUnit DFrequency a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DIlluminance a -> Scalar (DUnit DIlluminance a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DIlluminance a)) -> m (DUnit DIlluminance a) Source #

unitOf :: DUnit DIlluminance a -> String Source #

dimension :: DUnit DIlluminance a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DInductance a -> Scalar (DUnit DInductance a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DInductance a)) -> m (DUnit DInductance a) Source #

unitOf :: DUnit DInductance a -> String Source #

dimension :: DUnit DInductance a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DLength a -> Scalar (DUnit DLength a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DLength a)) -> m (DUnit DLength a) Source #

unitOf :: DUnit DLength a -> String Source #

dimension :: DUnit DLength a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DMass a -> Scalar (DUnit DMass a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DMass a)) -> m (DUnit DMass a) Source #

unitOf :: DUnit DMass a -> String Source #

dimension :: DUnit DMass a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DPower a -> Scalar (DUnit DPower a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DPower a)) -> m (DUnit DPower a) Source #

unitOf :: DUnit DPower a -> String Source #

dimension :: DUnit DPower a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DPressure a -> Scalar (DUnit DPressure a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DPressure a)) -> m (DUnit DPressure a) Source #

unitOf :: DUnit DPressure a -> String Source #

dimension :: DUnit DPressure a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DRadioactivity a -> Scalar (DUnit DRadioactivity a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DRadioactivity a)) -> m (DUnit DRadioactivity a) Source #

unitOf :: DUnit DRadioactivity a -> String Source #

dimension :: DUnit DRadioactivity a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DResistance a -> Scalar (DUnit DResistance a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DResistance a)) -> m (DUnit DResistance a) Source #

unitOf :: DUnit DResistance a -> String Source #

dimension :: DUnit DResistance a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DSquareLength a -> Scalar (DUnit DSquareLength a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DSquareLength a)) -> m (DUnit DSquareLength a) Source #

unitOf :: DUnit DSquareLength a -> String Source #

dimension :: DUnit DSquareLength a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DSubstance a -> Scalar (DUnit DSubstance a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DSubstance a)) -> m (DUnit DSubstance a) Source #

unitOf :: DUnit DSubstance a -> String Source #

dimension :: DUnit DSubstance a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DTime a -> Scalar (DUnit DTime a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DTime a)) -> m (DUnit DTime a) Source #

unitOf :: DUnit DTime a -> String Source #

dimension :: DUnit DTime a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DVelocity a -> Scalar (DUnit DVelocity a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DVelocity a)) -> m (DUnit DVelocity a) Source #

unitOf :: DUnit DVelocity a -> String Source #

dimension :: DUnit DVelocity a -> Dimension Source #

(Num a, Show a) => Unit (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

amount :: DUnit DVoltage a -> Scalar (DUnit DVoltage a) Source #

fromQuantity :: (Alternative m, MonadFail m) => Quantity (Scalar (DUnit DVoltage a)) -> m (DUnit DVoltage a) Source #

unitOf :: DUnit DVoltage a -> String Source #

dimension :: DUnit DVoltage a -> Dimension Source #

Eq a => Eq (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a -> Bool #

(/=) :: DUnit DAbsorbedDose a -> DUnit DAbsorbedDose a -> Bool #

Eq a => Eq (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DAcceleration a -> DUnit DAcceleration a -> Bool #

(/=) :: DUnit DAcceleration a -> DUnit DAcceleration a -> Bool #

Eq a => Eq (DUnit DAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DAngle a -> DUnit DAngle a -> Bool #

(/=) :: DUnit DAngle a -> DUnit DAngle a -> Bool #

Eq a => Eq (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DCapacitance a -> DUnit DCapacitance a -> Bool #

(/=) :: DUnit DCapacitance a -> DUnit DCapacitance a -> Bool #

Eq a => Eq (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a -> Bool #

(/=) :: DUnit DCatalyticActivity a -> DUnit DCatalyticActivity a -> Bool #

Eq a => Eq (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DCharge a -> DUnit DCharge a -> Bool #

(/=) :: DUnit DCharge a -> DUnit DCharge a -> Bool #

Eq a => Eq (DUnit DConductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DConductance a -> DUnit DConductance a -> Bool #

(/=) :: DUnit DConductance a -> DUnit DConductance a -> Bool #

Eq a => Eq (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DCubicLength a -> DUnit DCubicLength a -> Bool #

(/=) :: DUnit DCubicLength a -> DUnit DCubicLength a -> Bool #

Eq a => Eq (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DCurrent a -> DUnit DCurrent a -> Bool #

(/=) :: DUnit DCurrent a -> DUnit DCurrent a -> Bool #

Eq a => Eq (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DDimensionless a -> DUnit DDimensionless a -> Bool #

(/=) :: DUnit DDimensionless a -> DUnit DDimensionless a -> Bool #

Eq a => Eq (DUnit DEnergy a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DEnergy a -> DUnit DEnergy a -> Bool #

(/=) :: DUnit DEnergy a -> DUnit DEnergy a -> Bool #

Eq a => Eq (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DFlux a -> DUnit DFlux a -> Bool #

(/=) :: DUnit DFlux a -> DUnit DFlux a -> Bool #

Eq a => Eq (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DFluxDensity a -> DUnit DFluxDensity a -> Bool #

(/=) :: DUnit DFluxDensity a -> DUnit DFluxDensity a -> Bool #

Eq a => Eq (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DForce a -> DUnit DForce a -> Bool #

(/=) :: DUnit DForce a -> DUnit DForce a -> Bool #

Eq a => Eq (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DFrequency a -> DUnit DFrequency a -> Bool #

(/=) :: DUnit DFrequency a -> DUnit DFrequency a -> Bool #

Eq a => Eq (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DIlluminance a -> DUnit DIlluminance a -> Bool #

(/=) :: DUnit DIlluminance a -> DUnit DIlluminance a -> Bool #

Eq a => Eq (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DInductance a -> DUnit DInductance a -> Bool #

(/=) :: DUnit DInductance a -> DUnit DInductance a -> Bool #

Eq a => Eq (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DLength a -> DUnit DLength a -> Bool #

(/=) :: DUnit DLength a -> DUnit DLength a -> Bool #

Eq a => Eq (DUnit DLuminosity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DLuminosity a -> DUnit DLuminosity a -> Bool #

(/=) :: DUnit DLuminosity a -> DUnit DLuminosity a -> Bool #

Eq a => Eq (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DMass a -> DUnit DMass a -> Bool #

(/=) :: DUnit DMass a -> DUnit DMass a -> Bool #

Eq a => Eq (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DPower a -> DUnit DPower a -> Bool #

(/=) :: DUnit DPower a -> DUnit DPower a -> Bool #

Eq a => Eq (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DPressure a -> DUnit DPressure a -> Bool #

(/=) :: DUnit DPressure a -> DUnit DPressure a -> Bool #

Eq a => Eq (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DRadioactivity a -> DUnit DRadioactivity a -> Bool #

(/=) :: DUnit DRadioactivity a -> DUnit DRadioactivity a -> Bool #

Eq a => Eq (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DResistance a -> DUnit DResistance a -> Bool #

(/=) :: DUnit DResistance a -> DUnit DResistance a -> Bool #

Eq a => Eq (DUnit DSolidAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DSolidAngle a -> DUnit DSolidAngle a -> Bool #

(/=) :: DUnit DSolidAngle a -> DUnit DSolidAngle a -> Bool #

Eq a => Eq (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DSquareLength a -> DUnit DSquareLength a -> Bool #

(/=) :: DUnit DSquareLength a -> DUnit DSquareLength a -> Bool #

Eq a => Eq (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DSubstance a -> DUnit DSubstance a -> Bool #

(/=) :: DUnit DSubstance a -> DUnit DSubstance a -> Bool #

Eq a => Eq (DUnit DTemperature a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DTemperature a -> DUnit DTemperature a -> Bool #

(/=) :: DUnit DTemperature a -> DUnit DTemperature a -> Bool #

Eq a => Eq (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DTime a -> DUnit DTime a -> Bool #

(/=) :: DUnit DTime a -> DUnit DTime a -> Bool #

Eq a => Eq (DUnit DTorque a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DTorque a -> DUnit DTorque a -> Bool #

(/=) :: DUnit DTorque a -> DUnit DTorque a -> Bool #

Eq a => Eq (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DVelocity a -> DUnit DVelocity a -> Bool #

(/=) :: DUnit DVelocity a -> DUnit DVelocity a -> Bool #

Eq a => Eq (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

Methods

(==) :: DUnit DVoltage a -> DUnit DVoltage a -> Bool #

(/=) :: DUnit DVoltage a -> DUnit DVoltage a -> Bool #

newtype DUnit DAbsorbedDose a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DAbsorbedDose a = DAbsorbedDose (AbsorbedDose a)
newtype DUnit DAcceleration a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DAcceleration a = DAcceleration (Acceleration a)
data DUnit DAngle a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DAngle a
newtype DUnit DCapacitance a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DCapacitance a = DCapacitance (Capacitance a)
newtype DUnit DCatalyticActivity a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DCatalyticActivity a = DCatalyticActivity (CatalyticActivity a)
newtype DUnit DCharge a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DCharge a = DCharge (Charge a)
data DUnit DConductance a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DConductance a
newtype DUnit DCubicLength a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DCubicLength a = DCubicLength (CubicLength a)
newtype DUnit DCurrent a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DCurrent a = DCurrent (Current a)
data DUnit DDimensionless a Source #

DDimensionlessZero is needed to avoid type error in vzero.

Instance details

Defined in Math.Number.TypeUnits

data DUnit DDimensionless a
data DUnit DEnergy a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DEnergy a = DEnergy (Energy a)
newtype DUnit DFlux a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DFlux a = DFlux (Flux a)
newtype DUnit DFluxDensity a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DFluxDensity a = DFluxDensity (FluxDensity a)
newtype DUnit DForce a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DForce a = DForce (Force a)
newtype DUnit DFrequency a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DFrequency a = DFrequency (Frequency a)
newtype DUnit DIlluminance a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DIlluminance a = DIlluminance (Illuminance a)
newtype DUnit DInductance a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DInductance a = DInductance (Inductance a)
newtype DUnit DLength a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DLength a = DLength (Length a)
data DUnit DLuminosity a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DLuminosity a
newtype DUnit DMass a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DMass a = DMass (Mass a)
newtype DUnit DPower a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DPower a = DPower (Power a)
newtype DUnit DPressure a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DPressure a = DPressure (Pressure a)
newtype DUnit DRadioactivity a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DRadioactivity a = DRadioactivity (Radioactivity a)
newtype DUnit DResistance a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DResistance a = DResistance (Resistance a)
newtype DUnit DSolidAngle a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DSolidAngle a = DSolidAngle (SolidAngle a)
newtype DUnit DSquareLength a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DSquareLength a = DSquareLength (SquareLength a)
newtype DUnit DSubstance a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DSubstance a = DSubstance (Substance a)
data DUnit DTemperature a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DTemperature a
newtype DUnit DTime a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DTime a = DTime (Time a)
data DUnit DTorque a Source # 
Instance details

Defined in Math.Number.TypeUnits

data DUnit DTorque a = DTorque (Torque a)
newtype DUnit DVelocity a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DVelocity a = DVelocity (Velocity a)
newtype DUnit DVoltage a Source # 
Instance details

Defined in Math.Number.TypeUnits

newtype DUnit DVoltage a = DVoltage (Voltage a)
type Rep (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Rep (DUnit DDimensionless a) = D1 ('MetaData "DUnit" "Math.Number.TypeUnits" "cifl-math-library-2.0.0.0-K3Wcv1zXOBxvFThQyThI4" 'False) ((C1 ('MetaCons "DDimensionless" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Dimensionless a))) :+: C1 ('MetaCons "DInformation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Information a)))) :+: (C1 ('MetaCons "DSoundLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SoundLevel a))) :+: (C1 ('MetaCons "DPercentage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Percentage a))) :+: C1 ('MetaCons "DDimensionlessZero" 'PrefixI 'False) (U1 :: Type -> Type))))
type Scalar (DUnit DAbsorbedDose a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DAbsorbedDose a) = Scalar (AbsorbedDose a)
type Scalar (DUnit DAcceleration a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DAcceleration a) = Scalar (Acceleration a)
type Scalar (DUnit DAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DAngle a) = a
type Scalar (DUnit DCapacitance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DCapacitance a) = Scalar (Capacitance a)
type Scalar (DUnit DCatalyticActivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DCatalyticActivity a) = Scalar (CatalyticActivity a)
type Scalar (DUnit DCharge a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DCharge a) = Scalar (Charge a)
type Scalar (DUnit DConductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DConductance a) = a
type Scalar (DUnit DCubicLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DCubicLength a) = Scalar (CubicLength a)
type Scalar (DUnit DCurrent a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DCurrent a) = Scalar (Current a)
type Scalar (DUnit DDimensionless a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DDimensionless a) = Scalar (Dimensionless a)
type Scalar (DUnit DEnergy a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DEnergy a) = a
type Scalar (DUnit DFlux a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DFlux a) = Scalar (Flux a)
type Scalar (DUnit DFluxDensity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DFluxDensity a) = Scalar (FluxDensity a)
type Scalar (DUnit DForce a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DForce a) = Scalar (Force a)
type Scalar (DUnit DFrequency a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DFrequency a) = Scalar (Frequency a)
type Scalar (DUnit DIlluminance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DIlluminance a) = Scalar (Illuminance a)
type Scalar (DUnit DInductance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DInductance a) = Scalar (Inductance a)
type Scalar (DUnit DLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DLength a) = Scalar (Length a)
type Scalar (DUnit DLuminosity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DLuminosity a) = a
type Scalar (DUnit DMass a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DMass a) = Scalar (Mass a)
type Scalar (DUnit DPower a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DPower a) = Scalar (Power a)
type Scalar (DUnit DPressure a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DPressure a) = Scalar (Pressure a)
type Scalar (DUnit DRadioactivity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DRadioactivity a) = Scalar (Radioactivity a)
type Scalar (DUnit DResistance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DResistance a) = Scalar (Resistance a)
type Scalar (DUnit DSolidAngle a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DSolidAngle a) = Scalar (SolidAngle a)
type Scalar (DUnit DSquareLength a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DSquareLength a) = Scalar (SquareLength a)
type Scalar (DUnit DSubstance a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DSubstance a) = Scalar (Substance a)
type Scalar (DUnit DTemperature a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DTemperature a) = a
type Scalar (DUnit DTime a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DTime a) = Scalar (Time a)
type Scalar (DUnit DTorque a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DTorque a) = a
type Scalar (DUnit DVelocity a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DVelocity a) = Scalar (Velocity a)
type Scalar (DUnit DVoltage a) Source # 
Instance details

Defined in Math.Number.TypeUnits

type Scalar (DUnit DVoltage a) = Scalar (Voltage a)
type (DUnit a s) :/: '[b] Source # 
Instance details

Defined in Math.Number.TypeUnits

type (DUnit a s) :/: '[b] = DUnit (DimensionMinus a b) s