Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.UnitsOfMeasure.Defs

Contents

Orphan instances

Description

This module exports some example definitions of base and derived units, for demonstration purposes. In the future, this is likely to change or be moved to a separate package.

Synopsis

type family MkUnit s

Documentation

type family MkUnit s Source #

This type family is used for translating unit names (as type-level strings) into units. It will be Base for base units or expand the definition for derived units.

The instances displayed by Haddock are available only if Data.UnitsOfMeasure.Defs is imported.

Instances

Instances details

type MkUnit "A" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "A" = Base "A"
type MkUnit "C" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "C" = MkUnit "s" *: MkUnit "A"
type MkUnit "F" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "F" = MkUnit "C" /: MkUnit "V"
type MkUnit "Hz" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "Hz" = One /: (MkUnit "s" ^: 1)
type MkUnit "J" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "J" = MkUnit "N" *: MkUnit "m"
type MkUnit "K" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "K" = Base "K"
type MkUnit "N" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "N" = (MkUnit "kg" *: MkUnit "m") /: (MkUnit "s" ^: 2)
type MkUnit "Pa" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "Pa" = MkUnit "N" /: (MkUnit "m" ^: 2)
type MkUnit "V" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "V" = MkUnit "W" /: MkUnit "A"
type MkUnit "W" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "W" = MkUnit "J" /: MkUnit "s"
type MkUnit "au" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "au" = Base "au"
type MkUnit "cd" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "cd" = Base "cd"
type MkUnit "d" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "d" = Base "d"
type MkUnit "ft" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "ft" = Base "ft"
type MkUnit "g" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "g" = Base "g"
type MkUnit "h" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "h" = Base "h"
type MkUnit "ha" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "ha" = Base "ha"
type MkUnit "in" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "in" = Base "in"
type MkUnit "kg" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "kg" = Base "kg"
type MkUnit "km" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "km" = Base "km"
type MkUnit "l" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "l" = Base "l"
type MkUnit "m" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "m" = Base "m"
type MkUnit "mi" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "mi" = Base "mi"
type MkUnit "min" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "min" = Base "min"
type MkUnit "mol" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "mol" = Base "mol"
type MkUnit "mph" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "mph" = MkUnit "mi" /: MkUnit "h"
type MkUnit "ohm" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "ohm" = MkUnit "V" /: MkUnit "A"
type MkUnit "rad" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "rad" = Base "rad"
type MkUnit "s" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "s" = Base "s"
type MkUnit "sr" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "sr" = Base "sr"
type MkUnit "t" Source #
Instance details Defined in Data.UnitsOfMeasure.Defs type MkUnit "t" = Base "t"

Orphan instances

