Enum MetaCallStatus 

#[non_exhaustive]
pub enum MetaCallStatus {
    Ok,
    Failed,
    TimeoutOrHeartbeat,
    Unsupported,
}

Classification tag for a meta-service call.

Returned by LeanMetaResponse::status without inspecting the payload. #[non_exhaustive] so future capability refinements can extend the taxonomy without breaking exhaustive matches downstream.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Ok

The MetaM action returned a typed payload.

Failed

The MetaM action raised a non-resource-exhaustion exception (type error, unbound metavariable, …).

TimeoutOrHeartbeat

The heartbeat ceiling tripped before the action finished. Equivalent to Lean.Exception.isMaxHeartbeat matching on the caught exception.

Unsupported

The capability does not expose this service — either the Lean shim returned unsupported for the request shape, or the loaded capability does not export the service’s C symbol.

Trait Implementations

impl Clone for MetaCallStatus

fn clone(&self) -> MetaCallStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetaCallStatus

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

Formats the value using the given formatter.

impl PartialEq for MetaCallStatus

fn eq(&self, other: &MetaCallStatus) -> 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 Copy for MetaCallStatus

impl Eq for MetaCallStatus

impl StructuralPartialEq for MetaCallStatus