Copyright | Copyright (C) 2006-2013 Bjorn Buckwalter |
---|---|
License | BSD3 |
Maintainer | bjorn.buckwalter@gmail.com |
Stability | Experimental |
Portability | GHC only? |
Safe Haskell | None |
Language | Haskell98 |
Please refer to the literate Haskell code for documentation of both API and implementation.
Documentation
(NumType lh, NumType mh, NumType t) => Show (CGSDim lh mh t) | |
(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'') |
ampere :: Floating a => Unit DElectricCurrent 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 :: (Mul Neg2 i it, Mul Pos3 i il, Mul Pos2 m m2, Mul Pos2 l l2, Mul Pos1 i i, Mul Pos1 t t, Mul Zero t Zero, Mul Zero m Zero, Mul Zero l Zero, Sub t' it t, Sub t' t it, Sub m' m2 i, Sub m' i m2, Sub l' il l2, Sub l' l2 il, Sub m2 m2 Zero, Sub l2 l2 Zero, Sub t t Zero, Add m2 Zero m2, Add m2 i m', Add l2 Zero l2, Add l2 il l', Add t it t', Floating a) => 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
f_si :: Dimensional DQuantity (Dim (Pos Zero) (Pos Zero) (Neg (Neg Zero)) Zero Zero Zero Zero) Double Source