arrow-optics/arrow.optics/PIso/left

left

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

Create a sum of the PIso and a type C