Struct EtaRedex 

pub struct EtaRedex {
    pub path: Vec<u32>,
    pub struct_name: String,
    pub inner_id: u64,
}

An occurrence of an eta-redex within a larger expression.

Fields

path: Vec<u32>

Path (sequence of child indices) to the redex root.

struct_name: String

The structure name of the redex.

inner_id: u64

The expression id of the inner term.

Implementations

impl EtaRedex

pub fn new( path: Vec<u32>, struct_name: impl Into<String>, inner_id: u64, ) -> Self

Create a new eta-redex at the given path.

pub fn is_top_level(&self) -> bool

Return true if this redex is at the top level (empty path).

pub fn depth(&self) -> usize

Return the nesting depth of this redex.

Trait Implementations

impl Clone for EtaRedex

fn clone(&self) -> EtaRedex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaRedex

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

Formats the value using the given formatter.