Struct Region

pub struct Region {
    pub kind: RegionKind,
    pub sources: Box<[LinkName]>,
    pub targets: Box<[LinkName]>,
    pub children: Box<[Node]>,
    pub meta: Box<[Term]>,
    pub signature: Option<Term>,
}

A region in the hugr AST.

See table::Region for the table representation.

Fields

kind: RegionKind

The kind of the region. See RegionKind for details.

sources: Box<[LinkName]>

The names of the links connected to the source ports of the region.

targets: Box<[LinkName]>

The names of the links connected to the target ports of the region.

children: Box<[Node]>

The nodes in the region. The order of the nodes is not significant.

meta: Box<[Term]>

The metadata attached to the region.

signature: Option<Term>

The source/target signature of the region.

Trait Implementations

impl Clone for Region

fn clone(&self) -> Region

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Region

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Region

fn default() -> Region

Returns the “default value” for a type.

impl Display for Region

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromStr for Region

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Region

fn eq(&self, other: &Region) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> View<'a, RegionId> for Region

fn view(module: &'a Module<'a>, id: RegionId) -> Option<Self>

Attempt to interpret a subpart of a module as this type.

impl Eq for Region

impl StructuralPartialEq for Region