Expand description
REPL surface facade.
Structs§
- Repl
Frame - Repl output frame.
- Repl
Session - REPL session model.
- Repl
Shutdown Contract - Stable REPL shutdown contract.
- Repl
Startup Contract - Stable REPL startup contract.
Enums§
- Repl
Error - REPL runtime errors.
- Repl
Event - Result of processing a REPL input event.
- Repl
Input - Input event for interactive session loop.
- Repl
Stream - REPL emission stream.
Constants§
- REPL_
MEMORY_ BUDGET_ BYTES - REPL memory budget in bytes.
- REPL_
STARTUP_ LATENCY_ BUDGET_ MS - REPL startup latency budget in milliseconds.
Functions§
- benchmark_
startup_ latency - Benchmark average startup latency over N iterations.
- check_
repl_ budgets - Check REPL runtime budgets.
- completion_
candidates - Provide command completion candidates for built-ins and plugin hooks.
- configure_
history - Configure history persistence behavior.
- estimated_
session_ memory_ bytes - Approximate REPL session memory use in bytes.
- execute_
repl_ input - Execute one REPL input event with interrupt/EOF-safe behavior.
- execute_
repl_ line - Backward-compatible one-line execution adapter.
- flush_
history - Flush history to persistent storage if enabled.
- inspect_
last_ error - Return last error message captured by REPL session.
- load_
history - Load history into the current session if enabled.
- register_
completion_ registry - Register extension completion registry entries under an owner key.
- register_
plugin_ completion_ hook - Register plugin completion hook for a namespace.
- render_
repl_ command_ reference - Render stable REPL command reference text.
- repl_
argv_ from_ line - Build argv using the same tokenization path REPL execution uses.
- replay_
history_ command - Replay a command from history by index.
- session_
diagnostics_ dump - Dump structured REPL diagnostics.
- shutdown_
repl - Shutdown REPL session and emit stable contract.
- startup_
repl - Startup REPL session using the same policy precedence and routing registry as CLI.
- startup_
repl_ with_ diagnostics - Startup REPL with startup diagnostics for preflight issues.