Struct air_interpreter_data::FoldSubTraceLore

pub struct FoldSubTraceLore {
    pub value_pos: TracePos,
    pub subtraces_desc: Vec<SubTraceDesc>,
}

Let’s consider an example of trace that could be produces by the following fold: (fold $stream v (call 1) (call 2) (next v) (call 3) (call 4) )

Having started with stream with two elements {v1, v2} the resulted trace would looks like [(1) (2)] [(1) (2)] [(3) (4)] [(3) (4)] <— the sequence of call states v1 v2 v2 v1 <–– corresponding values from $stream that the iterable v had at the moment of call

From this example, it could be seen that each instruction sequence inside fold is divided into two intervals (left and right), each of these intervals has borders [begin, end). So, this struct describes position inside overall execution_step trace belongs to one fold iteration.

Fields

value_pos: TracePos

Position of current value in a trace.

subtraces_desc: Vec<SubTraceDesc>

Descriptors of a subtrace that are corresponded to the current value. Technically, now it always contains two values, and Vec here is used to have a possibility to handle more than one next inside fold in future.

Trait Implementations

impl Clone for FoldSubTraceLore

fn clone(&self) -> FoldSubTraceLore

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FoldSubTraceLore

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

Formats the value using the given formatter.

impl Default for FoldSubTraceLore

fn default() -> FoldSubTraceLore

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FoldSubTraceLore

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<FoldSubTraceLore> for FoldSubTraceLore

fn eq(&self, other: &FoldSubTraceLore) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FoldSubTraceLore

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for FoldSubTraceLore

impl StructuralEq for FoldSubTraceLore

impl StructuralPartialEq for FoldSubTraceLore