arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.ast.context.types/Type

Type

interface Type : Comparable<Type>

Functions

compareTo

open operator override fun compareTo(other: Type): Int

isAnyOrNullableAny

abstract fun isAnyOrNullableAny(): Boolean

isBoolean

abstract fun isBoolean(): Boolean

isByte

abstract fun isByte(): Boolean

isChar

abstract fun isChar(): Boolean

isDouble

abstract fun isDouble(): Boolean

isEqualTo

abstract fun isEqualTo(other: Type): Boolean

isFloat

abstract fun isFloat(): Boolean

isInt

abstract fun isInt(): Boolean

isLong

abstract fun isLong(): Boolean

isNullable

abstract fun isNullable(): Boolean

isShort

abstract fun isShort(): Boolean

isString

abstract fun isString(): Boolean

isSubtypeOf

abstract fun isSubtypeOf(other: Type): Boolean

isTypeParameter

abstract fun isTypeParameter(): Boolean

isUnsignedNumberType

abstract fun isUnsignedNumberType(): Boolean

Properties

arguments

abstract val arguments: List<TypeProjection>

descriptor

abstract val descriptor: ClassDescriptor?

isMarkedNullable

abstract val isMarkedNullable: Boolean

unwrappedNotNullableType

abstract val unwrappedNotNullableType: Type

Extensions

primitiveType

fun Type.primitiveType(): PrimitiveType?

unwrapIfNullable

fun Type.unwrapIfNullable(): Type