Dependent finite maps (partial dependent products)

Version on this page:
LTS Haskell 21.23:
Stackage Nightly 2023-12-08:
Latest on Hackage:

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-,1716

Module documentation for

Used by 1 package in lts-13.11(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.