Module rewrite

Rewrite operations on the HUGR - replacement, outlining, etc.

Re-exports

• pub use simple_replace::SimpleReplacement;
• pub use simple_replace::SimpleReplacementError;

Modules

• consts
  Rewrite operations involving Const and LoadConst operations
• inline_dfg
  A rewrite that inlines a DFG node, moving all children of the DFG except Input+Output into the DFG’s parent, and deleting the DFG along with its Input + Output
• insert_identity
  Implementation of the InsertIdentity operation.
• outline_cfg
  Rewrite for inserting a CFG-node into the hierarchy containing a subsection of an existing CFG
• replace
  Implementation of the Replace operation.
• simple_replace
  Implementation of the SimpleReplace operation.

Structs

• Transactional
  Wraps any rewrite into a transaction (i.e. that has no effect upon failure)

Traits

• Rewrite
  An operation that can be applied to mutate a Hugr