Package arrow.meta.phases.codegen.ir

Types

IRGeneration

IrUtils

class IrUtils(pluginContext: IrPluginContext, compilerContext: CompilerContext, moduleFragment: IrModuleFragment) : ReferenceSymbolTable, IrTypeSystemContext, IrFactory

Functions

filterMap

inline fun <E, B> IrElement.filterMap(crossinline filter: (E) -> Boolean, crossinline map: (E) -> B): List<B>

getTypeSubstitutionMap

fun IrMemberAccessExpression<*>.getTypeSubstitutionMap(container: IrTypeParametersContainer): Map<IrTypeParameter, IrType>

Properties

allTypeParameters

val IrTypeParametersContainer.allTypeParameters: List<IrTypeParameter>

substitutedValueParameters

val IrCall.substitutedValueParameters: List<Pair<IrValueParameter, IrType?>>

typeArguments

val IrCall.typeArguments: List<Pair<Int, IrType?>>

returns the index and the type argument

typeSubstitutions

val IrMemberAccessExpression<*>.typeSubstitutions: Map<IrTypeParameter, IrType>

valueArguments

val IrCall.valueArguments: List<Pair<Int, IrExpression?>>

returns the index and the value argument