Name:            pointless-rewrite
Version:         0.0.3
License:         BSD3
License-file:    LICENSE
Author:          Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
Maintainer:      Hugo Pacheco <hpacheco@di.uminho.pt>
Synopsis:        Pointless Rewrite library
Description:	Library that implements a rewrite system for point-free expressions. Application scenarios include normal functional programs, strategic combinators (<http://dx.doi.org/10.1016/j.scico.2010.01.003>) and bidirectional lenses (<http://www.di.uminho.pt/~hpacheco/publications/lensopt.pdf>), all encoded with point-free combinators.
	
Homepage:        

Category: Generics

extra-source-files: README, Test.hs

Build-type: Simple
Cabal-Version:  >= 1.4

Library
  Hs-Source-Dirs: src
  Build-Depends:        mtl >= 1, base >= 4 && < 5, pointless-haskell >= 0.0.6, pointless-lenses >= 0.0.8, process, containers
  exposed-modules:
        Data.Default
        Data.Type
        Data.Pf
        Data.Spine
        Data.Equal
        Data.Eval
        Data.Lens
        Transform.Rewriting
        Transform.Rules.PF
        Transform.Rules.PF.Combinators
        Transform.Rules.PF.Dists
        Transform.Rules.PF.Products
        Transform.Rules.PF.Rec
        Transform.Rules.PF.Sums
        Transform.Rules.PF.Monoids
        Transform.Rules.PF.Lists
        Transform.Rules.Lenses
        Transform.Rules.Lenses.Combinators
        Transform.Rules.Lenses.Dists
        Transform.Rules.Lenses.Products
        Transform.Rules.Lenses.Rec
        Transform.Rules.Lenses.Sums
        Transform.Rules.Lenses.Lists
        Transform.Rules.SYB.TP
        Transform.Rules.SYB.TU
        Transform.Rules.SYB
        Transform.Rules.XPath
        Transform.Examples.Imdb
        Transform.Examples.Company
        Transform.Examples.Women

  extensions: ScopedTypeVariables, FlexibleContexts, Rank2Types, TypeOperators, TypeFamilies, GADTs, ViewPatterns