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

Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Units.US

Contents

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

Lengths

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] #

type UnitFactorsOf Mil Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Mil Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Mil Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Point Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Point Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Point Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Pica Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Pica Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Pica Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Inch Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Inch Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Inch Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Foot Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Foot Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Foot Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Yard Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Yard Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Yard Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Mile Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Mile Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Mile Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Knot Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Knot Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Knot Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Acre Source # 
Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Acre Source # 
Instance details

Defined in Data.Units.US.Survey

type BaseUnit Acre Source # 
Instance details

Defined in Data.Units.US.Survey

Volume

These are all liquid measures. Solid measures are different.

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] #

type UnitFactorsOf Cup Source # 
Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Cup Source # 
Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Cup Source # 
Instance details

Defined in Data.Units.US.Liquid

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] #

type UnitFactorsOf Pint Source # 
Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Pint Source # 
Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Pint Source # 
Instance details

Defined in Data.Units.US.Liquid

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] #

type UnitFactorsOf Quart Source # 
Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Quart Source # 
Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Quart Source # 
Instance details

Defined in Data.Units.US.Liquid

data Gallon Source #

Constructors

Gallon 
Instances
Show Gallon Source # 
Instance details

Defined in Data.Units.US.Liquid

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] #

type UnitFactorsOf Gallon Source # 
Instance details

Defined in Data.Units.US.Liquid

type DimOfUnit Gallon Source # 
Instance details

Defined in Data.Units.US.Liquid

type BaseUnit Gallon Source # 
Instance details

Defined in Data.Units.US.Liquid

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] #

type UnitFactorsOf Ounce Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Ounce Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Ounce Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

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] #

type UnitFactorsOf Pound Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Pound Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Pound Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

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] #

type UnitFactorsOf Ton Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Ton Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

type BaseUnit Ton Source # 
Instance details

Defined in Data.Units.US.Avoirdupois

Pressure

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] #

type UnitFactorsOf Bar Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Bar Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Bar Source # 
Instance details

Defined in Data.Units.US.Misc

Energy

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] #

type UnitFactorsOf Therm Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Therm Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Therm Source # 
Instance details

Defined in Data.Units.US.Misc

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] #

type UnitFactorsOf Btu Source # 
Instance details

Defined in Data.Units.US.Misc

type DimOfUnit Btu Source # 
Instance details

Defined in Data.Units.US.Misc

type BaseUnit Btu Source # 
Instance details

Defined in Data.Units.US.Misc

Power