Struct LeanLibraryDependency 

pub struct LeanLibraryDependency { /* private fields */ }

Dependency dylib that must stay alive while a capability is loaded.

Implementations

impl LeanLibraryDependency

pub fn path(path: impl Into<PathBuf>) -> LeanLibraryDependency

Add a dependency dylib to the bundle.

pub fn export_symbols_for_dependents(self) -> LeanLibraryDependency

Make this dependency’s Lean symbols available to later dylibs in the same bundle.

This is a capability-level requirement, not a platform-loader flag in the public contract. On ELF platforms it maps to global symbol visibility; other platforms use the equivalent behavior provided by the native loader.

pub fn initializer( self, package: impl Into<String>, module: impl Into<String>, ) -> LeanLibraryDependency

Initialize a module from this dependency after it is opened.

pub fn path_ref(&self) -> &Path

On-disk path to the dependency dylib.

pub fn exports_symbols_for_dependents(&self) -> bool

Whether symbols from this dependency are exported to later bundle members.

pub fn module_initializer(&self) -> Option<&LeanModuleInitializer>

Optional module initializer for this dependency.

pub fn into_module_initializer(self) -> Option<LeanModuleInitializer>

Consume the dependency and return its module initializer, if any.

Used by the runtime opener (lean-rs) to take owned ownership of the initializer when opening the bundle, without re-cloning the strings.

Trait Implementations

impl Clone for LeanLibraryDependency

fn clone(&self) -> LeanLibraryDependency

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanLibraryDependency

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for LeanLibraryDependency

impl PartialEq for LeanLibraryDependency

fn eq(&self, other: &LeanLibraryDependency) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LeanLibraryDependency