Crate air_interpreter_data
source ·Modules§
Structs§
- Describes result of applying functor
apply
to streams. - The resolver for an archived
ApResult
- An archived
ApResult
- An archived
CallServiceFailed
- An archived
CanonCidAggregate
- An archived
CanonResultCidAggregate
- An archived
CidInfo
- An archived
CidStore
- An archived
ExecutionTrace
- An archived
FoldResult
- An archived
FoldSubTraceLore
- An archived
GenerationIdx
- An archived
InterpreterData
- An archived
ParResult
- An archived
RawValue
- An archived
ServiceResultCidAggregate
- An archived
SubTraceDesc
- An archived
TracePos
- The resolver for an archived
CallServiceFailed
- The type Canon trace CID refers to.
- The resolver for an archived
CanonCidAggregate
- The resolver for an archived
CanonResultCidAggregate
- The resolver for an archived
CidInfo
- Stores CID to Value corresponance.
- The resolver for an archived
CidStore
- The resolver for an archived
ExecutionTrace
- The resolver for an archived
FoldResult
- 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) ) x 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
- The resolver for an archived
FoldSubTraceLore
- The resolver for an archived
GenerationIdx
- 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.
- An envelope for the AIR interpreter data that makes AIR data version info accessible in a stable way.
- The resolver for an archived
InterpreterData
- The resolver for an archived
ParResult
- The resolver for an archived
RawValue
- A proof of service result execution result.
- The resolver for an archived
ServiceResultCidAggregate
- Descriptor of a subtrace inside execution trace.
- The resolver for an archived
SubTraceDesc
- The resolver for an archived
TracePos
Enums§
- An archived
CallResult
- An archived
CanonResult
- An archived
ExecutedState
- An archived
Provenance
- An archived
Sender
- An archived
ValueRef
- The resolver for an archived
CallResult
- Contains ids of element that were on a stream at the moment of an appropriate canon call.
- The resolver for an archived
CanonResult
- The resolver for an archived
ExecutedState
- The resolver for an archived
Provenance
- The resolver for an archived
Sender
- The resolver for an archived
ValueRef
Functions§
Type Aliases§
- This type represents all information in an execution trace about states executed during a fold execution.