Description
Prisms and isomorphisms for microlens.
Description
This package provides lens-compatible Prism
and Iso
. Consequently, it depends on the rather heavy profunctors
.
Thank you to the lens contributors for the original code and some docs, Emily Pillmore (link) and Mario Román (link) for this post which inspired documentation, and Wikibooks contributors for this article.
This package is a part of the microlens family; see the readme on Github.