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

Type

interface Type : Comparable<Type>

Functions

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

intersectIfPossible

open fun intersectIfPossible(other: Type): Type?

isAnyOrNullableAny

abstract fun isAnyOrNullableAny(): Boolean

abstract fun isBoolean(): Boolean

abstract fun isByte(): Boolean

abstract fun isChar(): Boolean

abstract fun isDouble(): Boolean

abstract fun isEqualTo(other: Type): Boolean

abstract fun isFloat(): Boolean

abstract fun isInt(): Boolean

abstract fun isLong(): Boolean

abstract fun isNullable(): Boolean

abstract fun isShort(): Boolean

abstract fun isString(): Boolean

abstract fun isSubtypeOf(other: Type): Boolean

isTypeParameter

abstract fun isTypeParameter(): Boolean

isUnsignedNumberType

abstract fun isUnsignedNumberType(): Boolean

Properties

abstract val arguments: List<TypeProjection>

abstract val descriptor: ClassDescriptor?

isMarkedNullable

abstract val isMarkedNullable: Boolean

unwrappedNotNullableType

abstract val unwrappedNotNullableType: Type

Extensions

fun Type.primitiveType(): PrimitiveType?

unwrapIfNullable

fun Type.unwrapIfNullable(): Type