units-defs-2.2.1: Definitions for use with the units package

Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg ([email protected])
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

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Angstrom = Nano :@ Meter
type DimOfUnit Angstrom
Instance details Defined in Data.Units.US.Misc type DimOfUnit Angstrom = DimOfUnit (BaseUnit Angstrom)
type UnitFactorsOf Angstrom
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Angstrom = If (IsCanonical Angstrom) '['F Angstrom One] (UnitFactorsOf (BaseUnit Angstrom))

Methods

conversionRatio :: Angstrom -> Rational #

canonicalConvRatio :: Angstrom -> Rational

type BaseUnit Angstrom Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Angstrom = Nano :@ Meter

type DimOfUnit Angstrom Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Angstrom = DimOfUnit (BaseUnit Angstrom)

type UnitFactorsOf Angstrom Source #

Instance details

Defined in Data.Units.US.Misc

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

data Mil Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Mil = Inch
type DimOfUnit Mil
Instance details Defined in Data.Units.US.Misc type DimOfUnit Mil = DimOfUnit (BaseUnit Mil)
type UnitFactorsOf Mil
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Mil = If (IsCanonical Mil) '['F Mil One] (UnitFactorsOf (BaseUnit Mil))

Methods

conversionRatio :: Mil -> Rational #

canonicalConvRatio :: Mil -> Rational

type BaseUnit Mil Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Mil = Inch

type DimOfUnit Mil Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Mil = DimOfUnit (BaseUnit Mil)

type UnitFactorsOf Mil Source #

Instance details

Defined in Data.Units.US.Misc

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

data Point Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Point = Inch
type DimOfUnit Point
Instance details Defined in Data.Units.US.Misc type DimOfUnit Point = DimOfUnit (BaseUnit Point)
type UnitFactorsOf Point
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Point = If (IsCanonical Point) '['F Point One] (UnitFactorsOf (BaseUnit Point))

Methods

conversionRatio :: Point -> Rational #

canonicalConvRatio :: Point -> Rational

type BaseUnit Point Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Point = Inch

type DimOfUnit Point Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Point = DimOfUnit (BaseUnit Point)

type UnitFactorsOf Point Source #

Instance details

Defined in Data.Units.US.Misc

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

data Pica Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Pica = Point
type DimOfUnit Pica
Instance details Defined in Data.Units.US.Misc type DimOfUnit Pica = DimOfUnit (BaseUnit Pica)
type UnitFactorsOf Pica
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Pica = If (IsCanonical Pica) '['F Pica One] (UnitFactorsOf (BaseUnit Pica))

Methods

conversionRatio :: Pica -> Rational #

canonicalConvRatio :: Pica -> Rational

type BaseUnit Pica Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Pica = Point

type DimOfUnit Pica Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Pica = DimOfUnit (BaseUnit Pica)

type UnitFactorsOf Pica Source #

Instance details

Defined in Data.Units.US.Misc

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

data Inch Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Inch = Foot
type DimOfUnit Inch
Instance details Defined in Data.Units.US.Misc type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)
type UnitFactorsOf Inch
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Inch = If (IsCanonical Inch) '['F Inch One] (UnitFactorsOf (BaseUnit Inch))

Methods

conversionRatio :: Inch -> Rational #

canonicalConvRatio :: Inch -> Rational

type BaseUnit Inch Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Inch = Foot

type DimOfUnit Inch Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)

type UnitFactorsOf Inch Source #

Instance details

Defined in Data.Units.US.Misc

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

data Foot Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Foot = Meter
type DimOfUnit Foot
Instance details Defined in Data.Units.US.Misc type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type UnitFactorsOf Foot
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Foot = If (IsCanonical Foot) '['F Foot One] (UnitFactorsOf (BaseUnit Foot))

Methods

conversionRatio :: Foot -> Rational #

canonicalConvRatio :: Foot -> Rational

type BaseUnit Foot Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Foot = Meter

type DimOfUnit Foot Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)

type UnitFactorsOf Foot Source #

Instance details

Defined in Data.Units.US.Misc

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

data Yard Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Yard = Foot
type DimOfUnit Yard
Instance details Defined in Data.Units.US.Misc type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)
type UnitFactorsOf Yard
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Yard = If (IsCanonical Yard) '['F Yard One] (UnitFactorsOf (BaseUnit Yard))

Methods

conversionRatio :: Yard -> Rational #

canonicalConvRatio :: Yard -> Rational

type BaseUnit Yard Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Yard = Foot

type DimOfUnit Yard Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)

type UnitFactorsOf Yard Source #

Instance details

Defined in Data.Units.US.Misc

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

