explicit-constraint-lens: Fully-flexible polymorphic lenses, without any bizarre profunctors
A snowclone of the great lens library. It implements the full hierarchy from isomorphisms to setters and folds, but instead of the Van Laarhoven implementation with universally-quantified functor mappings (powerful and elegant, but infamously beginner-scaring), it encapsulates the various realworld-usecase signatures like get+set or build+distinguish in a well-confined type family and expresses the relations between the different optics explicitly, with a dedicated class hierarchy.
See the Readme for details on how this library differs from the alternatives. See the Haddocks to learn how to use it.
| Versions [faq] | 0.1.0.0 |
|---|---|
| Dependencies | base (>=4.8 && <4.11) [details] |
| License | GPL-3.0-only |
| Author | Justus Sagemüller |
| Maintainer | (@) jsagemue $ uni-koeln.de |
| Category | Data |
| Home page | https://github.com/leftaroundabout/explicit-constraint-lens |
| Uploaded | by leftaroundabout at Sat Dec 30 20:54:40 UTC 2017 |
| Distributions | NixOS:0.1.0.0 |
| Downloads | 222 total (13 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-12-31 [all 1 reports] |
Downloads
- explicit-constraint-lens-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)