rewriting-0.2: rewriting.cabal
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
<http://www.cs.uu.nl/wiki/GenericProgramming/Rewriting>.
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