Module PullInstantiationHelpers

cleanUpTypeArgumentMap(symbol: InstantiableSymbol, mutableTypeArgumentMap: MutableTypeArgumentMap)

Parameters

• symbol: InstantiableSymbol

• mutableTypeArgumentMap: MutableTypeArgumentMap

createTypeParameterArgumentMap(typeParameters: PullTypeParameterSymbol[], typeArguments: PullTypeSymbol[]): TypeArgumentMap

Parameters

• typeParameters: PullTypeParameterSymbol[]

• typeArguments: PullTypeSymbol[]

Returns

TypeArgumentMap

getAllowedToReferenceTypeParametersFromDecl(decl: PullDecl): PullTypeParameterSymbol[]

Parameters

• decl: PullDecl

Returns

PullTypeParameterSymbol[]

instantiateTypeArgument(resolver: PullTypeResolver, symbol: InstantiableSymbol, mutableTypeParameterMap: MutableTypeArgumentMap)

Parameters

• resolver: PullTypeResolver

• symbol: InstantiableSymbol

• mutableTypeParameterMap: MutableTypeArgumentMap

twoTypesAreInstantiationsOfSameNamedGenericType(type1: PullTypeSymbol, type2: PullTypeSymbol): boolean

Parameters

• type1: PullTypeSymbol

• type2: PullTypeSymbol

Returns

boolean

updateMutableTypeParameterArgumentMap(typeParameters: PullTypeParameterSymbol[], typeArguments: PullTypeSymbol[], mutableMap: MutableTypeArgumentMap)

Parameters

• typeParameters: PullTypeParameterSymbol[]

• typeArguments: PullTypeSymbol[]

• mutableMap: MutableTypeArgumentMap

updateTypeParameterArgumentMap(typeParameters: PullTypeParameterSymbol[], typeArguments: PullTypeSymbol[], typeParameterArgumentMap: TypeArgumentMap): TypeArgumentMap

Parameters

• typeParameters: PullTypeParameterSymbol[]

• typeArguments: PullTypeSymbol[]

• typeParameterArgumentMap: TypeArgumentMap

Returns

TypeArgumentMap