The dimensional-tf package

[Tags: bsd3, library]

Dimensional is a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities and units is embedded in their types and the validity of operations is verified by the type checker at compile time. The boxing and unboxing of numerical values as quantities is done by multiplication and division with units. The library is designed to, as far as is practical, enforce/encourage best practices of unit usage. The dimensional-tf packade differs from the dimensional package in that the dimension tracking is implemented using type families rather than functional dependencies. Requires GHC 7.0 or later.


Versions0.1,, 0.1.1, 0.2, 0.2.1, 0.3,,
Change logNone available
Dependenciesbase (<5), numtype-tf (<1.1), time (<1.5)
CopyrightBjorn Buckwalter 2006-2012
AuthorBjorn Buckwalter
CategoryMath, Physics
Home page
UploadedWed Feb 15 01:04:30 UTC 2012 by BjornBuckwalter
Downloads1174 total (92 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees