dimensional-tf: Statically checked physical dimensions, implemented using type families.

[ bsd3, deprecated, library, math, physics ] [ Propose Tags ]
Deprecated. in favor of dimensional

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.

[Skip to Readme]


  • Numeric
    • Units
      • Dimensional
        • Numeric.Units.Dimensional.TF
          • Numeric.Units.Dimensional.TF.NonSI
          • Numeric.Units.Dimensional.TF.Prelude
          • Numeric.Units.Dimensional.TF.Quantities
          • Numeric.Units.Dimensional.TF.SIUnits


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'.

Maintainer's Corner

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1,, 0.1.1, 0.2, 0.2.1, 0.3,,,,
Dependencies base (<4.4), numtype-tf (<1.1), time (<1.5) [details]
License BSD-3-Clause
Copyright Bjorn Buckwalter 2006-2012
Author Bjorn Buckwalter
Maintainer bjorn.buckwalter@gmail.com
Revised Revision 1 made by HerbertValerioRiedel at 2016-12-07T17:09:46Z
Category Math, Physics
Home page http://dimensional.googlecode.com/
Uploaded by BjornBuckwalter at 2012-02-12T07:45:16Z
Distributions NixOS:
Downloads 8006 total (35 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-07 [all 7 reports]

Readme for dimensional-tf-0.1

[back to package description]
For documentation see the file `dimensional.cabal` and the literate
haskell source code.

For project information (issues, updates, wiki, examples) see: