The pointless-rewrite package
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.
Properties
| Versions | 0.0.1, 0.0.2, 0.0.3 |
|---|---|
| Dependencies | base (4.*), haskell98, mtl (≥1), pointless-haskell (≥0.0.5), pointless-lenses (≥0.0.7), process |
| License | BSD3 |
| Author | Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt> |
| Maintainer | Hugo Pacheco <hpacheco@di.uminho.pt> |
| Category | Generics |
| Upload date | Sat Oct 23 03:03:26 UTC 2010 |
| Uploaded by | HugoPacheco |
| Build failure | ghc-6.12 (log), ghc-7.0 (log) |
Modules
- Data
- Data.Equal
- Data.Eval
- Data.Lens
- Data.Spine
- Data.Type
- Transform
- Examples
- Transform.Examples.Company
- Transform.Examples.Imdb
- Transform.Examples.Women
- Transform.Rewriting
- Rules
- Transform.Rules.Lenses
- Transform.Rules.Lenses.Combinators
- Transform.Rules.Lenses.Dists
- Transform.Rules.Lenses.Lists
- Transform.Rules.Lenses.Products
- Transform.Rules.Lenses.Rec
- Transform.Rules.Lenses.Sums
- 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.SYB
- Transform.Rules.SYB.TP
- Transform.Rules.SYB.TU
- Transform.Rules.Lenses
- Examples
Downloads
- pointless-rewrite-0.0.1.tar.gz (Cabal source package)
- package description (included in the package)