Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.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

Lengths

data Angstrom Source #

Constructors

Angstrom

Instances

Show Angstrom Source #
Methods showsPrec :: Int -> Angstrom -> ShowS # show :: Angstrom -> String # showList :: [Angstrom] -> ShowS #
Unit Angstrom Source #
Associated Types type BaseUnit Angstrom :: * # type DimOfUnit Angstrom :: * # type UnitFactorsOf Angstrom :: [Factor *] # Methods conversionRatio :: Angstrom -> Rational # canonicalConvRatio :: Angstrom -> Rational
type UnitFactorsOf Angstrom Source #
type UnitFactorsOf Angstrom = If [Factor ] (IsCanonical Angstrom) ((:) (Factor ) (F * Angstrom One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Angstrom))
type DimOfUnit Angstrom Source #
type DimOfUnit Angstrom = DimOfUnit (BaseUnit Angstrom)
type BaseUnit Angstrom Source #
type BaseUnit Angstrom = (:@) Nano Meter

data Mil Source #

Constructors

Mil

Instances

Show Mil Source #
Methods showsPrec :: Int -> Mil -> ShowS # show :: Mil -> String # showList :: [Mil] -> ShowS #
Unit Mil Source #
Associated Types type BaseUnit Mil :: * # type DimOfUnit Mil :: * # type UnitFactorsOf Mil :: [Factor *] # Methods conversionRatio :: Mil -> Rational # canonicalConvRatio :: Mil -> Rational
type UnitFactorsOf Mil Source #
type UnitFactorsOf Mil = If [Factor ] (IsCanonical Mil) ((:) (Factor ) (F * Mil One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mil))
type DimOfUnit Mil Source #
type DimOfUnit Mil = DimOfUnit (BaseUnit Mil)
type BaseUnit Mil Source #
type BaseUnit Mil = Inch

data Point Source #

Constructors

Point

Instances

Show Point Source #
Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Unit Point Source #
Associated Types type BaseUnit Point :: * # type DimOfUnit Point :: * # type UnitFactorsOf Point :: [Factor *] # Methods conversionRatio :: Point -> Rational # canonicalConvRatio :: Point -> Rational
type UnitFactorsOf Point Source #
type UnitFactorsOf Point = If [Factor ] (IsCanonical Point) ((:) (Factor ) (F * Point One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Point))
type DimOfUnit Point Source #
type DimOfUnit Point = DimOfUnit (BaseUnit Point)
type BaseUnit Point Source #
type BaseUnit Point = Inch

data Pica Source #

Constructors

Pica

Instances

Show Pica Source #
Methods showsPrec :: Int -> Pica -> ShowS # show :: Pica -> String # showList :: [Pica] -> ShowS #
Unit Pica Source #
Associated Types type BaseUnit Pica :: * # type DimOfUnit Pica :: * # type UnitFactorsOf Pica :: [Factor *] # Methods conversionRatio :: Pica -> Rational # canonicalConvRatio :: Pica -> Rational
type UnitFactorsOf Pica Source #
type UnitFactorsOf Pica = If [Factor ] (IsCanonical Pica) ((:) (Factor ) (F * Pica One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pica))
type DimOfUnit Pica Source #
type DimOfUnit Pica = DimOfUnit (BaseUnit Pica)
type BaseUnit Pica Source #
type BaseUnit Pica = Point

data Inch Source #

Constructors

Inch

Instances

Show Inch Source #
Methods showsPrec :: Int -> Inch -> ShowS # show :: Inch -> String # showList :: [Inch] -> ShowS #
Unit Inch Source #
Associated Types type BaseUnit Inch :: * # type DimOfUnit Inch :: * # type UnitFactorsOf Inch :: [Factor *] # Methods conversionRatio :: Inch -> Rational # canonicalConvRatio :: Inch -> Rational
type UnitFactorsOf Inch Source #
type UnitFactorsOf Inch = If [Factor ] (IsCanonical Inch) ((:) (Factor ) (F * Inch One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Inch))
type DimOfUnit Inch Source #
type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)
type BaseUnit Inch Source #
type BaseUnit Inch = Foot

data Foot Source #

Constructors

Foot

Instances

Show Foot Source #
Methods showsPrec :: Int -> Foot -> ShowS # show :: Foot -> String # showList :: [Foot] -> ShowS #
Unit Foot Source #
Associated Types type BaseUnit Foot :: * # type DimOfUnit Foot :: * # type UnitFactorsOf Foot :: [Factor *] # Methods conversionRatio :: Foot -> Rational # canonicalConvRatio :: Foot -> Rational
type UnitFactorsOf Foot Source #
type UnitFactorsOf Foot = If [Factor ] (IsCanonical Foot) ((:) (Factor ) (F * Foot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Foot))
type DimOfUnit Foot Source #
type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type BaseUnit Foot Source #
type BaseUnit Foot = Meter

