Struct TypeTable 

pub struct TypeTable { /* private fields */ }

An interning table for structural types plus the assignability relation.

The table is append-only while checking and frozen into the immutable SemanticModel. It is also a standalone reusable value: TypeTable::new yields the primitive types so the algebra can be exercised directly.

Implementations

impl TypeTable

pub fn new() -> Self

Creates a table pre-populated with every primitive type.

pub fn get(&self, id: TypeId) -> &Type

Returns the interned representation of a type identity.

pub const fn error_type(&self) -> TypeId

pub const fn any(&self) -> TypeId

pub const fn unknown(&self) -> TypeId

pub const fn never(&self) -> TypeId

pub const fn void(&self) -> TypeId

pub const fn null_type(&self) -> TypeId

pub const fn undefined_type(&self) -> TypeId

pub const fn boolean(&self) -> TypeId

pub const fn number(&self) -> TypeId

pub const fn bigint(&self) -> TypeId

pub const fn string(&self) -> TypeId

pub const fn symbol_type(&self) -> TypeId

pub const fn object(&self) -> TypeId

pub fn boolean_literal(&mut self, value: bool) -> TypeId

Interns a boolean literal type.

pub fn number_literal(&mut self, text: &str) -> TypeId

Interns a numeric literal type keyed by its source lexeme.

pub fn string_literal(&mut self, text: &str) -> TypeId

Interns a string literal type keyed by its source lexeme.

pub fn bigint_literal(&mut self, text: &str) -> TypeId

Interns a bigint literal type keyed by its source lexeme.

pub fn named(&mut self, symbol: SymbolId) -> TypeId

Interns a nominal named type.

pub fn numeric_enum(&mut self, symbol: SymbolId) -> TypeId

Interns a numeric enum value type.

pub fn array(&mut self, element: TypeId) -> TypeId

Interns an array type over element.

pub fn object_type(&mut self, properties: Vec<PropertyType>) -> TypeId

Interns an object type after canonically ordering its members by name.

pub fn function( &mut self, parameters: Vec<TypeId>, return_type: TypeId, ) -> TypeId

Interns a function type.

pub fn union(&mut self, members: &[TypeId]) -> TypeId

Interns a union, normalizing absorption, never removal, and duplicates.

pub fn assignable(&self, source: TypeId, target: TypeId) -> bool

Returns whether a value of source may be assigned where target is expected, using structural rules over the modeled type space.

pub fn relation(&self, source: TypeId, target: TypeId) -> TypeRelation

Computes compatibility once while retaining every accepted unsound concession for rule consumers.

Trait Implementations

impl Clone for TypeTable

fn clone(&self) -> TypeTable

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeTable

fn default() -> Self

Returns the “default value” for a type.