pointless-rewrite: Pointless Rewrite library

[ bsd3, generics, library ] [ Propose Tags ]

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]

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

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.1, 0.0.2, 0.0.3
Dependencies base (>=4 && <5), containers, mtl (>=1), pointless-haskell (>=0.0.6), pointless-lenses (>=0.0.8), process [details]
License BSD-3-Clause
Author Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
Maintainer Hugo Pacheco <hpacheco@di.uminho.pt>
Category Generics
Uploaded by HugoPacheco at 2012-01-26T13:44:26Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 2451 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-25 [all 8 reports]

Readme for pointless-rewrite-0.0.3

[back to package description]
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