dimensional-0.10.2: Statically checked physical dimensions.

PortabilityGHC only?
StabilityExperimental
Maintainerbjorn.buckwalter@gmail.com
Safe HaskellSafe-Infered

Numeric.Units.Dimensional.Extensible

Description

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

Documentation

data DExt a n d Source

Instances

(Div n x n', Root d x d') => Root (DExt a n d) x (DExt a n' d') 
(Mul n x n', Pow d x d') => Pow (DExt a n d) x (DExt a n' d') 
DropZero (DExt a (Neg n) d) (DExt a (Neg n) d) 
DropZero (DExt a (Pos n) d) (DExt a (Pos n) d) 
DropZero (DExt a Zero (DExt a' n d)) (DExt a Zero (DExt a' n d)) 
(Sum n'' n' n, Div d d' d'', DropZero (DExt a n'' d'') d''') => Div (DExt a n d) (DExt a n' d') d''' 
(Sum n n' n'', Mul d d' d'', DropZero (DExt a n'' d'') d''') => Mul (DExt a n d) (DExt a n' d') d''' 
DropZero (DExt a Zero (Dim l m t i th n j)) (Dim l m t i th j j) 
Div d (Dim l m t i th n j) d' => Div (DExt a x d) (Dim l m t i th n j) (DExt a x d') 
Mul d (Dim l m t i th n j) d' => Mul (DExt a x d) (Dim l m t i th n j) (DExt a x d') 
(Div (Dim l m t i th n j) d d', Negate x x') => Div (Dim l m t i th n j) (DExt a x d) (DExt a x' d') 
Mul (Dim l m t i th n j) d d' => Mul (Dim l m t i th n j) (DExt a x d) (DExt a x d') 

showDExt :: forall a n d. (NumType n, Show d) => String -> DExt a n d -> StringSource