snumber: Integer singletons with flexible representation
This provides singletons-style witnesses for type-level integers, and some
limited arithmetic operations on them. Instead of working with (invisible,
implicitly-passed) KnownNat instances, you can work with (visible,
explicitly-mentioned) SNumber values, and can freely convert between the
two forms.
This primarily exists in support of dependent-literals-plugin.
| Versions [RSS] [faq] | 0.1.0.0, 0.2.0, 0.3.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.12 && <4.17), numeric-kinds (>=0.1 && <0.3), type-compare (>=0.1.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 | Constraints |
| 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(snumber) |
| Uploaded | by AndrewPritchard at 2021-11-05T08:38:04Z |
| Distributions | NixOS:0.1.0.0 |
| Downloads | 163 total (8 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] |
Downloads
- snumber-0.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)