arrow-optics / arrow.optics / PTraversal / modifyF
abstract fun <F> modifyF(FA: Applicative<F>, s: S, f: (A) -> Kind<F, B>): Kind<F, T>
Do you like Arrow?