typelevel-rewrite-rules.cabal

cabal-version: 1.12

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

name:           typelevel-rewrite-rules
version:        1.0.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
tested-with:
    GHC == 9.0.2
  , GHC == 8.10.7
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.ApplyRules
      TypeLevel.Rewrite.Internal.DecomposedConstraint
      TypeLevel.Rewrite.Internal.Lookup
      TypeLevel.Rewrite.Internal.PrettyPrint
      TypeLevel.Rewrite.Internal.Term
      TypeLevel.Rewrite.Internal.TypeEq
      TypeLevel.Rewrite.Internal.TypeNode
      TypeLevel.Rewrite.Internal.TypeRule
      TypeLevel.Rewrite.Internal.TypeSubst
      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 && <5
    , containers >=0.6.2.1
    , ghc >=8.10.2 && <9.1
    , ghc-prim >=0.5.3
    , term-rewriting >=0.3.0.1
    , transformers >=0.5.6.2
  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
      GHC.TypeLits.RewriteRules
      GHC.TypeLits.Test
      InstanceConstraints.Laws
      InstanceConstraints.Test
      MonoKinds.Append
      MonoKinds.Test
      SamePackage.Append
      SamePackage.Test
      TypeLevel.Append.Test
      Paths_typelevel_rewrite_rules
  hs-source-dirs:
      test/should-compile
  ghc-options: -W -Wall
  build-depends:
      base >=4.12 && <5
    , ghc-prim >=0.5.3
    , typelevel-rewrite-rules
    , vinyl >=0.13.0
  default-language: Haskell2010