name:               rest-rewrite
build-type:         Simple
version:            0.4.3
cabal-version:      2.0
category:           Rewriting
maintainer:         Zack Grannan <zgrannan@cs.ubc.ca>
author:             Zack Grannan <zgrannan@cs.ubc.ca>
license:            BSD3
description:        REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.
synopsis:           Rewriting library with online termination checking
license-file:       LICENSE

extra-source-files:
  graphs/.DONOTDELETE

source-repository head
  type:     git
  location: https://github.com/zgrannan/rest

library
  default-language:  Haskell2010
  exposed-modules:
    Language.REST
    Language.REST.Core
    Language.REST.Dot
    Language.REST.ExploredTerms
    Language.REST.Internal.EquivalenceClass
    Language.REST.Internal.ListT
    Language.REST.Internal.MultiSet
    Language.REST.Internal.MultisetOrder
    Language.REST.Internal.OpOrdering
    Language.REST.Internal.Orphans
    Language.REST.Internal.PartialOrder
    Language.REST.Internal.Rewrite
    Language.REST.Internal.Util
    Language.REST.Internal.WorkStrategy
    Language.REST.Internal.WQO
    Language.REST.KBO
    Language.REST.LPO
    Language.REST.MetaTerm
    Language.REST.OCAlgebra
    Language.REST.OCToAbstract
    Language.REST.Op
    Language.REST.Path
    Language.REST.RESTDot
    Language.REST.RPO
    Language.REST.Rest
    Language.REST.RewriteRule
    Language.REST.RuntimeTerm
    Language.REST.SMT
    Language.REST.Types
    Language.REST.WQOConstraints
    Language.REST.WQOConstraints.ADT
    Language.REST.WQOConstraints.Lazy
    Language.REST.WQOConstraints.Strict
  hs-source-dirs: src
  build-depends:  base                 >= 4.7 && < 5
                , containers           >= 0.6.2 && < 0.7
                , hashable             >= 1.3.0 && < 1.5
                , process              >= 1.6.9 && < 1.7
                , parsec               >= 3.1.14 && < 3.2
                , mtl                  >= 2.2.2 && < 2.4
                , unordered-containers >= 0.2.13 && < 0.3
                , text                 >= 1.2.4 && < 2.2

library testlib
  default-language:  Haskell2010
  build-depends:  base >= 4.7
                , containers
                , hashable
                , process
                , QuickCheck
                , rest-rewrite
                , parsec
                , mtl
                , monad-loops >= 0.4.3 && < 0.5
                , unordered-containers >= 0.2.11
                , text
                , time >= 1.9.3 && < 1.13
  exposed-modules:
      Arith
      DSL
      Language.REST.ConcreteOC
      Language.REST.ProofGen
      MultisetOrdering
      Nat
      Set

  hs-source-dirs: testlib

Test-Suite test-rest
  default-language:  Haskell2010
  type: exitcode-stdio-1.0
  main-is: Test.hs
  hs-source-dirs: test
  build-depends:  base
                , hashable
                , containers
                , QuickCheck >= 2.14.2 && < 2.15
                , mtl
                , unordered-containers
                , text
                , rest-rewrite
                , testlib
  other-modules:
    ExploredTerms
    KBO
    LazyOC
    MultisetOrder
    OpOrdering
    QuickCheckTests
    RPO
    SMT
    StrictOC
    WQO

Test-Suite rest
  default-language:  Haskell2010
  type: exitcode-stdio-1.0
  main-is: Main.hs
  -- ghc-plugins: -fplugin=LiquidHaskell
  build-depends:  base >= 4.7
                , containers
                , hashable
                , rest-rewrite
                , mtl
                , unordered-containers >= 0.2.11
                , testlib
                , text
                , time
                -- , liquidhaskell
                -- , liquid-base
  other-modules:
      BagExample
      Compiler
      Group
      Lists
      Multiset
      NonTerm
      WQODot

  hs-source-dirs: test