Struct LeanWorkerJsonCommand 

pub struct LeanWorkerJsonCommand<Req, Resp> { /* private fields */ }

A non-streaming downstream JSON command.

The command names a Lean export with ABI String -> IO String. Req and Resp are downstream-owned serde types; lean-rs-worker owns request transport, worker lifecycle, timeout, cancellation, and response decoding.

Implementations

impl<Req, Resp> LeanWorkerJsonCommand<Req, Resp>

pub fn new(export: impl Into<String>) -> Self

Create a typed JSON command for one Lean export.

pub fn export(&self) -> &str

Return the Lean export name used by this command.

Trait Implementations

impl<Req, Resp> Clone for LeanWorkerJsonCommand<Req, Resp>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Req, Resp> Debug for LeanWorkerJsonCommand<Req, Resp>

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

Formats the value using the given formatter.

impl<Req, Resp> PartialEq for LeanWorkerJsonCommand<Req, Resp>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Req, Resp> Eq for LeanWorkerJsonCommand<Req, Resp>