Cabal revisions of rest-rewrite-0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: rest-rewrite-build-type: Simple-version: 0.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.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+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