A lens as a first-class value, unbound from any source. get projects the
source(s) S to a view V; put writes the view back as per-source
Updates<S>. A 1-arg put is an iso and ignores the source. complement
present ⇒ stateful (see the stateful-optic header). Apply with cell.lens /
lens; build with optic / iso / atKey.
A lens as a first-class value, unbound from any source.
getprojects the source(s)Sto a viewV;putwrites the view back as per-sourceUpdates<S>. A 1-argputis anisoand ignores the source.complementpresent ⇒ stateful (see the stateful-optic header). Apply withcell.lens/lens; build withoptic/iso/atKey.