arrow-optics / arrow.optics / PIso / lift
open fun lift(f: (A) -> B): (S) -> T
Modify polymorphically the focus of a PIso with a function
Do you like Arrow?