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

givenProofs

fun CompilerContext.givenProofs(superType: KotlinType): List<GivenProof>fun CompilerContext.givenProofs(): Map<KotlinType, List<GivenProof>>

contrary to allGivenProofs it refines the List as it is done in givenProofs

Do you like Arrow?

Arrow Org
<