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".

Implementors§