name: term-rewriting version: 0.3.0.1 stability: experimental author: Martin Avanzini, Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov homepage: http://cl-informatik.uibk.ac.at/software/haskell-rewriting/ maintainer: haskell-rewriting@informatik.uibk.ac.at license: MIT license-file: LICENSE category: Logic synopsis: Term Rewriting Library description: Yet Another Term Rewriting Library. . This library provides basic data types and functionality for first order term rewriting. build-type: Simple cabal-version: >= 1.8 extra-source-files: Changelog source-repository head type: git location: git://github.com/haskell-rewriting/term-rewriting library hs-source-dirs: src exposed-modules: Data.Rewriting.Term Data.Rewriting.Term.Type Data.Rewriting.Term.Ops Data.Rewriting.Term.Parse Data.Rewriting.Term.Pretty Data.Rewriting.Pos Data.Rewriting.Problem Data.Rewriting.Problem.Type Data.Rewriting.Problem.Parse Data.Rewriting.Problem.Pretty Data.Rewriting.Rule Data.Rewriting.Rule.Type Data.Rewriting.Rule.Pretty Data.Rewriting.Rule.Ops Data.Rewriting.Substitution Data.Rewriting.Substitution.Type Data.Rewriting.Substitution.Parse Data.Rewriting.Substitution.Ops Data.Rewriting.Substitution.Pretty Data.Rewriting.Substitution.Match Data.Rewriting.Substitution.Unify Data.Rewriting.Rules Data.Rewriting.Rules.Rewrite Data.Rewriting.Rules.Ops Data.Rewriting.Context Data.Rewriting.Context.Type Data.Rewriting.Context.Ops Data.Rewriting.CriticalPair Data.Rewriting.CriticalPair.Type Data.Rewriting.CriticalPair.Ops other-modules: Data.Rewriting.Utils Data.Rewriting.Utils.Parse build-depends: containers >= 0.3 && < 0.7, multiset >= 0.2 && < 0.4, parsec >= 3.1.6 && < 3.2, union-find-array >= 0.1 && < 0.2, array >= 0.3 && < 0.6, ansi-wl-pprint >= 0.6 && < 0.7, mtl >= 1.1 && < 2.3, base >= 4 && < 5 extensions: TypeSynonymInstances BangPatterns test-suite test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs other-modules: Arbitrary CriticalPair Pos Rule Samples Substitution Term build-depends: base >= 4 && < 5, term-rewriting, containers >= 0.3 && < 0.7, HUnit >= 1.2 && < 1.7, QuickCheck >= 2.6 && < 2.13