List of all items

Structs

• protocol::DataRow
• protocol::DataRowEmitter
• protocol::Diagnostic
• protocol::FatalExit
• protocol::Frame
• protocol::ProgressTick
• protocol::StreamSummary
• types::LeanWorkerCapabilityFact
• types::LeanWorkerCapabilityMetadata
• types::LeanWorkerCommandMetadata
• types::LeanWorkerDeclarationFilter
• types::LeanWorkerDeclarationRow
• types::LeanWorkerDeclarationSearch
• types::LeanWorkerDeclarationSearchResult
• types::LeanWorkerDeclarationSummary
• types::LeanWorkerDeclarationTargetInfo
• types::LeanWorkerDeclarationType
• types::LeanWorkerDiagnostic
• types::LeanWorkerDoctorDiagnostic
• types::LeanWorkerDoctorReport
• types::LeanWorkerElabFailure
• types::LeanWorkerElabOptions
• types::LeanWorkerElabResult
• types::LeanWorkerKernelResult
• types::LeanWorkerKernelSummary
• types::LeanWorkerLocalInfo
• types::LeanWorkerModuleQueryBatchEnvelope
• types::LeanWorkerModuleQueryCacheFacts
• types::LeanWorkerModuleQueryTimings
• types::LeanWorkerModuleSnapshotCacheClearResult
• types::LeanWorkerModuleSourceSpan
• types::LeanWorkerNameRef
• types::LeanWorkerOutputBudgets
• types::LeanWorkerProofStateInfo
• types::LeanWorkerReferencesResult
• types::LeanWorkerRendered
• types::LeanWorkerRenderedInfo
• types::LeanWorkerSourceRange

Enums

• protocol::HostSessionMode
• protocol::Message
• protocol::ProtocolError
• protocol::Request
• protocol::Response
• types::LeanWorkerDeclarationTargetResult
• types::LeanWorkerDoctorSeverity
• types::LeanWorkerGoalAtResult
• types::LeanWorkerKernelStatus
• types::LeanWorkerMetaResult
• types::LeanWorkerMetaTransparency
• types::LeanWorkerModuleCacheStatus
• types::LeanWorkerModuleQuery
• types::LeanWorkerModuleQueryBatchItem
• types::LeanWorkerModuleQueryBatchOutcome
• types::LeanWorkerModuleQueryBatchResult
• types::LeanWorkerModuleQueryOutcome
• types::LeanWorkerModuleQueryResult
• types::LeanWorkerModuleQuerySelector
• types::LeanWorkerProofStateResult
• types::LeanWorkerRendering
• types::LeanWorkerSurroundingDeclarationResult
• types::LeanWorkerTypeAtResult

Functions

• protocol::read_frame
• protocol::write_frame

Constants

• VERSION
• protocol::MAX_FRAME_BYTES
• protocol::MAX_FRAME_BYTES_HARD_CAP
• protocol::MIN_FRAME_BYTES
• protocol::PROTOCOL_VERSION