Struct MapResolver 

pub struct MapResolver { /* private fields */ }

A Resolver backed by maps: descriptors by function hash, receipts by receipt hash, and evaluated values by cell id. It is what the vectors’ recompute object describes (SPEC 11): the descriptor goes under the receipt’s cell.fn_hash, the inputs under their hashes, and value under the receipt’s own Cell::id.

A map holds one value per cell: evaluate ignores asof. A cell with no value inserted cannot be evaluated (E_EVAL_UNAVAILABLE), as a recompute without value means. A vector’s descriptor is a JSON value: insert its JCS bytes (null as null, a string as its JSON serialisation); only an absent one is left out.

Implementations

impl MapResolver

pub fn new() -> MapResolver

An empty resolver: every descriptor and receipt unavailable, nothing evaluable.

pub fn insert_descriptor( &mut self, fn_hash: impl Into<String>, json: impl Into<Vec<u8>>, )

Offers descriptor JSON text for fn_hash.

pub fn insert_receipt( &mut self, hash: impl Into<String>, json: impl Into<Vec<u8>>, )

Offers receipt JSON text for receipt hash hash.

pub fn insert_value(&mut self, cell_id: impl Into<String>, value: Scalar)

Sets the value evaluating the cell with id cell_id gives.

Trait Implementations

impl Clone for MapResolver

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MapResolver

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

Formats the value using the given formatter.

impl Default for MapResolver

fn default() -> Self

Returns the “default value” for a type.

impl Eq for MapResolver

impl PartialEq for MapResolver

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

Equality operator ==.

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

Inequality operator !=.

impl Resolver for MapResolver

fn descriptor(&self, fn_hash: &str) -> Option<Cow<'_, [u8]>>

The descriptor JSON text offered for fn_hash, or None if unavailable (E_FN_UNAVAILABLE). Only None is unavailability: the text is parsed strictly (unparseable text reports its parse code), and any other JSON value, null included, is a descriptor offered that fails the hash check (E_FN_HASH_MISMATCH, SPEC 10.1 step 7.1).

fn receipt(&self, hash: &str) -> Option<Cow<'_, [u8]>>

The receipt JSON text offered for receipt hash hash, or None if unavailable (E_INPUT_UNAVAILABLE).

fn evaluate(&self, cell: &Cell, _asof: &str) -> Option<Scalar>

The value of evaluating cell as of asof (for stored: the value looked up as of it, SPEC 10.1 step 7.6), or None if this resolver cannot evaluate it: no runtime for the language, a budget exceeded, inputs the evaluator cannot obtain (E_EVAL_UNAVAILABLE, see VerifyResult). asof is the receipt’s asof.

impl StructuralPartialEq for MapResolver