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