The dependent-map package

[Tags:library]

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

Properties

Versions 0.1, 0.1.1, 0.1.1.1, 0.1.1.2, 0.1.1.3, 0.2.0.1, 0.2.1.0, 0.2.2.0, 0.2.3.0
Dependencies base (>=3 && <5), containers, dependent-sum (>=0.3.2) [details]
License OtherLicense
Author James Cook <mokus@deepbondi.net>
Maintainer James Cook <mokus@deepbondi.net>
Stability provisional
Category Data, Dependent Types
Home page https://github.com/mokus0/dependent-map
Source repository head: git clone git://github.com/mokus0/dependent-map.git
Uploaded Fri Sep 2 23:43:42 UTC 2016 by JamesCook
Distributions Debian:0.1.1.3, LTSHaskell:0.2.3.0, NixOS:0.2.3.0, Stackage:0.2.3.0, Tumbleweed:0.2.3.0
Downloads 3800 total (33 in the last 30 days)
Votes
1 []
Status Docs available [build log]
Last success reported on 2016-09-02 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees