dimensional: Statically checked physical dimensions.
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.
[Skip to Readme]
| Versions [faq] | 0.7, 0.7.1, 0.7.2, 0.7.3, 0.8, 0.8.0.1, 0.8.2.1, 0.9, 0.10, 0.10.1, 0.10.1.1, 0.10.1.2, 0.10.2, 0.12, 0.12.1, 0.12.1.1, 0.12.2, 0.12.3, 0.13, 0.13.0.1, 0.13.0.2, 1.0.0.0, 1.0.1.0, 1.0.1.1, 1.0.1.2, 1.0.1.3, 1.1, 1.2, 1.3 |
|---|---|
| Change log | changelog.md |
| Dependencies | base (>=4.4 && <4.9), numtype (<1.2), time (<1.5) [details] |
| License | BSD-3-Clause |
| Copyright | Bjorn Buckwalter 2006-2014 |
| Author | Bjorn Buckwalter |
| Maintainer | bjorn@buckwalter.se |
| Revised | Revision 1 made by HerbertValerioRiedel at Sat Feb 9 18:23:05 UTC 2019 |
| Category | Math, Physics |
| Home page | http://dimensional.googlecode.com/ |
| Uploaded | by BjornBuckwalter at Tue Feb 11 12:51:38 UTC 2014 |
| Distributions | Debian:1.1, NixOS:1.3, Stackage:1.3 |
| Downloads | 18146 total (852 in the last 30 days) |
| Rating | 2.5 (votes: 5) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |
Modules
[Index]
Downloads
- dimensional-0.13.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.