name:                 dec
version:              0.0.6
visibility:           public
id:                   dec-0.0.6-EeFI0tS62njDSCvLrckA3M
key:                  dec-0.0.6-EeFI0tS62njDSCvLrckA3M
license:              BSD-3-Clause
copyright:            (c) 2019-2021 Oleg Grenrus
maintainer:           Oleg.Grenrus <oleg.grenrus@iki.fi>
author:               Oleg Grenrus <oleg.grenrus@iki.fi>
homepage:             https://github.com/phadej/dec
synopsis:             Decidable propositions.
description:
    This package provides a @Dec@ type.

    @
    type Neg a = a -> Void

    data Dec a
    \    = Yes a
    \    | No (Neg a)
    @

category:             Data, Dependent Types
abi:                  08df9a1cc7d7e74e4118a79cb246ea9c
exposed:              True
exposed-modules:      Data.Type.Dec
import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dec-0.0.6-EeFI0tS62njDSCvLrckA3M

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dec-0.0.6-EeFI0tS62njDSCvLrckA3M

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/dec-0.0.6-EeFI0tS62njDSCvLrckA3M

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1
data-dir:             /usr/pkg/share/aarch64-netbsd-ghc-9.10.1/dec-0.0.6
hs-libraries:         HSdec-0.0.6-EeFI0tS62njDSCvLrckA3M
depends:
    base-4.20.0.0-inplace boring-0.2.2-1L0TJdw9D4y3KxXfZaH0av

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/dec-0.0.6/html/dec.haddock

haddock-html:         /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/dec-0.0.6/html
