Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PSetter
/
lift
lift
open
fun
lift
(
map
:
(
focus
:
A
)
->
B
)
:
(
source
:
S
)
->
T
(
source
)
Lift a function
map
:
(A) -> B to the context of
S
:
(S) -> T`