Dependent finite maps (partial dependent products)

LTS Haskell 9.6:
Stackage Nightly 2017-09-26:
Latest on Hackage:
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