arrow-optics/arrow.optics/PPrism/modify

modify

open override fun modify(source: S, map: (A) -> B): T

Modify the focus of a PPrism with a function