sway_core::semantic_analysis

Module namespace

Source

Structs§

Items
The set of items that exist within some lexical scope via declaration or importing.
LexicalScope
A LexicalScope contains a set of all items that exist within the lexical scope via declaration or importing, along with all its associated hierarchical scopes.
Module
A single Module within a Sway project.
Namespace
The set of items that represent the namespace context passed throughout type checking.
Root
The root module, from which all other module dependencies can be accessed.
TraitMap
Map holding trait implementations for types.

Enums§

ResolvedDeclaration
TryInsertingTraitImplOnFailure
Enum used to pass a value asking for insertion of type into trait map when an implementation of the trait cannot be found.

Functions§

module_not_found
Create a ModuleNotFound error. If skip_package_name is true, then the package name is not emitted as part of the error message. This is used when the module was supposed to be found in the current package rather than in an external one.
namespace_with_contract_id
Factory function for contracts
namespace_without_contract_id
Factory function for contracts

Type Aliases§

LexicalScopeId
Represents a lexical scope integer-based identifier, which can be used to reference specific a lexical scope.
LexicalScopePath
Represents a lexical scope path, a vector of lexical scope identifiers, which specifies the path from root to a specific lexical scope in the hierarchy.
ModulePath
ModulePathBuf