Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PSetter
/
modify
modify
abstract
fun
modify
(
source
:
S
,
map
:
(
focus
:
A
)
->
B
)
:
T
(
source
)
Modify polymorphically the focus of a
PSetter
with a function
map
.