Copyright	(C) 2013 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.US

Contents

Lengths
Velocity
Area
Volume
Mass
Pressure
Energy
Power

Description

This module defines the American customary system of units. Because there are some names that are conflicted, even within this system, there are several modules underneath here, defining sub-parts of the US system. This module gathers together a subjective set of units users will commonly wish to use. It also exports type instances DefaultUnitOfDim that use the SI internal representations. This choice is made for inter-compatibility with SI computations. If you want the foot-pound-second system, use the FPS.

Included are all units mentioned here: http://en.wikipedia.org/wiki/United_States_customary_units Where possible, conversion rates have been independently verified at a US government website. However, Wikipedia's base is much better organized than any government resource immediately available. The US government references used are as follows: http://nist.gov/pml/wmd/metric/upload/SP1038.pdf http://nist.gov/pml/wmd/pubs/upload/appc-14-hb44-final.pdf

Synopsis

data Angstrom = Angstrom
data Mil = Mil
data Point = Point
data Pica = Pica
data Inch = Inch
data Foot = Foot
data Yard = Yard
data Mile = Mile
data NauticalMile = NauticalMile
data Knot = Knot
data Acre = Acre
data Teaspoon = Teaspoon
data Tablespoon = Tablespoon
data FluidOunce = FluidOunce
data Cup = Cup
data Pint = Pint
data Quart = Quart
data Gallon = Gallon
data Ounce = Ounce
data Pound = Pound
data Ton = Ton
data Atmosphere = Atmosphere
data Bar = Bar
data FoodCalorie = FoodCalorie
data Therm = Therm
data Btu = Btu
data Horsepower = Horsepower

Lengths

data Angstrom Source #

Constructors

Angstrom

Instances

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

data Mil Source #

Constructors

Mil

Instances

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

data Point Source #

Constructors

Point

Instances

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

data Pica Source #

Constructors

Pica

Instances

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

data Inch Source #

Constructors

Inch

Instances

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

data Foot Source #

Constructors

Foot

Instances

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

data Yard Source #

Constructors

Yard

Instances

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

data Mile Source #

Constructors

Mile

Instances

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

data NauticalMile Source #

Constructors

NauticalMile

Instances

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

Velocity

data Knot Source #

Constructors

Knot

Instances

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

Area

data Acre Source #

Constructors

Acre

Instances

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

Volume

These are all liquid measures. Solid measures are different.

data Teaspoon Source #

Constructors

Teaspoon

Instances

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

data Tablespoon Source #

Constructors

Tablespoon

Instances

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

data FluidOunce Source #

Constructors

FluidOunce

Instances

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

data Cup Source #

Constructors

Cup

Instances

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

data Pint Source #

Constructors

Pint

Instances

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

data Quart Source #

Constructors

Quart

Instances

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

data Gallon Source #

Constructors

Gallon

Instances

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

Mass

These are all in the avoirdupois system

data Ounce Source #

Constructors

Ounce

Instances

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

data Pound Source #

Constructors

Pound

Instances

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

data Ton Source #

Constructors

Ton

Instances

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

Pressure

data Atmosphere Source #

Constructors

Atmosphere

Instances

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

data Bar Source #

Constructors

Bar

Instances

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

Energy

data FoodCalorie Source #

Constructors

FoodCalorie

Instances

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

data Therm Source #

Constructors

Therm

Instances

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

data Btu Source #

Constructors

Btu

Instances

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

Power

data Horsepower Source #

Constructors

Horsepower

Instances

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