Numeric.Units.Dimensional.CGS

Description

Please refer to the literate Haskell code for documentation of both API and implementation.

Documentation

data CGSDim lh mh t

Instances

(Div lh x lh', Div mh x mh', Div t x t') => Root (CGSDim lh mh t) x (CGSDim lh' mh' t')

(Mul lh x lh', Mul mh x mh', Mul t x t') => Pow (CGSDim lh mh t) x (CGSDim lh' mh' t')

(Sum lh lh' lh'', Sum mh mh' mh'', Sum t t' t'') => Div (CGSDim lh'' mh'' t'') (CGSDim lh' mh' t') (CGSDim lh mh t)

(Sum lh lh' lh'', Sum mh mh' mh'', Sum t t' t'') => Mul (CGSDim lh mh t) (CGSDim lh' mh' t') (CGSDim lh'' mh'' t'')

type DLength = CGSDim Pos2 Zero Zero

type DMass = CGSDim Zero Pos2 Zero

type DTime = CGSDim Zero Zero Pos1

type DElectricCurrent = CGSDim Pos3 Pos1 Neg2

type DCharge = CGSDim Pos3 Pos1 Neg1

meter :: Num a => Unit DLength a

gram :: Num a => Unit DMass a

second :: Num a => Unit DTime a

ampere :: Floating a => Unit DElectricCurrent a

franklin :: Floating a => Unit DCharge a

unit_SI :: Num a => Quantity (Dim l m t i th n j) a -> Unit (Dim l m t i th n j) a

unit_CGS :: forall a l m t i l2 m2 il it l' m' t'. (Floating a, Mul Zero l Zero, Mul Pos2 l l2, Mul Zero m Zero, Mul Pos2 m m2, Mul Zero t Zero, Mul Pos1 t t, Sum l2 Zero l2, Sum Zero m2 m2, Sum m2 Zero m2, Sum Zero t t, Mul Pos3 i il, Mul Pos1 i i, Mul Neg2 i it, Sum l2 il l', Sum m2 i m', Sum t it t') => Quantity (Dim l m t i Zero Zero Zero) a -> Unit (CGSDim l' m' t') a

toSI :: forall a l m t i l2 m2 il it l' m' t'. (Floating a, Mul Zero l Zero, Mul Pos2 l l2, Mul Zero m Zero, Mul Pos2 m m2, Mul Zero t Zero, Mul Pos1 t t, Sum l2 Zero l2, Sum Zero m2 m2, Sum m2 Zero m2, Sum Zero t t, Mul Pos3 i il, Mul Pos1 i i, Mul Neg2 i it, Sum l2 il l', Sum m2 i m', Sum t it t') => Quantity (CGSDim l' m' t') a -> Quantity (Dim l m t i Zero Zero Zero) a

Produced by Haddock version 2.4.2