Module semantic_type 

Structs

ActionSignatureType

Canonical input/output type contract for one decorator-marked action method.

BuiltinTypeAuthority

Module-scoped authority for compiler-owned built-in marker types.

ComputedValueType

Canonical semantic type contract for one computed getter.

DomBindingContract

Compiler-owned type contract for one supported DOM binding name.

EffectStatementTypeRecord

Immutable F4 typing and compatibility facts keyed by effect statement identity.

ListTemplateScopeType

Canonical item and index type information for one template list scope.

MemberAccessType

Canonical result of one supported template list-item member access.

ObjectType

Structural object shape in the canonical semantic type algebra.

ResolvedDeclaredSemanticType

Canonical result of resolving one authored type annotation through the existing type and binding authorities.

ResourceType

Compiler-owned resource contract with explicit data, error, and boundary semantics.

SemanticTypeAlias

A named authored type alias resolved to canonical semantic type meaning.

SemanticTypeAssignment

A type assignment with canonical identity, semantic origin, and authored location.

SemanticTypeId

Stable identity for one compiler-owned type assignment.

SemanticTypeModel

Canonical type assignments owned by the application semantic model.

Enums

BoundaryCompatibility

Whether a semantic type may cross one execution boundary to another.

DomBindingKind

Whether a supported DOM binding writes an HTML attribute or a DOM property.

EffectCompatibility

Compatibility facts recorded by effect typing without issuing F5 diagnostics.

EffectOperationClassification

The compiler-owned classification of one authored effect statement.

ExecutionBoundary

Execution side participating in a compiler/runtime boundary crossing.

ResourceExecutionBoundary

Execution boundary declared by a canonical resource contract.

SemanticOperator

A compiler-owned operator category used by semantic expression typing.

SemanticType

Compiler-owned semantic type algebra independent of TypeScript spelling.

SemanticTypeStatus

Whether a semantic type came from an authored declaration or compiler inference.

SerializationCompatibility

Whether a canonical semantic type can safely cross a compiler/runtime boundary.

TypeDiagnosticCode

Stable codes for diagnostics produced from canonical semantic types.

TypeDiagnosticFamily

Stable families for diagnostics produced from canonical semantic types.

Functions

boundary_compatibility

Determines whether a type can cross from one execution boundary to another.

dom_binding_contract

Returns the contract for the currently supported dynamic DOM bindings.

infer_serializable_value_type

is_assignable

Canonical semantic compatibility relation shared by compiler consumers.

is_state_initializer_assignable

Compatibility alias retained for C10 callers.

normalize_semantic_type

Canonicalizes equivalent semantic type forms for stable equality and output.

operator_result_type

Returns the result type for one valid semantic operator application.

semantic_type_text

Renders a canonical semantic type using the stable inspection spelling.

serialization_compatibility

Determines structural serialization compatibility for a canonical type.

state_initializer_value_type