Class FunctionTypeInitializer<Specifics>

For each call of FunctionKind.create()...finish(), one instance of this class will be created, which at some point in time returns a new or an existing FunctionType.

If the function type to create already exists, the given inference rules (and its validation rules) will be registered for the existing function type.

Type Parameters

Hierarchy (View Summary)

Implements

Constructors

Properties

inferenceForCall: InferenceRuleWithOptions<Specifics, Specifics["LanguageType"]>[] = []
inferenceForDeclaration: InferenceRuleWithOptions<
    Specifics,
    Specifics["LanguageType"],
>[] = []
initialFunctionType: FunctionType
typeToReturn: undefined | FunctionType

Methods