Package proto is a generated protocol buffer package.

BuildTypeGraph returns a new TypeGraph that is populated from the given constructors.

BuildTypeGraphWithOption returns a new TypeGraph that is populated from the given constructors.

ConstructTypeGraphWithBasicTypes constructs a type graph populated with the given testing modules and all the "basic" types necessary for implicit operators.

NewBasicTypesConstructorForTesting returns a new TypeGraphConstructor which adds the basic types for testing.

AllowNominalWrappedForData indicates that a nominally deriving type can be used in place of its data type.

BuildForTesting will skip basic type validation and freezing.

EntityKindMember indicates the entity is a member.

EntityKindModule indicates the entity is a module.

EntityKindType indicates the entity is a type.

EntityResolveModulesAsPackages indicates that module entities will be resolved as *packages*, searching all modules with the matching package path.

EntityResolveModulesExactly indicates that module entities will be resolved as an exact match.

FullBuild indicates that basic types should be fully validated and that the type graph should be frozen once complete.

MemberNotPromising indicates the member does not return a promise.

MemberPromising indicates that the member always returns a promise.

MemberPromisingDynamic indicates that the member *may* return a promise, based on its implementation.

Decorates an agent reference with the name that will be used when composed into the type.

Marks an agent reference with the type of the agent being composed.

Connects a type alias to the type it is aliasing.

Decorates an attribute with its name.

Marks a class or agent with a reference to an agent it composes.

Connects a type or type member with its documentation.

Connects a node to its error node.

The message for the parsing error.

Decorates a generic definition with its index.

Decorates a generic definition with its kind (type generic or member generic).

Decorates a generic definition to its name.

Connects a generic definition to its subtype reference (usually 'any').

Connects a type or module to a member (function, var, etc).

Connects a member to the member in the parent type from which it was cloned.

Decorates a member with the type from which it was aliased.

Marks a member with the fact that it is exported.

Decorates a member as being a field holding data in the type.

Marks a member with a generic.

Decorates a member as being automatically initialized with a default value.

Decorates a member as being implicitly called on access or assignment.

Decorates a member as being executed under an asynchronously invoked worker.

Marks a member with its name.

Marks a member with a parameter.

Decorates a member returning a promise of the member or return type.

Marks a member as being read-only.

Decorates a member as shadowing another member.

Marks a member with its signature.

Marks a member as being "static", i.e.

Connects a member to a member tag.

Decorates a member tag with its name.

Decorates a member tag with its value.

Marks a member with its resolved type.

NodeTypeModule .

Decorates a type or type member node with the path of its source module.

Marks an operator with its searchable name.

Marks an operator as being a call to a native (ES) operator.

Decorates a parameter with its documentation.

Decorates a parameter with its name.

Decorates a parameter with its type.

Marks a type with a type reference to a parent type.

Marks an agent with a type reference to its principal type.

Connects a member to a returnable definition, itself connected to an SRG node.

Marks a returnable with its expected return type.

Connects a node to the source node in the source graph (SRG, IRG, etc).

Connects a type declaration to a custom attribute.

Marks a type as being publicly exported from its package.

Connects a type declaration to a generic.

Marks a type with its global alias.

Marks a type with its global ID.

Connects a type declaration to its parent module.

Marks a type with its name.

Connects a type declaration to an operator (function, var, etc).

An agent type.

A reference to an agent composed into a class/agent.

An alias pointing to a type.

Custom attribute.

A class.

error occurred; value is text of error.

An externally defined interface.

A defined generic on a type or type member.

An implicitly-defined interface.

A member of a type or module.

Member tags.

A module.

A nominal type.

An operator defined on a type.

A parameter under a member.

An issue reported by a source graph.

A returnable member or property getter.

A structural type.

NodeType is a tagged type.

NoSubTypingExceptions indicates that all the normal subtyping rules apply.

SERIALIZABLE_ATTRIBUTE marks a type as being serializable in the native runtime.

STRUCT_SERIALIZED_NAME_TAG marks a type member under a struct with its name when serialized.

Note: The list below does not contain NodeTypeAlias, which is a special handled case in LookupType.

Annotator defines a helper type for annotating various constraints in the type graph such as generic constraints, inheritance, etc.

Entity represents an entity: module, type, or member.

MemberBuilder defines a helper type for easy construction of module and type members.

MemberDecorator defines a helper type for easy annotation of module and type members's dependent information.

Result represents the results of building a type graph.

TestGeneric defines a new generic to be created on a TestType or TestMember.

TestMember defines a new member to be created on a TestType or under a test module.

TestModule defines a new mdoule to be created in the test type graph.

TestParam defines a new parameter to be created on a TestMember.

TestType defines a new type to be created in the test type graph.

TGAgentReference represents a reference to an agent composed into another type.

TGGeneric represents a generic in the type graph.

TGMember represents a type or module member.

TGModule represents a module in the type graph.

TGParameter represents a parameter under a type member.

TGTypeDeclaration represents a type declaration (class, interface or generic) in the type graph.

TypeGraph represents the TypeGraph layer and all its associated helper methods.

TypeReference represents a saved type reference in the graph.

IssueReporter defines a helper type for reporting issues on source nodes translated into the type graph.

TGEntity represents any form of entity: module, member or type.

TGTypeOrMember represents an interface shared by types and members.

TGTypeOrModule represents an interface shared by types and modules.

TypeGraphConstructor defines an interface that is implemented by various source graphs (SRG, IRG) for translating their parsed form into type graph information.

BuildOption is an option for building of the type graph.

EntityKind defines the various kinds of entities in which types or members can be found.

EntityResolveOption defines the various options for ResolveEntityByPath.

MemberPromisingOption defines the various states of promising for a member.

MemberSignatureKind defines the various kinds of members, for calculating signatures for interface comparisons.

NodeType identifies the type of type graph node.

SubTypingException defines the various exceptions allowed on CheckSubTypeOf.

TypeAttribute defines the set of custom attributes allowed on type declarations.

TypeKind defines the various supported kinds of types in the TypeGraph.

TypeLookup is a function for finding the equivalent type for a type declaration in another type graph.

TypeMemberTag defines the set of custom tags on type members.