HasCanonicalBaseUnit "A" Source #
Instance details Associated Types type CanonicalBaseUnit "A" :: Unit Source # Methods conversionBase :: proxy "A" -> Quantity Rational (Base "A" /: CanonicalBaseUnit "A") Source #
HasCanonicalBaseUnit "K" Source #
Instance details Associated Types type CanonicalBaseUnit "K" :: Unit Source # Methods conversionBase :: proxy "K" -> Quantity Rational (Base "K" /: CanonicalBaseUnit "K") Source #
HasCanonicalBaseUnit "au" Source #
Instance details Associated Types type CanonicalBaseUnit "au" :: Unit Source # Methods conversionBase :: proxy "au" -> Quantity Rational (Base "au" /: CanonicalBaseUnit "au") Source #
HasCanonicalBaseUnit "cd" Source #
Instance details Associated Types type CanonicalBaseUnit "cd" :: Unit Source # Methods conversionBase :: proxy "cd" -> Quantity Rational (Base "cd" /: CanonicalBaseUnit "cd") Source #
HasCanonicalBaseUnit "d" Source #
Instance details Associated Types type CanonicalBaseUnit "d" :: Unit Source # Methods conversionBase :: proxy "d" -> Quantity Rational (Base "d" /: CanonicalBaseUnit "d") Source #
HasCanonicalBaseUnit "ft" Source #
Instance details Associated Types type CanonicalBaseUnit "ft" :: Unit Source # Methods conversionBase :: proxy "ft" -> Quantity Rational (Base "ft" /: CanonicalBaseUnit "ft") Source #
HasCanonicalBaseUnit "g" Source #
Instance details Associated Types type CanonicalBaseUnit "g" :: Unit Source # Methods conversionBase :: proxy "g" -> Quantity Rational (Base "g" /: CanonicalBaseUnit "g") Source #
HasCanonicalBaseUnit "h" Source #
Instance details Associated Types type CanonicalBaseUnit "h" :: Unit Source # Methods conversionBase :: proxy "h" -> Quantity Rational (Base "h" /: CanonicalBaseUnit "h") Source #
HasCanonicalBaseUnit "ha" Source #
Instance details Associated Types type CanonicalBaseUnit "ha" :: Unit Source # Methods conversionBase :: proxy "ha" -> Quantity Rational (Base "ha" /: CanonicalBaseUnit "ha") Source #
HasCanonicalBaseUnit "in" Source #
Instance details Associated Types type CanonicalBaseUnit "in" :: Unit Source # Methods conversionBase :: proxy "in" -> Quantity Rational (Base "in" /: CanonicalBaseUnit "in") Source #
HasCanonicalBaseUnit "kg" Source #
Instance details Associated Types type CanonicalBaseUnit "kg" :: Unit Source # Methods conversionBase :: proxy "kg" -> Quantity Rational (Base "kg" /: CanonicalBaseUnit "kg") Source #
HasCanonicalBaseUnit "km" Source #
Instance details Associated Types type CanonicalBaseUnit "km" :: Unit Source # Methods conversionBase :: proxy "km" -> Quantity Rational (Base "km" /: CanonicalBaseUnit "km") Source #
HasCanonicalBaseUnit "l" Source #
Instance details Associated Types type CanonicalBaseUnit "l" :: Unit Source # Methods conversionBase :: proxy "l" -> Quantity Rational (Base "l" /: CanonicalBaseUnit "l") Source #
HasCanonicalBaseUnit "m" Source #
Instance details Associated Types type CanonicalBaseUnit "m" :: Unit Source # Methods conversionBase :: proxy "m" -> Quantity Rational (Base "m" /: CanonicalBaseUnit "m") Source #
HasCanonicalBaseUnit "mi" Source #
Instance details Associated Types type CanonicalBaseUnit "mi" :: Unit Source # Methods conversionBase :: proxy "mi" -> Quantity Rational (Base "mi" /: CanonicalBaseUnit "mi") Source #
HasCanonicalBaseUnit "min" Source #
Instance details Associated Types type CanonicalBaseUnit "min" :: Unit Source # Methods conversionBase :: proxy "min" -> Quantity Rational (Base "min" /: CanonicalBaseUnit "min") Source #
HasCanonicalBaseUnit "mol" Source #
Instance details Associated Types type CanonicalBaseUnit "mol" :: Unit Source # Methods conversionBase :: proxy "mol" -> Quantity Rational (Base "mol" /: CanonicalBaseUnit "mol") Source #
HasCanonicalBaseUnit "rad" Source #
Instance details Associated Types type CanonicalBaseUnit "rad" :: Unit Source # Methods conversionBase :: proxy "rad" -> Quantity Rational (Base "rad" /: CanonicalBaseUnit "rad") Source #
HasCanonicalBaseUnit "s" Source #
Instance details Associated Types type CanonicalBaseUnit "s" :: Unit Source # Methods conversionBase :: proxy "s" -> Quantity Rational (Base "s" /: CanonicalBaseUnit "s") Source #
HasCanonicalBaseUnit "sr" Source #
Instance details Associated Types type CanonicalBaseUnit "sr" :: Unit Source # Methods conversionBase :: proxy "sr" -> Quantity Rational (Base "sr" /: CanonicalBaseUnit "sr") Source #
HasCanonicalBaseUnit "t" Source #
Instance details Associated Types type CanonicalBaseUnit "t" :: Unit Source # Methods conversionBase :: proxy "t" -> Quantity Rational (Base "t" /: CanonicalBaseUnit "t") Source #