Struct BuiltLeanCapability 

pub struct BuiltLeanCapability { /* private fields */ }

Metadata produced by CargoLeanCapability.

Implementations

impl BuiltLeanCapability

pub fn dylib_path(&self) -> &Path

Built shared-library path.

pub fn env_var(&self) -> &str

Cargo environment variable that stores the built dylib path.

pub fn manifest_path(&self) -> &Path

JSON artifact manifest path emitted by the build helper.

pub fn manifest_env_var(&self) -> &str

Cargo environment variable that stores the artifact manifest path.

pub fn package(&self) -> &str

Lake package name.

pub fn module(&self) -> &str

Root Lean module initialized by Rust.

pub fn target_name(&self) -> &str

Lake target name.

pub fn project_root(&self) -> &Path

Canonical Lake project root.

Trait Implementations

impl Clone for BuiltLeanCapability

fn clone(&self) -> BuiltLeanCapability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltLeanCapability

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

Formats the value using the given formatter.

impl Eq for BuiltLeanCapability

impl From<&BuiltLeanCapability> for LeanBuiltCapability

fn from(value: &BuiltLeanCapability) -> Self

Converts to this type from the input type.

impl PartialEq for BuiltLeanCapability

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BuiltLeanCapability