Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
Companion
/
pSome
p
Some
@
JvmStatic
fun
<
A
,
B
>
pSome
(
)
:
PPrism
<
Option
<
A
>
,
Option
<
B
>
,
A
,
B
>
(
source
)
PPrism
to focus into an
arrow.core.Some