Struct sway_core::language::ty::TyModule

pub struct TyModule {
    pub span: Span,
    pub submodules: Vec<(ModName, TySubmodule)>,
    pub namespace: Module,
    pub all_nodes: Vec<TyAstNode>,
    pub attributes: AttributesMap,
}

Fields

span: Span

submodules: Vec<(ModName, TySubmodule)>

namespace: Module

all_nodes: Vec<TyAstNode>

attributes: AttributesMap

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 = (TyFunctionDecl, DeclRefFunction)>

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.