data Mile Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Mile = Foot
type DimOfUnit Mile
Instance details Defined in Data.Units.US.Misc type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type UnitFactorsOf Mile
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Mile = If (IsCanonical Mile) '['F Mile One] (UnitFactorsOf (BaseUnit Mile))

Methods

conversionRatio :: Mile -> Rational #

canonicalConvRatio :: Mile -> Rational

type BaseUnit Mile Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Mile = Foot

type DimOfUnit Mile Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)

type UnitFactorsOf Mile Source #

Instance details

Defined in Data.Units.US.Misc

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

data NauticalMile Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit NauticalMile = Kilo :@ Meter
type DimOfUnit NauticalMile
Instance details Defined in Data.Units.US.Misc type DimOfUnit NauticalMile = DimOfUnit (BaseUnit NauticalMile)
type UnitFactorsOf NauticalMile
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf NauticalMile = If (IsCanonical NauticalMile) '['F NauticalMile One] (UnitFactorsOf (BaseUnit NauticalMile))

Methods

conversionRatio :: NauticalMile -> Rational #

canonicalConvRatio :: NauticalMile -> Rational

type BaseUnit NauticalMile Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit NauticalMile = Kilo :@ Meter

type DimOfUnit NauticalMile Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit NauticalMile = DimOfUnit (BaseUnit NauticalMile)

type UnitFactorsOf NauticalMile Source #

Instance details

Defined in Data.Units.US.Misc

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

Velocity

data Knot Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Knot = NauticalMile :/ Hour
type DimOfUnit Knot
Instance details Defined in Data.Units.US.Misc type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)
type UnitFactorsOf Knot
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Knot = If (IsCanonical Knot) '['F Knot One] (UnitFactorsOf (BaseUnit Knot))

Methods

conversionRatio :: Knot -> Rational #

canonicalConvRatio :: Knot -> Rational

type BaseUnit Knot Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Knot = NauticalMile :/ Hour

type DimOfUnit Knot Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)

type UnitFactorsOf Knot Source #

Instance details

Defined in Data.Units.US.Misc

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

Area

data Acre Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Acre = Foot :^ Two
type DimOfUnit Acre
Instance details Defined in Data.Units.US.Survey type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)
type UnitFactorsOf Acre
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Acre = If (IsCanonical Acre) '['F Acre One] (UnitFactorsOf (BaseUnit Acre))

Methods

conversionRatio :: Acre -> Rational #

canonicalConvRatio :: Acre -> Rational

type BaseUnit Acre Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Acre = Foot :^ Two

type DimOfUnit Acre Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)

type UnitFactorsOf Acre Source #

Instance details

Defined in Data.Units.US.Survey

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

Volume

These are all liquid measures. Solid measures are different.

data Teaspoon Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Teaspoon = FluidOunce
type DimOfUnit Teaspoon
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)
type UnitFactorsOf Teaspoon
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Teaspoon = If (IsCanonical Teaspoon) '['F Teaspoon One] (UnitFactorsOf (BaseUnit Teaspoon))

Methods

conversionRatio :: Teaspoon -> Rational #

canonicalConvRatio :: Teaspoon -> Rational

type BaseUnit Teaspoon Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Teaspoon = FluidOunce

type DimOfUnit Teaspoon Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)

type UnitFactorsOf Teaspoon Source #

Instance details

Defined in Data.Units.US.Liquid

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

data Tablespoon Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Tablespoon = Teaspoon
type DimOfUnit Tablespoon
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)
type UnitFactorsOf Tablespoon
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Tablespoon = If (IsCanonical Tablespoon) '['F Tablespoon One] (UnitFactorsOf (BaseUnit Tablespoon))

Methods

conversionRatio :: Tablespoon -> Rational #

canonicalConvRatio :: Tablespoon -> Rational

type BaseUnit Tablespoon Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Tablespoon = Teaspoon

type DimOfUnit Tablespoon Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)

type UnitFactorsOf Tablespoon Source #

Instance details

Defined in Data.Units.US.Liquid

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

data FluidOunce Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit FluidOunce = Gallon
type DimOfUnit FluidOunce
Instance details Defined in Data.Units.US.Liquid type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)
type UnitFactorsOf FluidOunce
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf FluidOunce = If (IsCanonical FluidOunce) '['F FluidOunce One] (UnitFactorsOf (BaseUnit FluidOunce))

Methods

conversionRatio :: FluidOunce -> Rational #

canonicalConvRatio :: FluidOunce -> Rational

type BaseUnit FluidOunce Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit FluidOunce = Gallon

type DimOfUnit FluidOunce Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)

