ghc-dependent-map
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.

MIT AND BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...