Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
second
second
open
override
fun
<
C
>
second
(
)
:
PPrism
<
Pair
<
C
,
S
>
,
Pair
<
C
,
T
>
,
Pair
<
C
,
A
>
,
Pair
<
C
,
B
>
>
(
source
)
Create a product of a type
C
and the
PPrism