type UnitFactorsOf FluidOunce Source #

Instance details

Defined in Data.Units.US.Liquid

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

data Cup Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Cup = FluidOunce
type DimOfUnit Cup
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)
type UnitFactorsOf Cup
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Cup = If (IsCanonical Cup) '['F Cup One] (UnitFactorsOf (BaseUnit Cup))

Methods

conversionRatio :: Cup -> Rational #

canonicalConvRatio :: Cup -> Rational

type BaseUnit Cup Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Cup = FluidOunce

type DimOfUnit Cup Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)

type UnitFactorsOf Cup Source #

Instance details

Defined in Data.Units.US.Liquid

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

data Pint Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Pint = FluidOunce
type DimOfUnit Pint
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type UnitFactorsOf Pint
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Pint = If (IsCanonical Pint) '['F Pint One] (UnitFactorsOf (BaseUnit Pint))

Methods

conversionRatio :: Pint -> Rational #

canonicalConvRatio :: Pint -> Rational

type BaseUnit Pint Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Pint = FluidOunce

type DimOfUnit Pint Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)

type UnitFactorsOf Pint Source #

Instance details

Defined in Data.Units.US.Liquid

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

data Quart Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Quart = Gallon
type DimOfUnit Quart
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type UnitFactorsOf Quart
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Quart = If (IsCanonical Quart) '['F Quart One] (UnitFactorsOf (BaseUnit Quart))

Methods

conversionRatio :: Quart -> Rational #

canonicalConvRatio :: Quart -> Rational

type BaseUnit Quart Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Quart = Gallon

type DimOfUnit Quart Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)

type UnitFactorsOf Quart Source #

Instance details

Defined in Data.Units.US.Liquid

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

data Gallon Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Liquid type BaseUnit Gallon = Inch :^ Three
type DimOfUnit Gallon
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type UnitFactorsOf Gallon
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Gallon = If (IsCanonical Gallon) '['F Gallon One] (UnitFactorsOf (BaseUnit Gallon))

Methods

conversionRatio :: Gallon -> Rational #

canonicalConvRatio :: Gallon -> Rational

type BaseUnit Gallon Source #

Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Gallon = Inch :^ Three

type DimOfUnit Gallon Source #

Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)

type UnitFactorsOf Gallon Source #

Instance details

Defined in Data.Units.US.Liquid

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

Mass

These are all in the avoirdupois system

data Ounce Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Avoirdupois type BaseUnit Ounce = Pound
type DimOfUnit Ounce
Instance details Defined in Data.Units.US.Avoirdupois type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)
type UnitFactorsOf Ounce
Instance details Defined in Data.Units.US.Avoirdupois type UnitFactorsOf Ounce = If (IsCanonical Ounce) '['F Ounce One] (UnitFactorsOf (BaseUnit Ounce))

Methods

conversionRatio :: Ounce -> Rational #

canonicalConvRatio :: Ounce -> Rational

type BaseUnit Ounce Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Ounce = Pound

type DimOfUnit Ounce Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)

type UnitFactorsOf Ounce Source #

Instance details

Defined in Data.Units.US.Avoirdupois

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

data Pound Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Avoirdupois type BaseUnit Pound = Gram
type DimOfUnit Pound
Instance details Defined in Data.Units.US.Avoirdupois type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)
type UnitFactorsOf Pound
Instance details Defined in Data.Units.US.Avoirdupois type UnitFactorsOf Pound = If (IsCanonical Pound) '['F Pound One] (UnitFactorsOf (BaseUnit Pound))

Methods

conversionRatio :: Pound -> Rational #

canonicalConvRatio :: Pound -> Rational

type BaseUnit Pound Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Pound = Gram

type DimOfUnit Pound Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)

type UnitFactorsOf Pound Source #

Instance details

Defined in Data.Units.US.Avoirdupois

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

data Ton Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Avoirdupois type BaseUnit Ton = Pound
type DimOfUnit Ton
Instance details Defined in Data.Units.US.Avoirdupois type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type UnitFactorsOf Ton
Instance details Defined in Data.Units.US.Avoirdupois type UnitFactorsOf Ton = If (IsCanonical Ton) '['F Ton One] (UnitFactorsOf (BaseUnit Ton))

Methods

conversionRatio :: Ton -> Rational #

canonicalConvRatio :: Ton -> Rational

type BaseUnit Ton Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Ton = Pound

type DimOfUnit Ton Source #

Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)

type UnitFactorsOf Ton Source #

Instance details

Defined in Data.Units.US.Avoirdupois

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

Pressure

