Profunctor-Optics :)

This project contains a collection of profunctor optics I have learned about from various sources (listed below) and reimplemented by myself.

Not intended for production use!

Notable References

• Profunctor Optics: Modular Data Accessors - Matthew Pickering, Jeremy Gibbons, & Nicolas Wu
• Purescript Profunctor Lenses
• Profunctor optics, a categorical update - Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, & Roman
• What You Needa Know about Yoneda - Boisseau & Gibbons
• Proton - Chris Penner

Features

• Adapter (ISO)
• Getter
• Setter
• Lenses
• Prism
• Traversal
• Folds
• Reviews
• At
• IndexedFold
• IndexedGetter
• IndexedSetter
• IndexedLens
• IndexedTraversal
• Grate
• Glasses
• Co-Prism
• Affine
• Kaleidoscope
• Algebraic Lenses
• Loops
• Achromatic Lenses
• Feedbacks
• Grids