dependent-map

Dependent finite maps (partial dependent products)

https://github.com/mokus0/dependent-map

Version on this page:0.2.0.1
LTS Haskell 22.18:0.4.0.0@rev:1
Stackage Nightly 2024-04-25:0.4.0.0@rev:1
Latest on Hackage:0.4.0.0@rev:1

See all snapshots dependent-map appears in

LicenseRef-OtherLicense licensed and maintained by James Cook
This version can be pinned in stack with:dependent-map-0.2.0.1@sha256:04ba76fd76f9bb7f0347e2399aa7fc2b5254621bee5e23fdf4b2ac3efdb86b5a,1616

Module documentation for 0.2.0.1

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