The dependent-map package

[ Tags: data, dependent-types, library ] [ Propose Tags ]

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


Versions 0.1, 0.1.1,,,,,,,,
Dependencies base (>=3 && <5), containers, dependent-sum (>=0.3.2), semigroups [details]
License OtherLicense
Author James Cook <>
Maintainer James Cook <>
Category Data, Dependent Types
Home page
Source repo head: git clone git://
Uploaded Wed Dec 21 22:24:34 UTC 2016 by JamesCook
Distributions Debian:, LTSHaskell:, NixOS:, Stackage:, openSUSE:
Downloads 6115 total (54 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-12-21 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees