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

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

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 # type DimOfUnit PoundForce # type UnitFactorsOf PoundForce :: [Factor Type] # Methods conversionRatio :: PoundForce -> Rational # canonicalConvRatio :: PoundForce -> Rational
type UnitFactorsOf PoundForce Source #
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf PoundForce = If (IsCanonical PoundForce) '['F PoundForce One] (UnitFactorsOf (BaseUnit PoundForce))
type DimOfUnit PoundForce Source #
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit PoundForce = DimOfUnit (BaseUnit PoundForce)
type BaseUnit PoundForce Source #
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit PoundForce = Newton

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 # type DimOfUnit TonForce # type UnitFactorsOf TonForce :: [Factor Type] # Methods conversionRatio :: TonForce -> Rational # canonicalConvRatio :: TonForce -> Rational
type UnitFactorsOf TonForce Source #
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf TonForce = If (IsCanonical TonForce) '['F TonForce One] (UnitFactorsOf (BaseUnit TonForce))
type DimOfUnit TonForce Source #
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit TonForce = DimOfUnit (BaseUnit TonForce)
type BaseUnit TonForce Source #
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit TonForce = PoundForce

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

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

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 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 # type DimOfUnit FootCandle # type UnitFactorsOf FootCandle :: [Factor Type] # Methods conversionRatio :: FootCandle -> Rational # canonicalConvRatio :: FootCandle -> Rational
type UnitFactorsOf FootCandle Source #
Instance details Defined in Data.Units.Imperial.Misc type UnitFactorsOf FootCandle = If (IsCanonical FootCandle) '['F FootCandle One] (UnitFactorsOf (BaseUnit FootCandle))
type DimOfUnit FootCandle Source #
Instance details Defined in Data.Units.Imperial.Misc type DimOfUnit FootCandle = DimOfUnit (BaseUnit FootCandle)
type BaseUnit FootCandle Source #
Instance details Defined in Data.Units.Imperial.Misc type BaseUnit FootCandle = Lux

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

speeds :: [Name] Source #

Speed units: Knot

temperatures :: [Name] Source #

Temperature units: Fahrenheit

illuminances :: [Name] Source #

Illuminance units: FootCandle

forces :: [Name] Source #

Force units: PoundForce and TonForce

energies :: [Name] Source #

Energy units: FootPoundForce, BritishThermalUnit and Therm

powers :: [Name] Source #

Power units: Horsepower