uom-plugin: Units of measure as a GHC typechecker plugin

[ bsd3, library, type-system ] [ Propose Tags ]

The uom-plugin library adds support for units of measure to GHC using the new experimental facility for typechecker plugins, which is available in GHC 7.10 and later. See Data.UnitsOfMeasure.Tutorial for an introduction to the library.

Versions 0.1.0.0, 0.1.1.0, 0.2.0.0, 0.2.0.1, 0.3.0.0
Dependencies base (>=4.7 && <5), containers (==0.5.*), ghc (>=7.9 && <7.12), ghc-tcplugins-extra (==0.1.*), template-haskell (>=2.9 && <2.12), units-parser (==0.1.*) [details]
License BSD-3-Clause
Copyright Copyright (c) 2014-2015, Adam Gundry
Author Adam Gundry <adam@well-typed.com>
Maintainer Adam Gundry <adam@well-typed.com>
Category Type System
Home page https://github.com/adamgundry/uom-plugin
Bug tracker https://github.com/adamgundry/uom-plugin/issues
Source repo head: git clone https://github.com/adamgundry/uom-plugin.git
Uploaded by AdamGundry at Wed Aug 19 14:49:32 UTC 2015
Distributions NixOS:0.3.0.0
Downloads 881 total (54 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2015-08-19 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees