Trait SubContainer

pub trait SubContainer: Container {
    type ContainerHandle;

    // Required method
    fn finish_sub_container(self) -> Result<Self::ContainerHandle, BuildError>;
}

Types implementing this trait build a container graph region by borrowing a HUGR

Required Associated Types

type ContainerHandle

A handle to the finished container node, typically returned when the child graph has been finished.

Required Methods

fn finish_sub_container(self) -> Result<Self::ContainerHandle, BuildError>

Consume the container builder and return the handle, may perform some checks before finishing.

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.

Implementors

impl<B: AsMut<Hugr> + AsRef<Hugr>, T: From<BuildHandle<DfgID>>> SubContainer for DFGWrapper<B, T>

type ContainerHandle = T

impl<H: AsMut<Hugr> + AsRef<Hugr>> SubContainer for CFGBuilder<H>

type ContainerHandle = BuildHandle<CfgID>

impl<H: AsMut<Hugr> + AsRef<Hugr>> SubContainer for ConditionalBuilder<H>

type ContainerHandle = BuildHandle<ConditionalID>

impl<T: AsMut<Hugr> + AsRef<Hugr>> SubContainer for DFGBuilder<T>

type ContainerHandle = BuildHandle<DfgID>