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.

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, 0.2.4.0
Dependencies base (>=3 && <5), containers, dependent-sum (>=0.3.2), semigroups [details]
License OtherLicense
Author James Cook <mokus@deepbondi.net>
Maintainer James Cook <mokus@deepbondi.net>
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 Wed Dec 21 22:24:34 UTC 2016 by JamesCook
Distributions Debian:0.1.1.3, LTSHaskell:0.2.4.0, NixOS:0.2.4.0, Stackage:0.2.4.0, Tumbleweed:0.2.4.0
Downloads 4552 total (48 in the last 30 days)
Rating 2.0 (1 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-12-21 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees