arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin.descriptors/KotlinTypeAliasConstructorDescriptor

KotlinTypeAliasConstructorDescriptor

class KotlinTypeAliasConstructorDescriptor(val impl: TypeAliasConstructorDescriptor) : KotlinConstructorDescriptor, TypeAliasConstructorDescriptor

Constructors

KotlinTypeAliasConstructorDescriptor

fun KotlinTypeAliasConstructorDescriptor(impl: TypeAliasConstructorDescriptor)

Functions

abstract fun annotations(): Annotations

open fun descriptor(): KotlinDeclarationDescriptor

abstract fun element(): Element?

getContainingDeclaration

open override fun getContainingDeclaration(): TypeAliasDescriptor

open override fun impl(): TypeAliasConstructorDescriptor

Properties

abstract val allParameters: List<ParameterDescriptor>

constructedClass

open override val constructedClass: ClassDescriptor

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

dispatchReceiverParameter

abstract val dispatchReceiverParameter: ReceiverParameterDescriptor?

extensionReceiverParameter

abstract val extensionReceiverParameter: ReceiverParameterDescriptor?

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

open override val impl: TypeAliasConstructorDescriptor

abstract val isActual: Boolean

abstract val isExpect: Boolean

abstract val isExternal: Boolean

abstract val isInfix: Boolean

abstract val isInline: Boolean

abstract val isOperator: Boolean

open override val isPrimary: Boolean

abstract val isSuspend: Boolean

abstract val isTailrec: Boolean

abstract val kind: CallableMemberDescriptor.Kind

abstract val modality: Modality

abstract val name: Name

overriddenDescriptors

abstract val overriddenDescriptors: Collection<CallableDescriptor>

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

abstract val returnType: Type?

abstract val typeParameters: List<TypeParameterDescriptor>

underlyingConstructorDescriptor

open override val underlyingConstructorDescriptor: ConstructorDescriptor

valueParameters

abstract val valueParameters: List<ValueParameterDescriptor>

abstract val visibility: Visibility