Struct FfiBridge 

pub struct FfiBridge { /* private fields */ }

The FFI bridge generator.

Produces Rust extern blocks, C headers, and wrapper functions for interoperating between OxiLean and C code.

Implementations

impl FfiBridge

pub fn new() -> Self

Create a new FFI bridge with default type mappings.

pub fn with_type_map(type_map: FfiTypeMap) -> Self

Create an FFI bridge with a custom type map.

pub fn generate_bindings(&self, decls: &[FfiDecl]) -> FfiOutput

Generate all FFI bindings for the given declarations.

pub fn generate_extern_block(&self, decls: &[FfiDecl]) -> String

Generate a Rust extern "C" block for the given declarations.

pub fn generate_c_wrapper(&self, decl: &FfiDecl) -> String

Generate a C wrapper function that calls an OxiLean function via the Lean runtime.

pub fn type_map(&self) -> &FfiTypeMap

Get the type map.

pub fn type_map_mut(&mut self) -> &mut FfiTypeMap

Get a mutable reference to the type map.

Trait Implementations

impl Default for FfiBridge

fn default() -> Self

Returns the “default value” for a type.