name: rewriting version: 0.2 synopsis: Generic rewriting library for regular datatypes. description: This package provides rewriting functionality for regular datatypes. Regular datatypes are recursive datatypes such as lists, binary trees, etc. This library cannot be used with mutually recursive datatypes or with nested datatypes. . This library has been described in the paper: . * /A Lightweight Approach to Datatype-Generic Rewriting./ Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. ACM SIGPLAN Workshop on Generic Programming 2008. . More information about this library can be found at . category: Generics copyright: (c) 2009 Universiteit Utrecht license: BSD3 license-file: LICENSE author: Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren maintainer: generics@haskell.org stability: experimental build-type: Custom cabal-version: >= 1.2.1 tested-with: GHC == 6.10.1 extra-source-files: examples/expr/run examples/expr/Expr.hs examples/expr/Expr.expected examples/logic/Logic.hs examples/logic/LogicGenerator.hs examples/logic/LogicRules.hs examples/logic/LogicStrategies.hs examples/logic/run -- Disabled the test flag for the moment since not all -- modules from the tests directory are properly included -- in the distribution generated by the sdist target -- -- flag test -- description: Enable the test configuration -- default: False library buildable: True hs-source-dirs: src exposed-modules: Generics.Regular.Rewriting Generics.Regular.Rewriting.Base Generics.Regular.Rewriting.Representations Generics.Regular.Rewriting.Machinery Generics.Regular.Rewriting.Rules Generics.Regular.Rewriting.Strategies build-depends: base >= 4.0 && < 5, containers >= 0.1, regular >= 0.1 -- Disabled the test flag for the moment since not all -- modules from the tests directory are properly included -- in the distribution generated by the sdist target -- --executable test -- hs-source-dirs: src, tests -- main-is: Main.hs -- -- if flag (test) -- build-depends: QuickCheck >= 2.1.0.1