arrow-optics/arrow.optics/PPrism/right

right

open override fun <C> right(): PPrism<<ERROR CLASS><C, S>, <ERROR CLASS><C, T>, <ERROR CLASS><C, A>, <ERROR CLASS><C, B>>
Content copied to clipboard

Create a sum of a type C and the PPrism