Portability | GHC only? |
---|---|
Stability | Stable |
Maintainer | bjorn.buckwalter@gmail.com |
Safe Haskell | None |
Please refer to the literate Haskell code for documentation of both API and implementation.
Documentation
newtype Dimensional v d a Source
Functor Dimensionless | |
Typeable3 Dimensional | |
(Show d, Show a) => Show (Quantity d a) | |
Enum a => Enum (Dimensional v d a) | |
Eq a => Eq (Dimensional v d a) | |
Ord a => Ord (Dimensional v d a) |
type Unit = Dimensional DUnitSource
type Quantity = Dimensional DQuantitySource
(/~) :: Fractional a => Quantity d a -> Unit d a -> aSource
type Dimensionless = Quantity DOneSource
(*) :: Num a => Dimensional v d a -> Dimensional v d' a -> Dimensional v (Mul d d') aSource
(/) :: Fractional a => Dimensional v d a -> Dimensional v d' a -> Dimensional v (Div d d') aSource
(^) :: (Fractional a, NumType n) => Dimensional v d a -> n -> Dimensional v (Pow d n) aSource
(^+) :: (Num a, NumType n) => Dimensional v d a -> n -> Dimensional v (Pow d n) aSource
nroot :: (Floating a, NumType n) => n -> Dimensional v d a -> Dimensional v (Root d n) aSource
sqrt :: Floating a => Dimensional v d a -> Dimensional v (Root d Pos2) aSource
cbrt :: Floating a => Dimensional v d a -> Dimensional v (Root d Pos3) aSource
(^/) :: (Floating a, NumType n) => Dimensional v d a -> n -> Dimensional v (Root d n) aSource
dimensionlessLength :: Num a => [Dimensional v d a] -> Dimensionless aSource
exp :: Floating a => Dimensionless a -> Dimensionless aSource
atanh :: Floating a => Dimensionless a -> Dimensionless aSource
acosh :: Floating a => Dimensionless a -> Dimensionless aSource
asinh :: Floating a => Dimensionless a -> Dimensionless aSource
tanh :: Floating a => Dimensionless a -> Dimensionless aSource
cosh :: Floating a => Dimensionless a -> Dimensionless aSource
sinh :: Floating a => Dimensionless a -> Dimensionless aSource
atan :: Floating a => Dimensionless a -> Dimensionless aSource
acos :: Floating a => Dimensionless a -> Dimensionless aSource
asin :: Floating a => Dimensionless a -> Dimensionless aSource
tan :: Floating a => Dimensionless a -> Dimensionless aSource
cos :: Floating a => Dimensionless a -> Dimensionless aSource
sin :: Floating a => Dimensionless a -> Dimensionless aSource
log :: Floating a => Dimensionless a -> Dimensionless aSource
(**) :: Floating a => Dimensionless a -> Dimensionless a -> Dimensionless aSource
_1 :: Num a => Dimensionless aSource
_9 :: Num a => Dimensionless aSource
_8 :: Num a => Dimensionless aSource
_7 :: Num a => Dimensionless aSource
_6 :: Num a => Dimensionless aSource
_5 :: Num a => Dimensionless aSource
_4 :: Num a => Dimensionless aSource
_3 :: Num a => Dimensionless aSource
_2 :: Num a => Dimensionless aSource
pi :: Floating a => Dimensionless aSource