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

# 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

dependent-map-0.4.0.0

- Data
  Submodules
  - Dependent
    Submodules
    - Data.Dependent.Map
      Submodules
      - Data.Dependent.Map.Internal
      - Data.Dependent.Map.Lens