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.2.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, 0.2.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.15 && <4.23), containers (>=0.6 && <0.9), dependent-sum (>=0.7 && <0.8), some (>=1 && <2) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2025-2026 Tom Smeding, Mikolaj Konarski |
| Author | Tom Smeding, Mikolaj Konarski |
| Maintainer | Tom Smeding <xhackage@tomsmeding.com> |
| Uploaded | by tomsmeding at 2026-03-23T11:59:20Z |
| Category | Data, Dependent Types |
| Source repo | head: git clone https://git.tomsmeding.com/dependent-enummap |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 29 total (6 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2026-03-23 [all 1 reports] |