@hackage numeric-kinds0.2.0
Type-level numeric types and classes
Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpritchard@gmail.com>
Links
Versions
Installation
Dependencies (2)
- base >=4.12 && <4.17
- type-compare >=0.1 && <0.2 Show all…
Dependents (3)
@hackage/snumber, @hackage/dependent-literals-plugin, @hackage/dependent-literals
This provides numeric types meant for use at the type level with -XDataKinds, along with type families that act like type-level typeclasses providing various operations.
Currently, this primarily exists in support of
snumber and
dependent-literals-plugin,
and the only type-level numeric type in the current version is Integer.