Copyright	Copyright (C) 2006-2016 Bjorn Buckwalter
License	BSD3
Maintainer	bjorn.buckwalter@gmail.com
Stability	Stable
Portability	GHC only?
Safe Haskell	None
Language	Haskell98

Numeric.Units.Dimensional.TF

Description

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

Documentation

newtype Dimensional v d a Source #

Constructors

Dimensional a

Instances

Functor Dimensionless Source #
Methods fmap :: (a -> b) -> Dimensionless a -> Dimensionless b # (<$) :: a -> Dimensionless b -> Dimensionless a #
(Show d, Show a) => Show (Quantity d a) Source #
Methods showsPrec :: Int -> Quantity d a -> ShowS # show :: Quantity d a -> String # showList :: [Quantity d a] -> ShowS #
Enum a => Enum (Dimensional v d a) Source #
Methods succ :: Dimensional v d a -> Dimensional v d a # pred :: Dimensional v d a -> Dimensional v d a # toEnum :: Int -> Dimensional v d a # fromEnum :: Dimensional v d a -> Int # enumFrom :: Dimensional v d a -> [Dimensional v d a] # enumFromThen :: Dimensional v d a -> Dimensional v d a -> [Dimensional v d a] # enumFromTo :: Dimensional v d a -> Dimensional v d a -> [Dimensional v d a] # enumFromThenTo :: Dimensional v d a -> Dimensional v d a -> Dimensional v d a -> [Dimensional v d a] #
Eq a => Eq (Dimensional v d a) Source #
Methods (==) :: Dimensional v d a -> Dimensional v d a -> Bool # (/=) :: Dimensional v d a -> Dimensional v d a -> Bool #
Ord a => Ord (Dimensional v d a) Source #
Methods compare :: Dimensional v d a -> Dimensional v d a -> Ordering # (<) :: Dimensional v d a -> Dimensional v d a -> Bool # (<=) :: Dimensional v d a -> Dimensional v d a -> Bool # (>) :: Dimensional v d a -> Dimensional v d a -> Bool # (>=) :: Dimensional v d a -> Dimensional v d a -> Bool # max :: Dimensional v d a -> Dimensional v d a -> Dimensional v d a # min :: Dimensional v d a -> Dimensional v d a -> Dimensional v d a #

data DUnit Source #

data DQuantity Source #

Instances

Functor Dimensionless Source #
Methods fmap :: (a -> b) -> Dimensionless a -> Dimensionless b # (<$) :: a -> Dimensionless b -> Dimensionless a #
(Show d, Show a) => Show (Quantity d a) Source #
Methods showsPrec :: Int -> Quantity d a -> ShowS # show :: Quantity d a -> String # showList :: [Quantity d a] -> ShowS #

type Unit = Dimensional DUnit Source #

type Quantity = Dimensional DQuantity Source #

(*~) :: Num a => a -> Unit d a -> Quantity d a infixl 7 Source #

(/~) :: Fractional a => Quantity d a -> Unit d a -> a infixl 7 Source #

data Dim l m t i th n j Source #

Instances

