Struct LoadedModule 

pub struct LoadedModule {
    pub path: Vec<String>,
    pub source_file: PathBuf,
    pub exports: HashSet<String>,
    pub function_exports: HashSet<String>,
    pub program: Program,
}

A loaded module with metadata

Fields

path: Vec<String>

Module path

source_file: PathBuf

Source file location

exports: HashSet<String>

Public predicate names

function_exports: HashSet<String>

Public function names

program: Program

The parsed program content

Implementations

impl LoadedModule

pub fn new(path: Vec<String>, source_file: PathBuf, program: Program) -> Self

Create a new loaded module (exports initially empty).

Trait Implementations

impl Debug for LoadedModule

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

Formats the value using the given formatter.