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

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

Description

Units used in the measure of precious metals.

Documentation

data Carat Source #

Constructors

Instances

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

data Point Source #

Constructors

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

data AssayTon Source #

Constructors

Instances

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