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