dependent-map

Dependent finite maps (partial dependent products)

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

Version on this page:0.1.1.3
LTS Haskell 22.29:0.4.0.0@rev:2
Stackage Nightly 2024-07-18: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.1.1.3@sha256:847c9fbe34a06a072fa4fece8f2b3af8b074dd6460f0508f51d163046a2bdd1a,1598

Module documentation for 0.1.1.3

Used by 1 package in lts-3.22(full list with versions):

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