Arrow
1.1.5
arrow-optics
/
arrow.optics
/
POptional
/
Companion
/
codiagonal
codiagonal
fun
<
S
>
codiagonal
(
)
:
Optional
<
Either
<
S
,
S
>
,
S
>
(
source
)
POptional
that takes either
S
or
S
and strips the choice of
S
.