Description
A compact optics library compatible with the typeclasses in profunctors.
Description
This package provides utilities for creating and manipulating profunctor-based optics. Some highlights:
Full complement of isos, prisms, lenses, grates, traversals, cotraversals, views, setters, folds, and more.
Compact & straight-forward implementation.
Fully interoperable. All that is required to create optics is the profunctors package. Optics compose with (.) from Prelude as is typical. Conversions to & from the Van Laarhoven representations are provided for each optic type.
Well-documented properties and exportable predicates for testing your own optics.
See the Readme file for more information.