Struct CapabilityManifest 

pub struct CapabilityManifest {
    pub primary_dylib: PathBuf,
    pub package: String,
    pub module: String,
    pub dependencies: Vec<LeanLibraryDependency>,
    pub lean_version: Option<String>,
    pub resolved_lean_version: Option<String>,
    pub lean_header_sha256: Option<String>,
}

Parsed Lean capability manifest.

The shape downstream build.rs emits through lean-toolchain::CargoLeanCapability. The parser performs only schema-shape validation; semantic checks live in check_static and the runtime preflight in lean-rs.

Fields

primary_dylib: PathBuf

Path to the primary capability dylib.

package: String

Lake package name used by the root module initializer.

module: String

Root Lean module name initialized by Rust.

dependencies: Vec<LeanLibraryDependency>

Dependency dylibs that must be opened before the primary.

lean_version: Option<String>

Lean version recorded by the build script, if any.

resolved_lean_version: Option<String>

Resolved Lean toolchain version, if any.

lean_header_sha256: Option<String>

SHA-256 of the Lean header used to build the capability, if any.

Implementations

impl CapabilityManifest

pub fn read(path: &Path) -> Result<Self, LeanLoaderCheck>

Parse a Lean capability manifest from disk.

Errors

Returns a LeanLoaderCheck describing the first parsing failure.

Trait Implementations

impl Clone for CapabilityManifest

fn clone(&self) -> CapabilityManifest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapabilityManifest

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

Formats the value using the given formatter.

impl PartialEq for CapabilityManifest

fn eq(&self, other: &CapabilityManifest) -> 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 Eq for CapabilityManifest

impl StructuralPartialEq for CapabilityManifest