Struct Scope 

pub struct Scope<'a, S: Source, W: Work> { /* private fields */ }

The query of a Source that has no access guard of its own.

No clone, allocation or reference-count increment is needed to construct it.

Implementations

impl<'a, S: Source, W: Work> Scope<'a, S, W>

pub fn new( source: &'a S, snapshot: Snapshot<S::Document, S::Generation>, execution: &'a W, ) -> Self

Attaches the expected original snapshot and current operation.

Trait Implementations

impl<S: Source, W: Work> Query for Scope<'_, S, W>

type Id = <S as Source>::Id

Original node identity.

type Document = <S as Source>::Document

Stable document identity.

type Generation = <S as Source>::Generation

Exact document generation.

type Work = W

Current execution funding this query.

fn snapshot(&self) -> Snapshot<S::Document, S::Generation>

The expected source snapshot of every fact checked in this query.

fn execution(&self) -> &W

The current execution; storage and work for results are admitted here.

fn admit(&self, node: S::Id, units: u64) -> Result<(), ScopeError<S::Id>>

Requires the live source at the expected snapshot, admits units of work, and requires the snapshot again.

fn equal(&self, left: Self::Id, right: Self::Id) -> Result<bool, MemoryError>

Compares two identities after admitting their complete HashWork.