Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.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

Documentation

data Foot Source #

Constructors

Foot

Instances

Show Foot Source #
Methods showsPrec :: Int -> Foot -> ShowS # show :: Foot -> String # showList :: [Foot] -> ShowS #
Unit Foot Source #
Associated Types type BaseUnit Foot :: * # type DimOfUnit Foot :: * # type UnitFactorsOf Foot :: [Factor *] # Methods conversionRatio :: Foot -> Rational # canonicalConvRatio :: Foot -> Rational
type UnitFactorsOf Foot Source #
type UnitFactorsOf Foot = If [Factor ] (IsCanonical Foot) ((:) (Factor ) (F * Foot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Foot))
type DimOfUnit Foot Source #
type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type BaseUnit Foot Source #
type BaseUnit Foot = Meter

data Inch Source #

Constructors

Inch

Instances

Show Inch Source #
Methods showsPrec :: Int -> Inch -> ShowS # show :: Inch -> String # showList :: [Inch] -> ShowS #
Unit Inch Source #
Associated Types type BaseUnit Inch :: * # type DimOfUnit Inch :: * # type UnitFactorsOf Inch :: [Factor *] # Methods conversionRatio :: Inch -> Rational # canonicalConvRatio :: Inch -> Rational
type UnitFactorsOf Inch Source #
type UnitFactorsOf Inch = If [Factor ] (IsCanonical Inch) ((:) (Factor ) (F * Inch One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Inch))
type DimOfUnit Inch Source #
type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)
type BaseUnit Inch Source #
type BaseUnit Inch = Foot

data Yard Source #

Constructors

Yard

Instances

Show Yard Source #
Methods showsPrec :: Int -> Yard -> ShowS # show :: Yard -> String # showList :: [Yard] -> ShowS #
Unit Yard Source #
Associated Types type BaseUnit Yard :: * # type DimOfUnit Yard :: * # type UnitFactorsOf Yard :: [Factor *] # Methods conversionRatio :: Yard -> Rational # canonicalConvRatio :: Yard -> Rational
type UnitFactorsOf Yard Source #
type UnitFactorsOf Yard = If [Factor ] (IsCanonical Yard) ((:) (Factor ) (F * Yard One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Yard))
type DimOfUnit Yard Source #
type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)
type BaseUnit Yard Source #
type BaseUnit Yard = Foot

data Mile Source #

Constructors

Mile

Instances

Show Mile Source #
Methods showsPrec :: Int -> Mile -> ShowS # show :: Mile -> String # showList :: [Mile] -> ShowS #
Unit Mile Source #
Associated Types type BaseUnit Mile :: * # type DimOfUnit Mile :: * # type UnitFactorsOf Mile :: [Factor *] # Methods conversionRatio :: Mile -> Rational # canonicalConvRatio :: Mile -> Rational
type UnitFactorsOf Mile Source #
type UnitFactorsOf Mile = If [Factor ] (IsCanonical Mile) ((:) (Factor ) (F * Mile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mile))
type DimOfUnit Mile Source #
type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type BaseUnit Mile Source #
type BaseUnit Mile = Foot

data Angstrom Source #

Constructors

Angstrom

Instances

Show Angstrom Source #
Methods showsPrec :: Int -> Angstrom -> ShowS # show :: Angstrom -> String # showList :: [Angstrom] -> ShowS #
Unit Angstrom Source #
Associated Types type BaseUnit Angstrom :: * # type DimOfUnit Angstrom :: * # type UnitFactorsOf Angstrom :: [Factor *] # Methods conversionRatio :: Angstrom -> Rational # canonicalConvRatio :: Angstrom -> Rational
type UnitFactorsOf Angstrom Source #
type UnitFactorsOf Angstrom = If [Factor ] (IsCanonical Angstrom) ((:) (Factor ) (F * Angstrom One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Angstrom))
type DimOfUnit Angstrom Source #
type DimOfUnit Angstrom = DimOfUnit (BaseUnit Angstrom)
type BaseUnit Angstrom Source #
type BaseUnit Angstrom = (:@) Nano Meter

