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

kotlin.collections.List  
kotlin.collections.Map  
org.jetbrains.kotlin.descriptors.ClassDescriptor  
org.jetbrains.kotlin.descriptors.DeclarationDescriptor  
org.jetbrains.kotlin.descriptors.FunctionDescriptor  
org.jetbrains.kotlin.descriptors.PropertyDescriptor  
org.jetbrains.kotlin.psi.KtClass  
org.jetbrains.kotlin.psi.KtDeclaration  
org.jetbrains.kotlin.psi.KtObjectDeclaration  
org.jetbrains.kotlin.resolve.calls.model.CallResolutionResult  
org.jetbrains.kotlin.resolve.scopes.receivers.ReceiverValueWithSmartCastInfo  
org.jetbrains.kotlin.types.KotlinType  

Properties

proofAnnotation val proofAnnotation: Regex

Functions

containsErrorsOrNothing fun containsErrorsOrNothing(vararg types: KotlinType): <ERROR CLASS>
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 resolvedfun ClassProof.isResolved(others: Map<KotlinType, List<GivenProof>>): Boolean
TODO: Check if the defaultValue is resolvedfun 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?

Arrow Org
<