name:                 dependent-sum
version:              0.7.2.0
visibility:           public
id:                   dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q
key:                  dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q
license:              LicenseRef-PublicDomain
maintainer:           Obsidian Systems, LLC <maintainer@obsidian.systems>
author:               James Cook <mokus@deepbondi.net>
stability:            provisional
homepage:             https://github.com/obsidiansystems/dependent-sum
synopsis:             Dependent sum type
description:
    A dependent sum is a generalization of a
    particular way of thinking about the @Either@
    type.  @Either a b@ can be thought of as a
    2-tuple @(tag, value)@, where the value of the
    tag determines the type of the value.  In
    particular, either @tag = Left@ and @value :: a@
    or @tag = Right@ and @value :: b@.

    This package allows you to define your own
    dependent sum types by using your own \"tag\"
    types.

category:             Data, Dependent Types
abi:                  dfb697cd0317fdaa82a9085fde0ac1b3
exposed:              True
exposed-modules:
    Data.Dependent.Sum,
    Data.GADT.Compare from some-1.0.6-H29nFCd3Zx1JlFfCkHKyON:Data.GADT.Compare,
    Data.GADT.Show from some-1.0.6-H29nFCd3Zx1JlFfCkHKyON:Data.GADT.Show,
    Data.Some from some-1.0.6-H29nFCd3Zx1JlFfCkHKyON:Data.Some

import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/dependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q

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

hs-libraries:         HSdependent-sum-0.7.2.0-8m8e5gb41KECSOFAqen00Q
depends:
    base-4.19.1.0-inplace
    constraints-extras-0.4.0.0-89XKdYAB4i7DYJ6oBW6z2b
    some-1.0.6-H29nFCd3Zx1JlFfCkHKyON

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

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.8.2/dependent-sum-0.7.2.0/html
