Cabal revisions of ho-rewriting-0.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: ho-rewriting-version: 0.2-synopsis: Generic rewrite rules with safe treatment of variables and binders-description: This package gives a generic implementation of higher-order- rewriting. The main idea is to use techniques from embedded- domain-specific languages to offer an interface which is- both safe and syntactically appealing.- .- Some examples are found in the @examples@ directory. For- more information, see- \"Lightweight Higher-Order Rewriting in Haskell\" (presented at TFP 2015):- .- * Paper: <http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight.pdf>- .- * Slides: <http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_slides.pdf>-homepage: https://github.com/emilaxelsson/ho-rewriting-bug-reports: https://github.com/emilaxelsson/ho-rewriting/issues-license: BSD3-license-file: LICENSE-author: Emil Axelsson-maintainer: emax@chalmers.se-copyright: Copyright (c) 2015, Emil Axelsson-category: Language-build-type: Simple-extra-source-files: README.md-cabal-version: >=1.10--extra-source-files:- examples/*.hs--source-repository head- type: git- location: https://github.com/emilaxelsson/ho-rewriting--library- exposed-modules:- Data.Rewriting.Rules- Data.Rewriting.FirstOrder- Data.Rewriting.HigherOrder-- hs-source-dirs:- src-- build-depends:- base >=4.7 && <5,- containers,- compdata ==0.10.*,- mtl,- patch-combinators-- default-language: Haskell2010-- default-extensions:- DeriveFoldable- DeriveFunctor- DeriveTraversable- FlexibleContexts- GeneralizedNewtypeDeriving- ScopedTypeVariables- TypeFamilies- TypeOperators-- other-extensions:- NoMonomorphismRestriction- TemplateHaskell- TupleSections- UndecidableInstances-- default-language:- Haskell2010--test-suite capture- type: exitcode-stdio-1.0-- hs-source-dirs: examples, tests-- main-is: Capture.hs-- build-depends:- base,- compdata,- ho-rewriting,- patch-combinators-- default-language: Haskell2010-+name: ho-rewriting +version: 0.2 +x-revision: 1 +synopsis: Generic rewrite rules with safe treatment of variables and binders +description: This package gives a generic implementation of higher-order + rewriting. The main idea is to use techniques from embedded + domain-specific languages to offer an interface which is + both safe and syntactically appealing. + . + Some examples are found in the @examples@ directory. For + more information, see + \"Lightweight Higher-Order Rewriting in Haskell\" (presented at TFP 2015): + . + * Paper: <http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight.pdf> + . + * Slides: <http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_slides.pdf> +homepage: https://github.com/emilaxelsson/ho-rewriting +bug-reports: https://github.com/emilaxelsson/ho-rewriting/issues +license: BSD3 +license-file: LICENSE +author: Emil Axelsson +maintainer: emax@chalmers.se +copyright: Copyright (c) 2015, Emil Axelsson +category: Language +build-type: Simple +extra-source-files: README.md +cabal-version: >=1.10 + +extra-source-files: + examples/*.hs + +source-repository head + type: git + location: https://github.com/emilaxelsson/ho-rewriting + +library + exposed-modules: + Data.Rewriting.Rules + Data.Rewriting.FirstOrder + Data.Rewriting.HigherOrder + + hs-source-dirs: + src + + build-depends: + base >=4.8 && <5, + containers, + compdata ==0.10.*, + mtl, + patch-combinators + + default-language: Haskell2010 + + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveTraversable + FlexibleContexts + GeneralizedNewtypeDeriving + ScopedTypeVariables + TypeFamilies + TypeOperators + + other-extensions: + NoMonomorphismRestriction + TemplateHaskell + TupleSections + UndecidableInstances + + default-language: + Haskell2010 + +test-suite capture + type: exitcode-stdio-1.0 + + hs-source-dirs: examples, tests + + main-is: Capture.hs + + build-depends: + base, + compdata, + ho-rewriting, + patch-combinators + + default-language: Haskell2010 +