Copyright	(C) 2014 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.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

data Centi = Centi
centi :: unit -> Centi :@ unit
data Meter = Meter
pattern Metre :: Metre
data Gram = Gram
data Second = Second
type Centimetre = Centimeter
type Centimeter = Centi :@ Meter
pattern Centimetre :: Centimetre
pattern Centimeter :: Centimeter
data Gal = Gal
data Dyne = Dyne
data Erg = Erg
data Barye = Barye
data Poise = Poise
data Stokes = Stokes
data Kayser = Kayser
data Maxwell = Maxwell
data Gauss = Gauss

Documentation

data Centi Source #

10^-2

Constructors

Centi

Instances

Show Centi Source #
Instance details Defined in Data.Units.SI.Prefixes Methods showsPrec :: Int -> Centi -> ShowS # show :: Centi -> String # showList :: [Centi] -> ShowS #
UnitPrefix Centi Source #
Instance details Defined in Data.Units.SI.Prefixes Methods multiplier :: Fractional f => Centi -> f #

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

data Meter Source #

Constructors

Meter

Instances

Show Meter Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Meter -> ShowS # show :: Meter -> String # showList :: [Meter] -> ShowS #
Unit Meter Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Meter :: Type # type DimOfUnit Meter :: Type # type UnitFactorsOf Meter :: [Factor Type] # Methods conversionRatio :: Meter -> Rational # canonicalConvRatio :: Meter -> Rational
type UnitFactorsOf Meter Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Meter = If (IsCanonical Meter) (F Meter One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Meter))
type DimOfUnit Meter Source #
Instance details Defined in Data.Units.SI type DimOfUnit Meter = Length
type BaseUnit Meter Source #
Instance details Defined in Data.Units.SI type BaseUnit Meter = Canonical

pattern Metre :: Metre Source #

data Gram Source #

Constructors

Gram

Instances

Show Gram Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Gram -> ShowS # show :: Gram -> String # showList :: [Gram] -> ShowS #
Unit Gram Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Gram :: Type # type DimOfUnit Gram :: Type # type UnitFactorsOf Gram :: [Factor Type] # Methods conversionRatio :: Gram -> Rational # canonicalConvRatio :: Gram -> Rational
type UnitFactorsOf Gram Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Gram = If (IsCanonical Gram) (F Gram One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gram))
type DimOfUnit Gram Source #
Instance details Defined in Data.Units.SI type DimOfUnit Gram = Mass
type BaseUnit Gram Source #
Instance details Defined in Data.Units.SI type BaseUnit Gram = Canonical

data Second Source #

Constructors

Second

Instances

Show Second Source #
Instance details Defined in Data.Units.SI Methods showsPrec :: Int -> Second -> ShowS # show :: Second -> String # showList :: [Second] -> ShowS #
Unit Second Source #
Instance details Defined in Data.Units.SI Associated Types type BaseUnit Second :: Type # type DimOfUnit Second :: Type # type UnitFactorsOf Second :: [Factor Type] # Methods conversionRatio :: Second -> Rational # canonicalConvRatio :: Second -> Rational
type UnitFactorsOf Second Source #
Instance details Defined in Data.Units.SI type UnitFactorsOf Second = If (IsCanonical Second) (F Second One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Second))
type DimOfUnit Second Source #
Instance details Defined in Data.Units.SI type DimOfUnit Second = Time
type BaseUnit Second Source #
Instance details Defined in Data.Units.SI type BaseUnit Second = Canonical

type Centimetre = Centimeter Source #

type Centimeter = Centi :@ Meter Source #

pattern Centimetre :: Centimetre Source #

pattern Centimeter :: Centimeter Source #

data Gal Source #

Constructors

Gal

Instances

Show Gal Source #
Instance details Defined in Data.Units.CGS Methods showsPrec :: Int -> Gal -> ShowS # show :: Gal -> String # showList :: [Gal] -> ShowS #
Unit Gal Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Gal :: Type # type DimOfUnit Gal :: Type # type UnitFactorsOf Gal :: [Factor Type] # Methods conversionRatio :: Gal -> Rational # canonicalConvRatio :: Gal -> Rational
type UnitFactorsOf Gal Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Gal = If (IsCanonical Gal) (F Gal One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gal))
type DimOfUnit Gal Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Gal = DimOfUnit (BaseUnit Gal)
type BaseUnit Gal Source #
Instance details Defined in Data.Units.CGS type BaseUnit Gal = Centimeter :/ (Second :^ Two)

data Dyne Source #

Constructors

Dyne

