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