name:                 dependent-map
version:              0.4.0.0
visibility:           public
id:                   dependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M
key:                  dependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M
license:              LicenseRef-OtherLicense
maintainer:           Obsidian Systems, LLC <maintainer@obsidian.systems>
author:               James Cook <mokus@deepbondi.net>
stability:            provisional
homepage:             https://github.com/obsidiansystems/dependent-map
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.

category:             Data, Dependent Types
abi:                  bc40f21ba261d2e0f8b461f9f37cd4d8
exposed:              True
exposed-modules:
    Data.Dependent.Map Data.Dependent.Map.Internal
    Data.Dependent.Map.Lens

hidden-modules:       Data.Dependent.Map.PtrEquality
import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2
data-dir:
    /usr/pkg/share/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0

hs-libraries:         HSdependent-map-0.4.0.0-IDRoEffjLu02W0ehDxlg1M
depends:
    base-4.19.1.0-inplace
    constraints-extras-0.4.0.0-89XKdYAB4i7DYJ6oBW6z2b
    containers-0.6.8-inplace
    dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0/html/dependent-map.haddock

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.8.2/dependent-map-0.4.0.0/html
