name:               rest-rewrite
build-type:         Simple
version:            0.1
x-revision: 1
cabal-version:      1.22
category:           Rewriting
maintainer:         Zack Grannan <zgrannan@cs.ubc.ca>
license:            BSD3
description:        Rewriting library with online termination checking.
synopsis:           Rewriting library with online termination checking
license-file:       LICENSE

library
  default-language:  Haskell2010
  exposed-modules:
    Language.REST
    Language.REST.AbstractOC
    Language.REST.Core
    Language.REST.ExploredTerms
    Language.REST.MetaTerm
    Language.REST.Dot
    Language.REST.RESTDot
    Language.REST.Op
    Language.REST.OrderingConstraints
    Language.REST.OrderingConstraints.Strict
    Language.REST.OrderingConstraints.Lazy
    Language.REST.OrderingConstraints.ADT
    Language.REST.Path
    Language.REST.Rest
    Language.REST.RewriteRule
    Language.REST.RuntimeTerm
    Language.REST.SMT
    Language.REST.Types
  other-modules:
    Language.REST.WorkStrategy
    Language.REST.EquivalenceClass
    Language.REST.MultiSet
    Language.REST.MultisetOrder
    Language.REST.OCToAbstract
    Language.REST.OpOrdering
    Language.REST.PartialOrder
    Language.REST.Rewrite
    Language.REST.RPO
    Language.REST.WQO

  hs-source-dirs: src
  build-depends:  base                 >= 4.7 && < 5
                , containers           >= 0.6.2 && < 0.7
                , hashable             >= 1.3.0 && < 1.3.4
                , process              >= 1.6.9 && < 1.7
                , parsec               >= 3.1.14 && < 3.2
                , mtl                  >= 2.2.2 && < 2.3
                , unordered-containers >= 0.2.13 && < 0.3
                , text                 >= 1.2.4 && < 1.3

Test-Suite test-rest
  default-language:  Haskell2010
  type: exitcode-stdio-1.0
  main-is: Test.hs
  hs-source-dirs: test src
  build-depends:  base
                , hashable
                , containers
                , parsec
                , QuickCheck >= 2.14.2 && < 2.15
                , mtl
                , unordered-containers
                , text
                , process
  other-modules:
    Arith
    DSL
    Language.REST.MultiSet
    Language.REST.AbstractOC
    Language.REST.Core
    Language.REST.EquivalenceClass
    Language.REST.ExploredTerms
    Language.REST.MetaTerm
    Language.REST.MultisetOrder
    Language.REST.OCToAbstract
    Language.REST.Op
    Language.REST.OpOrdering
    Language.REST.OrderingConstraints
    Language.REST.OrderingConstraints.ADT
    Language.REST.OrderingConstraints.Lazy
    Language.REST.OrderingConstraints.Strict
    Language.REST.PartialOrder
    Language.REST.Path
    Language.REST.RPO
    Language.REST.Rest
    Language.REST.Rewrite
    Language.REST.RewriteRule
    Language.REST.RuntimeTerm
    Language.REST.Types
    Language.REST.WorkStrategy
    Language.REST.WQO
    Language.REST.SMT
    MultisetOrder
    Nat
    OpOrdering
    QuickCheckTests
    RPO
    StrictOC
    WQO



executable rest
  default-language:  Haskell2010
  main-is: Main.hs
  -- ghc-plugins: -fplugin=LiquidHaskell
  build-depends:  base >= 4.7
                , containers
                , hashable
                , process
                , QuickCheck
                , parsec
                , mtl
                , monad-loops >= 0.4.3 && < 0.5
                , unordered-containers >= 0.2.11
                , text >= 1.2.2
                , time >= 1.9.3 && < 1.10
                -- , liquidhaskell
                -- , liquid-base
  other-modules:
      Arith
      BagExample
      DSL
      Group
      Language.REST.AbstractOC
      Language.REST.ConcreteOC
      Language.REST.Core
      Language.REST.EquivalenceClass
      Language.REST.ExploredTerms
      Language.REST.MetaTerm
      Language.REST.MultiSet
      Language.REST.MultisetOrder
      Language.REST.OCToAbstract
      Language.REST.Op
      Language.REST.OpOrdering
      Language.REST.OrderingConstraints
      Language.REST.OrderingConstraints.ADT
      Language.REST.OrderingConstraints.Lazy
      Language.REST.OrderingConstraints.Strict
      Language.REST.PartialOrder
      Language.REST.Path
      Language.REST.RPO
      Language.REST.Rest
      Language.REST.Rewrite
      Language.REST.RewriteRule
      Language.REST.RuntimeTerm
      Language.REST.Types
      Language.REST.WorkStrategy
      Language.REST.WQO
      Language.REST.SMT
      Compiler
      Lists
      Multiset
      MultisetOrdering
      Nat
      NonTerm
      WQODot
      Language.REST.Dot
      Language.REST.RESTDot

  hs-source-dirs: src