The explicit-constraint-lens package

[ Tags: data, gpl, library ] [ Propose Tags ]

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.


Dependencies base (>=4.8 && <4.11) [details]
License GPL-3
Author Justus Sagemüller
Maintainer (@) jsagemue $
Category Data
Home page
Uploaded Sat Dec 30 20:54:40 UTC 2017 by leftaroundabout
Distributions NixOS:
Downloads 83 total (83 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]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees