Struct ToolchainInfo 

#[non_exhaustive]
pub struct ToolchainInfo {
    pub prefix: PathBuf,
    pub lean_binary: Option<PathBuf>,
    pub header_path: PathBuf,
    pub lib_dir: PathBuf,
    pub version: String,
    pub fingerprint: ToolchainFingerprint,
    pub source: DiscoverySource,
}

Outcome of a successful discovery.

#[non_exhaustive] so additional fields can be added without breaking downstream pattern-matchers.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

prefix: PathBuf

The discovered Lean prefix directory (<prefix>/include/lean/lean.h exists).

lean_binary: Option<PathBuf>

<prefix>/bin/lean if present on disk.

header_path: PathBuf

<prefix>/include/lean/lean.h.

lib_dir: PathBuf

<prefix>/lib.

version: String

Version string parsed at discovery time (from a lean-toolchain file, version.h, or lean --version). Falls back to LEAN_VERSION from lean-rs-sys when no live source is available.

fingerprint: ToolchainFingerprint

Build-baked fingerprint (does not vary with discovery results).

source: DiscoverySource

Which probe won.

Trait Implementations

impl Clone for ToolchainInfo

fn clone(&self) -> ToolchainInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ToolchainInfo

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

Formats the value using the given formatter.