A Review_ describes how to construct a single value. It's a dual of Getter_.
A Review_ is isomorphic to an arbitrary function from (B -> T)
the focus of a Review_
the modified focus of a Review_
the source of a Review_
the modified source of a Review_
compose this Review_ with an Iso_, having this Review_ applied first
compose this Review_ with an AnIso_, having this Review_ applied first
compose this Review_ with a Prism_, having this Review_ applied first
compose this Review_ with an APrism_, having this Review_ applied first
compose this Review_ with a Grate_, having this Review_ applied first
compose this Review_ with a Review_, having this Review_ applied first
compose this Review_ with an Iso_, having this Review_ applied last
compose this Review_ with an AnIso_, having this Review_ applied last
compose this Review_ with a Prism_, having this Review_ applied last
compose this Review_ with an APrism_, having this Review_ applied last
compose this Review_ with a Grate_, having this Review_ applied last
compose this Review_ with a Review_, having this Review_ applied last
view the modified focus of a Review_ in the state of a monad
view the modified source of a Review_