Struct ReplSession 

pub struct ReplSession { /* private fields */ }

A persistent imperative REPL session. See the module docs for the replay architecture.

Implementations

impl ReplSession

pub fn new() -> Self

A fresh session.

pub async fn eval(&mut self, input: &str) -> ReplOutcome

Evaluate one input chunk (a statement, a multi-statement chunk, or a ## definition block), returning the new output lines.

pub fn eval_sync(&mut self, input: &str) -> ReplOutcome

Synchronous eval for native callers.

pub fn source(&self) -> String

The session as a complete LOGOS program: definitions first, then the Main body — always runnable as-is.

pub fn vars(&self) -> Vec<(String, String, String)>

The session’s global bindings as (name, type, value) rows, sorted by name. Unavailable (empty) for concurrent programs — the inspection replay runs on the synchronous tree-walker.

NOTE: this re-executes the accumulated program (the replay architecture) — callers that only need names for completion must use binding_names, which never executes.

pub fn binding_names(&self) -> Vec<String>

The names this session binds — a pure textual scan (Let <name> be, Set <name> to, ## To <name>) with zero execution, safe to call after every keystroke for completion feeds.

pub fn load_source(&mut self, src: &str) -> ReplOutcome

Replace the session with the contents of a saved program (the inverse of source). Returns the program’s full output as the outcome.

pub fn reset(&mut self)

Clear the whole session: definitions, statements, and the output ledger.

Trait Implementations

impl Debug for ReplSession

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

Formats the value using the given formatter.

impl Default for ReplSession

fn default() -> ReplSession

Returns the “default value” for a type.