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