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> |