haskpy.optics.lens

lens(view, update)

(s -> a) -> ((b, s) -> t) -> LensP a b s t

where

type LensP a b s t = Cartesian p => p a b -> p s t