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

Description

As per current UK legislation, the nautical mile is defined as 1853 m, not 1852 (as it was previously).

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 NauticalMile = NauticalMile
data Cable = Cable
data Fathom = Fathom
nauticalLengths :: [Name]

Documentation

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

data Cable Source #

Constructors

Cable

Instances

Instances details

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

data Fathom Source #

Constructors

Fathom

Instances

Instances details

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

nauticalLengths :: [Name] Source #

Nautical lengths: All units above