Skip to main content

LeanCallbackPayload

lean_rs::callback

Trait LeanCallbackPayload 

Source 
pub trait LeanCallbackPayload:
    Sealed
    + Send
    + Sync
    + 'static { }
Expand description

Payload type accepted by a LeanCallbackHandle.

This trait is sealed. Downstream crates can use the payload types provided by lean-rs, but cannot implement new callback ABI shapes. That keeps Lean object lifetimes, payload decoding, wrong-payload checks, and trampoline safety inside this crate.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§