data Yard Source #

Constructors

Yard

Instances

Show Yard Source #
Methods showsPrec :: Int -> Yard -> ShowS # show :: Yard -> String # showList :: [Yard] -> ShowS #
Unit Yard Source #
Associated Types type BaseUnit Yard :: * # type DimOfUnit Yard :: * # type UnitFactorsOf Yard :: [Factor *] # Methods conversionRatio :: Yard -> Rational # canonicalConvRatio :: Yard -> Rational
type UnitFactorsOf Yard Source #
type UnitFactorsOf Yard = If [Factor ] (IsCanonical Yard) ((:) (Factor ) (F * Yard One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Yard))
type DimOfUnit Yard Source #
type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)
type BaseUnit Yard Source #
type BaseUnit Yard = Foot

data Mile Source #

Constructors

Mile

Instances

Show Mile Source #
Methods showsPrec :: Int -> Mile -> ShowS # show :: Mile -> String # showList :: [Mile] -> ShowS #
Unit Mile Source #
Associated Types type BaseUnit Mile :: * # type DimOfUnit Mile :: * # type UnitFactorsOf Mile :: [Factor *] # Methods conversionRatio :: Mile -> Rational # canonicalConvRatio :: Mile -> Rational
type UnitFactorsOf Mile Source #
type UnitFactorsOf Mile = If [Factor ] (IsCanonical Mile) ((:) (Factor ) (F * Mile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mile))
type DimOfUnit Mile Source #
type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type BaseUnit Mile Source #
type BaseUnit Mile = Foot

data NauticalMile Source #

Constructors

NauticalMile

Instances

Show NauticalMile Source #
Methods showsPrec :: Int -> NauticalMile -> ShowS # show :: NauticalMile -> String # showList :: [NauticalMile] -> ShowS #
Unit NauticalMile Source #
Associated Types type BaseUnit NauticalMile :: * # type DimOfUnit NauticalMile :: * # type UnitFactorsOf NauticalMile :: [Factor *] # Methods conversionRatio :: NauticalMile -> Rational # canonicalConvRatio :: NauticalMile -> Rational
type UnitFactorsOf NauticalMile Source #
type UnitFactorsOf NauticalMile = If [Factor ] (IsCanonical NauticalMile) ((:) (Factor ) (F * NauticalMile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit NauticalMile))
type DimOfUnit NauticalMile Source #
type DimOfUnit NauticalMile = DimOfUnit (BaseUnit NauticalMile)
type BaseUnit NauticalMile Source #
type BaseUnit NauticalMile = (:@) Kilo Meter

Velocity

data Knot Source #

Constructors

Knot

Instances

Show Knot Source #
Methods showsPrec :: Int -> Knot -> ShowS # show :: Knot -> String # showList :: [Knot] -> ShowS #
Unit Knot Source #
Associated Types type BaseUnit Knot :: * # type DimOfUnit Knot :: * # type UnitFactorsOf Knot :: [Factor *] # Methods conversionRatio :: Knot -> Rational # canonicalConvRatio :: Knot -> Rational
type UnitFactorsOf Knot Source #
type UnitFactorsOf Knot = If [Factor ] (IsCanonical Knot) ((:) (Factor ) (F * Knot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Knot))
type DimOfUnit Knot Source #
type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)
type BaseUnit Knot Source #
type BaseUnit Knot = (:/) NauticalMile Hour

Area

data Acre Source #

Constructors

Acre

Instances

Show Acre Source #
Methods showsPrec :: Int -> Acre -> ShowS # show :: Acre -> String # showList :: [Acre] -> ShowS #
Unit Acre Source #
Associated Types type BaseUnit Acre :: * # type DimOfUnit Acre :: * # type UnitFactorsOf Acre :: [Factor *] # Methods conversionRatio :: Acre -> Rational # canonicalConvRatio :: Acre -> Rational
type UnitFactorsOf Acre Source #
type UnitFactorsOf Acre = If [Factor ] (IsCanonical Acre) ((:) (Factor ) (F * Acre One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Acre))
type DimOfUnit Acre Source #
type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)
type BaseUnit Acre Source #
type BaseUnit Acre = (:^) Foot Two

Volume

These are all liquid measures. Solid measures are different.

data Teaspoon Source #

Constructors

Teaspoon

