Crate miden_assembly

Macros

validate_operation

Validates an op Token against a provided instruction string and/or an expected number of parameter inputs and returns an appropriate ParsingError if the operation Token is invalid.

Structs

Assembler

Miden Assembler which can be used to convert Miden assembly source code into program MAST ( represented by the Program struct). The assembler can be instantiated in several ways using a “builder” patter. Specifically:

ModuleAst

An abstract syntax tree (AST) of a Miden code module.

NamedModuleAst

A reference to a module AST with its name under the provider context (i.e. stdlib).

ParsingError

ProcedureAst

An abstract syntax tree of a Miden procedure.

ProcedureId

A procedure identifier computed as a digest truncated to [Self::LEN] bytes, product of the label of a procedure

ProgramAst

An abstract syntax tree (AST) of a Miden program.

Enums

AssemblyError

LibraryError

Traits

Library

TODO: add docs

ModuleProvider

The module provider is now a simplified version of a module cache. It is expected to evolve to a general solution for the module lookup.

Functions

parse_module

Parses the provided source into a module ST. A module consists of internal and exported procedures but does not contain a body.

parse_program

Parses the provided source into a program AST. A program consist of a body and a set of internal (i.e., not exported) procedures.