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

KotlinTypeAliasDescriptor

class KotlinTypeAliasDescriptor(impl: TypeAliasDescriptor) : TypeAliasDescriptor, KotlinClassifierDescriptorWithTypeParameters

Functions

annotations

abstract fun annotations(): Annotations

element

abstract fun element(): Element?

impl

open override fun impl(): TypeAliasDescriptor

Properties

classDescriptor

open override val classDescriptor: ClassDescriptor?

constructors

open override val constructors: Collection<TypeAliasConstructorDescriptor>

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

declaredTypeParameters

abstract val declaredTypeParameters: List<TypeParameterDescriptor>

defaultType

abstract val defaultType: Type

expandedType

open override val expandedType: Type

fqNameSafe

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

impl

val impl: TypeAliasDescriptor

isActual

abstract val isActual: Boolean

isExpect

abstract val isExpect: Boolean

isExternal

abstract val isExternal: Boolean

isInner

abstract val isInner: Boolean

modality

abstract val modality: Modality

name

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

typeConstructor

abstract val typeConstructor: TypeConstructor

underlyingType

open override val underlyingType: Type

visibility

abstract val visibility: Visibility