The latest version of numeric-kinds is 0.2.0-1.
numeric-kinds
Version 0.1.0.0 revision 2 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Type-level numeric types and classes
- Description
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.- Author
- Andrew Pritchard <awpr@google.com>
- Bug reports
- https://github.com/google/hs-dependent-literals/issues
- Category
- Numeric
- Copyright
- 2020-2021 Google LLC
- Homepage
- https://github.com/google/hs-dependent-literals#readme
- Maintainer
- Andrew Pritchard <awpr@google.com>
- Package URL
- n/a
- Stability
- n/a