Functor Dimensionless Source #
Methods fmap :: (a -> b) -> Dimensionless a -> Dimensionless b # (<$) :: a -> Dimensionless b -> Dimensionless a #
(NumType l, NumType m, NumType t, NumType i, NumType th, NumType n, NumType j) => Show (Dim l m t i th n j) Source #
Methods showsPrec :: Int -> Dim l m t i th n j -> ShowS # show :: Dim l m t i th n j -> String # showList :: [Dim l m t i th n j] -> ShowS #
type Root (Dim l m t i th n j) x Source #
type Root (Dim l m t i th n j) x = Dim (Div l x) (Div m x) (Div t x) (Div i x) (Div th x) (Div n x) (Div j x)
type Pow (Dim l m t i th n j) x Source #
type Pow (Dim l m t i th n j) x = Dim (Mul l x) (Mul m x) (Mul t x) (Mul i x) (Mul th x) (Mul n x) (Mul j x)
type Div (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') Source #
type Div (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') = Dim (Sub l l') (Sub m m') (Sub t t') (Sub i i') (Sub th th') (Sub n n') (Sub j j')
type Mul (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') Source #
type Mul (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') = Dim (Add l l') (Add m m') (Add t t') (Add i i') (Add th th') (Add n n') (Add j j')

type DOne = Dim Zero Zero Zero Zero Zero Zero Zero Source #

type DLength = Dim Pos1 Zero Zero Zero Zero Zero Zero Source #

type DMass = Dim Zero Pos1 Zero Zero Zero Zero Zero Source #

type DTime = Dim Zero Zero Pos1 Zero Zero Zero Zero Source #

type DElectricCurrent = Dim Zero Zero Zero Pos1 Zero Zero Zero Source #

type DThermodynamicTemperature = Dim Zero Zero Zero Zero Pos1 Zero Zero Source #

type DAmountOfSubstance = Dim Zero Zero Zero Zero Zero Pos1 Zero Source #

type DLuminousIntensity = Dim Zero Zero Zero Zero Zero Zero Pos1 Source #

type Dimensionless = Quantity DOne Source #

type Length = Quantity DLength Source #

type Mass = Quantity DMass Source #

type Time = Quantity DTime Source #

type ElectricCurrent = Quantity DElectricCurrent Source #

type ThermodynamicTemperature = Quantity DThermodynamicTemperature Source #

type AmountOfSubstance = Quantity DAmountOfSubstance Source #

type LuminousIntensity = Quantity DLuminousIntensity Source #

type family Mul a b Source #

Instances

type Mul (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') Source #
type Mul (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') = Dim (Add l l') (Add m m') (Add t t') (Add i i') (Add th th') (Add n n') (Add j j')

type family Div a b Source #

Instances

type Div (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') Source #
type Div (Dim l m t i th n j) (Dim l' m' t' i' th' n' j') = Dim (Sub l l') (Sub m m') (Sub t t') (Sub i i') (Sub th th') (Sub n n') (Sub j j')

type family Pow d x Source #

Instances

type Pow (Dim l m t i th n j) x Source #
type Pow (Dim l m t i th n j) x = Dim (Mul l x) (Mul m x) (Mul t x) (Mul i x) (Mul th x) (Mul n x) (Mul j x)

type family Root d x Source #

Instances

type Root (Dim l m t i th n j) x Source #
type Root (Dim l m t i th n j) x = Dim (Div l x) (Div m x) (Div t x) (Div i x) (Div th x) (Div n x) (Div j x)

(*) :: Num a => Dimensional v d a -> Dimensional v d' a -> Dimensional v (Mul d d') a infixl 7 Source #

(/) :: Fractional a => Dimensional v d a -> Dimensional v d' a -> Dimensional v (Div d d') a infixl 7 Source #

(^) :: (Fractional a, NumType n) => Dimensional v d a -> n -> Dimensional v (Pow d n) a infixr 8 Source #

(^+) :: (Num a, NumType n) => Dimensional v d a -> n -> Dimensional v (Pow d n) a infixr 8 Source #

negate :: Num a => Quantity d a -> Quantity d a Source #

(+) :: Num a => Quantity d a -> Quantity d a -> Quantity d a infixl 6 Source #

(-) :: Num a => Quantity d a -> Quantity d a -> Quantity d a infixl 6 Source #

abs :: Num a => Quantity d a -> Quantity d a Source #

nroot :: (Floating a, NumType n) => n -> Dimensional v d a -> Dimensional v (Root d n) a Source #

sqrt :: Floating a => Dimensional v d a -> Dimensional v (Root d Pos2) a Source #

cbrt :: Floating a => Dimensional v d a -> Dimensional v (Root d Pos3) a Source #

(^/) :: (Floating a, NumType n) => Dimensional v d a -> n -> Dimensional v (Root d n) a infixr 8 Source #

(*~~) :: (Functor f, Num a) => f a -> Unit d a -> f (Quantity d a) infixl 7 Source #

(/~~) :: (Functor f, Fractional a) => f (Quantity d a) -> Unit d a -> f a infixl 7 Source #

sum :: forall d a. Num a => [Quantity d a] -> Quantity d a Source #

dimensionlessLength :: Num a => [Dimensional v d a] -> Dimensionless a Source #

exp :: Floating a => Dimensionless a -> Dimensionless a Source #

log :: Floating a => Dimensionless a -> Dimensionless a Source #

sin :: Floating a => Dimensionless a -> Dimensionless a Source #

cos :: Floating a => Dimensionless a -> Dimensionless a Source #

tan :: Floating a => Dimensionless a -> Dimensionless a Source #

asin :: Floating a => Dimensionless a -> Dimensionless a Source #

acos :: Floating a => Dimensionless a -> Dimensionless a Source #

atan :: Floating a => Dimensionless a -> Dimensionless a Source #

sinh :: Floating a => Dimensionless a -> Dimensionless a Source #

cosh :: Floating a => Dimensionless a -> Dimensionless a Source #

tanh :: Floating a => Dimensionless a -> Dimensionless a Source #

asinh :: Floating a => Dimensionless a -> Dimensionless a Source #

acosh :: Floating a => Dimensionless a -> Dimensionless a Source #

atanh :: Floating a => Dimensionless a -> Dimensionless a Source #

(**) :: Floating a => Dimensionless a -> Dimensionless a -> Dimensionless a infixr 8 Source #

atan2 :: RealFloat a => Quantity d a -> Quantity d a -> Dimensionless a Source #

one :: Num a => Unit DOne a Source #

_0 :: Num a => Quantity d a Source #

_1 :: Num a => Dimensionless a Source #

_2 :: Num a => Dimensionless a Source #

_3 :: Num a => Dimensionless a Source #

_4 :: Num a => Dimensionless a Source #

_5 :: Num a => Dimensionless a Source #

_6 :: Num a => Dimensionless a Source #

_7 :: Num a => Dimensionless a Source #

_8 :: Num a => Dimensionless a Source #

_9 :: Num a => Dimensionless a Source #

pi :: Floating a => Dimensionless a Source #

tau :: Floating a => Dimensionless a Source #

dimUnit :: NumType n => String -> n -> Maybe String Source #

prefix :: Num a => a -> Unit d a -> Unit d a Source #