Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PTraversal
/
choice
choice
open
fun
<
U
,
V
>
choice
(
other
:
PTraversal
<
U
,
V
,
A
,
B
>
)
:
PTraversal
<
Either
<
S
,
U
>
,
Either
<
T
,
V
>
,
A
,
B
>
(
source
)