arrow-optics / arrow.optics / PIso / liftF

liftF

open fun <F> liftF(FF: Functor<F>, f: (A) -> Kind<F, B>): (S) -> Kind<F, T> open fun <F> liftF(FF: Functor<F>, dummy: Unit = Unit, f: (A) -> Kind<F, B>): (S) -> Kind<F, T>

Lift a function f with a functor: (A) -> Kind<F, B> to the context of S: (S) -> Kind<F, T>`