arrow-optics
1.1.5-alpha.4
arrow-optics
/
arrow.optics
/
PIso
/
set
set
open
override
fun
set
(
source
:
S
,
focus
:
B
)
:
T
Set the focus of a
PPrism
with a value
open
fun
set
(
b
:
B
)
:
T
Set polymorphically the focus of a
PIso
with a value