Struct LeanRef 

pub struct LeanRef<T = LeanAny> { /* private fields */ }

An owned reference to a Lean object.

Unlike LeanBound, this is not tied to a Lean<'l> lifetime, so it can be stored in structs and sent across threads (if the underlying type is Send).

To use a LeanRef, convert it to a LeanBound using bind().

Implementations

impl<T> LeanRef<T>

pub fn bind<'l>(&self, _lean: Lean<'l>) -> LeanBound<'l, T>

Bind this reference to a Lean<'l> lifetime.

This converts LeanRef<T> to LeanBound<'l, T> for use with Lean APIs.

pub unsafe fn from_owned_ptr(ptr: *mut lean_object) -> Self

Create a LeanRef from an owned pointer.

Safety

• ptr must be a valid Lean object pointer
• The reference count must already be incremented for this instance

pub fn as_ptr(&self) -> *mut lean_object

Get the raw pointer to the Lean object.

pub fn into_unbound(self) -> LeanUnbound<T>

Convert this LeanRef to a thread-safe LeanUnbound.

This marks the object for multi-threaded use via lean_mark_mt(), enabling atomic reference counting.

Example

let lean_ref: LeanRef<LeanString> = bound.unbind();
let unbound: LeanUnbound<LeanString> = lean_ref.into_unbound();
// unbound can now be safely sent across threads

Trait Implementations

impl<T> Clone for LeanRef<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Drop for LeanRef<T>

fn drop(&mut self)

Executes the destructor for this type.

impl<T> From<LeanRef<T>> for LeanUnbound<T>

fn from(lean_ref: LeanRef<T>) -> Self

Converts to this type from the input type.

impl<T: Send> Send for LeanRef<T>

impl<T: Sync> Sync for LeanRef<T>