packages feed

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