Struct sway_core::language::ty::TyModule

pub struct TyModule {
    pub submodules: Vec<(DepName, TySubmodule)>,
    pub namespace: Module,
    pub all_nodes: Vec<TyAstNode>,
}

Fields

submodules: Vec<(DepName, TySubmodule)>

namespace: Module

all_nodes: Vec<TyAstNode>

Implementations

impl TyModule

pub fn submodules_recursive(&self) -> SubmodulesRecursive<'_>

An iterator yielding all submodules recursively, depth-first.

pub fn test_fns<'a: 'b, 'b>(
    &'b self,
    decl_engine: &'a DeclEngine
) -> impl '_ + Iterator<Item = (TyFunctionDeclaration, DeclId)>

All test functions within this module.

impl TyModule

pub fn type_check(
    ctx: TypeCheckContext<'_>,
    parsed: &ParseModule
) -> CompileResult<Self>

Type-check the given parsed module to produce a typed module.

Recursively type-checks submodules first.

Trait Implementations

impl Clone for TyModule

fn clone(&self) -> TyModule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyModule

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

Formats the value using the given formatter.