Struct Module 

pub struct Module {
    pub root: Region,
}

A module in the hugr AST.

See table::Module for the table representation.

Fields

root: Region

The root region of the module.

This must be a region of kind RegionKind::Module.

Implementations

impl Module

pub fn resolve<'a>(&'a self, bump: &'a Bump) -> Result<Module<'a>, ResolveError>

Try to convert this module into the table representation.

This conversion resolves the names of variables, symbols and links according to their scoping rules described in the scope module.

Symbols may be versioned either at their import/declaration/definition site or at their use site. Unversioned references will be resolved to the latest declared version if one is available.

Whenever a symbol is used but not defined in scope, an import node will be inserted into the module region and all references to that symbol will refer to the import node. This gives the opportunity to link the missing symbols.

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.

impl Display for Module

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

Formats the value using the given formatter.

impl Eq for Module

impl FromStr for Module

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Module

fn eq(&self, other: &Module) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Module