| 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.Metrology.SI.Poly
Description
This module exports definitions for the SI system, with the intent of using these definitions in a polymorphic manner -- that is, with multiple LCSUs.
Documentation
type SI = MkLCSU '[(Length, Meter), (Mass, Kilo :@ Gram), (Time, Second), (Current, Ampere), (Temperature, Kelvin), (AmountOfSubstance, Mole), (LuminousIntensity, Lumen)] Source #
module Data.Metrology.SI.PolyTypes
module Data.Units.SI.Prefixes
module Data.Units.SI
module Data.Units.SI.Parser