Struct LeanAlloc 

pub struct LeanAlloc;

A global allocator that uses Lean’s allocator. This is useful when writing FFI libraries for Lean, where people may want to disable rust’s std.

#![no_std]
#[global_allocator]
static ALLOC : lean_sys::alloc::LeanAlloc = lean_sys::alloc::LeanAlloc;

Trait Implementations

impl GlobalAlloc for LeanAlloc

unsafe fn alloc(&self, layout: Layout) -> *mut u8

Allocates memory as described by the given layout.

unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout)

Deallocates the block of memory at the given ptr pointer with the given layout.

unsafe fn alloc_zeroed(&self, layout: Layout) -> *mut u8

Behaves like alloc, but also ensures that the contents are set to zero before being returned.

unsafe fn realloc( &self, ptr: *mut u8, layout: Layout, new_size: usize, ) -> *mut u8

Shrinks or grows a block of memory to the given new_size in bytes. The block is described by the given ptr pointer and layout.