dependent-map-0.4.0.0: Dependent finite maps (partial dependent products)
Provides a type called
DMap
which generalizes
Data.Map.Map
, allowing keys to specify the type
of value that can be associated with them.
Modules
- Data