pub trait ExtractHugr: HugrView + Sized {
// Provided method
fn extract_hugr(self) -> Hugr { ... }
}Expand description
A trait for HugrViews that can be extracted into a valid HUGR containing
only the nodes and edges of the view.
Provided Methods§
Sourcefn extract_hugr(self) -> Hugr
fn extract_hugr(self) -> Hugr
Extracts the view into an owned HUGR, rooted at the view’s root node and containing only the nodes and edges of the view.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.