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

ExtensionProof

sealed class ExtensionProof : Proof

Properties

coerce open val coerce: Boolean
from open val from: KotlinType
through open val through: FunctionDescriptor
to open val to: KotlinType

Extension Functions

asString fun Proof.asString(): String
callables fun Proof.callables(descriptorNameFilter: (Name) -> Boolean = { true }): List<CallableMemberDescriptor>

Inheritors

CoercionProof data class CoercionProof : ExtensionProof
ProjectionProof data class ProjectionProof : ExtensionProof

Do you like Arrow?

Arrow Org
<