pointless-rewrite

Pointless Rewrite library

Latest on Hackage:

0.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Alcino Cunha, Hugo Pacheco

Maintained by Hugo Pacheco

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.