Enum adapton::reflect::trace::ForceCase

pub enum ForceCase {
    CompCacheMiss,
    CompCacheHit,
    RefGet,
}

When the program forces a computation, either the cache is either empty (CacheMiss) or non-empty (CacheHit). The cached value may not be consistent without a cleaning. When the program forces a reference cell, it simply gets the current value.

Variants

CompCacheMiss

The DCG has no cached value for this computation; no prior computation will be reused.

CompCacheHit

The DCG has a cached value for this computation; it may not be consistent without a cleaning first.

RefGet

The forced node is a ref cell with a (mutable) value, and hence, no computation was necessary. The force simply gets the current value.

Trait Implementations

impl Clone for ForceCase

fn clone(&self) -> ForceCase

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ForceCase

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

Formats the value using the given formatter.