rest-rewrite.cabal

name:               rest-rewrite
build-type:         Simple
version:            0.2.0-DEV
cabal-version:      1.22
category:           Rewriting
maintainer:         Zack Grannan <zgrannan@cs.ubc.ca>
author:             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

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

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.KBO
    Language.REST.Path
    Language.REST.Rest
    Language.REST.RPO
    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.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
    KBO
    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.KBO
    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
    LazyOC
    MultisetOrder
    Nat
    OpOrdering
    QuickCheckTests
    RPO
    Set
    SMT
    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
      Compiler
      DSL
      Group
      Language.REST.AbstractOC
      Language.REST.ConcreteOC
      Language.REST.Core
      Language.REST.Dot
      Language.REST.EquivalenceClass
      Language.REST.ExploredTerms
      Language.REST.KBO
      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.ProofGen
      Language.REST.RESTDot
      Language.REST.RPO
      Language.REST.Rest
      Language.REST.Rewrite
      Language.REST.RewriteRule
      Language.REST.RuntimeTerm
      Language.REST.SMT
      Language.REST.Types
      Language.REST.WQO
      Language.REST.WorkStrategy
      Lists
      Multiset
      MultisetOrdering
      Nat
      NonTerm
      Set
      WQODot

  hs-source-dirs: src