Struct LeanModuleDiscoveryOptions 

pub struct LeanModuleDiscoveryOptions { /* private fields */ }

Options for Lake module discovery.

Implementations

impl LeanModuleDiscoveryOptions

pub fn new(requested_root: impl Into<PathBuf>) -> Self

Discover modules for the Lake project at or below requested_root.

pub fn selected_roots( self, roots: impl IntoIterator<Item = impl Into<String>>, ) -> Self

Restrict discovery to these Lake module roots.

pub fn toolchain(self, toolchain: ToolchainFingerprint) -> Self

Override the toolchain fingerprint used for validation and fingerprints.

This is primarily useful for tests and external planners that compare a separately obtained toolchain identity.

Trait Implementations

impl Clone for LeanModuleDiscoveryOptions

fn clone(&self) -> LeanModuleDiscoveryOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanModuleDiscoveryOptions

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

Formats the value using the given formatter.

impl PartialEq for LeanModuleDiscoveryOptions

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

impl StructuralPartialEq for LeanModuleDiscoveryOptions