compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.scopes
Package arrow.meta.plugins.proofs.phases.resolve.scopes
Types
| ProofsScopeTower | class ProofsScopeTower : ImplicitScopeTower |
| ProofsSyntheticScope | class ProofsSyntheticScope : SyntheticScope |
| ProofsSyntheticScopes | class ProofsSyntheticScopes : SyntheticScopes |
Extensions for External Classes
| kotlin.Function0 | |
| org.jetbrains.kotlin.descriptors.CallableMemberDescriptor |
Functions
| provenSyntheticScope | fun Meta.provenSyntheticScope(): ExtensionPhase |
| syntheticMemberFunctions | fun CompilerContext.syntheticMemberFunctions(receiverTypes: Collection<KotlinType>, name: Name): List<SimpleFunctionDescriptor>fun CompilerContext.syntheticMemberFunctions(receiverTypes: Collection<KotlinType>): List<SimpleFunctionDescriptor> |