Skip to main content

Lookup

polydat_core::kernel::interp

Trait Lookup 

Source 
pub trait Lookup {
    // Required methods
    fn lookup(&self, name: &str) -> Option<Value>;
    fn ledger(&self) -> &Arc<CompileLedger> ⓘ;
}
Expand description

Name resolution for comprehension sources and predicates: what a {name} placeholder or a bare identifier reads. The interpreter kernel is one; a Layered view puts a tuple’s bindings in front of another, so opening a traversal needs no kernel of the engine that opens it (engine parity, step 8).

Required Methods§

Source

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

The value name denotes here, if any.

Source

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.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§