Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
Companion
/
none
none
@
JvmStatic
fun
<
A
>
none
(
)
:
Prism
<
Option
<
A
>
,
Unit
>
(
source
)
Prism
to focus into an
arrow.core.None