name:          eq
category:      Type System
version:       4.3
x-revision: 1
license:       BSD3
cabal-version: >= 1.10
license-file:  LICENSE
author:        Edward A. Kmett
maintainer:    Edward A. Kmett <ekmett@gmail.com>
stability:     provisional
homepage:      http://github.com/ekmett/eq/
bug-reports:   http://github.com/ekmett/eq/issues
copyright:     Copyright (C) 2011-2013 Edward A. Kmett
synopsis:      Leibnizian equality
description:   Leibnizian equality.
build-type:    Simple
tested-with:   GHC == 7.0.4
             , GHC == 7.2.2
             , GHC == 7.4.2
             , GHC == 7.6.3
             , GHC == 7.8.4
             , GHC == 7.10.3
             , GHC == 8.0.2
             , GHC == 8.2.2
             , GHC == 8.4.4
             , GHC == 8.6.5
             , GHC == 8.8.4
             , GHC == 8.10.7
             , GHC == 9.0.1
             , GHC == 9.2.1

extra-source-files:
  .gitignore
  .vim.custom
  CHANGELOG.markdown
  README.markdown

source-repository head
  type: git
  location: git://github.com/ekmett/eq.git

library
  other-extensions:
    CPP
    Rank2Types
    TypeOperators

  build-depends:
    base          >= 4.3 && <5,
    semigroupoids >= 4 && < 7

  exposed-modules:
    Data.Eq.Type

  -- We always have TypeFamilies, we don't support pre GHC-7 compilers.
  -- TypeFamilies are needed to implement lower combinators.
  default-extensions: TypeFamilies

  if impl(ghc >= 8.2)
    exposed-modules: Data.Eq.Type.Hetero

  if !impl(ghc >= 7.8)
     build-depends: type-equality >=1 && <2

  ghc-options: -Wall
  default-language: Haskell2010
  hs-source-dirs: src