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]:c12162b00168a9bc73efd6197322e88a1789becdae4da10d79901539bcbffc85,1716

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