Interface FunctionConfigurationChain<Specifics>

interface FunctionConfigurationChain<Specifics extends TypirSpecifics> {
    finish(): TypeInitializer<FunctionType, Specifics>;
    inferenceRuleForCalls<T extends unknown>(
        rule: InferFunctionCall<Specifics, T>,
    ): FunctionConfigurationChain<Specifics>;
    inferenceRuleForDeclaration<T extends unknown>(
        rule: InferCurrentTypeRule<FunctionType, Specifics, T>,
    ): FunctionConfigurationChain<Specifics>;
}

Type Parameters

Specifics extends TypirSpecifics

Index

Methods

finish inferenceRuleForCalls inferenceRuleForDeclaration

Methods

finish

finish(): TypeInitializer<FunctionType, Specifics>
Returns TypeInitializer<FunctionType, Specifics>
- Defined in kinds/function/function-kind.ts:132

inferenceRuleForCalls

inferenceRuleForCalls<T extends unknown>(
rule: InferFunctionCall<Specifics, T>,
): FunctionConfigurationChain<Specifics>
for function calls => returns the return type of the function
Type Parameters
- T extends unknown
Parameters
- rule: InferFunctionCall<Specifics, T>
Returns FunctionConfigurationChain<Specifics>
- Defined in kinds/function/function-kind.ts:128

inferenceRuleForDeclaration

inferenceRuleForDeclaration<T extends unknown>(
rule: InferCurrentTypeRule<FunctionType, Specifics, T>,
): FunctionConfigurationChain<Specifics>
for function declarations => returns the funtion type (the whole signature including all names)
Type Parameters
- T extends unknown
Parameters
- rule: InferCurrentTypeRule<FunctionType, Specifics, T>
Returns FunctionConfigurationChain<Specifics>
- Defined in kinds/function/function-kind.ts:126