@hackage pointless-lenses0.0.7

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. Virtually any recursive lens can be defined by combining the lenses for the recursion patterns of catamorphisms and anamorphism. The library also provides QuickCheck procedures to test the well-behavedness of user-defined lens transformations.