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

Proof

sealed class Proof

Properties

through open val through: DeclarationDescriptor
to open val to: KotlinType

Functions

fold fun <A> fold(given: GivenProof.() -> A, coercion: CoercionProof.() -> A, projection: ProjectionProof.() -> A, refinement: RefinementProof.() -> A): A

Extension Functions

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

Inheritors

ExtensionProof sealed class ExtensionProof : Proof
GivenProof sealed class GivenProof : Proof
RefinementProof data class RefinementProof : Proof

Do you like Arrow?

Arrow Org
<