data Hand Source #

Constructors

Hand

Instances

Show Hand Source #
Methods showsPrec :: Int -> Hand -> ShowS # show :: Hand -> String # showList :: [Hand] -> ShowS #
Unit Hand Source #
Associated Types type BaseUnit Hand :: * # type DimOfUnit Hand :: * # type UnitFactorsOf Hand :: [Factor *] # Methods conversionRatio :: Hand -> Rational # canonicalConvRatio :: Hand -> Rational
type UnitFactorsOf Hand Source #
type UnitFactorsOf Hand = If [Factor ] (IsCanonical Hand) ((:) (Factor ) (F * Hand One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hand))
type DimOfUnit Hand Source #
type DimOfUnit Hand = DimOfUnit (BaseUnit Hand)
type BaseUnit Hand Source #
type BaseUnit Hand = Inch

data Mil Source #

Constructors

Mil

Instances

Show Mil Source #
Methods showsPrec :: Int -> Mil -> ShowS # show :: Mil -> String # showList :: [Mil] -> ShowS #
Unit Mil Source #
Associated Types type BaseUnit Mil :: * # type DimOfUnit Mil :: * # type UnitFactorsOf Mil :: [Factor *] # Methods conversionRatio :: Mil -> Rational # canonicalConvRatio :: Mil -> Rational
type UnitFactorsOf Mil Source #
type UnitFactorsOf Mil = If [Factor ] (IsCanonical Mil) ((:) (Factor ) (F * Mil One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mil))
type DimOfUnit Mil Source #
type DimOfUnit Mil = DimOfUnit (BaseUnit Mil)
type BaseUnit Mil Source #
type BaseUnit Mil = Inch

data Point Source #

Constructors

Point

Instances

Show Point Source #
Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Unit Point Source #
Associated Types type BaseUnit Point :: * # type DimOfUnit Point :: * # type UnitFactorsOf Point :: [Factor *] # Methods conversionRatio :: Point -> Rational # canonicalConvRatio :: Point -> Rational
type UnitFactorsOf Point Source #
type UnitFactorsOf Point = If [Factor ] (IsCanonical Point) ((:) (Factor ) (F * Point One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Point))
type DimOfUnit Point Source #
type DimOfUnit Point = DimOfUnit (BaseUnit Point)
type BaseUnit Point Source #
type BaseUnit Point = Inch

data Pica Source #

Constructors

Pica

Instances

Show Pica Source #
Methods showsPrec :: Int -> Pica -> ShowS # show :: Pica -> String # showList :: [Pica] -> ShowS #
Unit Pica Source #
Associated Types type BaseUnit Pica :: * # type DimOfUnit Pica :: * # type UnitFactorsOf Pica :: [Factor *] # Methods conversionRatio :: Pica -> Rational # canonicalConvRatio :: Pica -> Rational
type UnitFactorsOf Pica Source #
type UnitFactorsOf Pica = If [Factor ] (IsCanonical Pica) ((:) (Factor ) (F * Pica One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pica))
type DimOfUnit Pica Source #
type DimOfUnit Pica = DimOfUnit (BaseUnit Pica)
type BaseUnit Pica Source #
type BaseUnit Pica = Point

data Fathom Source #

Constructors

Fathom

Instances

Show Fathom Source #
Methods showsPrec :: Int -> Fathom -> ShowS # show :: Fathom -> String # showList :: [Fathom] -> ShowS #
Unit Fathom Source #
Associated Types type BaseUnit Fathom :: * # type DimOfUnit Fathom :: * # type UnitFactorsOf Fathom :: [Factor *] # Methods conversionRatio :: Fathom -> Rational # canonicalConvRatio :: Fathom -> Rational
type UnitFactorsOf Fathom Source #
type UnitFactorsOf Fathom = If [Factor ] (IsCanonical Fathom) ((:) (Factor ) (F * Fathom One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Fathom))
type DimOfUnit Fathom Source #
type DimOfUnit Fathom = DimOfUnit (BaseUnit Fathom)
type BaseUnit Fathom Source #
type BaseUnit Fathom = Yard

