name:                 dependent-map
version:              0.4.0.0
visibility:           public
id:                   dependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO
key:                  dependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO
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:                  4622454d54278fb9076618f57f819330
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.10.1/dependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO

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

hs-libraries:         HSdependent-map-0.4.0.0-Cn54vf7WWCy4ChxnpePEsO
depends:
    base-4.20.0.0-inplace
    constraints-extras-0.4.0.2-3Ko4AplwTVJKh8A9zN9XPK
    containers-0.7-inplace dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk

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

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