data Atmosphere Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Atmosphere = Kilo :@ Pascal
type DimOfUnit Atmosphere
Instance details Defined in Data.Units.US.Misc type DimOfUnit Atmosphere = DimOfUnit (BaseUnit Atmosphere)
type UnitFactorsOf Atmosphere
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Atmosphere = If (IsCanonical Atmosphere) '['F Atmosphere One] (UnitFactorsOf (BaseUnit Atmosphere))

Methods

conversionRatio :: Atmosphere -> Rational #

canonicalConvRatio :: Atmosphere -> Rational

type BaseUnit Atmosphere Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Atmosphere = Kilo :@ Pascal

type DimOfUnit Atmosphere Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Atmosphere = DimOfUnit (BaseUnit Atmosphere)

type UnitFactorsOf Atmosphere Source #

Instance details

Defined in Data.Units.US.Misc

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

data Bar Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Bar = Kilo :@ Pascal
type DimOfUnit Bar
Instance details Defined in Data.Units.US.Misc type DimOfUnit Bar = DimOfUnit (BaseUnit Bar)
type UnitFactorsOf Bar
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Bar = If (IsCanonical Bar) '['F Bar One] (UnitFactorsOf (BaseUnit Bar))

Methods

conversionRatio :: Bar -> Rational #

canonicalConvRatio :: Bar -> Rational

type BaseUnit Bar Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Bar = Kilo :@ Pascal

type DimOfUnit Bar Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Bar = DimOfUnit (BaseUnit Bar)

type UnitFactorsOf Bar Source #

Instance details

Defined in Data.Units.US.Misc

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

Energy

data FoodCalorie Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit FoodCalorie = Kilo :@ Calorie
type DimOfUnit FoodCalorie
Instance details Defined in Data.Units.US.Misc type DimOfUnit FoodCalorie = DimOfUnit (BaseUnit FoodCalorie)
type UnitFactorsOf FoodCalorie
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf FoodCalorie = If (IsCanonical FoodCalorie) '['F FoodCalorie One] (UnitFactorsOf (BaseUnit FoodCalorie))

Methods

conversionRatio :: FoodCalorie -> Rational #

canonicalConvRatio :: FoodCalorie -> Rational

type BaseUnit FoodCalorie Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit FoodCalorie = Kilo :@ Calorie

type DimOfUnit FoodCalorie Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit FoodCalorie = DimOfUnit (BaseUnit FoodCalorie)

type UnitFactorsOf FoodCalorie Source #

Instance details

Defined in Data.Units.US.Misc

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

data Therm Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Therm = Mega :@ Joule
type DimOfUnit Therm
Instance details Defined in Data.Units.US.Misc type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)
type UnitFactorsOf Therm
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Therm = If (IsCanonical Therm) '['F Therm One] (UnitFactorsOf (BaseUnit Therm))

Methods

conversionRatio :: Therm -> Rational #

canonicalConvRatio :: Therm -> Rational

type BaseUnit Therm Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Therm = Mega :@ Joule

type DimOfUnit Therm Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)

type UnitFactorsOf Therm Source #

Instance details

Defined in Data.Units.US.Misc

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

data Btu Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Btu = Joule
type DimOfUnit Btu
Instance details Defined in Data.Units.US.Misc type DimOfUnit Btu = DimOfUnit (BaseUnit Btu)
type UnitFactorsOf Btu
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Btu = If (IsCanonical Btu) '['F Btu One] (UnitFactorsOf (BaseUnit Btu))

Methods

conversionRatio :: Btu -> Rational #

canonicalConvRatio :: Btu -> Rational

type BaseUnit Btu Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Btu = Joule

type DimOfUnit Btu Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Btu = DimOfUnit (BaseUnit Btu)

type UnitFactorsOf Btu Source #

Instance details

Defined in Data.Units.US.Misc

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

Power

data Horsepower Source #

Constructors

Instances

Instances details

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
Instance details Defined in Data.Units.US.Misc type BaseUnit Horsepower = Watt
type DimOfUnit Horsepower
Instance details Defined in Data.Units.US.Misc type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)
type UnitFactorsOf Horsepower
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Horsepower = If (IsCanonical Horsepower) '['F Horsepower One] (UnitFactorsOf (BaseUnit Horsepower))

Methods

conversionRatio :: Horsepower -> Rational #

canonicalConvRatio :: Horsepower -> Rational

type BaseUnit Horsepower Source #

Instance details

Defined in Data.Units.US.Misc

type BaseUnit Horsepower = Watt

type DimOfUnit Horsepower Source #

Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)

type UnitFactorsOf Horsepower Source #

Instance details

Defined in Data.Units.US.Misc

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