arrow-optics
1.1.3-alpha.22
arrow-optics
/
arrow.optics
/
PIso
/
modify
modify
open
override
fun
modify
(
source
:
S
,
map
:
(
A
)
->
B
)
:
T
Content copied to clipboard
Modify polymorphically the focus of a
PIso
with a function