dependent-map: Dependent finite maps (partial dependent products)

[ 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, 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 LicenseRef-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 repo head: git clone git://github.com/mokus0/dependent-map.git
Uploaded by JamesCook at Wed Dec 21 22:24:34 UTC 2016
Distributions Debian:0.1.1.3, LTSHaskell:0.2.4.0, NixOS:0.2.4.0, Stackage:0.2.4.0
Downloads 6343 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

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees