Trait HugrInternals

pub trait HugrInternals {
    type Portgraph<'p>: LinkView + Clone + 'p
       where Self: 'p;

    // Required methods
    fn portgraph(&self) -> Self::Portgraph<'_>;
    fn base_hugr(&self) -> &Hugr;
    fn root_node(&self) -> Node;
}

Trait for accessing the internals of a Hugr(View).

Specifically, this trait provides access to the underlying portgraph view.

Required Associated Types

type Portgraph<'p>: LinkView + Clone + 'p where Self: 'p

The underlying portgraph view type.

Required Methods

fn portgraph(&self) -> Self::Portgraph<'_>

Returns a reference to the underlying portgraph.

fn base_hugr(&self) -> &Hugr

Returns the Hugr at the base of a chain of views.

fn root_node(&self) -> Node

Return the root node of this 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.

Implementations on Foreign Types

impl<T: HugrInternals + ToOwned> HugrInternals for Cow<'_, T>

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

impl<T: HugrInternals> HugrInternals for &T

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

impl<T: HugrInternals> HugrInternals for &mut T

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

impl<T: HugrInternals> HugrInternals for Box<T>

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

impl<T: HugrInternals> HugrInternals for Rc<T>

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

impl<T: HugrInternals> HugrInternals for Arc<T>

type Portgraph<'p> = <T as HugrInternals>::Portgraph<'p> where Self: 'p

fn portgraph(&self) -> Self::Portgraph<'_>

fn base_hugr(&self) -> &Hugr

fn root_node(&self) -> Node

Implementors

impl HugrInternals for Hugr

type Portgraph<'p> = &'p MultiPortGraph where Self: 'p

impl<'g, Root> HugrInternals for DescendantsGraph<'g, Root>

where Root: NodeHandle,

type Portgraph<'p> = &'p FilteredGraph<&'g MultiPortGraph, fn(_: NodeIndex, _: &RegionContext<'g>) -> bool, fn(_: PortIndex, _: &RegionContext<'g>) -> bool, RegionContext<'g>> where Self: 'p

impl<'g, Root> HugrInternals for SiblingGraph<'g, Root>

where Root: NodeHandle,

type Portgraph<'p> = &'p FilteredGraph<&'g MultiPortGraph, fn(_: NodeIndex, _: &(&'g Hierarchy, NodeIndex)) -> bool, fn(_: PortIndex, _: &(&'g Hierarchy, NodeIndex)) -> bool, (&'g Hierarchy, NodeIndex)> where Self: 'p

impl<'g, Root: NodeHandle> HugrInternals for SiblingMut<'g, Root>

type Portgraph<'p> = FilteredGraph<&'p MultiPortGraph, fn(_: NodeIndex, _: &(&'p Hierarchy, NodeIndex)) -> bool, fn(_: PortIndex, _: &(&'p Hierarchy, NodeIndex)) -> bool, (&'p Hierarchy, NodeIndex)> where Root: 'p, 'g: 'p

impl<H: AsRef<Hugr>, Root> HugrInternals for RootChecked<H, Root>

type Portgraph<'p> = &'p MultiPortGraph where Self: 'p