l0_resolve namespace

Classes

class ResolveErrorKind: Kinds of errors that can occur during symbol resolution.
class SymbolResolution: The result of a symbol resolution attempt.
class TypeResolution: The result of a type reference resolution attempt.
class TypeResolveErrorKind: Kinds of errors that can occur during type resolution.

auto _is_imported(ModuleEnv current_env, str module_name) -> bool: Check if a module is explicitly imported by the current environment.
auto resolve_symbol(dict module_envs[str, ModuleEnv], str current_module, str name, list|None module_path[str] = None, *bool require_import = True) -> SymbolResolution: Resolve a symbol by name, optionally qualified by module path.
auto resolve_type_ref(dict module_envs[str, ModuleEnv], str current_module, TypeRef tref, list|None module_path[str] = None, * Callable[[Symbol], Type|None]|None resolve_alias = None, bool require_import = True) -> TypeResolution: Resolve an AST TypeRef into a semantic Type.

Check if a module is explicitly imported by the current environment.

Resolve a symbol by name, optionally qualified by module path.

Parameters
module_envs	The mapping of module names to their environments.
current_module	The name of the module performing the lookup.
name	The name of the symbol to resolve.
module_path	Optional list of module components for qualified names.
require_import	Whether to require an explicit import for qualified lookups.
Returns	A SymbolResolution object containing the result or error information.

Resolve an AST TypeRef into a semantic Type.

Parameters
module_envs	The mapping of module names to their environments.
current_module	The name of the module performing the resolution.
tref	The TypeRef AST node.
module_path	Optional list of module components for qualified types.
Callable
resolve_alias	Optional callback to resolve type aliases.
require_import	Whether to require an explicit import for qualified lookups.
Returns	A TypeResolution object containing the result or error information.