Data.Units.CGS

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.

Documentation

data Centi

10^-2

Constructors

Centi

Instances

Show Centi

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Centi -> ShowS

show :: Centi -> String

showList :: [Centi] -> ShowS

UnitPrefix Centi

Defined in Data.Units.SI.Prefixes

Methods

multiplier :: Fractional f => Centi -> f

centi :: unit -> Centi :@ unit

data Meter

Constructors

Meter

Instances

Show Meter

Defined in Data.Units.SI

Methods

showsPrec :: Int -> Meter -> ShowS

show :: Meter -> String

showList :: [Meter] -> ShowS

Unit Meter

Defined in Data.Units.SI

Associated Types

type BaseUnit Meter

type DimOfUnit Meter

type UnitFactorsOf Meter :: [Factor Type]

Methods

conversionRatio :: Meter -> Rational

canonicalConvRatio :: Meter -> Rational

type UnitFactorsOf Meter

Defined in Data.Units.SI

type UnitFactorsOf Meter = If (IsCanonical Meter) '['F Meter One] (UnitFactorsOf (BaseUnit Meter))

type DimOfUnit Meter

Defined in Data.Units.SI

type DimOfUnit Meter = Length

type BaseUnit Meter

Defined in Data.Units.SI

type BaseUnit Meter = Canonical

pattern Metre :: Meter

data Gram

Constructors

Gram

Instances

Show Gram

Defined in Data.Units.SI

Methods

showsPrec :: Int -> Gram -> ShowS

show :: Gram -> String

showList :: [Gram] -> ShowS

Unit Gram

Defined in Data.Units.SI

Associated Types

type BaseUnit Gram

type DimOfUnit Gram

type UnitFactorsOf Gram :: [Factor Type]

Methods

conversionRatio :: Gram -> Rational

canonicalConvRatio :: Gram -> Rational

type UnitFactorsOf Gram

Defined in Data.Units.SI

type UnitFactorsOf Gram = If (IsCanonical Gram) '['F Gram One] (UnitFactorsOf (BaseUnit Gram))

type DimOfUnit Gram

Defined in Data.Units.SI

type DimOfUnit Gram = Mass

type BaseUnit Gram

Defined in Data.Units.SI

type BaseUnit Gram = Canonical

data Second

Constructors

Second

Instances

Show Second

Defined in Data.Units.SI

Methods

showsPrec :: Int -> Second -> ShowS

show :: Second -> String

showList :: [Second] -> ShowS

Unit Second

Defined in Data.Units.SI

Associated Types

type BaseUnit Second

type DimOfUnit Second

type UnitFactorsOf Second :: [Factor Type]

Methods

conversionRatio :: Second -> Rational

canonicalConvRatio :: Second -> Rational

type UnitFactorsOf Second

Defined in Data.Units.SI

type UnitFactorsOf Second = If (IsCanonical Second) '['F Second One] (UnitFactorsOf (BaseUnit Second))

type DimOfUnit Second

Defined in Data.Units.SI

type DimOfUnit Second = Time

type BaseUnit Second

Defined in Data.Units.SI

type BaseUnit Second = Canonical

type Centimetre = Centimeter

type Centimeter = Centi :@ Meter

pattern Centimetre :: Centimetre

pattern Centimeter :: Centimeter

data Gal

Constructors

Gal

Instances

Show Gal

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Gal -> ShowS

show :: Gal -> String

showList :: [Gal] -> ShowS

Unit Gal

Defined in Data.Units.CGS

Associated Types

type BaseUnit Gal

type DimOfUnit Gal

type UnitFactorsOf Gal :: [Factor Type]

Methods

conversionRatio :: Gal -> Rational

canonicalConvRatio :: Gal -> Rational

type UnitFactorsOf Gal

Defined in Data.Units.CGS

type UnitFactorsOf Gal = If (IsCanonical Gal) '['F Gal One] (UnitFactorsOf (BaseUnit Gal))

type DimOfUnit Gal

Defined in Data.Units.CGS

