Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PLens
/
choice
choice
open
infix
fun
<
S1
,
T1
>
choice
(
other
:
PLens
<
S1
,
T1
,
A
,
B
>
)
:
PLens
<
Either
<
S
,
S1
>
,
Either
<
T
,
T1
>
,
A
,
B
>
(
source
)
Join two
PLens
with the same focus in
A