units-defs-2.2: Definitions for use with the units package

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

Description

Units used in the measure of precious metals.

Documentation

data Carat Source #

Constructors

Instances

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

data Point Source #

Constructors

Instances

Show Point Source #
Instance details Defined in Data.Units.PreciousMetals Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Unit Point Source #
Instance details Defined in Data.Units.PreciousMetals 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.PreciousMetals type UnitFactorsOf Point = If (IsCanonical Point) (F Point One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Point))
type DimOfUnit Point Source #
Instance details Defined in Data.Units.PreciousMetals type DimOfUnit Point = DimOfUnit (BaseUnit Point)
type BaseUnit Point Source #
Instance details Defined in Data.Units.PreciousMetals type BaseUnit Point = Carat

data AssayTon Source #

Constructors

Instances

Show AssayTon Source #
Instance details Defined in Data.Units.PreciousMetals Methods showsPrec :: Int -> AssayTon -> ShowS # show :: AssayTon -> String # showList :: [AssayTon] -> ShowS #
Unit AssayTon Source #
Instance details Defined in Data.Units.PreciousMetals Associated Types type BaseUnit AssayTon :: Type # type DimOfUnit AssayTon :: Type # type UnitFactorsOf AssayTon :: [Factor Type] # Methods conversionRatio :: AssayTon -> Rational # canonicalConvRatio :: AssayTon -> Rational
type UnitFactorsOf AssayTon Source #
Instance details Defined in Data.Units.PreciousMetals type UnitFactorsOf AssayTon = If (IsCanonical AssayTon) (F AssayTon One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit AssayTon))
type DimOfUnit AssayTon Source #
Instance details Defined in Data.Units.PreciousMetals type DimOfUnit AssayTon = DimOfUnit (BaseUnit AssayTon)
type BaseUnit AssayTon Source #
Instance details Defined in Data.Units.PreciousMetals type BaseUnit AssayTon = (Milli :@ Gram) :* (Ton :/ Ounce)