data Cable Source #

Constructors

Cable

Instances

Show Cable Source #
Methods showsPrec :: Int -> Cable -> ShowS # show :: Cable -> String # showList :: [Cable] -> ShowS #
Unit Cable Source #
Associated Types type BaseUnit Cable :: * # type DimOfUnit Cable :: * # type UnitFactorsOf Cable :: [Factor *] # Methods conversionRatio :: Cable -> Rational # canonicalConvRatio :: Cable -> Rational
type UnitFactorsOf Cable Source #
type UnitFactorsOf Cable = If [Factor ] (IsCanonical Cable) ((:) (Factor ) (F * Cable One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Cable))
type DimOfUnit Cable Source #
type DimOfUnit Cable = DimOfUnit (BaseUnit Cable)
type BaseUnit Cable Source #
type BaseUnit Cable = Fathom

data NauticalMile Source #

Constructors

NauticalMile

Instances

Show NauticalMile Source #
Methods showsPrec :: Int -> NauticalMile -> ShowS # show :: NauticalMile -> String # showList :: [NauticalMile] -> ShowS #
Unit NauticalMile Source #
Associated Types type BaseUnit NauticalMile :: * # type DimOfUnit NauticalMile :: * # type UnitFactorsOf NauticalMile :: [Factor *] # Methods conversionRatio :: NauticalMile -> Rational # canonicalConvRatio :: NauticalMile -> Rational
type UnitFactorsOf NauticalMile Source #
type UnitFactorsOf NauticalMile = If [Factor ] (IsCanonical NauticalMile) ((:) (Factor ) (F * NauticalMile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit NauticalMile))
type DimOfUnit NauticalMile Source #
type DimOfUnit NauticalMile = DimOfUnit (BaseUnit NauticalMile)
type BaseUnit NauticalMile Source #
type BaseUnit NauticalMile = (:@) Kilo Meter

data Knot Source #

Constructors

Knot

Instances

Show Knot Source #
Methods showsPrec :: Int -> Knot -> ShowS # show :: Knot -> String # showList :: [Knot] -> ShowS #
Unit Knot Source #
Associated Types type BaseUnit Knot :: * # type DimOfUnit Knot :: * # type UnitFactorsOf Knot :: [Factor *] # Methods conversionRatio :: Knot -> Rational # canonicalConvRatio :: Knot -> Rational
type UnitFactorsOf Knot Source #
type UnitFactorsOf Knot = If [Factor ] (IsCanonical Knot) ((:) (Factor ) (F * Knot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Knot))
type DimOfUnit Knot Source #
type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)
type BaseUnit Knot Source #
type BaseUnit Knot = (:/) NauticalMile Hour

data Atmosphere Source #

Constructors

Atmosphere

Instances

Show Atmosphere Source #
Methods showsPrec :: Int -> Atmosphere -> ShowS # show :: Atmosphere -> String # showList :: [Atmosphere] -> ShowS #
Unit Atmosphere Source #
Associated Types type BaseUnit Atmosphere :: * # type DimOfUnit Atmosphere :: * # type UnitFactorsOf Atmosphere :: [Factor *] # Methods conversionRatio :: Atmosphere -> Rational # canonicalConvRatio :: Atmosphere -> Rational
type UnitFactorsOf Atmosphere Source #
type UnitFactorsOf Atmosphere = If [Factor ] (IsCanonical Atmosphere) ((:) (Factor ) (F * Atmosphere One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Atmosphere))
type DimOfUnit Atmosphere Source #
type DimOfUnit Atmosphere = DimOfUnit (BaseUnit Atmosphere)
type BaseUnit Atmosphere Source #
type BaseUnit Atmosphere = (:@) Kilo Pascal

data Bar Source #

Constructors

Bar

Instances

