arrow-meta/arrow.meta.phases.resolve

Package arrow.meta.phases.resolve

Types

DeclarationAttributeAlterer

interface DeclarationAttributeAlterer : ExtensionPhase

PackageProvider

interface PackageProvider : ExtensionPhase

Functions

intersection

fun KotlinType.intersection(vararg other: KotlinType): KotlinType

Returns an intersection of this KotlinType with other

typeArgumentsMap

fun KotlinType.typeArgumentsMap(other: KotlinType): Map<TypeProjection, TypeProjection>

Properties

baseLineTypeChecker

val baseLineTypeChecker: NewKotlinTypeCheckerImpl

unwrappedNotNullableType

val KotlinType.unwrappedNotNullableType: UnwrappedType