numeric-kinds: Type-level numeric types and classes
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
.
Downloads
- numeric-kinds-0.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Versions [RSS] | 0.1.0.0, 0.2.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.12 && <4.17), type-compare (>=0.1 && <0.2) [details] |
License | Apache-2.0 |
Copyright | 2020-2021 Google LLC |
Author | Andrew Pritchard <awpr@google.com> |
Maintainer | Andrew Pritchard <awpr@google.com> |
Category | Numeric |
Home page | https://github.com/google/hs-dependent-literals#readme |
Bug tracker | https://github.com/google/hs-dependent-literals/issues |
Source repo | head: git clone https://github.com/google/hs-dependent-literals(numeric-kinds) |
Uploaded | by AndrewPritchard at 2021-11-05T08:31:19Z |
Distributions | NixOS:0.2.0 |
Downloads | 170 total (7 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2021-11-05 [all 1 reports] |