Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
Companion
/
left
left
@
JvmStatic
@
JvmName
(
name
=
"eitherLeft"
)
fun
<
L
,
R
>
left
(
)
:
Prism
<
Either
<
L
,
R
>
,
L
>
(
source
)
Prism
to focus into an
arrow.core.Either.Left