toggle menu
Arrow
1.2.4
common
switch theme
search in API
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