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