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

GivenProof

sealed class GivenProof : Proof

Properties

callableDescriptor abstract val callableDescriptor: CallableDescriptor
through open val through: DeclarationDescriptor
to open val to: KotlinType

Extension Functions

asString fun Proof.asString(): String
callables fun Proof.callables(descriptorNameFilter: (Name) -> Boolean = { true }): List<CallableMemberDescriptor>
isResolved fun GivenProof.isResolved(others: Map<KotlinType, List<GivenProof>>): Boolean

Inheritors

CallableMemberProof data class CallableMemberProof : GivenProof
ClassProof data class ClassProof : GivenProof
ObjectProof data class ObjectProof : GivenProof

Do you like Arrow?

Arrow Org
<