Struct LeanMetaService 

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

Sealed descriptor for one registered MetaM service.

Req is the Rust-side type the call site supplies; Resp is the type the typed payload decodes into on the Ok branch. The phantom fn(Req) -> Resp keeps the marker invariant in both parameters (matching how Lake’s emitted signature treats them).

Implementations

impl<Req, Resp> LeanMetaService<Req, Resp>

pub fn name(&self) -> &'static str

The Lean-side C-symbol name the dispatcher resolves.

pub fn required_imports(&self) -> &'static [&'static str]

The .olean module names that must appear in the session’s import list before this service can run. Callers can either thread the list into crate::LeanCapabilities::session or import the parent LeanRsFixture roll-up module, which transitively imports every fixture submodule.

Trait Implementations

impl<Req: Clone, Resp: Clone> Clone for LeanMetaService<Req, Resp>

fn clone(&self) -> LeanMetaService<Req, Resp>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<Req: Copy, Resp: Copy> Copy for LeanMetaService<Req, Resp>