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?
✖