Name:            pointless-rewrite
Version:         0.0.1
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.2.3

Library
  Hs-Source-Dirs: src
  Build-Depends:        mtl >= 1, base >= 4 && < 5, pointless-haskell >= 0.0.5, pointless-lenses >= 0.0.7, haskell98, process
  exposed-modules:
        Data.Type
        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.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.Examples.Imdb
        Transform.Examples.Company
        Transform.Examples.Women

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