compiler-plugin / arrow.meta.plugins.proofs.phases.resolve
Package arrow.meta.plugins.proofs.phases.resolve
Types
| GivenUpperBound | data class GivenUpperBound |
| ProofReceiverValue | class ProofReceiverValue : ReceiverValue |
| ProofsCallResolver | class ProofsCallResolver |
| ProofTypeChecker | class ProofTypeChecker : NewKotlinTypeChecker |
| Validation | typealias Validation = Map<String, Boolean> |
Extensions for External Classes
Properties
| proofAnnotation | val proofAnnotation: Regex |
Functions
| containsErrorsOrNothing | fun containsErrorsOrNothing(vararg types: KotlinType): Boolean |
| includeInCandidates | fun includeInCandidates(from: KotlinType, to: KotlinType, subType: KotlinType, superType: KotlinType): Booleanfun includeInCandidates(a: KotlinType, b: KotlinType): Boolean |
| isResolved | fun GivenProof.isResolved(others: Map<KotlinType, List<GivenProof>>): Booleanin 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>>): BooleanTODO: 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 |