cabal-version:      2.4
name:               codet-plugin
version:            0.1
license:            BSD-3-Clause
license-file:       LICENSE
author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
copyright:          2023 Oleg Grenrus, Well-Typed LLP
category:           Data
build-type:         Simple
extra-doc-files:    CHANGELOG.md
tested-with:        GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1
synopsis:
  GHC type-checker plugin for solving LiftT instances from codet

description:
  GHC type-checker plugin for solving LiftT instances from [codet](https://hackage.haskell.org/package/codet) package.

extra-source-files: tests/*.txt

source-repository head
  type:     git
  location: https://github.com/phadej/codet.git
  subdir:   codet-plugin

common language
  default-language: Haskell2010

library
  import:          language
  hs-source-dirs:  src src-plugin
  exposed-modules: Language.Haskell.TH.CodeT.Plugin
  other-modules:   Plugin.GHC
  build-depends:
    , base   ^>=4.15.1.0 || ^>=4.16.3.0 || ^>=4.17.2.1 || ^>=4.18.1.0 || ^>=4.19.0.0
    , codet  ^>=0.1
    , ghc    ^>=9.0.2    || ^>=9.2.3    || ^>=9.4.8    || ^>=9.6.3    || ^>=9.8.1

test-suite codet-plugin-tests
  import:         language
  type:           exitcode-stdio-1.0
  hs-source-dirs: tests
  main-is:        codet-plugin-tests.hs
  build-depends:
    , base
    , codet
    , codet-plugin
    , template-haskell

  -- test dependencies
  build-depends:
    , directory     ^>=1.3.6.2
    , filepath      ^>=1.4.2.1
    , syb           ^>=0.7.2.4
    , tasty         ^>=1.5
    , tasty-golden  ^>=2.3.5
    , transformers  ^>=0.5.6.2 || ^>=0.6.1.0