Enum PCFValue 

pub enum PCFValue {
    Num(u64),
    Bool(bool),
    Bottom,
    Closure(Box<PCFTerm>, usize),
}

The result of evaluating a PCF term: either a value or divergence (⊥).

Variants

Num(u64)

A natural number value.

Bool(bool)

A Boolean value.

Bottom

Divergence (bottom element ⊥).

Closure(Box<PCFTerm>, usize)

A closure (lambda body + captured environment depth).

Implementations

impl PCFValue

pub fn is_bottom(&self) -> bool

Check whether this value is bottom.

pub fn is_nat(&self) -> bool

Check whether this value is a natural number.

Trait Implementations

impl Clone for PCFValue

fn clone(&self) -> PCFValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PCFValue

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

Formats the value using the given formatter.

impl PartialEq for PCFValue

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

impl StructuralPartialEq for PCFValue