Enum DiscoverySource 

pub enum DiscoverySource {
    ExplicitSysroot,
    LeanSysrootEnv,
    ElanHome,
    Path,
    LakeFixtureEnv,
}

Which probe produced the resolved toolchain.

Variants

ExplicitSysroot

Caller supplied DiscoverOptions::explicit_sysroot.

LeanSysrootEnv

Caller had LEAN_SYSROOT exported in the environment.

ElanHome

Resolved via $ELAN_HOME + elan show active-toolchain.

Path

Resolved via lean --print-prefix on PATH.

LakeFixtureEnv

Resolved via lake env printenv LEAN_SYSROOT under a workspace fixture.

Trait Implementations

impl Clone for DiscoverySource

fn clone(&self) -> DiscoverySource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiscoverySource

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

Formats the value using the given formatter.

impl PartialEq for DiscoverySource

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

impl Eq for DiscoverySource

impl StructuralPartialEq for DiscoverySource