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