Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PIso
/
right
right
open
override
fun
<
C
>
right
(
)
:
PIso
<
Either
<
C
,
S
>
,
Either
<
C
,
T
>
,
Either
<
C
,
A
>
,
Either
<
C
,
B
>
>
(
source
)
Create a sum of a type
C
and the
PIso