Show Bar Source #
Methods showsPrec :: Int -> Bar -> ShowS # show :: Bar -> String # showList :: [Bar] -> ShowS #
Unit Bar Source #
Associated Types type BaseUnit Bar :: * # type DimOfUnit Bar :: * # type UnitFactorsOf Bar :: [Factor *] # Methods conversionRatio :: Bar -> Rational # canonicalConvRatio :: Bar -> Rational
type UnitFactorsOf Bar Source #
type UnitFactorsOf Bar = If [Factor ] (IsCanonical Bar) ((:) (Factor ) (F * Bar One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Bar))
type DimOfUnit Bar Source #
type DimOfUnit Bar = DimOfUnit (BaseUnit Bar)
type BaseUnit Bar Source #
type BaseUnit Bar = (:@) Kilo Pascal

data MillimeterOfMercury Source #

Constructors

MillimeterOfMercury

Instances

Show MillimeterOfMercury Source #
Methods showsPrec :: Int -> MillimeterOfMercury -> ShowS # show :: MillimeterOfMercury -> String # showList :: [MillimeterOfMercury] -> ShowS #
Unit MillimeterOfMercury Source #
Associated Types type BaseUnit MillimeterOfMercury :: * # type DimOfUnit MillimeterOfMercury :: * # type UnitFactorsOf MillimeterOfMercury :: [Factor *] # Methods conversionRatio :: MillimeterOfMercury -> Rational # canonicalConvRatio :: MillimeterOfMercury -> Rational
type UnitFactorsOf MillimeterOfMercury Source #
type UnitFactorsOf MillimeterOfMercury = If [Factor ] (IsCanonical MillimeterOfMercury) ((:) (Factor ) (F * MillimeterOfMercury One) ([] (Factor *))) (UnitFactorsOf (BaseUnit MillimeterOfMercury))
type DimOfUnit MillimeterOfMercury Source #
type DimOfUnit MillimeterOfMercury = DimOfUnit (BaseUnit MillimeterOfMercury)
type BaseUnit MillimeterOfMercury Source #
type BaseUnit MillimeterOfMercury = Pascal

data Torr Source #

Constructors

Torr

Instances

Show Torr Source #
Methods showsPrec :: Int -> Torr -> ShowS # show :: Torr -> String # showList :: [Torr] -> ShowS #
Unit Torr Source #
Associated Types type BaseUnit Torr :: * # type DimOfUnit Torr :: * # type UnitFactorsOf Torr :: [Factor *] # Methods conversionRatio :: Torr -> Rational # canonicalConvRatio :: Torr -> Rational
type UnitFactorsOf Torr Source #
type UnitFactorsOf Torr = If [Factor ] (IsCanonical Torr) ((:) (Factor ) (F * Torr One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Torr))
type DimOfUnit Torr Source #
type DimOfUnit Torr = DimOfUnit (BaseUnit Torr)
type BaseUnit Torr Source #
type BaseUnit Torr = Atmosphere

data Calorie Source #

Constructors

Calorie

Instances

Show Calorie Source #
Methods showsPrec :: Int -> Calorie -> ShowS # show :: Calorie -> String # showList :: [Calorie] -> ShowS #
Unit Calorie Source #
Associated Types type BaseUnit Calorie :: * # type DimOfUnit Calorie :: * # type UnitFactorsOf Calorie :: [Factor *] # Methods conversionRatio :: Calorie -> Rational # canonicalConvRatio :: Calorie -> Rational
type UnitFactorsOf Calorie Source #
type UnitFactorsOf Calorie = If [Factor ] (IsCanonical Calorie) ((:) (Factor ) (F * Calorie One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Calorie))
type DimOfUnit Calorie Source #
type DimOfUnit Calorie = DimOfUnit (BaseUnit Calorie)
type BaseUnit Calorie Source #
type BaseUnit Calorie = Joule

data FoodCalorie Source #

Constructors

FoodCalorie

Instances

