# 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 | 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 |
---|---|

Dependencies | base (<5), numtype (<1.1), time (<1.3) [details] |

License | BSD-3-Clause |

Copyright | Bjorn Buckwalter 2006-2011 |

Author | Bjorn Buckwalter |

Maintainer | bjorn.buckwalter@gmail.com |

Category | Math, Physics |

Home page | http://dimensional.googlecode.com/ |

Uploaded | by BjornBuckwalter at Fri Aug 12 09:50:08 UTC 2011 |

Distributions | Debian:0.13.0.2, LTSHaskell:1.1, NixOS:1.1, Stackage:1.1 |

Downloads | 10372 total (73 in the last 30 days) |

Rating | 2.5 (votes: 4) [estimated by rule of succession] |

Your Rating | |

Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |

## Modules

[Index]

## Downloads

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