@hackage numeric-kinds0.1.0.0
Type-level numeric types and classes
Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpr@google.com>
Links
Versions
Installation
Dependencies (1)
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.