dependent-enummap: A generalisation of EnumMap to dependent types
A generalisation of EnumMap to dependent key and value types. The key type needs to be an instance of class Enum1, a generalisation of the Enum class. Most of the API of EnumMap/IntMap is supported, usually by wrapping IntMap operations in coercions accompanied by some runtime type-consistency assertions.
Downloads
- dependent-enummap-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.15 && <4.22), containers (>=0.6 && <0.9), dependent-sum (>=0.7 && <0.8), some (>=1 && <2) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2025 Tom Smeding, Mikolaj Konarski |
| Author | Tom Smeding, Mikolaj Konarski |
| Maintainer | Tom Smeding <xhackage@tomsmeding.com> |
| Category | Data, Dependent Types |
| Source repo | head: git clone https://git.tomsmeding.com/dependent-enummap |
| Uploaded | by tomsmeding at 2025-05-13T12:17:04Z |
| Distributions | NixOS:0.1.0.0, Stackage:0.1.0.0 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 14 total (3 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |