Struct LeanWorkerConfig 

pub struct LeanWorkerConfig { /* private fields */ }

Configuration for starting a lean-rs-worker child process.

The executable should be the lean-rs-worker-child binary. The supervisor sets LEAN_ABORT_ON_PANIC=1 by default so Lean internal panics become fatal child exits instead of attempting in-process recovery; explicit environment entries supplied here override that default.

Implementations

impl LeanWorkerConfig

pub fn new(executable: impl Into<PathBuf>) -> Self

Create a worker configuration for a child executable.

pub fn executable(&self) -> &Path

Return the child executable path.

pub fn current_dir(self, path: impl Into<PathBuf>) -> Self

Set the child working directory.

pub fn env(self, key: impl Into<OsString>, value: impl Into<OsString>) -> Self

Add or override one child environment variable.

pub fn startup_timeout(self, timeout: Duration) -> Self

Set the maximum time to wait for the child handshake.

pub fn request_timeout(self, timeout: Duration) -> Self

Set the maximum time to wait for one request’s terminal response.

The request timeout starts after the request frame is written. It covers live rows, diagnostics, progress events, and the terminal response. On timeout, the supervisor kills and replaces the child process.

pub fn long_running_requests(self) -> Self

Use the documented long-running request timeout profile.

pub fn restart_policy(self, policy: LeanWorkerRestartPolicy) -> Self

Set the worker restart policy.

Policy checks run before requests enter the child. A policy restart is a process restart; it is the only supported reset for Lean process-global runtime and import state.

Trait Implementations

impl Clone for LeanWorkerConfig

fn clone(&self) -> LeanWorkerConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LeanWorkerConfig

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

Formats the value using the given formatter.