dependent-map

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

Version on this page:0.2.4.0@rev:1
LTS Haskell 14.14:0.2.4.0@rev:1
Stackage Nightly 2019-09-21:0.2.4.0
Latest on Hackage:0.3

See all snapshots dependent-map appears in

LicenseRef-OtherLicense licensed and maintained by James Cook

Module documentation for 0.2.4.0

This version can be pinned in stack with:dependent-map-0.2.4.0@sha256:21d35c1eba3f2afa3af3c4c5d8998fd14ac76f596f951c280bd83d1d5a19ae28,1739

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