Re-exports§
pub use miden_debug_types as debuginfo;pub use miden_utils_diagnostics as diagnostics;
Modules§
- ast
- Abstract syntax tree (AST) components of Miden programs, modules, and procedures.
- library
- parser
- prettier
- testing
Macros§
- assert_
diagnostic - Assert that the given diagnostic/error value, when rendered to stdout, contains the given pattern
- assert_
diagnostic_ lines - Like assert_diagnostic, but matches each non-empty line of the rendered output to a corresponding pattern.
- parse_
module - regex
- Create a Pattern::Regex from the given input
- source_
file - Construct an
::alloc::sync::Arc<miden_core::debuginfo::SourceFile>from a string literal or expression, such that emitted diagnostics reference the file and line on which the source file was constructed.
Structs§
- Display
Hex - A display helper for formatting a slice of bytes as hex with different options using Rust’s builtin format language
- Felt
- Represents base field element in the field using Montgomery representation.
- Parse
Options - The set of options which can be used to control the behavior of the
Parsetrait. - Report
- Core Diagnostic wrapper type.
- Word
- A unit of data consisting of 4 field elements.
Enums§
- Semantic
Analysis Error - Represents an error that occurs during semantic analysis
Traits§
- Field
Element - Defines an element in a finite field.
- 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:
- Stark
Field - Defines an element in a STARK-friendly finite field.