Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
Companion
/
pLeft
p
Left
@
JvmStatic
fun
<
L
,
R
,
E
>
pLeft
(
)
:
PPrism
<
Either
<
L
,
R
>
,
Either
<
E
,
R
>
,
L
,
E
>
(
source
)
Polymorphic
PPrism
to focus into an
arrow.core.Either.Left