Re-exports§
pub use miden_assembly::debuginfo;pub use miden_assembly::diagnostics;
Modules§
Structs§
- Assembler
- The Assembler produces a Merkelized Abstract Syntax Tree (MAST) from Miden Assembly sources, as an artifact of one of three types:
- Default
Source Manager - Kernel
Library - Represents a library containing a Miden VM kernel.
- Library
- Represents a library where all modules were compiled into a
MastForest. - Library
Path - Path to a module or a procedure.
- Module
- The abstract syntax tree for a single Miden Assembly module.
- Parse
Options - The set of options which can be used to control the behavior of the
Parsetrait. - Procedure
Name - Procedure name.
- Qualified
Procedure Name - Represents a qualified procedure name, e.g.
std::math::u64::add, parsed into it’s constituent LibraryPath and ProcedureName components. - Source
File - A SourceFile represents a single file stored in a super::SourceManager
- Source
Id - A SourceId represents the index/identifier associated with a unique source file in a SourceManager implementation.
- Source
Span - This represents a span of bytes in a Miden Assembly source file.
Enums§
- Library
Namespace - Represents the root component of a library path, akin to a Rust crate name
- Module
Kind - Represents the kind of a Module.
Traits§
- Parse
- This trait is meant to be implemented by any type that can be parsed to a Module, to allow methods which expect a Module to accept things like:
- Source
Manager - Source
Manager Sync - SourceManagerSync is a marker trait for SourceManager implementations that are also Send + Sync, and is automatically implemented for any SourceManager that meets those requirements.