dependent-map

Dependent finite maps (partial dependent products) https://github.com/mokus0/dependent-map

Latest on Hackage:0.4.0.0

See all snapshots dependent-map appears in

LicenseRef-OtherLicense licensed and maintained by James Cook

Module documentation for 0.2.4.0

This version can be pinned in stack with:dependent-map-0.2.4.0@sha256:c12162b00168a9bc73efd6197322e88a1789becdae4da10d79901539bcbffc85,1716

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

Used by 1 package in lts-13.11(full list with versions):