compiler-plugin / arrow.meta.plugins.proofs.phases / coerceProofs

coerceProofs

fun CompilerContext.coerceProofs(subType: KotlinType, superType: KotlinType): List<CoercionProof>

Do you like Arrow?

Arrow Org
<