Struct hvmc::ast::Net

pub struct Net {
    pub root: Tree,
    pub redexes: Vec<(bool, Tree, Tree)>,
}

An AST node representing an interaction net with one free port.

The tree connected to the free port is stored in root. The active pairs in the net – trees connected by their roots – are stored in redexes.

(The wiring connecting the leaves of all the trees is represented within the trees via pairs of Tree::Var nodes with the same name.)

Fields

root: Tree

redexes: Vec<(bool, Tree, Tree)>

Implementations

impl Net

pub fn trees(&self) -> impl Iterator<Item = &Tree>

pub fn trees_mut(&mut self) -> impl Iterator<Item = &mut Tree>

impl Net

pub fn eta_reduce(&mut self)

Carries out simple eta-reduction

impl Net

pub fn apply_tree(&mut self, arg: Tree)

Transforms the net x & ... into y & x ~ (arg y) & ...

The result is equivalent a λ-calculus application. Thus, if the net is a λ-calculus term, then this function will apply an argument to it.

Trait Implementations

impl Clone for Net

fn clone(&self) -> Net

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Net

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

Formats the value using the given formatter.

impl Default for Net

fn default() -> Net

Returns the “default value” for a type.

impl Display for Net

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

Formats the value using the given formatter.

impl FromStr for Net

type Err = String

The associated error which can be returned from parsing.

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

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

impl Hash for Net

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Net

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Net

impl StructuralPartialEq for Net