cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.31.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: a0aa0b58de9c55fa77a152d9a3aa0be871bfa33439ebe19185cb1283b97d6350

name:           typelevel-rewrite-rules
version:        0.1
synopsis:       Solve type equalities using custom type-level rewrite rules
description:    A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. These get applied whenever the compiler is unable to solve a type equality constraint, in the hope that the rewritten equality constraint will be easier to solve.
category:       Type System
homepage:       https://github.com/gelisam/typelevel-rewrite-rules#readme
bug-reports:    https://github.com/gelisam/typelevel-rewrite-rules/issues
author:         Samuel Gélineau
maintainer:     gelisam+github@gmail.com
license:        PublicDomain
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/gelisam/typelevel-rewrite-rules

library
  exposed-modules:
      TypeLevel.Append
      TypeLevel.Rewrite
      TypeLevel.Rewrite.Internal.Lookup
      TypeLevel.Rewrite.Internal.PrettyPrint
      TypeLevel.Rewrite.Internal.Term
      TypeLevel.Rewrite.Internal.TypeEq
      TypeLevel.Rewrite.Internal.TypeRule
      TypeLevel.Rewrite.Internal.TypeTemplate
      TypeLevel.Rewrite.Internal.TypeTerm
  other-modules:
      Paths_typelevel_rewrite_rules
  hs-source-dirs:
      src
  ghc-options: -W -Wall
  build-depends:
      base >=4.12 && <6
    , ghc >=8.6.3
    , ghc-prim >=0.5.3
    , ghc-tcplugins-extra >=0.3
    , term-rewriting >=0.3.0.1
    , transformers >=0.5.5.0
  default-language: Haskell2010

test-suite should-compile
  type: exitcode-stdio-1.0
  main-is: Test.hs
  other-modules:
      Data.Vinyl.TypeLevel.RewriteRules
      Data.Vinyl.TypeLevel.Test
      MonoKinds.Append
      MonoKinds.Test
      SamePackage.Append
      SamePackage.Test
      TypeLevel.Append.Test
      Paths_typelevel_rewrite_rules
  hs-source-dirs:
      test/should-compile
  build-depends:
      base >=4.12 && <6
    , ghc-prim >=0.5.3
    , typelevel-rewrite-rules
    , vinyl
  default-language: Haskell2010