Trait DataflowHugr

pub trait DataflowHugr: HugrBuilder + Dataflow {
    // Provided methods
    fn finish_hugr_with_outputs(
        self,
        outputs: impl IntoIterator<Item = Wire>,
        extension_registry: &ExtensionRegistry,
    ) -> Result<Hugr, BuildError>
       where Self: Sized { ... }
    fn finish_prelude_hugr_with_outputs(
        self,
        outputs: impl IntoIterator<Item = Wire>,
    ) -> Result<Hugr, BuildError>
       where Self: Sized { ... }
}

Trait implemented by builders of Dataflow Hugrs

Provided Methods

fn finish_hugr_with_outputs( self, outputs: impl IntoIterator<Item = Wire>, extension_registry: &ExtensionRegistry, ) -> Result<Hugr, BuildError>

where Self: Sized,

Set outputs of dataflow HUGR and return validated HUGR

Errors

• if there is an error when setting outputs
• if the Hugr does not validate

fn finish_prelude_hugr_with_outputs( self, outputs: impl IntoIterator<Item = Wire>, ) -> Result<Hugr, BuildError>

where Self: Sized,

Sets the outputs of a dataflow Hugr, validates against the prelude extension only, and return the Hugr

Object Safety

This trait is not object safe.

Implementors

impl<T: HugrBuilder + Dataflow> DataflowHugr for T