sint: Nat singletons represented by Int
This package implements a type
SInt that links a runtime
Int with a
Nat, along with some arithmetic and reflection capabilities.
This is useful when mixing type-level
Nats with GHC array primitives that
Ints as sizes and indices.
See the module intro of
Data.SInt for more details.
[Skip to Readme]
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|
|Dependencies||base (>=4.12 && <4.17), portray (>=0.1 && <0.4), portray-diff (>=0.1 && <0.2) [details]|
|Copyright||2021 Google LLC|
|Author||Andrew Pritchard <email@example.com>|
|Maintainer||Andrew Pritchard <firstname.lastname@example.org>|
|Revised||Revision 3 made by AndrewPritchard at 2022-09-25T05:22:55Z|
|Source repo||head: git clone https://github.com/google/hs-fin-vec(sint)|
|Uploaded||by AndrewPritchard at 2021-10-24T19:43:04Z|
|Downloads||224 total (12 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2021-10-24 [all 1 reports]