Dependent finite maps (partial dependent products)

Version on this page:
LTS Haskell 14.27:[email protected]:1
Stackage Nightly 2019-09-21:
Latest on Hackage:

See all snapshots dependent-map appears in

LicenseRef-OtherLicense licensed and maintained by James Cook

Module documentation for

This version can be pinned in stack with:[email protected]:847c9fbe34a06a072fa4fece8f2b3af8b074dd6460f0508f51d163046a2bdd1a,1598

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

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