name:                   dependent-sum-template
version:                0.2.0.1
x-revision: 2
stability:              experimental

cabal-version:          >= 1.10
build-type:             Simple

author:                 James Cook <mokus@deepbondi.net>
maintainer:             Obsidian Systems, LLC <maintainer@obsidian.systems>
license:                PublicDomain
homepage:               https://github.com/obsidiansystems/dependent-sum-template

category:               Unclassified
synopsis:               Template Haskell code to generate instances of classes in some package
description:            Template Haskell code to generate instances of classes in some package, such as 'GEq' and 'GCompare'.

tested-with:            GHC == 8.4.4,
                        GHC == 8.6.5,
                        GHC == 8.8.4,
                        GHC == 8.10.7,
                        GHC == 9.0.2,
                        GHC == 9.2.5,
                        GHC == 9.4.5,
                        GHC == 9.6.1

extra-source-files:     ChangeLog.md
                      , ReadMe.md

source-repository head
  type: git
  location: https://github.com/obsidiansystems/dependent-sum-template

Library
  if impl(ghc < 7.10)
    buildable: False
  hs-source-dirs:       src
  default-language:     Haskell2010
  exposed-modules:      Data.GADT.Compare.TH
                        Data.GADT.Show.TH
  other-modules:        Data.GADT.TH.Internal
                        Data.GADT.Compare.Monad
  build-depends:        base >= 3 && <5,
                        some >= 1.0.1 && < 1.1,
                        containers >= 0.5.9.2,
                        mtl,
                        template-haskell >= 2.11 && < 2.23,
                        th-abstraction >= 0.4

test-suite test
  if impl(ghc < 8.0)
    buildable: False
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  default-language:     Haskell2010
  main-is: test.hs
  build-depends: base
               , constraints-extras
               , dependent-sum-template
               , template-haskell
               , some
               , th-abstraction