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

Description

This module defines American customary units that don't fit into other categories.

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

data Foot = Foot
data Inch = Inch
data Yard = Yard
data Mile = Mile
data Angstrom = Angstrom
data Hand = Hand
data Mil = Mil
data Point = Point
data Pica = Pica
data Fathom = Fathom
data Cable = Cable
data NauticalMile = NauticalMile
data Knot = Knot
data Atmosphere = Atmosphere
data Bar = Bar
data MillimeterOfMercury = MillimeterOfMercury
data Torr = Torr
data Calorie = Calorie
data FoodCalorie = FoodCalorie
data Therm = Therm
data Btu = Btu
data Horsepower = Horsepower
data Rankine = Rankine
data PoundForce = PoundForce
data Slug = Slug
data Oersted = Oersted
lengths :: [Name]
data Maxwell = Maxwell

Documentation

data Foot Source #

Constructors

Foot

Instances

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

data Inch Source #

Constructors

Inch

Instances

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

data Yard Source #

Constructors

Yard

Instances

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

data Mile Source #

Constructors

Mile

Instances

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

data Angstrom Source #

Constructors

Angstrom

Instances

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

data Hand Source #

Constructors

Hand

Instances

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

data Mil Source #

Constructors

Mil

Instances

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

data Point Source #

Constructors

Point

Instances

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

data Pica Source #

Constructors

Pica

Instances

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

data Fathom Source #

Constructors

Fathom

Instances

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

data Cable Source #

Constructors

Cable

Instances

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

data NauticalMile Source #

Constructors

NauticalMile

Instances

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

data Knot Source #

Constructors

Knot

Instances

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

data Atmosphere Source #

Constructors

Atmosphere

Instances

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

data Bar Source #

Constructors

Bar

Instances

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

data MillimeterOfMercury Source #

Constructors

MillimeterOfMercury

Instances

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

data Torr Source #

Constructors

Torr

Instances

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

data Calorie Source #

Constructors

Calorie

Instances

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

data FoodCalorie Source #

Constructors

FoodCalorie

Instances

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

data Therm Source #

Constructors

Therm

Instances

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

data Btu Source #

Constructors

Btu

Instances

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

data Horsepower Source #

Constructors

Horsepower

Instances

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

data Rankine Source #

Constructors

Rankine

Instances

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

data PoundForce Source #

Constructors

PoundForce

Instances

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

data Slug Source #

Constructors

Slug

Instances

Show Slug Source #
Instance details Defined in Data.Units.US.Misc Methods showsPrec :: Int -> Slug -> ShowS # show :: Slug -> String # showList :: [Slug] -> ShowS #
Unit Slug Source #
Instance details Defined in Data.Units.US.Misc Associated Types type BaseUnit Slug :: Type # type DimOfUnit Slug :: Type # type UnitFactorsOf Slug :: [Factor Type] # Methods conversionRatio :: Slug -> Rational # canonicalConvRatio :: Slug -> Rational
type UnitFactorsOf Slug Source #
Instance details Defined in Data.Units.US.Misc type UnitFactorsOf Slug = If (IsCanonical Slug) (F Slug One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Slug))
type DimOfUnit Slug Source #
Instance details Defined in Data.Units.US.Misc type DimOfUnit Slug = DimOfUnit (BaseUnit Slug)
type BaseUnit Slug Source #
Instance details Defined in Data.Units.US.Misc type BaseUnit Slug = (PoundForce :* (Second :^ Two)) :/ Foot

data Oersted Source #

Constructors

Oersted

Instances

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

lengths :: [Name] Source #

Standard lengths: Foot, Inch, Yard, and Mile

data Maxwell Source #

Constructors

Maxwell

Instances

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