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

Versions0.1, 0.1.1, 0.1.1.1, 0.1.1.2, 0.1.1.3
Change logNone available
Dependenciesbase (>=3 && <5), containers, dependent-sum (==0.2.*) [details]
LicenseOtherLicense
AuthorJames Cook <mokus@deepbondi.net>
MaintainerJames Cook <mokus@deepbondi.net>
Stabilityprovisional
CategoryData, Dependent Types
Home pagehttps://github.com/mokus0/dependent-map
Source repositoryhead: git clone git://github.com/mokus0/dependent-map.git
UploadedThu Feb 19 04:04:43 UTC 2015 by JamesCook
DistributionsDebian:0.1.1.2, NixOS:0.1.1.3, Stackage:0.1.1.3
Downloads2876 total (153 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-02-19 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees