name:                 dependent-sum
version:              0.7.2.0
visibility:           public
id:                   dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk
key:                  dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk
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:                  758cbcfc5611e25ac977146b947fc3be
exposed:              True
exposed-modules:
    Data.Dependent.Sum,
    Data.GADT.Compare from some-1.0.6-HhIurQEX9gRDXlEihMn5jF:Data.GADT.Compare,
    Data.GADT.Show from some-1.0.6-HhIurQEX9gRDXlEihMn5jF:Data.GADT.Show,
    Data.Some from some-1.0.6-HhIurQEX9gRDXlEihMn5jF:Data.Some

import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk

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

hs-libraries:         HSdependent-sum-0.7.2.0-3kBihw2CoWuHig8uZ689Bk
depends:
    base-4.20.0.0-inplace
    constraints-extras-0.4.0.2-3Ko4AplwTVJKh8A9zN9XPK
    some-1.0.6-HhIurQEX9gRDXlEihMn5jF

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

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