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 (revised from the package)
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'.
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.23), 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> |
| Uploaded | by tomsmeding at 2025-05-13T12:17:04Z |
| Revised | Revision 1 made by tomsmeding at 2026-02-02T21:15:58Z |
| Category | Data, Dependent Types |
| Source repo | head: git clone https://git.tomsmeding.com/dependent-enummap |
| Distributions | NixOS:0.1.0.0, Stackage:0.1.0.0 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 22 total (5 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] |