Documentation

data CGSDim lh mh t Source

type DLength = CGSDim Pos2 Zero Zero Source

type DMass = CGSDim Zero Pos2 Zero Source

type DTime = CGSDim Zero Zero Pos1 Source

type DElectricCurrent = CGSDim Pos3 Pos1 Neg2 Source

type DCharge = CGSDim Pos3 Pos1 Neg1 Source

meter :: Num a => Unit DLength a Source

gram :: Num a => Unit DMass a Source

second :: Num a => Unit DTime a Source

ampere :: Floating a => Unit DElectricCurrent a Source

franklin :: Floating a => Unit DCharge a Source

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

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 Source

fromSI :: (Floating a, Add t it t', Add l2 il l', Add l2 Zero l2, Add m2 i m', Add m2 Zero m2, Sub t t Zero, Sub l2 l2 Zero, Sub m2 m2 Zero, Sub l' l2 il, Sub l' il l2, Sub m' i m2, Sub m' m2 i, Sub t' t it, Sub t' it t, Mul Zero l Zero, Mul Zero m Zero, Mul Zero t Zero, Mul Pos1 t t, Mul Pos1 i i, Mul Pos2 l l2, Mul Pos2 m m2, Mul Pos3 i il, Mul Neg2 i it) => Quantity (Dim l m t i Zero Zero Zero) a -> Quantity (CGSDim l' m' t') a Source

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 Source

q_si :: Quantity DElectricCharge Double Source

r_si :: Quantity DLength Double Source

f_si :: Dimensional DQuantity (Dim (Pos Zero) (Pos Zero) (Neg (Neg Zero)) Zero Zero Zero Zero) Double Source

q_cgs :: Quantity (CGSDim (Pos (Pos (Pos Zero))) Pos1 (Neg Zero)) Double Source

r_cgs :: Quantity (CGSDim (Pos (Pos Zero)) Zero Zero) Double Source

f_cgs :: Dimensional DQuantity (CGSDim (Pos (Pos Zero)) (Pos (Pos Zero)) (Neg (Neg Zero))) Double Source

f_si' :: Force Double Source

c :: Quantity DCapacitance Double Source

c_cgs :: Quantity (CGSDim (Pos (Pos Zero)) Zero Zero) Double Source

c' :: Capacitance Double Source

c'' :: Length Double Source