# dimensional: Statically checked physical dimensions, using Type Families and Data Kinds.

**This is a package candidate release!** Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

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. Version 1 of the dimensional package differs from earlier version in that the dimension tracking is implemented using Closed Type Families and Data Kinds rather than functional dependencies. This enables a number of features, including improved support for unit names and quantities with statically-unknown dimensions. Requires GHC 7.8 or later.

[Skip to Readme]

## Properties

Versions | 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.1, 1.0.1.2, 1.0.1.3, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6 |
---|---|

Change log | CHANGELOG.md |

Dependencies | base (>=4.7 && <5), deepseq (>=1.3), exact-pi (>=0.2.1.1 && <0.5), numtype-dk (>=0.5 && <1.1), vector (>=0.10) [details] |

License | BSD-3-Clause |

Copyright | Bjorn Buckwalter 2006-2015 |

Author | Bjorn Buckwalter |

Maintainer | bjorn@buckwalter.se |

Category | Math, Physics |

Home page | https://github.com/bjornbm/dimensional/ |

Source repo | head: git clone https://github.com/bjornbm/dimensional/ |

Uploaded | by dmcclean at 2015-12-21T22:25:20Z |

## Modules

[Index]

*Numeric**Units*- Numeric.Units.Dimensional
- Numeric.Units.Dimensional.Coercion
- Numeric.Units.Dimensional.Dimensions
- Numeric.Units.Dimensional.Dynamic
- Numeric.Units.Dimensional.Functor
- Numeric.Units.Dimensional.NonSI
- Numeric.Units.Dimensional.Prelude
- Numeric.Units.Dimensional.Quantities
- Numeric.Units.Dimensional.SIUnits
- Numeric.Units.Dimensional.UnitNames
- Numeric.Units.Dimensional.Variants

- Numeric.Units.Dimensional

## Downloads

- dimensional-1.0.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees