Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
plus
plus
open
operator
fun
<
C
,
D
>
plus
(
other
:
PPrism
<
in
A
,
out
B
,
out
C
,
in
D
>
)
:
PPrism
<
S
,
T
,
C
,
D
>
(
source
)