dependent-map

Dependent finite maps (partial dependent products)

https://github.com/mokus0/dependent-map

Version on this page:0.2.3.0
LTS Haskell 24.25:0.4.0.1
Stackage Nightly 2025-12-25:0.4.0.1
Latest on Hackage:0.4.0.1

See all snapshots dependent-map appears in

LicenseRef-OtherLicense licensed and maintained by James Cook
This version can be pinned in stack with:dependent-map-0.2.3.0@sha256:f6edba1789623182befa3bb30f1981f78d9ffe07f14ed97320681a9112b1ee22,1662

Module documentation for 0.2.3.0

Provides a type called DMap which generalizes Data.Map.Map, allowing keys to specify the type of value that can be associated with them.