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

allGivenProofs

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

returns a Map, where the keys are KotlinType and the values are all corresponding proofs without refining the list as it is done in givenProofs.

Do you like Arrow?

Arrow Org
<