Crate air_interpreter_data

Structs

• ApResult
  Describes result of applying functor apply to streams.
• CanonCidAggregate
  The type Canon trace CID refers to.
• CanonResult
  Contains ids of element that were on a stream at the moment of an appropriate canon call.
• CidInfo
• CidStore
  Stores CID to Value corresponance.
• CidTracker
• ExecutionTrace
• FoldResult
• FoldSubTraceLore
  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) )
• InterpreterData
  The AIR interpreter could be considered as a function f(prev_data: InterpreterData, current_data: InterpreterData, … ) -> (result_data: InterpreterData, …). This function receives prev and current data and produces a result data. All these data have the following format.
• ParResult
• SubTraceDesc
  Descriptor of a subtrace inside execution trace.
• TracePos
• Versions

Enums

• CallResult
• ExecutedState
• Sender
• ValueRef

Functions

• data_version

Type Definitions

• FoldLore
  This type represents all information in an execution trace about states executed during a fold execution.
• GlobalStreamGens
  Mapping from a stream name to it’s generation count. Similar to pi-calculus non-restricted names/channels.
• RestrictedStreamGens
  Mapping from a stream name to position of a new instruction in a script that creates a scope for a stream to vector where each position represents a corresponding iteration.