The pointless-lenses package

[Tags: bsd3, library]

Pointless Lenses is library of bidirectional lenses (http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf) defined in the point-free style of programming. Generic bidirectional lenses can be defined over inductive types by relying in a set of lifted lens combinators from the standard point-free combinators. Recursive lenses can be defined by combining the lenses for the recursion patterns of catamorphisms and anamorphism. More refined lens behavior can be achieved a more operation-based variant of delta-lenses (). The library also provides QuickCheck procedures to test the well-behavedness of user-defined lens transformations. More details can be found in the accompanying papers http://alfa.di.uminho.pt/~hpacheco/publications/mpc10.pdf and http://alfa.di.uminho.pt/~hpacheco/publications/hdlenses.pdf


Properties

Versions0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9
Dependenciesbase (>=3 && <5), containers (>=0.4.0.0), derive (>=2.5.4), pointless-haskell (>=0.0.7), process, QuickCheck (>=2.4.0.1)
LicenseBSD3
AuthorAlcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
MaintainerHugo Pacheco <hpacheco@di.uminho.pt>
CategoryGenerics
Home pagehttp://haskell.di.uminho.pt/wiki/Pointless+Lenses
Upload dateThu Jan 26 13:44:00 UTC 2012
Uploaded byHugoPacheco
Downloads639 total (83 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees