arrow-optics / arrow.optics / Prism
typealias Prism<S, A> =
PPrism
<S, S, A, A>
Prism is a type alias for PPrism which fixes the type arguments and restricts the PPrism to monomorphic updates.
fun <S, A> Prism(getOption: (S) -> Option<A>, reverseGet: (A) -> S):
Prism
<S, A>
Invoke operator overload to create a PPrism of type S
with a focus A
where A
is a subtype of S
Can also be used to construct Prism
Do you like Arrow?
✖