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, 0.2.0.1
Change logNone available
Dependenciesbase (>=3 && <5), containers, dependent-sum (>=0.3.2 && <0.4) [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
UploadedFri Aug 21 18:25:31 UTC 2015 by JamesCook
DistributionsDebian:0.1.1.3, LTSHaskell:0.1.1.3, NixOS:0.2.0.1, Stackage:0.1.1.3
Downloads3048 total (197 in last 30 days)
Votes
1 []
StatusDocs available [build log]
Last success reported on 2015-08-21 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees