Interface CreateBottomTypeDetails<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 CreateBottomTypeDetails<Specifics extends TypirSpecifics> {
    associatedLanguageNode?: Specifics["LanguageType"];
    inferenceRules: InferCurrentTypeRule<
        BottomType,
        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).

inferenceRules

inferenceRules: InferCurrentTypeRule<
    BottomType,
    Specifics,
    Specifics["LanguageType"],
>[]

Settings

Member Visibility

On This Page

Properties