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