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

CoercionProof

data class CoercionProof : ExtensionProof

Constructors

<init> CoercionProof(from: KotlinType, to: KotlinType, through: FunctionDescriptor)

Properties

from val from: KotlinType
through val through: FunctionDescriptor
to val to: KotlinType

Extension Functions

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

Do you like Arrow?

Arrow Org
<