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.19), portray (>=0.1 && <0.4), portray-diff (>=0.1 && <0.2) [details]|
|Copyright||2021 Google LLC|
|Author||Andrew Pritchard <firstname.lastname@example.org>|
|Maintainer||Andrew Pritchard <email@example.com>|
|Revised||Revision 5 made by AndrewPritchard at 2023-03-13T01:01:14Z|
|Source repo||head: git clone https://github.com/awpr/fin-vec(sint)|
|Uploaded||by AndrewPritchard at 2021-10-24T19:43:04Z|
|Reverse Dependencies||6 direct, 0 indirect [details]|
|Downloads||291 total (2 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]