dimensional-0.7.3: Statically checked physical dimensions.
Source code
Contents
Index
Numeric.Units.Dimensional.Extensible
Portability
GHC only?
Stability
Experimental
Maintainer
bjorn.buckwalter@gmail.com
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 ->
String
Source
Produced by
Haddock
version 2.4.2