Show FoodCalorie Source #
Methods showsPrec :: Int -> FoodCalorie -> ShowS # show :: FoodCalorie -> String # showList :: [FoodCalorie] -> ShowS #
Unit FoodCalorie Source #
Associated Types type BaseUnit FoodCalorie :: * # type DimOfUnit FoodCalorie :: * # type UnitFactorsOf FoodCalorie :: [Factor *] # Methods conversionRatio :: FoodCalorie -> Rational # canonicalConvRatio :: FoodCalorie -> Rational
type UnitFactorsOf FoodCalorie Source #
type UnitFactorsOf FoodCalorie = If [Factor ] (IsCanonical FoodCalorie) ((:) (Factor ) (F * FoodCalorie One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FoodCalorie))
type DimOfUnit FoodCalorie Source #
type DimOfUnit FoodCalorie = DimOfUnit (BaseUnit FoodCalorie)
type BaseUnit FoodCalorie Source #
type BaseUnit FoodCalorie = (:@) Kilo Calorie

data Therm Source #

Constructors

Therm

Instances

Show Therm Source #
Methods showsPrec :: Int -> Therm -> ShowS # show :: Therm -> String # showList :: [Therm] -> ShowS #
Unit Therm Source #
Associated Types type BaseUnit Therm :: * # type DimOfUnit Therm :: * # type UnitFactorsOf Therm :: [Factor *] # Methods conversionRatio :: Therm -> Rational # canonicalConvRatio :: Therm -> Rational
type UnitFactorsOf Therm Source #
type UnitFactorsOf Therm = If [Factor ] (IsCanonical Therm) ((:) (Factor ) (F * Therm One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Therm))
type DimOfUnit Therm Source #
type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)
type BaseUnit Therm Source #
type BaseUnit Therm = (:@) Mega Joule

data Btu Source #

Constructors

Btu

Instances

Show Btu Source #
Methods showsPrec :: Int -> Btu -> ShowS # show :: Btu -> String # showList :: [Btu] -> ShowS #
Unit Btu Source #
Associated Types type BaseUnit Btu :: * # type DimOfUnit Btu :: * # type UnitFactorsOf Btu :: [Factor *] # Methods conversionRatio :: Btu -> Rational # canonicalConvRatio :: Btu -> Rational
type UnitFactorsOf Btu Source #
type UnitFactorsOf Btu = If [Factor ] (IsCanonical Btu) ((:) (Factor ) (F * Btu One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Btu))
type DimOfUnit Btu Source #
type DimOfUnit Btu = DimOfUnit (BaseUnit Btu)
type BaseUnit Btu Source #
type BaseUnit Btu = Joule

data Horsepower Source #

Constructors

Horsepower

Instances

Show Horsepower Source #
Methods showsPrec :: Int -> Horsepower -> ShowS # show :: Horsepower -> String # showList :: [Horsepower] -> ShowS #
Unit Horsepower Source #
Associated Types type BaseUnit Horsepower :: * # type DimOfUnit Horsepower :: * # type UnitFactorsOf Horsepower :: [Factor *] # Methods conversionRatio :: Horsepower -> Rational # canonicalConvRatio :: Horsepower -> Rational
type UnitFactorsOf Horsepower Source #
type UnitFactorsOf Horsepower = If [Factor ] (IsCanonical Horsepower) ((:) (Factor ) (F * Horsepower One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Horsepower))
type DimOfUnit Horsepower Source #
type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)
type BaseUnit Horsepower Source #
type BaseUnit Horsepower = Watt

data Rankine Source #

Constructors

Rankine

Instances

Show Rankine Source #
Methods showsPrec :: Int -> Rankine -> ShowS # show :: Rankine -> String # showList :: [Rankine] -> ShowS #
Unit Rankine Source #
Associated Types type BaseUnit Rankine :: * # type DimOfUnit Rankine :: * # type UnitFactorsOf Rankine :: [Factor *] # Methods conversionRatio :: Rankine -> Rational # canonicalConvRatio :: Rankine -> Rational
type UnitFactorsOf Rankine Source #
type UnitFactorsOf Rankine = If [Factor ] (IsCanonical Rankine) ((:) (Factor ) (F * Rankine One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Rankine))
type DimOfUnit Rankine Source #
type DimOfUnit Rankine = DimOfUnit (BaseUnit Rankine)
type BaseUnit Rankine Source #
type BaseUnit Rankine = Kelvin

