dimensional: Statically checked physical dimensions.

[ benchmark, bsd3, library, math, physics ] [ Propose Tags ]
Versions 0.7, 0.7.1, 0.7.2, 0.7.3, 0.8,,, 0.9, 0.10, 0.10.1,,, 0.10.2, 0.12, 0.12.1,, 0.12.2, 0.12.3, 0.13,,,,,,,, 1.1
Dependencies base, time [details]
License BSD-3-Clause
Copyright Bjorn Buckwalter 2006-2008
Author Bjorn Buckwalter
Maintainer bjorn.buckwalter@gmail.com
Category Math
Home page http://dimensional.googlecode.com/
Uploaded by BjornBuckwalter at Thu Jan 3 01:48:52 UTC 2008
Distributions Debian:, LTSHaskell:1.1, NixOS:1.1, Stackage:1.1, openSUSE:
Downloads 10087 total (122 in the last 30 days)
Rating 2.5 (votes: 3) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Successful builds reported [all 7 reports]
Hackage Matrix CI

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. Requires GHC 6.6.1 or later.


  • Numeric
    • Numeric.NumType
    • Units
      • Numeric.Units.Dimensional
        • Numeric.Units.Dimensional.CGS
        • Numeric.Units.Dimensional.Extensible
        • Numeric.Units.Dimensional.NonSI
        • Numeric.Units.Dimensional.Prelude
        • Numeric.Units.Dimensional.Quantities
        • Numeric.Units.Dimensional.SIUnits


Maintainer's Corner

For package maintainers and hackage trustees