name:          eq
category:      Type System
version:       0.3.7.1
x-revision: 1
license:       BSD3
cabal-version: >= 1.6
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 Edward A. Kmett
synopsis:      Leibnizian equality
description:   Leibnizian equality
build-type:    Simple
extra-source-files: .travis.yml

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

library
  other-extensions:
    CPP
    Rank2Types
    TypeOperators

  build-depends:
    base          >= 4 && < 4.6,
    semigroupoids >= 1.3.1.2 && < 1.4,
    groupoids     >= 0.2.1.1 && < 0.3

  exposed-modules:
    Data.Eq.Type

  if impl(ghc >= 7.0)
    extensions: TypeFamilies
    cpp-options: -DLANGUAGE_TypeFamilies

  ghc-options: -Wall