Enum LeanCallbackStatus 

#[repr(u8)]
pub enum LeanCallbackStatus {
    Ok = 0,
    StaleHandle = 1,
    Panic = 2,
    WrongPayload = 3,
    Stopped = 4,
}

Status returned by the Rust callback trampoline to Lean.

Lean shims should treat any value other than Ok as a request to stop the current callback loop and return the status to Rust.

Variants

Ok = 0

The callback ran successfully.

StaleHandle = 1

Lean called an id that is no longer registered.

Panic = 2

The registered Rust callback panicked and the trampoline contained it.

WrongPayload = 3

Lean called a handle through a trampoline for the wrong payload type.

Stopped = 4

The registered Rust callback asked Lean to stop cleanly.

Implementations

impl LeanCallbackStatus

pub const fn from_abi(value: u8) -> Option<Self>

Decode a status byte returned by a Lean callback shim.

pub const fn as_abi(self) -> u8

Encode this status for the Lean UInt8 ABI.

pub const fn description(self) -> &'static str

Stable diagnostic text for callback-shim status handling.

Trait Implementations

impl Clone for LeanCallbackStatus

fn clone(&self) -> LeanCallbackStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanCallbackStatus

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

Formats the value using the given formatter.

impl PartialEq for LeanCallbackStatus

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

impl Eq for LeanCallbackStatus

impl StructuralPartialEq for LeanCallbackStatus