arrow-optics/arrow.optics/PIso/modify

modify

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

Modify polymorphically the focus of a PIso with a function