Struct LeanWorkerCapabilityMetadata 

pub struct LeanWorkerCapabilityMetadata {
    pub commands: Vec<LeanWorkerCommandMetadata>,
    pub capabilities: Vec<LeanWorkerCapabilityFact>,
    pub lean_version: Option<String>,
    pub extra: Option<Value>,
}

Generic metadata reported by one downstream capability package.

Command names, capability names, versions, and extra JSON are downstream semantics. lean-rs-worker transports and validates the envelope; it does not decide which values affect caches.

Fields

commands: Vec<LeanWorkerCommandMetadata>

capabilities: Vec<LeanWorkerCapabilityFact>

lean_version: Option<String>

extra: Option<Value>

Trait Implementations

impl Clone for LeanWorkerCapabilityMetadata

fn clone(&self) -> LeanWorkerCapabilityMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerCapabilityMetadata

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerCapabilityMetadata

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

impl StructuralPartialEq for LeanWorkerCapabilityMetadata