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.

Object Safety

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>