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.Imperial

Contents

Lengths
Velocity
Area
Volume
Mass
Pressure
Energy
Power
Temperature

Description

This module defines the Imperial system of units, based on the Exchequer Standards of 1825. Two big differences between the Imperial system and the US customary one are that because the USA declared their independence from the UK in 1776, the US customary system is based on the previous Winchester Standards, and that the Imperial system uses the same units for dry and fluid measures. This module gathers together a subjective set of units of general use appearing <https://en.wikipedia.org/wiki/Imperial_units here>, submodules will gather measures of more limited 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.

Where possible, reference have been made to UK legislation. However, Wikipedia's page is much better organized than any government resource immediately available.

The UK legislation used as references are as follows: http://www.legislation.gov.uk/ukpga/1985/72/enacted http://www.legislation.gov.uk/uksi/1994/2867/schedule/part/VI/made http://www.legislation.gov.uk/uksi/1995/1804/schedule/made

Synopsis

data Thou = Thou
data Inch = Inch
data Foot = Foot
data Yard = Yard
data Mile = Mile
data NauticalMile = NauticalMile
data Knot = Knot
data Acre = Acre
data FluidOunce = FluidOunce
data Pint = Pint
data Quart = Quart
data Gallon = Gallon
data Ounce = Ounce
data Pound = Pound
data Stone = Stone
data Ton = Ton
data InchOfWater = InchOfWater
data FootPoundForce = FootPoundForce
data Therm = Therm
data BritishThermalUnit = BritishThermalUnit
data Horsepower = Horsepower
data Fahrenheit = Fahrenheit

Lengths

data Thou Source #

Constructors

Thou

Instances

Instances details

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

data Inch Source #

Constructors

Inch

Instances

Instances details

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

data Foot Source #

Constructors

Foot

Instances

Instances details

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

data Yard Source #

Constructors

Yard

Instances

Instances details

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

data Mile Source #

Constructors

Mile

Instances

Instances details

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

data NauticalMile Source #

Constructors

NauticalMile

Instances

Instances details

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

Velocity

data Knot Source #

Constructors

Knot

Instances

Instances details

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

Area

data Acre Source #

Constructors

Acre

Instances

Instances details

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

Volume

data FluidOunce Source #

Constructors

FluidOunce

Instances

Instances details

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

data Pint Source #

Constructors

Pint

Instances

Instances details

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

data Quart Source #

Constructors

Quart

Instances

Instances details

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

data Gallon Source #

Constructors

Gallon

Instances

Instances details

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

Mass

These are all in the avoirdupois system

data Ounce Source #

Constructors

Ounce

Instances

Instances details

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

data Pound Source #

Constructors

Pound

Instances

Instances details

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

data Stone Source #

Constructors

Stone

Instances

Instances details

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

data Ton Source #

Constructors

Ton

Instances

Instances details

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

Pressure

data InchOfWater Source #

Constructors

InchOfWater

Instances

Instances details

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

Energy

data FootPoundForce Source #

Constructors

FootPoundForce

Instances

Instances details

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

data Therm Source #

Constructors

Therm

Instances

Instances details

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

data BritishThermalUnit Source #

Constructors

BritishThermalUnit

Instances

Instances details

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

Power

data Horsepower Source #

Constructors

Horsepower

Instances

Instances details

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

Temperature

data Fahrenheit Source #

Constructors

Fahrenheit

Instances

Instances details

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