arrow-optics / arrow.optics / PPrism / modify
open fun modify(s: S, f: (A) -> B): T
Modify the focus of a PPrism with a function
Do you like Arrow?