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.
Downloads
- snumber-0.3.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 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 <awpritchard@gmail.com> |
Maintainer | Andrew Pritchard <awpritchard@gmail.com> |
Revised | Revision 1 made by AndrewPritchard at 2022-08-14T15:57:22Z |
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 | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 426 total (11 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] |