Enum MetaCallStatus 

pub enum MetaCallStatus {
    Ok,
    Failed,
    TimeoutOrHeartbeat,
    Unsupported,
}

Classification tag for a meta-service call.

Returned by LeanMetaResponse::status without inspecting the payload.

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 Copy for MetaCallStatus

impl Debug for MetaCallStatus

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

Formats the value using the given formatter.

impl Eq for MetaCallStatus

impl PartialEq for MetaCallStatus

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MetaCallStatus