Enum Response 

#[non_exhaustive]
pub enum Response {
    HealthOk,
    CapabilityLoaded,
    U64 {
        value: u64,
    },
    HostSessionOpened {
        import_stats: LeanWorkerImportStats,
    },
    Elaboration {
        outcome: LeanWorkerElabResult,
    },
    KernelCheck {
        outcome: LeanWorkerKernelResult,
    },
    Strings {
        values: Vec<String>,
    },
    StreamComplete {
        summary: StreamSummary,
    },
    StreamExportFailed {
        status_byte: u8,
    },
    StreamCallbackFailed {
        status_byte: u8,
        description: String,
    },
    StreamRowMalformed {
        message: String,
    },
    CapabilityMetadata {
        metadata: LeanWorkerCapabilityMetadata,
    },
    CapabilityDoctor {
        report: LeanWorkerDoctorReport,
    },
    CapabilityMetadataMalformed {
        message: String,
    },
    CapabilityDoctorMalformed {
        message: String,
    },
    JsonCommand {
        response_json: String,
    },
    MetaExpr {
        result: LeanWorkerMetaResult<LeanWorkerRendered>,
    },
    MetaBool {
        result: LeanWorkerMetaResult<bool>,
    },
    Declaration {
        row: Option<LeanWorkerDeclarationRow>,
    },
    DeclarationSearch {
        result: LeanWorkerDeclarationSearchResult,
    },
    DeclarationType {
        row: Option<LeanWorkerDeclarationType>,
    },
    DeclarationInspection {
        result: LeanWorkerDeclarationInspectionResult,
    },
    ProofAttempt {
        result: LeanWorkerProofAttemptResult,
    },
    DeclarationVerification {
        result: LeanWorkerDeclarationVerificationResult,
    },
    DeclarationVerificationBatch {
        result: LeanWorkerDeclarationVerificationBatchResult,
    },
    DeclarationBulk {
        rows: Vec<LeanWorkerDeclarationRow>,
    },
    ProcessModuleQuery {
        outcome: LeanWorkerModuleQueryOutcome,
    },
    ProcessModuleQueryBatch {
        outcome: LeanWorkerModuleQueryBatchOutcome,
    },
    ModuleSnapshotCacheCleared {
        result: LeanWorkerModuleSnapshotCacheClearResult,
    },
    RowsComplete {
        count: u64,
    },
    Terminating,
    Error {
        code: String,
        message: String,
    },
}

Child-issued terminal response body for one Request.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

HealthOk

CapabilityLoaded

U64

Fields

value: u64

HostSessionOpened

Fields

import_stats: LeanWorkerImportStats

Elaboration

Fields

outcome: LeanWorkerElabResult

KernelCheck

Fields

outcome: LeanWorkerKernelResult

Strings

Fields

values: Vec<String>

StreamComplete

Fields

summary: StreamSummary

StreamExportFailed

Fields

status_byte: u8

StreamCallbackFailed

Fields

status_byte: u8

description: String

StreamRowMalformed

Fields

message: String

CapabilityMetadata

Fields

metadata: LeanWorkerCapabilityMetadata

CapabilityDoctor

Fields

report: LeanWorkerDoctorReport

CapabilityMetadataMalformed

Fields

message: String

CapabilityDoctorMalformed

Fields

message: String

JsonCommand

Fields

response_json: String

MetaExpr

Fields

result: LeanWorkerMetaResult<LeanWorkerRendered>

MetaBool

Fields

result: LeanWorkerMetaResult<bool>

Declaration

Fields

row: Option<LeanWorkerDeclarationRow>

DeclarationSearch

Fields

result: LeanWorkerDeclarationSearchResult

DeclarationType

Fields

row: Option<LeanWorkerDeclarationType>

DeclarationInspection

Fields

result: LeanWorkerDeclarationInspectionResult

ProofAttempt

Fields

result: LeanWorkerProofAttemptResult

DeclarationVerification

Fields

result: LeanWorkerDeclarationVerificationResult

DeclarationVerificationBatch

Fields

result: LeanWorkerDeclarationVerificationBatchResult

DeclarationBulk

Fields

rows: Vec<LeanWorkerDeclarationRow>

ProcessModuleQuery

Fields

outcome: LeanWorkerModuleQueryOutcome

ProcessModuleQueryBatch

Fields

outcome: LeanWorkerModuleQueryBatchOutcome

ModuleSnapshotCacheCleared

Fields

result: LeanWorkerModuleSnapshotCacheClearResult

RowsComplete

Fields

count: u64

Terminating

Error

Fields

code: String

message: String

Trait Implementations

impl Clone for Response

fn clone(&self) -> Response

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Response

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Response

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Response

impl PartialEq for Response

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Response