dependent-map

Dependent finite maps (partial dependent products) https://github.com/mokus0/dependent-map

Version on this page:0.1.1.3
LTS Haskell 9.10:0.2.4.0
Stackage Nightly 2017-10-23:0.2.4.0
Latest on Hackage:0.2.4.0
OtherLicense licensed and maintained by James Cook

Module documentation for 0.1.1.3

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