name: dependent-map version: 0.4.0.0 stability: provisional cabal-version: >= 1.6 build-type: Simple author: James Cook maintainer: Obsidian Systems, LLC license: OtherLicense license-file: LICENSE homepage: https://github.com/obsidiansystems/dependent-map category: Data, Dependent Types synopsis: Dependent finite maps (partial dependent products) description: Provides a type called @DMap@ which generalizes @Data.Map.Map@, allowing keys to specify the type of value that can be associated with them. extra-source-files: ChangeLog.md README.md tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3 source-repository head type: git location: https://github.com/obsidiansystems/dependent-map Library hs-source-dirs: src ghc-options: -fwarn-unused-imports -fwarn-unused-binds exposed-modules: Data.Dependent.Map, Data.Dependent.Map.Lens, Data.Dependent.Map.Internal other-modules: Data.Dependent.Map.PtrEquality build-depends: base >= 4.9 && < 5, containers >= 0.5.7.1 && <0.7, dependent-sum >= 0.6.1 && < 0.8, constraints-extras >= 0.2.3.0 && < 0.4