units-1.1: A domain-specific type system for dimensional analysis

Copyright(C) 2013 Richard Eisenberg
License(C) 2013 Richard Eisenberg
MaintainerRichard Eisenberg (eir@cis.upenn.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone

Data.Dimensions.SI.Prefixes

Description

Defines prefixes from the SI standard at http://www.bipm.org/en/si/

Synopsis

Documentation

data Deca Source

10^1

Constructors

Deca 

Instances

deca :: unit -> Deca :@ unitSource

data Hecto Source

10^2

Constructors

Hecto 

hecto :: unit -> Hecto :@ unitSource

data Kilo Source

10^3

Constructors

Kilo 

Instances

kilo :: unit -> Kilo :@ unitSource

data Mega Source

10^6

Constructors

Mega 

Instances

mega :: unit -> Mega :@ unitSource

data Giga Source

10^9

Constructors

Giga 

Instances

giga :: unit -> Giga :@ unitSource

data Tera Source

10^12

Constructors

Tera 

Instances

tera :: unit -> Tera :@ unitSource

data Peta Source

10^15

Constructors

Peta 

Instances

peta :: unit -> Peta :@ unitSource

data Exa Source

10^18

Constructors

Exa 

Instances

exa :: unit -> Exa :@ unitSource

data Zetta Source

10^21

Constructors

Zetta 

zetta :: unit -> Zetta :@ unitSource

data Yotta Source

10^24

Constructors

Yotta 

yotta :: unit -> Yotta :@ unitSource

data Deci Source

10^-1

Constructors

Deci 

Instances

deci :: unit -> Deci :@ unitSource

data Centi Source

10^-2

Constructors

Centi 

centi :: unit -> Centi :@ unitSource

data Milli Source

10^-3

Constructors

Milli 

milli :: unit -> Milli :@ unitSource

data Micro Source

10^-6

Constructors

Micro 

micro :: unit -> Micro :@ unitSource

data Nano Source

10^-9

Constructors

Nano 

Instances

nano :: unit -> Nano :@ unitSource

data Pico Source

10^-12

Constructors

Pico 

Instances

pico :: unit -> Pico :@ unitSource

data Femto Source

10^-15

Constructors

Femto 

femto :: unit -> Femto :@ unitSource

data Atto Source

10^-18

Constructors

Atto 

Instances

atto :: unit -> Atto :@ unitSource

data Zepto Source

10^-21

Constructors

Zepto 

zepto :: unit -> Zepto :@ unitSource

data Yocto Source

10^-24

Constructors

Yocto 

yocto :: unit -> Yocto :@ unitSource