arrow-optics
1.1.3-alpha.22
arrow-optics
/
arrow.optics
/
PIso
/
set
set
open
override
fun
set
(
source
:
S
,
focus
:
B
)
:
T
Content copied to clipboard
Set the focus of a
PPrism
with a value
open
fun
set
(
b
:
B
)
:
T
Content copied to clipboard
Set polymorphically the focus of a
PIso
with a value