Instances

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

data Erg Source #

Constructors

Erg

Instances

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

data Barye Source #

Constructors

Barye

Instances

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

data Poise Source #

Constructors

Poise

Instances

Show Poise Source #
Instance details Defined in Data.Units.CGS Methods showsPrec :: Int -> Poise -> ShowS # show :: Poise -> String # showList :: [Poise] -> ShowS #
Unit Poise Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Poise :: Type # type DimOfUnit Poise :: Type # type UnitFactorsOf Poise :: [Factor Type] # Methods conversionRatio :: Poise -> Rational # canonicalConvRatio :: Poise -> Rational
type UnitFactorsOf Poise Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Poise = If (IsCanonical Poise) (F Poise One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Poise))
type DimOfUnit Poise Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Poise = DimOfUnit (BaseUnit Poise)
type BaseUnit Poise Source #
Instance details Defined in Data.Units.CGS type BaseUnit Poise = Gram :/ (Centimeter :* Second)

data Stokes Source #

Constructors

Stokes

Instances

Show Stokes Source #
Instance details Defined in Data.Units.CGS Methods showsPrec :: Int -> Stokes -> ShowS # show :: Stokes -> String # showList :: [Stokes] -> ShowS #
Unit Stokes Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Stokes :: Type # type DimOfUnit Stokes :: Type # type UnitFactorsOf Stokes :: [Factor Type] # Methods conversionRatio :: Stokes -> Rational # canonicalConvRatio :: Stokes -> Rational
type UnitFactorsOf Stokes Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Stokes = If (IsCanonical Stokes) (F Stokes One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Stokes))
type DimOfUnit Stokes Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Stokes = DimOfUnit (BaseUnit Stokes)
type BaseUnit Stokes Source #
Instance details Defined in Data.Units.CGS type BaseUnit Stokes = (Centimeter :^ Two) :/ Second

data Kayser Source #

Constructors

Kayser

Instances

Unit Kayser Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Kayser :: Type # type DimOfUnit Kayser :: Type # type UnitFactorsOf Kayser :: [Factor Type] # Methods conversionRatio :: Kayser -> Rational # canonicalConvRatio :: Kayser -> Rational
type UnitFactorsOf Kayser Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Kayser = If (IsCanonical Kayser) (F Kayser One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Kayser))
type DimOfUnit Kayser Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Kayser = DimOfUnit (BaseUnit Kayser)
type BaseUnit Kayser Source #
Instance details Defined in Data.Units.CGS type BaseUnit Kayser = Centimeter :^ MOne

data Maxwell Source #

Constructors

Maxwell

Instances

Show Maxwell Source #
Instance details Defined in Data.Units.CGS Methods showsPrec :: Int -> Maxwell -> ShowS # show :: Maxwell -> String # showList :: [Maxwell] -> ShowS #
Unit Maxwell Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Maxwell :: Type # type DimOfUnit Maxwell :: Type # type UnitFactorsOf Maxwell :: [Factor Type] # Methods conversionRatio :: Maxwell -> Rational # canonicalConvRatio :: Maxwell -> Rational
type UnitFactorsOf Maxwell Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Maxwell = If (IsCanonical Maxwell) (F Maxwell One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Maxwell))
type DimOfUnit Maxwell Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Maxwell = DimOfUnit (BaseUnit Maxwell)
type BaseUnit Maxwell Source #
Instance details Defined in Data.Units.CGS type BaseUnit Maxwell = Nano :@ Weber

data Gauss Source #

Constructors

Gauss

Instances

Show Gauss Source #
Instance details Defined in Data.Units.CGS Methods showsPrec :: Int -> Gauss -> ShowS # show :: Gauss -> String # showList :: [Gauss] -> ShowS #
Unit Gauss Source #
Instance details Defined in Data.Units.CGS Associated Types type BaseUnit Gauss :: Type # type DimOfUnit Gauss :: Type # type UnitFactorsOf Gauss :: [Factor Type] # Methods conversionRatio :: Gauss -> Rational # canonicalConvRatio :: Gauss -> Rational
type UnitFactorsOf Gauss Source #
Instance details Defined in Data.Units.CGS type UnitFactorsOf Gauss = If (IsCanonical Gauss) (F Gauss One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gauss))
type DimOfUnit Gauss Source #
Instance details Defined in Data.Units.CGS type DimOfUnit Gauss = DimOfUnit (BaseUnit Gauss)
type BaseUnit Gauss Source #
Instance details Defined in Data.Units.CGS type BaseUnit Gauss = Milli :@ Tesla