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