dependent-map

Dependent finite maps (partial dependent products)

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

Version on this page:0.2.1.0
LTS Haskell 23.21:0.4.0.0@rev:2
Stackage Nightly 2025-05-02:0.4.0.0@rev:2
Latest on Hackage:0.4.0.0@rev:2

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.1.0@sha256:831be16a6a352384e6f360c8877780c6755a4dfd41adb1ac96559dc36dd7d30d,1615

Module documentation for 0.2.1.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.