sint: Nat singletons represented by Int
This package implements a type SInt that links a runtime Int with a
type-level Nat, along with some arithmetic and reflection capabilities.
This is useful when mixing type-level Nats with GHC array primitives that
expect Ints as sizes and indices.
See the module intro of Data.SInt for more details.
[Skip to Readme]
Downloads
- sint-0.2.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'.
| Versions [RSS] | 0.1.0.0, 0.2.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.12 && <4.17), portray (>=0.1 && <0.3), portray-diff (>=0.1 && <0.2) [details] |
| License | Apache-2.0 |
| Copyright | 2021 Google LLC |
| Author | Andrew Pritchard <awpr@google.com> |
| Maintainer | Andrew Pritchard <awpr@google.com> |
| Revised | Revision 1 made by AndrewPritchard at 2021-11-03T06:43:08Z |
| Category | Data |
| Home page | https://github.com/google/hs-fin-vec#readme |
| Bug tracker | https://github.com/google/hs-fin-vec/issues |
| Source repo | head: git clone https://github.com/google/hs-fin-vec(sint) |
| Uploaded | by AndrewPritchard at 2021-10-24T19:43:04Z |
| Distributions | NixOS:0.2.0 |
| Downloads | 203 total (3 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-10-24 [all 1 reports] |