Enum ErasedValue 

pub enum ErasedValue {
    Int(u64),
    Ctor(u32, Vec<ErasedValue>),
    Closure {
        body: Box<ErasedExprExt>,
        env: Vec<ErasedValue>,
    },
    Unit,
    Thunk(Box<ErasedExprExt>),
}

An erased value (runtime representation after full reduction).

Variants

Int(u64)

An integer literal.

Ctor(u32, Vec<ErasedValue>)

A constructor applied to arguments.

Closure

A closure (lambda) with its captured environment.

Fields

body: Box<ErasedExprExt>

env: Vec<ErasedValue>

Unit

A unit value.

Thunk(Box<ErasedExprExt>)

An unresolved thunk.

Implementations

impl ErasedValue

pub fn is_int(&self) -> bool

Return true if this is an integer.

pub fn is_ctor(&self) -> bool

Return true if this is a constructor.

pub fn as_int(&self) -> Option<u64>

Return the integer value if this is Int, else None.

Trait Implementations

impl Clone for ErasedValue

fn clone(&self) -> ErasedValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErasedValue

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

Formats the value using the given formatter.

impl PartialEq for ErasedValue

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