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

RefinementProof

data class RefinementProof : Proof

Constructors

<init> RefinementProof(from: KotlinType, to: KotlinType, through: CallableMemberDescriptor, coerce: Boolean = true)

Properties

coerce val coerce: Boolean
from val from: KotlinType
through val through: CallableMemberDescriptor
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
<