name:                 type-equality
version:              1.0.1
visibility:           public
id:                   type-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu
key:                  type-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu
license:              BSD-3-Clause
maintainer:
    Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>

author:
    Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen

stability:            provisional
homepage:             https://github.com/hesselink/type-equality
synopsis:             Data.Type.Equality compat package
description:
    This library defines a propositional equality data type,
    shims @Data.Type.Equality@ as well as possible for older GHCs (< 7.8).

    @
    data a :~: b where
    \    Refl :: a :~: a
    @

    The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for
    compilers with @PolyKinds@

category:             Data, Dependent Types
abi:                  a10f7398e4d4ae7291985f0ca1738b16
exposed:              True
exposed-modules:      Data.Type.Equality.Hetero
import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1
data-dir:
    /usr/pkg/share/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1

hs-libraries:         HStype-equality-1.0.1-3SgDfLL3hQgJS3djiQq8Qu
depends:              base-4.20.0.0-inplace
haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1/html/type-equality.haddock

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/type-equality-1.0.1/html
