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