Enum Term

pub enum Term {
    Wildcard,
    Var(VarName),
    Apply(SymbolName, Arc<[Term]>),
    List(Arc<[SeqPart]>),
    Literal(Literal),
    Tuple(Arc<[SeqPart]>),
    Func(Arc<Region>),
}

A term in the hugr AST.

To facilitate sharing where possible, terms in the AST use reference counting. This makes it cheap to clone and share terms.

See table::Term for the table representation.

Variants

Wildcard

Standin for any term.

Var(VarName)

Local variable, identified by its name.

Apply(SymbolName, Arc<[Term]>)

Symbol application.

List(Arc<[SeqPart]>)

List of static data.

Literal(Literal)

Static literal value.

Tuple(Arc<[SeqPart]>)

Tuple of static data.

Func(Arc<Region>)

Function constant.

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl Default for Term

fn default() -> Term

Returns the “default value” for a type.

impl Display for Term

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

Formats the value using the given formatter.

impl From<Literal> for Term

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl FromStr for Term

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 Term

fn eq(&self, other: &Term) -> 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, TermId> for Term

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

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

impl Eq for Term

impl StructuralPartialEq for Term