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>

Do you like Arrow?

Arrow Org
<