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