Instances

Show Teaspoon Source #
Methods showsPrec :: Int -> Teaspoon -> ShowS # show :: Teaspoon -> String # showList :: [Teaspoon] -> ShowS #
Unit Teaspoon Source #
Associated Types type BaseUnit Teaspoon :: * # type DimOfUnit Teaspoon :: * # type UnitFactorsOf Teaspoon :: [Factor *] # Methods conversionRatio :: Teaspoon -> Rational # canonicalConvRatio :: Teaspoon -> Rational
type UnitFactorsOf Teaspoon Source #
type UnitFactorsOf Teaspoon = If [Factor ] (IsCanonical Teaspoon) ((:) (Factor ) (F * Teaspoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Teaspoon))
type DimOfUnit Teaspoon Source #
type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)
type BaseUnit Teaspoon Source #
type BaseUnit Teaspoon = FluidOunce

data Tablespoon Source #

Constructors

Tablespoon

Instances

Show Tablespoon Source #
Methods showsPrec :: Int -> Tablespoon -> ShowS # show :: Tablespoon -> String # showList :: [Tablespoon] -> ShowS #
Unit Tablespoon Source #
Associated Types type BaseUnit Tablespoon :: * # type DimOfUnit Tablespoon :: * # type UnitFactorsOf Tablespoon :: [Factor *] # Methods conversionRatio :: Tablespoon -> Rational # canonicalConvRatio :: Tablespoon -> Rational
type UnitFactorsOf Tablespoon Source #
type UnitFactorsOf Tablespoon = If [Factor ] (IsCanonical Tablespoon) ((:) (Factor ) (F * Tablespoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Tablespoon))
type DimOfUnit Tablespoon Source #
type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)
type BaseUnit Tablespoon Source #
type BaseUnit Tablespoon = Teaspoon

data FluidOunce Source #

Constructors

FluidOunce

Instances

Show FluidOunce Source #
Methods showsPrec :: Int -> FluidOunce -> ShowS # show :: FluidOunce -> String # showList :: [FluidOunce] -> ShowS #
Unit FluidOunce Source #
Associated Types type BaseUnit FluidOunce :: * # type DimOfUnit FluidOunce :: * # type UnitFactorsOf FluidOunce :: [Factor *] # Methods conversionRatio :: FluidOunce -> Rational # canonicalConvRatio :: FluidOunce -> Rational
type UnitFactorsOf FluidOunce Source #
type UnitFactorsOf FluidOunce = If [Factor ] (IsCanonical FluidOunce) ((:) (Factor ) (F * FluidOunce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FluidOunce))
type DimOfUnit FluidOunce Source #
type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)
type BaseUnit FluidOunce Source #
type BaseUnit FluidOunce = Gallon

data Cup Source #

Constructors

Cup

Instances

Show Cup Source #
Methods showsPrec :: Int -> Cup -> ShowS # show :: Cup -> String # showList :: [Cup] -> ShowS #
Unit Cup Source #
Associated Types type BaseUnit Cup :: * # type DimOfUnit Cup :: * # type UnitFactorsOf Cup :: [Factor *] # Methods conversionRatio :: Cup -> Rational # canonicalConvRatio :: Cup -> Rational
type UnitFactorsOf Cup Source #
type UnitFactorsOf Cup = If [Factor ] (IsCanonical Cup) ((:) (Factor ) (F * Cup One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Cup))
type DimOfUnit Cup Source #
type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)
type BaseUnit Cup Source #
type BaseUnit Cup = FluidOunce

data Pint Source #

Constructors

Pint

Instances

Show Pint Source #
Methods showsPrec :: Int -> Pint -> ShowS # show :: Pint -> String # showList :: [Pint] -> ShowS #
Unit Pint Source #
Associated Types type BaseUnit Pint :: * # type DimOfUnit Pint :: * # type UnitFactorsOf Pint :: [Factor *] # Methods conversionRatio :: Pint -> Rational # canonicalConvRatio :: Pint -> Rational
type UnitFactorsOf Pint Source #
type UnitFactorsOf Pint = If [Factor ] (IsCanonical Pint) ((:) (Factor ) (F * Pint One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pint))
type DimOfUnit Pint Source #
type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type BaseUnit Pint Source #
type BaseUnit Pint = FluidOunce

data Quart Source #

Constructors

Quart

Instances

