prim-uniq: Opaque unique identifiers in primitive state monads
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.
[Skip to Readme]
Downloads
- prim-uniq-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1, 0.1.0.1, 0.2 |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=3 && <5), dependent-sum (>=0.7 && <0.8), primitive [details] |
Tested with | ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.3, ghc ==8.6.3, ghc ==8.8.3 |
License | LicenseRef-PublicDomain |
Author | James Cook <mokus@deepbondi.net> |
Maintainer | Obsidian Systems, LLC <maintainer@obsidian.systems> |
Category | Data, Dependent Types |
Home page | https://github.com/obsidiansystems/prim-uniq |
Source repo | head: git clone https://github.com/obsidiansystems/prim-uniq |
Uploaded | by BertramFelgenhauer at 2020-04-15T14:37:09Z |
Distributions | Arch:0.2, Debian:0.2, LTSHaskell:0.2, NixOS:0.2, Stackage:0.2 |
Reverse Dependencies | 4 direct, 53 indirect [details] |
Downloads | 7350 total (43 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2020-04-15 [all 1 reports] |