The pointless-rewrite package

[Tags:bsd3, library]

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.


[Skip to Readme]

Properties

Versions 0.0.1, 0.0.2, 0.0.3
Dependencies base (==4.*), containers, mtl (>=1), pointless-haskell (>=0.0.6), pointless-lenses (>=0.0.8), process [details]
License BSD3
Author Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
Maintainer Hugo Pacheco <hpacheco@di.uminho.pt>
Stability Unknown
Category Generics
Uploaded Thu Jan 26 13:44:26 UTC 2012 by HugoPacheco
Distributions NixOS:0.0.3
Downloads 606 total (6 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]

Modules

  • Data
    • Data.Default
    • Data.Equal
    • Data.Eval
    • Data.Lens
    • Data.Pf
    • 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.Lists
        • Transform.Rules.PF.Monoids
        • 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.XPath

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for pointless-rewrite

Readme for pointless-rewrite-0.0.3

Pointless Rewrite

This cabal package can be installed with:

$ cabal install pointless-rewrite

For a manual install, execute:

$ runhaskell Setup.lhs configure
$ runhaskell Setup.lhs build
$ runhaskell Setup.lhs install

Then try to create a test module

module Test where

import.Transform.Examples.Company
import Transform.Examples.Imdb
import Transform.Examples.Women

and interpret it

$ ghci Test.hs