Copyright	(C) 2014 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Units.CGS

Description

This module defines units used in the centimetergramsecond system of measurement.

Included are all mechanical units mentioned here: http:/en.wikipedia.orgwiki/Centimetre%E2%80%93gram%E2%80%93second_system_of_units

Some electromagnetic units are not included, because these do not have reliable conversions to/from the SI units, on which the units-defs edifice is based.

Synopsis

Documentation

data Centi Source

10^-2

Constructors

Centi

Instances

Show Centi
UnitPrefix Centi

centi :: unit -> Centi :@ unit Source

data Meter Source

Constructors

Meter

Instances

Show Meter
Unit Meter
type UnitFactorsOf Meter = If [Factor ] (IsCanonical Meter) ((:) (Factor ) (F * Meter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter = Length
type BaseUnit Meter = Canonical

pattern Metre :: Meter Source

data Gram Source

Constructors

Gram

Instances

Show Gram
Unit Gram
type UnitFactorsOf Gram = If [Factor ] (IsCanonical Gram) ((:) (Factor ) (F * Gram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram = Mass
type BaseUnit Gram = Canonical

data Second Source

Constructors

Second

Instances

Show Second
Unit Second
type UnitFactorsOf Second = If [Factor ] (IsCanonical Second) ((:) (Factor ) (F * Second One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second = Time
type BaseUnit Second = Canonical

type Centimeter = Centi :@ Meter Source

pattern Centimeter :: (:@) Centi Meter Source

type Centimetre = Centimeter Source

pattern Centimetre :: (:@) Centi Meter Source

data Gal Source

Constructors

Gal

Instances

Show Gal
Unit Gal
type UnitFactorsOf Gal = If [Factor ] (IsCanonical Gal) ((:) (Factor ) (F * Gal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gal))
type DimOfUnit Gal = DimOfUnit (BaseUnit Gal)
type BaseUnit Gal = (:/) Centimeter ((:^) Second Two)

data Dyne Source

Constructors

Dyne

Instances

Show Dyne
Unit Dyne
type UnitFactorsOf Dyne = If [Factor ] (IsCanonical Dyne) ((:) (Factor ) (F * Dyne One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Dyne))
type DimOfUnit Dyne = DimOfUnit (BaseUnit Dyne)
type BaseUnit Dyne = (:/) ((:*) Gram Centimeter) ((:^) Second Two)

data Erg Source

Constructors

Erg

Instances

Show Erg
Unit Erg
type UnitFactorsOf Erg = If [Factor ] (IsCanonical Erg) ((:) (Factor ) (F * Erg One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Erg))
type DimOfUnit Erg = DimOfUnit (BaseUnit Erg)
type BaseUnit Erg = (:/) ((:*) Gram ((:^) Centimeter Two)) ((:^) Second Two)

data Barye Source

Constructors

Barye

Instances

Show Barye
Unit Barye
type UnitFactorsOf Barye = If [Factor ] (IsCanonical Barye) ((:) (Factor ) (F * Barye One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Barye))
type DimOfUnit Barye = DimOfUnit (BaseUnit Barye)
type BaseUnit Barye = (:/) Gram ((:*) Centimeter ((:^) Second Two))

data Poise Source

Constructors

Poise

Instances

Show Poise
Unit Poise
type UnitFactorsOf Poise = If [Factor ] (IsCanonical Poise) ((:) (Factor ) (F * Poise One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Poise))
type DimOfUnit Poise = DimOfUnit (BaseUnit Poise)
type BaseUnit Poise = (:/) Gram ((:*) Centimeter Second)

data Stokes Source

Constructors

Stokes

Instances

Show Stokes
Unit Stokes
type UnitFactorsOf Stokes = If [Factor ] (IsCanonical Stokes) ((:) (Factor ) (F * Stokes One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Stokes))
type DimOfUnit Stokes = DimOfUnit (BaseUnit Stokes)
type BaseUnit Stokes = (:/) ((:^) Centimeter Two) Second

data Kayser Source

Constructors

Kayser

Instances

Unit Kayser
type UnitFactorsOf Kayser = If [Factor ] (IsCanonical Kayser) ((:) (Factor ) (F * Kayser One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Kayser))
type DimOfUnit Kayser = DimOfUnit (BaseUnit Kayser)
type BaseUnit Kayser = (:^) Centimeter MOne

data Maxwell Source

Constructors

Maxwell

Instances

Show Maxwell
Unit Maxwell
type UnitFactorsOf Maxwell = If [Factor ] (IsCanonical Maxwell) ((:) (Factor ) (F * Maxwell One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Maxwell))
type DimOfUnit Maxwell = DimOfUnit (BaseUnit Maxwell)
type BaseUnit Maxwell = (:@) Nano Weber

data Gauss Source

Constructors

Gauss

Instances

Show Gauss
Unit Gauss
type UnitFactorsOf Gauss = If [Factor ] (IsCanonical Gauss) ((:) (Factor ) (F * Gauss One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gauss))
type DimOfUnit Gauss = DimOfUnit (BaseUnit Gauss)
type BaseUnit Gauss = (:@) Milli Tesla