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

Description

Miscellaneous units not easily put in another module.

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 Knot = Knot
data InchOfWater = InchOfWater
data PoundForce = PoundForce
data TonForce = TonForce
data Horsepower = Horsepower
data FootPoundForce = FootPoundForce
data BritishThermalUnit = BritishThermalUnit
data Therm = Therm
data FootCandle = FootCandle
data Fahrenheit = Fahrenheit
speeds :: [Name]
temperatures :: [Name]
illuminances :: [Name]
forces :: [Name]
energies :: [Name]
powers :: [Name]

Documentation

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
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit Knot = NauticalMile :/ Hour
type DimOfUnit Knot
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)
type UnitFactorsOf Knot
Instance details Defined in Data.Units.Imperial.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.Imperial.Misc

type BaseUnit Knot = NauticalMile :/ Hour

type DimOfUnit Knot Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)

type UnitFactorsOf Knot Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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

Methods

conversionRatio :: InchOfWater -> Rational #

canonicalConvRatio :: InchOfWater -> Rational

type BaseUnit InchOfWater Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit InchOfWater = Pascal

type DimOfUnit InchOfWater Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit InchOfWater = DimOfUnit (BaseUnit InchOfWater)

type UnitFactorsOf InchOfWater Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

data PoundForce Source #

Constructors

PoundForce

Instances

Instances details

Show PoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

Methods

showsPrec :: Int -> PoundForce -> ShowS #

show :: PoundForce -> String #

showList :: [PoundForce] -> ShowS #

Unit PoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

Associated Types

type BaseUnit PoundForce
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit PoundForce = Newton
type DimOfUnit PoundForce
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit PoundForce = DimOfUnit (BaseUnit PoundForce)
type UnitFactorsOf PoundForce
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf PoundForce = If (IsCanonical PoundForce) '['F PoundForce One] (UnitFactorsOf (BaseUnit PoundForce))

Methods

conversionRatio :: PoundForce -> Rational #

canonicalConvRatio :: PoundForce -> Rational

type BaseUnit PoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit PoundForce = Newton

type DimOfUnit PoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit PoundForce = DimOfUnit (BaseUnit PoundForce)

type UnitFactorsOf PoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

data TonForce Source #

Constructors

TonForce

Instances

Instances details

Show TonForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

Methods

showsPrec :: Int -> TonForce -> ShowS #

show :: TonForce -> String #

showList :: [TonForce] -> ShowS #

Unit TonForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

Associated Types

type BaseUnit TonForce
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit TonForce = PoundForce
type DimOfUnit TonForce
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit TonForce = DimOfUnit (BaseUnit TonForce)
type UnitFactorsOf TonForce
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf TonForce = If (IsCanonical TonForce) '['F TonForce One] (UnitFactorsOf (BaseUnit TonForce))

Methods

conversionRatio :: TonForce -> Rational #

canonicalConvRatio :: TonForce -> Rational

type BaseUnit TonForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit TonForce = PoundForce

type DimOfUnit TonForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit TonForce = DimOfUnit (BaseUnit TonForce)

type UnitFactorsOf TonForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit Horsepower = Watt
type DimOfUnit Horsepower
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)
type UnitFactorsOf Horsepower
Instance details Defined in Data.Units.Imperial.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.Imperial.Misc

type BaseUnit Horsepower = Watt

type DimOfUnit Horsepower Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)

type UnitFactorsOf Horsepower Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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

Methods

conversionRatio :: FootPoundForce -> Rational #

canonicalConvRatio :: FootPoundForce -> Rational

type BaseUnit FootPoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit FootPoundForce = Joule

type DimOfUnit FootPoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit FootPoundForce = DimOfUnit (BaseUnit FootPoundForce)

type UnitFactorsOf FootPoundForce Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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

Methods

conversionRatio :: BritishThermalUnit -> Rational #

canonicalConvRatio :: BritishThermalUnit -> Rational

type BaseUnit BritishThermalUnit Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit BritishThermalUnit = Joule

type DimOfUnit BritishThermalUnit Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit BritishThermalUnit = DimOfUnit (BaseUnit BritishThermalUnit)

type UnitFactorsOf BritishThermalUnit Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit Therm = BritishThermalUnit
type DimOfUnit Therm
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)
type UnitFactorsOf Therm
Instance details Defined in Data.Units.Imperial.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.Imperial.Misc

type BaseUnit Therm = BritishThermalUnit

type DimOfUnit Therm Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)

type UnitFactorsOf Therm Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

data FootCandle Source #

Constructors

FootCandle

Instances

Instances details

Show FootCandle Source #

Instance details

Defined in Data.Units.Imperial.Misc

Methods

showsPrec :: Int -> FootCandle -> ShowS #

show :: FootCandle -> String #

showList :: [FootCandle] -> ShowS #

Unit FootCandle Source #

Instance details

Defined in Data.Units.Imperial.Misc

Associated Types

type BaseUnit FootCandle
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit FootCandle = Lux
type DimOfUnit FootCandle
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit FootCandle = DimOfUnit (BaseUnit FootCandle)
type UnitFactorsOf FootCandle
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf FootCandle = If (IsCanonical FootCandle) '['F FootCandle One] (UnitFactorsOf (BaseUnit FootCandle))

Methods

conversionRatio :: FootCandle -> Rational #

canonicalConvRatio :: FootCandle -> Rational

type BaseUnit FootCandle Source #

Instance details

Defined in Data.Units.Imperial.Misc

type BaseUnit FootCandle = Lux

type DimOfUnit FootCandle Source #

Instance details

Defined in Data.Units.Imperial.Misc

type DimOfUnit FootCandle = DimOfUnit (BaseUnit FootCandle)

type UnitFactorsOf FootCandle Source #

Instance details

Defined in Data.Units.Imperial.Misc

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

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