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 | |
(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, atanh, acosh, asinh, tanh, cosh, sinh, atan, acos, asin, tan, cos, sin, log :: Floating a => Dimensionless a -> Dimensionless aSource
(**) :: Floating a => Dimensionless a -> Dimensionless a -> Dimensionless aSource
pi :: Floating a => Dimensionless aSource