Arrow
Toggle table of contents
2.0.0
common
Platform filter
common
Switch theme
Search in API
Arrow
arrow-optics
/
arrow.optics
/
PTraversal
/
lift
lift
open
fun
lift
(
map
:
(
focus
:
A
)
->
B
)
:
(
source
:
S
)
->
T
Lift a function
map
:
(A) -> B to the context of
S
:
(S) -> T`