Struct LeanWorkerImportPlanner 

pub struct LeanWorkerImportPlanner { /* private fields */ }

Planner for worker-pool import/session batches.

Implementations

impl LeanWorkerImportPlanner

pub fn new(config: LeanWorkerImportPlanConfig) -> Self

Create a planner from capability/session requirements.

pub fn plan_lake_project( &self, ) -> Result<Vec<LeanWorkerPlannedBatch>, LeanWorkerImportPlanError>

Discover a Lake project and return stable worker batches.

Errors

Returns typed planning diagnostics for missing Lake roots, selected module roots, invalid module names, unsupported toolchains, or an unresolved capability target.

pub fn plan_discovered( &self, discovered: &LeanLakeProjectModules, ) -> Result<Vec<LeanWorkerPlannedBatch>, LeanWorkerImportPlanError>

Plan batches from already discovered module descriptors.

Errors

Returns a typed error if a supplied module descriptor has an invalid module name.

pub fn plan_work_items( &self, modules: impl IntoIterator<Item = LeanWorkerModuleWork>, source_set: &LeanModuleSetFingerprint, ) -> Result<Vec<LeanWorkerPlannedBatch>, LeanWorkerImportPlanError>

Plan batches from caller-provided module work items.

Errors

Returns a typed error if a supplied work item has an invalid module name.

Trait Implementations

impl Clone for LeanWorkerImportPlanner

fn clone(&self) -> LeanWorkerImportPlanner

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerImportPlanner

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerImportPlanner

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

impl StructuralPartialEq for LeanWorkerImportPlanner