haskpy.optics

Profunctor optics

adapter(receive, send)	(s -> a) -> (b -> t) -> AdapterP a b s t
lens(view, update)	(s -> a) -> ((b, s) -> t) -> LensP a b s t
prism(match, build)	(s -> Either t a) -> (b -> t) -> PrismP a b s t

Todo

traversal grate affine setter

Resources:

• Profunctor Optics: Modular Data Accessors by Pickering, Gibbons, and Wu

• Profunctor Optics: The Categorical View by Bartosz Milewski

• https://github.com/cmk/profunctor-extras/tree/master/profunctor-optics

• https://github.com/hablapps/DontFearTheProfunctorOptics

• http://oleg.fi/gists/images/optics-hierarchy.svg