Module sway_core::semantic_analysis

Type checking for Sway.

Re-exports

pub use ast_node::TypedConstantDeclaration;

pub use ast_node::TypedDeclaration;

Modules

arena

ast_node

Structs

MODULES

The arena which contains all modules in all dependencies and the main compilation target.

Namespace

A namespace represents all items that exist either via declaration or importing.

TCOpts

TypeCheckArguments

TypedFunctionDeclaration

Enums

TreeType

Represents the different variants of the AST.

TypedParseTree

Traits

NamespaceWrapper

Functions

create_module

Create a new module (Namespace), insert it into the arena, and get its id back.

create_new_scope

Given a NamespaceRef that refers to a module, construct a new Namespace (incurring the cloning cost) with parent as its parent.

read_module

Given a function func and a reference to a module ix, read from MODULES[ix] with func.

retrieve_module

Given a NamespaceRef, get a clone of the actual Namespace it refers to.

write_module

Given a function func and a reference to a module ix, mutate MODULES[ix] with func.

Type Definitions

NamespaceRef