compiler-plugin / arrow.meta.plugins.proofs.phases.resolve
GivenUpperBound | data class GivenUpperBound |
ProofReceiverValue | class ProofReceiverValue : ReceiverValue |
ProofsCallResolver | class ProofsCallResolver |
ProofTypeChecker | class ProofTypeChecker : NewKotlinTypeChecker |
Validation | typealias Validation = Map < String , Boolean > |
proofAnnotation | val proofAnnotation: Regex |
containsErrorsOrNothing | fun containsErrorsOrNothing(vararg types: KotlinType): Boolean |
includeInCandidates | fun includeInCandidates(from: KotlinType, to: KotlinType, subType: KotlinType, superType: KotlinType): Boolean fun includeInCandidates(a: KotlinType, b: KotlinType): Boolean |
isResolved | fun GivenProof .isResolved(others: Map <KotlinType, List < GivenProof >>): Boolean in IR the primaryConstructor is chosen see arrow.meta.plugins.proofs.phases.resolve.asGivenProof TODO: Check if the defaultValue is resolved fun ClassProof .isResolved(others: Map <KotlinType, List < GivenProof >>): Boolean TODO: Check if the defaultValue is resolved fun CallableMemberProof .isResolved(others: Map <KotlinType, List < GivenProof >>): Boolean |
kotlinCall | fun kotlinCall(): KotlinCall |
ownershipViolations | fun CompilerContext .ownershipViolations(trace: BindingContext, file: KtFile): List < Pair <KtDeclaration, Proof >> |
prohibitedPublishedInternalOrphans | fun prohibitedPublishedInternalOrphans(bindingContext: BindingContext, file: KtFile): List <KtDeclaration> |
unresolvedGivenCallSite | fun CompilerContext .unresolvedGivenCallSite(call: ResolvedCall<*>): Pair < List <ValueParameterDescriptor>, List <TypeParameterDescriptor>> |
validateConstructorCall | fun CompilerContext .validateConstructorCall(call: ResolvedCall<*>): Validation |
Do you like Arrow?
✖