Reflected version of
engine::Succ. Unlike the real engine's
Succ type, this version stores a reflected value (of type
Dirty invariant: If this edge is dirty, then all predecessors of the edge are dirty too.
The target of the outgoing
The effect: either producing or consuming articulated content
The value either produced or consumed by this
Duplicate edge invariant: If this edge is a duplicate according
to this flag, then it is preceded by an edge with the same
effect, targeting the same location
Furthermore, because of the (precise naming) semantics of
Adapton and its programs, the observed value
statuses are always the same across duplicated edges. Hence,
the engine does not store these duplicate edges: They are
fn hash_slice<H>(data: &[Self], state: &mut H) where1.3.0[src]
impl StructuralEq for Succ[src]
impl StructuralPartialEq for Succ[src]
impl !RefUnwindSafe for Succ
impl !UnwindSafe for Succ
type Owned = T
The resulting type after obtaining ownership.
fn clone_into(&self, target: &mut T)[src]
type Error = Infallible
The type returned in the event of a conversion error.