Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
liftNullable
lift
Nullable
open
fun
liftNullable
(
f
:
(
focus
:
A
)
->
B
)
:
(
source
:
S
)
->
T
?
(
source
)
Lift a function
f
:
(A) -> B to the context of
S
:
(S) -> T?`