data PoundForce Source #

Constructors

PoundForce

Instances

Show PoundForce Source #
Methods showsPrec :: Int -> PoundForce -> ShowS # show :: PoundForce -> String # showList :: [PoundForce] -> ShowS #
Unit PoundForce Source #
Associated Types type BaseUnit PoundForce :: * # type DimOfUnit PoundForce :: * # type UnitFactorsOf PoundForce :: [Factor *] # Methods conversionRatio :: PoundForce -> Rational # canonicalConvRatio :: PoundForce -> Rational
type UnitFactorsOf PoundForce Source #
type UnitFactorsOf PoundForce = If [Factor ] (IsCanonical PoundForce) ((:) (Factor ) (F * PoundForce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit PoundForce))
type DimOfUnit PoundForce Source #
type DimOfUnit PoundForce = DimOfUnit (BaseUnit PoundForce)
type BaseUnit PoundForce Source #
type BaseUnit PoundForce = Newton

data Slug Source #

Constructors

Slug

Instances

Show Slug Source #
Methods showsPrec :: Int -> Slug -> ShowS # show :: Slug -> String # showList :: [Slug] -> ShowS #
Unit Slug Source #
Associated Types type BaseUnit Slug :: * # type DimOfUnit Slug :: * # type UnitFactorsOf Slug :: [Factor *] # Methods conversionRatio :: Slug -> Rational # canonicalConvRatio :: Slug -> Rational
type UnitFactorsOf Slug Source #
type UnitFactorsOf Slug = If [Factor ] (IsCanonical Slug) ((:) (Factor ) (F * Slug One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Slug))
type DimOfUnit Slug Source #
type DimOfUnit Slug = DimOfUnit (BaseUnit Slug)
type BaseUnit Slug Source #
type BaseUnit Slug = (:/) ((:*) PoundForce ((:^) Second Two)) Foot

data Oersted Source #

Constructors

Oersted

Instances

Show Oersted Source #
Methods showsPrec :: Int -> Oersted -> ShowS # show :: Oersted -> String # showList :: [Oersted] -> ShowS #
Unit Oersted Source #
Associated Types type BaseUnit Oersted :: * # type DimOfUnit Oersted :: * # type UnitFactorsOf Oersted :: [Factor *] # Methods conversionRatio :: Oersted -> Rational # canonicalConvRatio :: Oersted -> Rational
type UnitFactorsOf Oersted Source #
type UnitFactorsOf Oersted = If [Factor ] (IsCanonical Oersted) ((:) (Factor ) (F * Oersted One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Oersted))
type DimOfUnit Oersted Source #
type DimOfUnit Oersted = DimOfUnit (BaseUnit Oersted)
type BaseUnit Oersted Source #
type BaseUnit Oersted = (:/) Ampere Meter

lengths :: [Name] Source #

Standard lengths: Foot, Inch, Yard, and Mile

data Maxwell Source #

Constructors

Maxwell

Instances

Show Maxwell Source #
Methods showsPrec :: Int -> Maxwell -> ShowS # show :: Maxwell -> String # showList :: [Maxwell] -> ShowS #
Unit Maxwell Source #
Associated Types type BaseUnit Maxwell :: * # type DimOfUnit Maxwell :: * # type UnitFactorsOf Maxwell :: [Factor *] # Methods conversionRatio :: Maxwell -> Rational # canonicalConvRatio :: Maxwell -> Rational
type UnitFactorsOf Maxwell Source #
type UnitFactorsOf Maxwell = If [Factor ] (IsCanonical Maxwell) ((:) (Factor ) (F * Maxwell One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Maxwell))
type DimOfUnit Maxwell Source #
type DimOfUnit Maxwell = DimOfUnit (BaseUnit Maxwell)
type BaseUnit Maxwell Source #
type BaseUnit Maxwell = (:@) Nano Weber