Trait miden_objects::assembly::Library

pub trait Library {
    type ModuleIterator<'a>: Iterator<Item = &'a Module>
       where Self: 'a;

    // Required methods
    fn root_ns(&self) -> &LibraryNamespace;
    fn version(&self) -> &Version;
    fn modules(&self) -> Self::ModuleIterator<'_>;
    fn dependencies(&self) -> &[LibraryNamespace];

    // Provided method
    fn get_module_ast(&self, path: &LibraryPath) -> Option<&ModuleAst> { ... }
}

A library definition that provides AST modules for the compilation process.

Required Associated Types

type ModuleIterator<'a>: Iterator<Item = &'a Module> where Self: 'a

The concrete type used to iterate the modules of the library.

Required Methods

fn root_ns(&self) -> &LibraryNamespace

Returns the root namespace of this library.

fn version(&self) -> &Version

Returns the version number of this library.

fn modules(&self) -> Self::ModuleIterator<'_>

Iterate the modules available in the library.

fn dependencies(&self) -> &[LibraryNamespace]

Returns the dependency libraries of this library.

Provided Methods

fn get_module_ast(&self, path: &LibraryPath) -> Option<&ModuleAst>

Returns the AST of the module stored at the provided path.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T> Library for &T

where T: Library,

type ModuleIterator<'a> = <T as Library>::ModuleIterator<'a> where &T: 'a

fn root_ns(&self) -> &LibraryNamespace

fn version(&self) -> &Version

fn modules(&self) -> <&T as Library>::ModuleIterator<'_>

fn dependencies(&self) -> &[LibraryNamespace]

fn get_module_ast(&self, path: &LibraryPath) -> Option<&ModuleAst>

Implementors

impl Library for MaslLibrary

type ModuleIterator<'a> = Iter<'a, Module>