Interface TopClassTypeDetails<Specifics>

Contains properties which are be relevant for all types to create, i.e. it is used for specifying details of all types to create.

interface TopClassTypeDetails<Specifics extends TypirSpecifics> {
    associatedLanguageNode?: Specifics["LanguageType"];
    inferenceRules?:
        | InferCurrentTypeRule<
            TopClassType,
            Specifics,
            Specifics["LanguageType"],
        >
        | InferCurrentTypeRule<TopClassType, Specifics, Specifics["LanguageType"]>[];
}

Type Parameters

Hierarchy (View Summary)

Properties

associatedLanguageNode? inferenceRules?

Properties

OptionalassociatedLanguageNode

associatedLanguageNode?: Specifics["LanguageType"]

A node from the language might be associated with the new type to create, e.g. the declaration node in the AST (e.g. a FunctionDeclarationNode is associated with the corresponding FunctionType).

OptionalinferenceRules

inferenceRules?:
    | InferCurrentTypeRule<
        TopClassType,
        Specifics,
        Specifics["LanguageType"],
    >
    | InferCurrentTypeRule<TopClassType, Specifics, Specifics["LanguageType"]>[]

Settings

Member Visibility

On This Page

Properties