Units of measure as a GHC typechecker plugin https://github.com/adamgundry/uom-plugin#readme

Latest on Hackage:

See all snapshots uom-plugin appears in

BSD-3-Clause licensed and maintained by Adam Gundry

Module documentation for

This version can be pinned in stack with:[email protected]:b9dc0f0dd19c54f78f3c16065bc9975572abfdcd58e78df955e223bb038929b4,2851

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.