type DimOfUnit Gal = DimOfUnit (BaseUnit Gal)

type BaseUnit Gal

Defined in Data.Units.CGS

type BaseUnit Gal = Centimeter :/ (Second :^ Two)

data Dyne

Constructors

Dyne

Instances

Show Dyne

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Dyne -> ShowS

show :: Dyne -> String

showList :: [Dyne] -> ShowS

Unit Dyne

Defined in Data.Units.CGS

Associated Types

type BaseUnit Dyne

type DimOfUnit Dyne

type UnitFactorsOf Dyne :: [Factor Type]

Methods

conversionRatio :: Dyne -> Rational

canonicalConvRatio :: Dyne -> Rational

type UnitFactorsOf Dyne

Defined in Data.Units.CGS

type UnitFactorsOf Dyne = If (IsCanonical Dyne) '['F Dyne One] (UnitFactorsOf (BaseUnit Dyne))

type DimOfUnit Dyne

Defined in Data.Units.CGS

type DimOfUnit Dyne = DimOfUnit (BaseUnit Dyne)

type BaseUnit Dyne

Defined in Data.Units.CGS

type BaseUnit Dyne = (Gram :* Centimeter) :/ (Second :^ Two)

data Erg

Constructors

Erg

Instances

Show Erg

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Erg -> ShowS

show :: Erg -> String

showList :: [Erg] -> ShowS

Unit Erg

Defined in Data.Units.CGS

Associated Types

type BaseUnit Erg

type DimOfUnit Erg

type UnitFactorsOf Erg :: [Factor Type]

Methods

conversionRatio :: Erg -> Rational

canonicalConvRatio :: Erg -> Rational

type UnitFactorsOf Erg

Defined in Data.Units.CGS

type UnitFactorsOf Erg = If (IsCanonical Erg) '['F Erg One] (UnitFactorsOf (BaseUnit Erg))

type DimOfUnit Erg

Defined in Data.Units.CGS

type DimOfUnit Erg = DimOfUnit (BaseUnit Erg)

type BaseUnit Erg

Defined in Data.Units.CGS

type BaseUnit Erg = (Gram :* (Centimeter :^ Two)) :/ (Second :^ Two)

data Barye

Constructors

Barye

Instances

Show Barye

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Barye -> ShowS

show :: Barye -> String

showList :: [Barye] -> ShowS

Unit Barye

Defined in Data.Units.CGS

Associated Types

type BaseUnit Barye

type DimOfUnit Barye

type UnitFactorsOf Barye :: [Factor Type]

Methods

conversionRatio :: Barye -> Rational

canonicalConvRatio :: Barye -> Rational

type UnitFactorsOf Barye

Defined in Data.Units.CGS

type UnitFactorsOf Barye = If (IsCanonical Barye) '['F Barye One] (UnitFactorsOf (BaseUnit Barye))

type DimOfUnit Barye

Defined in Data.Units.CGS

type DimOfUnit Barye = DimOfUnit (BaseUnit Barye)

type BaseUnit Barye

Defined in Data.Units.CGS

type BaseUnit Barye = Gram :/ (Centimeter :* (Second :^ Two))

data Poise

Constructors

Poise

Instances

Show Poise

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Poise -> ShowS

show :: Poise -> String

showList :: [Poise] -> ShowS

Unit Poise

Defined in Data.Units.CGS

Associated Types

type BaseUnit Poise

type DimOfUnit Poise

type UnitFactorsOf Poise :: [Factor Type]

Methods

conversionRatio :: Poise -> Rational

canonicalConvRatio :: Poise -> Rational

type UnitFactorsOf Poise

Defined in Data.Units.CGS

type UnitFactorsOf Poise = If (IsCanonical Poise) '['F Poise One] (UnitFactorsOf (BaseUnit Poise))

type DimOfUnit Poise

Defined in Data.Units.CGS

type DimOfUnit Poise = DimOfUnit (BaseUnit Poise)

type BaseUnit Poise

Defined in Data.Units.CGS