Show Quart Source #
Methods showsPrec :: Int -> Quart -> ShowS # show :: Quart -> String # showList :: [Quart] -> ShowS #
Unit Quart Source #
Associated Types type BaseUnit Quart :: * # type DimOfUnit Quart :: * # type UnitFactorsOf Quart :: [Factor *] # Methods conversionRatio :: Quart -> Rational # canonicalConvRatio :: Quart -> Rational
type UnitFactorsOf Quart Source #
type UnitFactorsOf Quart = If [Factor ] (IsCanonical Quart) ((:) (Factor ) (F * Quart One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Quart))
type DimOfUnit Quart Source #
type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type BaseUnit Quart Source #
type BaseUnit Quart = Gallon

data Gallon Source #

Constructors

Gallon

Instances

Show Gallon Source #
Methods showsPrec :: Int -> Gallon -> ShowS # show :: Gallon -> String # showList :: [Gallon] -> ShowS #
Unit Gallon Source #
Associated Types type BaseUnit Gallon :: * # type DimOfUnit Gallon :: * # type UnitFactorsOf Gallon :: [Factor *] # Methods conversionRatio :: Gallon -> Rational # canonicalConvRatio :: Gallon -> Rational
type UnitFactorsOf Gallon Source #
type UnitFactorsOf Gallon = If [Factor ] (IsCanonical Gallon) ((:) (Factor ) (F * Gallon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gallon))
type DimOfUnit Gallon Source #
type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type BaseUnit Gallon Source #
type BaseUnit Gallon = (:^) Inch Three

Mass

These are all in the avoirdupois system

data Ounce Source #

Constructors

Ounce

Instances

Show Ounce Source #
Methods showsPrec :: Int -> Ounce -> ShowS # show :: Ounce -> String # showList :: [Ounce] -> ShowS #
Unit Ounce Source #
Associated Types type BaseUnit Ounce :: * # type DimOfUnit Ounce :: * # type UnitFactorsOf Ounce :: [Factor *] # Methods conversionRatio :: Ounce -> Rational # canonicalConvRatio :: Ounce -> Rational
type UnitFactorsOf Ounce Source #
type UnitFactorsOf Ounce = If [Factor ] (IsCanonical Ounce) ((:) (Factor ) (F * Ounce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ounce))
type DimOfUnit Ounce Source #
type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)
type BaseUnit Ounce Source #
type BaseUnit Ounce = Pound

data Pound Source #

Constructors

Pound

Instances

Show Pound Source #
Methods showsPrec :: Int -> Pound -> ShowS # show :: Pound -> String # showList :: [Pound] -> ShowS #
Unit Pound Source #
Associated Types type BaseUnit Pound :: * # type DimOfUnit Pound :: * # type UnitFactorsOf Pound :: [Factor *] # Methods conversionRatio :: Pound -> Rational # canonicalConvRatio :: Pound -> Rational
type UnitFactorsOf Pound Source #
type UnitFactorsOf Pound = If [Factor ] (IsCanonical Pound) ((:) (Factor ) (F * Pound One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pound))
type DimOfUnit Pound Source #
type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)
type BaseUnit Pound Source #
type BaseUnit Pound = Gram

data Ton Source #

Constructors

Ton

Instances

