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
Dependencies base (>=3 && <5), containers, dependent-sum (>=0.3.2 && <0.4) [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 Sat May 14 23:40:17 UTC 2016 by JamesCook
Distributions Debian:0.1.1.3, LTSHaskell:0.2.2.0, NixOS:0.2.2.0, Stackage:0.2.2.0
Downloads 3712 total (24 in the last 30 days)
Votes
1 []
Status Docs pending
Build status unknown [no reports yet]

Modules

  • Data
    • Dependent
      • Data.Dependent.Map

Downloads

Maintainer's Corner

For package maintainers and hackage trustees