The pointless-lenses package
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.
Properties
| Versions | 0.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 |
|---|---|
| Dependencies | base (≥3 & <5), haskell98, pointless-haskell (≥0.0.2), process |
| License | BSD3 |
| Author | Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt> |
| Maintainer | Hugo Pacheco <hpacheco@di.uminho.pt> |
| Category | Generics |
| Home page | http://haskell.di.uminho.pt/wiki/Pointless+Lenses |
| Upload date | Sat Oct 2 10:18:25 UTC 2010 |
| Uploaded by | HugoPacheco |
| Built on | ghc-6.12, ghc-7.0 |
| Build failure | ghc-7.2 (log) |
Modules
- Generics
Downloads
- pointless-lenses-0.0.7.tar.gz (Cabal source package)
- package description (included in the package)