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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.1.0, 0.2.0.0, 0.2.0.1, 0.3.0.0, 0.4.0.0
Change log changelog
Dependencies base (>=4.7 && <5), containers (>=0.5 && <0.6), deepseq (>=1.3 && <1.5), ghc (>=7.9 && <8.4), ghc-tcplugins-extra (>=0.1 && <0.3), template-haskell (>=2.9 && <2.13), units-parser (>=0.1 && <0.2) [details]
License BSD-3-Clause
Copyright Copyright (c) 2014-2018, 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#readme
Bug tracker https://github.com/adamgundry/uom-plugin/issues
Source repo head: git clone https://github.com/adamgundry/uom-plugin
Uploaded by AdamGundry at 2018-06-13T20:27:51Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 3240 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-06-13 [all 1 reports]