SchemaKind

import { SchemaKind } from "destack:schema";

Schema graph node kind.

export enum SchemaKind {
    TypeLiteral = 1,
    InferVar = 2,
    Primitive = 3,
    Literal = 4,
    Reference = 5,
    Value = 6,
    This = 7,
    Unevaluated = 8,
    Readonly = 9,
    ValueOf = 10,
    ReferenceOf = 11,
    PointerOf = 12,
    In = 13,
    Extends = 14,
    Implements = 15,
    Array = 16,
    ArraySized = 17,
    Tuple = 18,
    Object = 19,
    Function = 20,
    Union = 21,
    Intersection = 22,
    Conditional = 23,
    Mapped = 24,
    Index = 25,
    TemplateLiteral = 26,
    Import = 27,
    Infer = 28,
    Predicate = 29,
    KeyOf = 30,
    Must = 31,
    Not = 32,
    Error = 33,
}
language/library/src/schema/schema.ds:8:75

Variants

TypeLiteral = 1

Type literal.

InferVar = 2

Inference variable used during analysis.

Primitive = 3

Scalar primitive.

Literal = 4

Scalar literal.

Reference = 5

Reference to a declared type.

Value = 6

Owned value type.

This = 7

this type.

Unevaluated = 8

Unevaluated type expression.

Readonly = 9

Readonly type wrapper.

ValueOf = 10

Owned form type.

ReferenceOf = 11

Borrowed form type.

PointerOf = 12

Pointer form type.

In = 13

Type membership expression.

Extends = 14

Type extension expression.

Implements = 15

Type implementation expression.

Array = 16

Dynamic array or slice type.

ArraySized = 17

Fixed-size array type.

Tuple = 18

Tuple type.

Object = 19

Structural object type.

Function = 20

Callable type.

Union = 21

Union type.

Intersection = 22

Intersection type.

Conditional = 23

Conditional type.

Mapped = 24

Mapped type.

Index = 25

Indexed access type.

TemplateLiteral = 26

Template literal type.

Import = 27

Imported type.

Infer = 28

Inference variable or binding.

Predicate = 29

Predicate type.

KeyOf = 30

keyof T.

Must = 31

Non-null assertion type.

Not = 32

Type negation.

Error = 33

Compiler error type.