explicit-constraint-lens

Fully-flexible polymorphic lenses, without any bizarre profunctors

https://github.com/leftaroundabout/explicit-constraint-lens

Latest on Hackage:

0.1.0.0@rev:1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

GPL-3.0-only licensed by Justus Sagemüller

Maintained by (@) jsag $ hvl.no

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.