Show Ton Source #
Methods showsPrec :: Int -> Ton -> ShowS # show :: Ton -> String # showList :: [Ton] -> ShowS #
Unit Ton Source #
Associated Types type BaseUnit Ton :: * # type DimOfUnit Ton :: * # type UnitFactorsOf Ton :: [Factor *] # Methods conversionRatio :: Ton -> Rational # canonicalConvRatio :: Ton -> Rational
type UnitFactorsOf Ton Source #
type UnitFactorsOf Ton = If [Factor ] (IsCanonical Ton) ((:) (Factor ) (F * Ton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton Source #
type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton Source #
type BaseUnit Ton = Pound

Pressure

data Atmosphere Source #

Constructors

Atmosphere

Instances

Show Atmosphere Source #
Methods showsPrec :: Int -> Atmosphere -> ShowS # show :: Atmosphere -> String # showList :: [Atmosphere] -> ShowS #
Unit Atmosphere Source #
Associated Types type BaseUnit Atmosphere :: * # type DimOfUnit Atmosphere :: * # type UnitFactorsOf Atmosphere :: [Factor *] # Methods conversionRatio :: Atmosphere -> Rational # canonicalConvRatio :: Atmosphere -> Rational
type UnitFactorsOf Atmosphere Source #
type UnitFactorsOf Atmosphere = If [Factor ] (IsCanonical Atmosphere) ((:) (Factor ) (F * Atmosphere One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Atmosphere))
type DimOfUnit Atmosphere Source #
type DimOfUnit Atmosphere = DimOfUnit (BaseUnit Atmosphere)
type BaseUnit Atmosphere Source #
type BaseUnit Atmosphere = (:@) Kilo Pascal

data Bar Source #

Constructors

Bar

Instances

Show Bar Source #
Methods showsPrec :: Int -> Bar -> ShowS # show :: Bar -> String # showList :: [Bar] -> ShowS #
Unit Bar Source #
Associated Types type BaseUnit Bar :: * # type DimOfUnit Bar :: * # type UnitFactorsOf Bar :: [Factor *] # Methods conversionRatio :: Bar -> Rational # canonicalConvRatio :: Bar -> Rational
type UnitFactorsOf Bar Source #
type UnitFactorsOf Bar = If [Factor ] (IsCanonical Bar) ((:) (Factor ) (F * Bar One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Bar))
type DimOfUnit Bar Source #
type DimOfUnit Bar = DimOfUnit (BaseUnit Bar)
type BaseUnit Bar Source #
type BaseUnit Bar = (:@) Kilo Pascal

Energy

data FoodCalorie Source #

Constructors

FoodCalorie

Instances

Show FoodCalorie Source #
Methods showsPrec :: Int -> FoodCalorie -> ShowS # show :: FoodCalorie -> String # showList :: [FoodCalorie] -> ShowS #
Unit FoodCalorie Source #
Associated Types type BaseUnit FoodCalorie :: * # type DimOfUnit FoodCalorie :: * # type UnitFactorsOf FoodCalorie :: [Factor *] # Methods conversionRatio :: FoodCalorie -> Rational # canonicalConvRatio :: FoodCalorie -> Rational
type UnitFactorsOf FoodCalorie Source #
type UnitFactorsOf FoodCalorie = If [Factor ] (IsCanonical FoodCalorie) ((:) (Factor ) (F * FoodCalorie One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FoodCalorie))
type DimOfUnit FoodCalorie Source #
type DimOfUnit FoodCalorie = DimOfUnit (BaseUnit FoodCalorie)
type BaseUnit FoodCalorie Source #
type BaseUnit FoodCalorie = (:@) Kilo Calorie

data Therm Source #

Constructors

Therm

Instances

Show Therm Source #
Methods showsPrec :: Int -> Therm -> ShowS # show :: Therm -> String # showList :: [Therm] -> ShowS #
Unit Therm Source #
Associated Types type BaseUnit Therm :: * # type DimOfUnit Therm :: * # type UnitFactorsOf Therm :: [Factor *] # Methods conversionRatio :: Therm -> Rational # canonicalConvRatio :: Therm -> Rational
type UnitFactorsOf Therm Source #
type UnitFactorsOf Therm = If [Factor ] (IsCanonical Therm) ((:) (Factor ) (F * Therm One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Therm))
type DimOfUnit Therm Source #
type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)
type BaseUnit Therm Source #
type BaseUnit Therm = (:@) Mega Joule

data Btu Source #

Constructors

Btu

Instances

Show Btu Source #
Methods showsPrec :: Int -> Btu -> ShowS # show :: Btu -> String # showList :: [Btu] -> ShowS #
Unit Btu Source #
Associated Types type BaseUnit Btu :: * # type DimOfUnit Btu :: * # type UnitFactorsOf Btu :: [Factor *] # Methods conversionRatio :: Btu -> Rational # canonicalConvRatio :: Btu -> Rational
type UnitFactorsOf Btu Source #
type UnitFactorsOf Btu = If [Factor ] (IsCanonical Btu) ((:) (Factor ) (F * Btu One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Btu))
type DimOfUnit Btu Source #
type DimOfUnit Btu = DimOfUnit (BaseUnit Btu)
type BaseUnit Btu Source #
type BaseUnit Btu = Joule

Power

data Horsepower Source #

Constructors

Horsepower

Instances

Show Horsepower Source #
Methods showsPrec :: Int -> Horsepower -> ShowS # show :: Horsepower -> String # showList :: [Horsepower] -> ShowS #
Unit Horsepower Source #
Associated Types type BaseUnit Horsepower :: * # type DimOfUnit Horsepower :: * # type UnitFactorsOf Horsepower :: [Factor *] # Methods conversionRatio :: Horsepower -> Rational # canonicalConvRatio :: Horsepower -> Rational
type UnitFactorsOf Horsepower Source #
type UnitFactorsOf Horsepower = If [Factor ] (IsCanonical Horsepower) ((:) (Factor ) (F * Horsepower One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Horsepower))
type DimOfUnit Horsepower Source #
type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)
type BaseUnit Horsepower Source #
type BaseUnit Horsepower = Watt