arrow-optics/arrow.optics/PPrism/left

left

open override fun <C> left(): PPrism<Either<S, C>, Either<T, C>, Either<A, C>, Either<B, C>>(source)

Create a sum of the PPrism and a type C