name:               th-context
version:            0.24
cabal-version:      >= 1.10
build-type:         Simple
license:            BSD3
category:           Template Haskell
author:             David Fox
copyright:          (c) David Fox
maintainer:         David Fox <dsf@seereason.com>
homepage:           https://github.com/seereason/th-context
bug-reports:        https://github.com/seereason/th-context/issues
stability:          experimental
synopsis:           Test instance context
description:        Use these functions to decide an a not-quite naive fashion
                    whether an instance already exists that satisfies a given
                    context.  This can be used to decide whether an instance
                    needs to be generated, as in th-reify-many.  Known limitation:
                    the instances inserted into the InstMap are not fully recognized
                    when computing the context.
extra-source-files: test/Common.hs test/Context.hs test/Tests.hs test/Values.hs
tested-with:        GHC == 7.10.3, GHC == 7.11.*

Library
  default-language: Haskell2010
  ghc-options:      -Wall -O2
  hs-source-dirs: .
  exposed-modules:
    Data.Logic.ATP.TH
    Language.Haskell.TH.Context
    Language.Haskell.TH.Expand
  build-depends:
    atp-haskell >= 1.14,
    base >= 4.8 && < 5,
    containers,
    data-default,
    haskell-src-exts,
    lens,
    mtl,
    mtl-unleashed >= 0.5,
    pretty,
    syb,
    template-haskell >= 2.10,
    th-desugar,
    th-orphans >= 0.10.0

test-suite th-context-tests
  type:             exitcode-stdio-1.0
  ghc-options:      -Wall -O2
  hs-source-dirs:   test
  main-is:          Tests.hs
  build-depends:
    array,
    atp-haskell,
    base,
    bytestring,
    containers,
    data-default,
    deepseq,
    ghc-prim,
    hspec,
    hspec-core,
    lens,
    mtl,
    mtl-unleashed >= 0.5,
    syb,
    template-haskell,
    text,
    th-context,
    th-desugar,
    th-orphans,
    th-reify-many
  default-language: Haskell2010

source-repository head
  type:     git
  location: git://github.com/seereason/th-context.git