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