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

KotlinAnnotated

fun interface KotlinAnnotated : Annotated

Functions

open override fun annotations(): Annotations

abstract fun impl(): Annotated

Properties

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

Inheritors

KotlinFieldDescriptor