@hackage / uom-plugin

Units of measure as a GHC type-checker plugin

Latest0.4.0.0

About

Metadata

  • Last updated , by AdamGundry
  • License BSD-3-Clause
  • Categories Type System

  • Maintained by: Adam Gundry <adam@well-typed.com>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.4.2
  2. 9.2.4
  3. 9.0.2

Readme

Units of measure as a GHC type-checker plugin

⚠️ This library is experimental, and may lead to unexpected type-checking failures or even type soundness bugs.

The uom-plugin library adds support for units of measure as a GHC type-checker plugin. See Data.UnitsOfMeasure.Tutorial for an introduction to the library, and the accompanying paper for more background. An example of a package that uses the library is given in uom-plugin-examples.

The latest version of the library is tested with GHC 9.0 to 9.4. Older versions of uom-plugin (0.3 and earlier) work with the GHC 7.10, 8.0 and 8.2 series. There are no versions supporting GHC 8.4 to 8.10 (#43). Running cabal haddock on this library requires GHC 9.4 (see #66).