Struct LeanWorkerPlannedBatch 

pub struct LeanWorkerPlannedBatch {
    pub session_key: LeanWorkerSessionKey,
    pub project_root: PathBuf,
    pub package: String,
    pub lib_name: String,
    pub source_root: String,
    pub imports: Vec<String>,
    pub modules: Vec<LeanWorkerModuleWork>,
    pub fingerprint: LeanWorkerBatchFingerprint,
    /* private fields */
}

One stable pool-execution batch.

Fields

session_key: LeanWorkerSessionKey

project_root: PathBuf

package: String

lib_name: String

source_root: String

imports: Vec<String>

modules: Vec<LeanWorkerModuleWork>

fingerprint: LeanWorkerBatchFingerprint

Implementations

impl LeanWorkerPlannedBatch

pub fn capability_builder(&self) -> LeanWorkerCapabilityBuilder

Create a capability builder for this batch.

The caller may still add packaging-specific details such as an explicit worker executable. The batch supplies the stable session material.

Trait Implementations

impl Clone for LeanWorkerPlannedBatch

fn clone(&self) -> LeanWorkerPlannedBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerPlannedBatch

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerPlannedBatch

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

impl StructuralPartialEq for LeanWorkerPlannedBatch