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_call

Rewrite to inline a Call to a FuncDefn by copying the body of the function into a DFG which replaces the Call node.

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

HostPort

A port in the host graph.

ReplacementPort

A port in the replacement graph.

Transactional

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

Enums

BoundaryPort

A port in either the host or replacement graph.

Traits

Rewrite

An operation that can be applied to mutate a Hugr