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 Nat
s with GHC array primitives that
expect Int
s 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] |