Struct Module

pub struct Module<T> {
    pub name: String,
    pub file_path: PathBuf,
    pub ast: Ast<T>,
    pub exports: TypeScope,
    pub imports: Vec<(String, String)>,
}

Fields

name: String

file_path: PathBuf

The absolute path of this module in the file system.

ast: Ast<T>

exports: TypeScope

A TypeScope containing all exported members of this module.

imports: Vec<(String, String)>

A list of imported module. The first item in each tuple is the path under which imported module is specified in this module, the second item specifies the absolute path of the imported module in the file system. This is used to convert absolute modules to relative imports.

Implementations

impl<T> Module<T>

pub fn resolve(&self, var_name: &impl ToString) -> String

Resolve a variable name from this module.

pub fn convert_imports_to_local_names( &self, modules: &Modules<()>, ) -> Modules<()>

Convert the modules currently stored with their absolute path to modules stored with a relative path (relative to this module). This is needed to determine the correct module to import while typechecking.

impl Module<()>

pub fn type_check( &self, other_modules: &Modules<()>, ) -> Result<Module<TypeInfo>, Box<dyn Error>>

Trait Implementations

impl<T: Clone> Clone for Module<T>

fn clone(&self) -> Module<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Module<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for Module<T>

fn default() -> Module<T>

Returns the “default value” for a type.

impl<T: PartialEq> PartialEq for Module<T>

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

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

const 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<T: Eq> Eq for Module<T>

impl<T> StructuralPartialEq for Module<T>