Description
Fully-flexible polymorphic lenses, without any bizarre profunctors.
Description
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.