type BaseUnit Poise = Gram :/ (Centimeter :* Second)

data Stokes

Constructors

Stokes

Instances

Show Stokes

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Stokes -> ShowS

show :: Stokes -> String

showList :: [Stokes] -> ShowS

Unit Stokes

Defined in Data.Units.CGS

Associated Types

type BaseUnit Stokes

type DimOfUnit Stokes

type UnitFactorsOf Stokes :: [Factor Type]

Methods

conversionRatio :: Stokes -> Rational

canonicalConvRatio :: Stokes -> Rational

type UnitFactorsOf Stokes

Defined in Data.Units.CGS

type UnitFactorsOf Stokes = If (IsCanonical Stokes) '['F Stokes One] (UnitFactorsOf (BaseUnit Stokes))

type DimOfUnit Stokes

Defined in Data.Units.CGS

type DimOfUnit Stokes = DimOfUnit (BaseUnit Stokes)

type BaseUnit Stokes

Defined in Data.Units.CGS

type BaseUnit Stokes = (Centimeter :^ Two) :/ Second

data Kayser

Constructors

Kayser

Instances

Unit Kayser

Defined in Data.Units.CGS

Associated Types

type BaseUnit Kayser

type DimOfUnit Kayser

type UnitFactorsOf Kayser :: [Factor Type]

Methods

conversionRatio :: Kayser -> Rational

canonicalConvRatio :: Kayser -> Rational

type UnitFactorsOf Kayser

Defined in Data.Units.CGS

type UnitFactorsOf Kayser = If (IsCanonical Kayser) '['F Kayser One] (UnitFactorsOf (BaseUnit Kayser))

type DimOfUnit Kayser

Defined in Data.Units.CGS

type DimOfUnit Kayser = DimOfUnit (BaseUnit Kayser)

type BaseUnit Kayser

Defined in Data.Units.CGS

type BaseUnit Kayser = Centimeter :^ MOne

data Maxwell

Constructors

Maxwell

Instances

Show Maxwell

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Maxwell -> ShowS

show :: Maxwell -> String

showList :: [Maxwell] -> ShowS

Unit Maxwell

Defined in Data.Units.CGS

Associated Types

type BaseUnit Maxwell

type DimOfUnit Maxwell

type UnitFactorsOf Maxwell :: [Factor Type]

Methods

conversionRatio :: Maxwell -> Rational

canonicalConvRatio :: Maxwell -> Rational

type UnitFactorsOf Maxwell

Defined in Data.Units.CGS

type UnitFactorsOf Maxwell = If (IsCanonical Maxwell) '['F Maxwell One] (UnitFactorsOf (BaseUnit Maxwell))

type DimOfUnit Maxwell

Defined in Data.Units.CGS

type DimOfUnit Maxwell = DimOfUnit (BaseUnit Maxwell)

type BaseUnit Maxwell

Defined in Data.Units.CGS

type BaseUnit Maxwell = Nano :@ Weber

data Gauss

Constructors

Gauss

Instances

Show Gauss

Defined in Data.Units.CGS

Methods

showsPrec :: Int -> Gauss -> ShowS

show :: Gauss -> String

showList :: [Gauss] -> ShowS

Unit Gauss

Defined in Data.Units.CGS

Associated Types

type BaseUnit Gauss

type DimOfUnit Gauss

type UnitFactorsOf Gauss :: [Factor Type]

Methods

conversionRatio :: Gauss -> Rational

canonicalConvRatio :: Gauss -> Rational

type UnitFactorsOf Gauss

Defined in Data.Units.CGS

type UnitFactorsOf Gauss = If (IsCanonical Gauss) '['F Gauss One] (UnitFactorsOf (BaseUnit Gauss))

type DimOfUnit Gauss

Defined in Data.Units.CGS

type DimOfUnit Gauss = DimOfUnit (BaseUnit Gauss)

type BaseUnit Gauss

Defined in Data.Units.CGS

type BaseUnit Gauss = Milli :@ Tesla