Struct EtaExpanded 

pub struct EtaExpanded {
    pub ctor: String,
    pub expr_id: u64,
    pub field_ids: Vec<u64>,
}

Eta-expanded form: a record constructed from its own projections.

Fields

ctor: String

The structure constructor name.

expr_id: u64

The expression being eta-expanded.

field_ids: Vec<u64>

The field values (as expression ids).

Implementations

impl EtaExpanded

pub fn new(ctor: impl Into<String>, expr_id: u64, field_ids: Vec<u64>) -> Self

Build an eta-expanded form given ctor name and projection ids.

pub fn arity(&self) -> usize

Return the arity (number of fields).

Trait Implementations

impl Clone for EtaExpanded

fn clone(&self) -> EtaExpanded

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaExpanded

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

Formats the value using the given formatter.