fin-int: Finite sets of static size
This provides a newtype Fin containing an Int with an invariant that
its value is less than its type-level Nat bound. It aims to have low
overhead compared to Ints, and is suitable for use as the index type of
length-indexed vectors.
[Skip to Readme]
Downloads
- fin-int-0.2.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.2.0, 0.2.0.1 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | attenuation (>=0.1 && <0.3), base (>=4.12 && <4.19), data-default-class (>=0.0 && <0.2), deepseq (>=1.1 && <1.5), portray (>=0.1 && <0.4), portray-diff (>=0.1 && <0.2), QuickCheck (>=2.5 && <2.15), sint (>=0.1 && <0.3) [details] |
| License | Apache-2.0 |
| Copyright | 2017-2021 Google LLC; 2022 Andrew Pritchard |
| Author | Lennart Augustsson <lennart@augustsson.net> |
| Maintainer | Andrew Pritchard <awpritchard@gmail.com> |
| Category | Data |
| Home page | https://github.com/awpr/fin-vec#readme |
| Bug tracker | https://github.com/awpr/fin-vec/issues |
| Source repo | head: git clone https://github.com/awpr/fin-vec(fin-int) |
| Uploaded | by AndrewPritchard at 2023-03-13T00:09:19Z |
| Distributions | |
| Reverse Dependencies | 4 direct, 1 indirect [details] |
| Downloads | 547 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2023-03-13 [all 1 reports] |