The latest version of numeric-kinds is 0.2.0-1.

numeric-kinds

Version 0.1.0.0 revision 1 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

Components