Struct MapResolver 

pub struct MapResolver { /* private fields */ }

A Resolver backed by maps: descriptors by function hash, receipts by receipt hash, manifests by slice entry, and evaluated values (with lineages) 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, the manifests under their entries, and value (and lineage) 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.

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

Offers manifest JSON text for slice entry entry.

pub fn insert_lineage<I, S>(&mut self, cell_id: impl Into<String>, lineage: I)

where I: IntoIterator<Item = S>, S: Into<String>,

Sets the lineage the evaluation of the cell with id cell_id reports with its value (the inputs entries it read); without one, an evaluation has no lineage.

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.

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

The manifest JSON text offered for slice entry entry (slice:<slice id>:<members hash>), or None if unavailable (E_INPUT_UNAVAILABLE). The text is parsed strictly and checked as a Manifest; one that does not hash to the entry is E_INPUT_UNAVAILABLE, as a receipt with another hash. Provided: None.

fn evaluation(&self, cell: &Cell, _asof: &str) -> Option<Evaluation>

Evaluates cell as of asof, with the evaluation’s lineage when the resolver has it: the inputs entries the evaluation read (10.1 step 7.6). verify calls this once, in place of evaluate. When the value differs from the receipt’s, a lineage that replaces one of the receipt’s inputs by a later version of the same cell (whose receipt it offers through receipt), or one of its slice entries by an item beginning slice:<the same slice id>:, makes the result E_INPUT_SUPERSEDED instead of E_VALUE_MISMATCH. Provided: evaluate’s value, with no lineage.

impl StructuralPartialEq for MapResolver