Struct adapton::reflect::Succ

pub struct Succ {
    pub dirty: bool,
    pub loc: Loc,
    pub effect: Effect,
    pub value: Val,
    pub is_dup: bool,
}

Reflected version of engine::Succ. Unlike the real engine's Succ type, this version stores a reflected value (of type Val).

Fields

dirty: bool

Dirty invariant: If this edge is dirty, then all predecessors of the edge are dirty too.

loc: Loc

The target of the outgoing Effect

effect: Effect

The effect: either producing or consuming articulated content

value: Val

The value either produced or consumed by this Effect

is_dup: bool

Duplicate edge invariant: If this edge is a duplicate according to this flag, then it is preceded by an edge with the same effect effect, targeting the same location loc. Furthermore, because of the (precise naming) semantics of Adapton and its programs, the observed value value and dirty statuses are always the same across duplicated edges. Hence, the engine does not store these duplicate edges: They are completely redundant.

Trait Implementations

impl Debug for Succ

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

Formats the value using the given formatter.

impl Clone for Succ

fn clone(&self) -> Succ

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Succ

impl PartialEq for Succ

fn eq(&self, __arg_0: &Succ) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Succ) -> bool

This method tests for !=.

impl Hash for Succ

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Reflect<Succ> for Succ

fn reflect(&self) -> Succ