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 centimeter/gram/second system of measurement.

Included are all mechanical units mentioned here: http://en.wikipedia.org/wiki/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 Source #
Methods showsPrec :: Int -> Centi -> ShowS # show :: Centi -> String # showList :: [Centi] -> ShowS #
UnitPrefix Centi Source #
Methods multiplier :: Fractional f => Centi -> f #

centi :: unit -> Centi :@ unit Source #

data Meter Source #

Constructors

Meter

Instances

Show Meter Source #
Methods showsPrec :: Int -> Meter -> ShowS # show :: Meter -> String # showList :: [Meter] -> ShowS #
Unit Meter Source #
Associated Types type BaseUnit Meter :: * # type DimOfUnit Meter :: * # type UnitFactorsOf Meter :: [Factor *] # Methods conversionRatio :: Meter -> Rational # canonicalConvRatio :: Meter -> Rational
type UnitFactorsOf Meter Source #
type UnitFactorsOf Meter = If [Factor ] (IsCanonical Meter) ((:) (Factor ) (F * Meter One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter Source #
type DimOfUnit Meter = Length
type BaseUnit Meter Source #
type BaseUnit Meter = Canonical

pattern Metre :: Metre Source #

data Gram Source #

Constructors

Gram

Instances

Show Gram Source #
Methods showsPrec :: Int -> Gram -> ShowS # show :: Gram -> String # showList :: [Gram] -> ShowS #
Unit Gram Source #
Associated Types type BaseUnit Gram :: * # type DimOfUnit Gram :: * # type UnitFactorsOf Gram :: [Factor *] # Methods conversionRatio :: Gram -> Rational # canonicalConvRatio :: Gram -> Rational
type UnitFactorsOf Gram Source #
type UnitFactorsOf Gram = If [Factor ] (IsCanonical Gram) ((:) (Factor ) (F * Gram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram Source #
type DimOfUnit Gram = Mass
type BaseUnit Gram Source #
type BaseUnit Gram = Canonical

data Second Source #

Constructors

Second

Instances

Show Second Source #
Methods showsPrec :: Int -> Second -> ShowS # show :: Second -> String # showList :: [Second] -> ShowS #
Unit Second Source #
Associated Types type BaseUnit Second :: * # type DimOfUnit Second :: * # type UnitFactorsOf Second :: [Factor *] # Methods conversionRatio :: Second -> Rational # canonicalConvRatio :: Second -> Rational
type UnitFactorsOf Second Source #
type UnitFactorsOf Second = If [Factor ] (IsCanonical Second) ((:) (Factor ) (F * Second One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second Source #
type DimOfUnit Second = Time
type BaseUnit Second Source #
type BaseUnit Second = Canonical

type Centimeter = Centi :@ Meter Source #

pattern Centimeter :: Centimeter Source #

type Centimetre = Centimeter Source #

pattern Centimetre :: Centimetre Source #

data Gal Source #

Constructors

Gal

Instances

Show Gal Source #
Methods showsPrec :: Int -> Gal -> ShowS # show :: Gal -> String # showList :: [Gal] -> ShowS #
Unit Gal Source #
Associated Types type BaseUnit Gal :: * # type DimOfUnit Gal :: * # type UnitFactorsOf Gal :: [Factor *] # Methods conversionRatio :: Gal -> Rational # canonicalConvRatio :: Gal -> Rational
type UnitFactorsOf Gal Source #
type UnitFactorsOf Gal = If [Factor ] (IsCanonical Gal) ((:) (Factor ) (F * Gal One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gal))
type DimOfUnit Gal Source #
type DimOfUnit Gal = DimOfUnit (BaseUnit Gal)
type BaseUnit Gal Source #
type BaseUnit Gal = (:/) Centimeter ((:^) Second Two)

data Dyne Source #

Constructors

Dyne

Instances

Show Dyne Source #
Methods showsPrec :: Int -> Dyne -> ShowS # show :: Dyne -> String # showList :: [Dyne] -> ShowS #
Unit Dyne Source #
Associated Types type BaseUnit Dyne :: * # type DimOfUnit Dyne :: * # type UnitFactorsOf Dyne :: [Factor *] # Methods conversionRatio :: Dyne -> Rational # canonicalConvRatio :: Dyne -> Rational
type UnitFactorsOf Dyne Source #
type UnitFactorsOf Dyne = If [Factor ] (IsCanonical Dyne) ((:) (Factor ) (F * Dyne One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Dyne))
type DimOfUnit Dyne Source #
type DimOfUnit Dyne = DimOfUnit (BaseUnit Dyne)
type BaseUnit Dyne Source #
type BaseUnit Dyne = (:/) ((:*) Gram Centimeter) ((:^) Second Two)

data Erg Source #

Constructors

Erg

Instances

Show Erg Source #
Methods showsPrec :: Int -> Erg -> ShowS # show :: Erg -> String # showList :: [Erg] -> ShowS #
Unit Erg Source #
Associated Types type BaseUnit Erg :: * # type DimOfUnit Erg :: * # type UnitFactorsOf Erg :: [Factor *] # Methods conversionRatio :: Erg -> Rational # canonicalConvRatio :: Erg -> Rational
type UnitFactorsOf Erg Source #
type UnitFactorsOf Erg = If [Factor ] (IsCanonical Erg) ((:) (Factor ) (F * Erg One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Erg))
type DimOfUnit Erg Source #
type DimOfUnit Erg = DimOfUnit (BaseUnit Erg)
type BaseUnit Erg Source #
type BaseUnit Erg = (:/) ((:*) Gram ((:^) Centimeter Two)) ((:^) Second Two)

data Barye Source #

Constructors

Barye

Instances

Show Barye Source #
Methods showsPrec :: Int -> Barye -> ShowS # show :: Barye -> String # showList :: [Barye] -> ShowS #
Unit Barye Source #
Associated Types type BaseUnit Barye :: * # type DimOfUnit Barye :: * # type UnitFactorsOf Barye :: [Factor *] # Methods conversionRatio :: Barye -> Rational # canonicalConvRatio :: Barye -> Rational
type UnitFactorsOf Barye Source #
type UnitFactorsOf Barye = If [Factor ] (IsCanonical Barye) ((:) (Factor ) (F * Barye One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Barye))
type DimOfUnit Barye Source #
type DimOfUnit Barye = DimOfUnit (BaseUnit Barye)
type BaseUnit Barye Source #
type BaseUnit Barye = (:/) Gram ((:*) Centimeter ((:^) Second Two))

data Poise Source #

Constructors

Poise

Instances

Show Poise Source #
Methods showsPrec :: Int -> Poise -> ShowS # show :: Poise -> String # showList :: [Poise] -> ShowS #
Unit Poise Source #
Associated Types type BaseUnit Poise :: * # type DimOfUnit Poise :: * # type UnitFactorsOf Poise :: [Factor *] # Methods conversionRatio :: Poise -> Rational # canonicalConvRatio :: Poise -> Rational
type UnitFactorsOf Poise Source #
type UnitFactorsOf Poise = If [Factor ] (IsCanonical Poise) ((:) (Factor ) (F * Poise One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Poise))
type DimOfUnit Poise Source #
type DimOfUnit Poise = DimOfUnit (BaseUnit Poise)
type BaseUnit Poise Source #
type BaseUnit Poise = (:/) Gram ((:*) Centimeter Second)

data Stokes Source #

Constructors

Stokes

Instances

Show Stokes Source #
Methods showsPrec :: Int -> Stokes -> ShowS # show :: Stokes -> String # showList :: [Stokes] -> ShowS #
Unit Stokes Source #
Associated Types type BaseUnit Stokes :: * # type DimOfUnit Stokes :: * # type UnitFactorsOf Stokes :: [Factor *] # Methods conversionRatio :: Stokes -> Rational # canonicalConvRatio :: Stokes -> Rational
type UnitFactorsOf Stokes Source #
type UnitFactorsOf Stokes = If [Factor ] (IsCanonical Stokes) ((:) (Factor ) (F * Stokes One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Stokes))
type DimOfUnit Stokes Source #
type DimOfUnit Stokes = DimOfUnit (BaseUnit Stokes)
type BaseUnit Stokes Source #
type BaseUnit Stokes = (:/) ((:^) Centimeter Two) Second

data Kayser Source #

Constructors

Kayser

Instances

Unit Kayser Source #
Associated Types type BaseUnit Kayser :: * # type DimOfUnit Kayser :: * # type UnitFactorsOf Kayser :: [Factor *] # Methods conversionRatio :: Kayser -> Rational # canonicalConvRatio :: Kayser -> Rational
type UnitFactorsOf Kayser Source #
type UnitFactorsOf Kayser = If [Factor ] (IsCanonical Kayser) ((:) (Factor ) (F * Kayser One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Kayser))
type DimOfUnit Kayser Source #
type DimOfUnit Kayser = DimOfUnit (BaseUnit Kayser)
type BaseUnit Kayser Source #
type BaseUnit Kayser = (:^) Centimeter MOne

data Maxwell Source #

Constructors

Maxwell

Instances

Show Maxwell Source #
Methods showsPrec :: Int -> Maxwell -> ShowS # show :: Maxwell -> String # showList :: [Maxwell] -> ShowS #
Unit Maxwell Source #
Associated Types type BaseUnit Maxwell :: * # type DimOfUnit Maxwell :: * # type UnitFactorsOf Maxwell :: [Factor *] # Methods conversionRatio :: Maxwell -> Rational # canonicalConvRatio :: Maxwell -> Rational
type UnitFactorsOf Maxwell Source #
type UnitFactorsOf Maxwell = If [Factor ] (IsCanonical Maxwell) ((:) (Factor ) (F * Maxwell One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Maxwell))
type DimOfUnit Maxwell Source #
type DimOfUnit Maxwell = DimOfUnit (BaseUnit Maxwell)
type BaseUnit Maxwell Source #
type BaseUnit Maxwell = (:@) Nano Weber

data Gauss Source #

Constructors

Gauss

Instances

Show Gauss Source #
Methods showsPrec :: Int -> Gauss -> ShowS # show :: Gauss -> String # showList :: [Gauss] -> ShowS #
Unit Gauss Source #
Associated Types type BaseUnit Gauss :: * # type DimOfUnit Gauss :: * # type UnitFactorsOf Gauss :: [Factor *] # Methods conversionRatio :: Gauss -> Rational # canonicalConvRatio :: Gauss -> Rational
type UnitFactorsOf Gauss Source #
type UnitFactorsOf Gauss = If [Factor ] (IsCanonical Gauss) ((:) (Factor ) (F * Gauss One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gauss))
type DimOfUnit Gauss Source #
type DimOfUnit Gauss = DimOfUnit (BaseUnit Gauss)
type BaseUnit Gauss Source #
type BaseUnit Gauss = (:@) Milli Tesla