Struct NoScope 

pub struct NoScope { /* private fields */ }

The empty scope: no name resolves in it, and what has to compile under it is charged to the ledger it holds. A context-free source, one whose expression references no name, evaluates in this scope (comprehension_forms.md §10.7.0), at compile time or wherever no kernel is at hand.

Implementations

impl NoScope

pub fn new() -> Self

An empty scope charging to a fresh ledger of its own.

pub fn charged_to(ledger: Arc<CompileLedger>) -> Self

An empty scope charging to ledger: the program tree’s, when the evaluation is part of that tree’s compile.

Trait Implementations

impl Default for NoScope

fn default() -> Self

Returns the “default value” for a type.

impl Lookup for NoScope

fn lookup(&self, _name: &str) -> Option<Value>

The value name denotes here, if any.

fn ledger(&self) -> &Arc<CompileLedger>

The compile ledger of the program tree this scope belongs to: what a source or predicate that has to compile is charged to.