Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. https://github.com/bjornbm/numtype-dk
|Version on this page:||0.5.0.1|
|LTS Haskell 15.14:||[email protected]:1|
|Stackage Nightly 2020-06-01:||[email protected]:1|
|Latest on Hackage:||[email protected]:1|
This package provides type level representations of the integers
TypeInts) and basic operations (addition, subtraction, multiplication,
division, exponentiation) on these.
Requires GHC 7.8 or later.
For project information (code, issues) see: http://github.com/bjornbm/numtype-dk
Internal changes to support compilation on GHC 8.0.1 release candidate.
First public (Hackage) release.