Dependent finite maps (partial dependent products)

Version on this page:
LTS Haskell 11.0:
Stackage Nightly 2018-03-17:
Latest on Hackage:

See all snapshots dependent-map appears in

OtherLicense licensed and maintained by James Cook

Module documentation for

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

comments powered byDisqus