Struct ModuleBuilder

pub struct ModuleBuilder<T>(/* private fields */);

Builder for a HUGR module.

Implementations

impl ModuleBuilder<Hugr>

pub fn new() -> Self

Begin building a new module.

impl<T: AsMut<Hugr> + AsRef<Hugr>> ModuleBuilder<T>

pub fn define_declaration( &mut self, f_id: &FuncID<false>, ) -> Result<FunctionBuilder<&mut Hugr>, BuildError>

Replace a ops::FuncDecl with ops::FuncDefn and return a builder for the defining graph.

Errors

This function will return an error if there is an error in adding the crate::ops::OpType::FuncDefn node.

pub fn declare( &mut self, name: impl Into<String>, signature: PolyFuncType, ) -> Result<FuncID<false>, BuildError>

Declare a function with signature and return a handle to the declaration.

Errors

This function will return an error if there is an error in adding the crate::ops::OpType::FuncDecl node.

pub fn add_alias_def( &mut self, name: impl Into<SmolStr>, typ: Type, ) -> Result<AliasID<true>, BuildError>

Add a crate::ops::OpType::AliasDefn node and return a handle to the Alias.

Errors

Error in adding crate::ops::OpType::AliasDefn child node.

pub fn add_alias_declare( &mut self, name: impl Into<SmolStr>, bound: TypeBound, ) -> Result<AliasID<false>, BuildError>

Add a crate::ops::OpType::AliasDecl node and return a handle to the Alias.

Errors

Error in adding crate::ops::OpType::AliasDecl child node.

Trait Implementations

impl<T: Clone> Clone for ModuleBuilder<T>

fn clone(&self) -> ModuleBuilder<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: AsMut<Hugr> + AsRef<Hugr>> Container for ModuleBuilder<T>

fn container_node(&self) -> Node

The container node.

fn hugr_mut(&mut self) -> &mut Hugr

The underlying Hugr being built

fn hugr(&self) -> &Hugr

Immutable reference to HUGR being built

fn add_child_node(&mut self, node: impl Into<OpType>) -> Node

Add an OpType as the final child of the container.

fn add_other_wire(&mut self, src: Node, dst: Node) -> Wire

Adds a non-dataflow edge between two nodes. The kind is given by the operation’s other_inputs or other_outputs

fn add_constant(&mut self, constant: impl Into<Const>) -> ConstID

Add a constant value to the container and return a handle to it.

fn define_function( &mut self, name: impl Into<String>, signature: impl Into<PolyFuncType>, ) -> Result<FunctionBuilder<&mut Hugr>, BuildError>

Add a ops::FuncDefn node and returns a builder to define the function body graph.

fn add_hugr(&mut self, child: Hugr) -> InsertionResult

Insert a HUGR as a child of the container.

fn add_hugr_view(&mut self, child: &impl HugrView) -> InsertionResult

Insert a copy of a HUGR as a child of the container.

fn set_metadata(&mut self, key: impl AsRef<str>, meta: impl Into<NodeMetadata>)

Add metadata to the container node.

fn set_child_metadata( &mut self, child: Node, key: impl AsRef<str>, meta: impl Into<NodeMetadata>, )

Add metadata to a child node.

impl<T: Debug> Debug for ModuleBuilder<T>

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

Formats the value using the given formatter.

impl Default for ModuleBuilder<Hugr>

fn default() -> Self

Returns the “default value” for a type.

impl HugrBuilder for ModuleBuilder<Hugr>

fn finish_hugr( self, extension_registry: &ExtensionRegistry, ) -> Result<Hugr, ValidationError>

Finish building the HUGR, perform any validation checks and return it.

fn finish_prelude_hugr(self) -> Result<Hugr, ValidationError>

where Self: Sized,

Finish building the HUGR (as HugrBuilder::finish_hugr), validating against the prelude extension only

impl<T: PartialEq> PartialEq for ModuleBuilder<T>

fn eq(&self, other: &ModuleBuilder<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> StructuralPartialEq for ModuleBuilder<T>