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::LeanWorkerDeclarationFlags
- types::LeanWorkerDeclarationInspection
- types::LeanWorkerDeclarationInspectionFields
- types::LeanWorkerDeclarationInspectionRequest
- types::LeanWorkerDeclarationOutlineResult
- types::LeanWorkerDeclarationProofSearchFacts
- types::LeanWorkerDeclarationRow
- types::LeanWorkerDeclarationSearch
- types::LeanWorkerDeclarationSearchBias
- types::LeanWorkerDeclarationSearchFacts
- types::LeanWorkerDeclarationSearchPruning
- types::LeanWorkerDeclarationSearchResult
- types::LeanWorkerDeclarationSearchRow
- types::LeanWorkerDeclarationSearchTimings
- types::LeanWorkerDeclarationTargetInfo
- types::LeanWorkerDeclarationType
- types::LeanWorkerDeclarationVerificationBatchItem
- types::LeanWorkerDeclarationVerificationBatchRequest
- types::LeanWorkerDeclarationVerificationBatchRow
- types::LeanWorkerDeclarationVerificationFacts
- types::LeanWorkerDeclarationVerificationRequest
- types::LeanWorkerDerivedWorkFacts
- types::LeanWorkerDiagnostic
- types::LeanWorkerDoctorDiagnostic
- types::LeanWorkerDoctorReport
- types::LeanWorkerElabFailure
- types::LeanWorkerElabOptions
- types::LeanWorkerElabResult
- types::LeanWorkerImportStats
- types::LeanWorkerKernelResult
- types::LeanWorkerKernelSummary
- types::LeanWorkerLocalInfo
- types::LeanWorkerModuleQueryBatchEnvelope
- types::LeanWorkerModuleQueryCacheFacts
- types::LeanWorkerModuleQueryTimings
- types::LeanWorkerModuleSnapshotCacheClearResult
- types::LeanWorkerModuleSourceSpan
- types::LeanWorkerNameRef
- types::LeanWorkerOutputBudgets
- types::LeanWorkerProofAttemptEnvelope
- types::LeanWorkerProofAttemptRequest
- types::LeanWorkerProofAttemptRow
- types::LeanWorkerProofBoundaryCandidate
- types::LeanWorkerProofCandidate
- types::LeanWorkerProofPositionSummary
- types::LeanWorkerProofStateInfo
- types::LeanWorkerReferencesResult
- types::LeanWorkerRendered
- types::LeanWorkerRenderedInfo
- types::LeanWorkerResourceExhaustedFacts
- types::LeanWorkerSourceRange
Enums
- protocol::HostSessionMode
- protocol::Message
- protocol::ProtocolError
- protocol::Request
- protocol::Response
- types::LeanWorkerDeclarationInspectionResult
- types::LeanWorkerDeclarationNameMatch
- types::LeanWorkerDeclarationSearchScope
- types::LeanWorkerDeclarationTargetResult
- types::LeanWorkerDeclarationVerificationBatchResult
- types::LeanWorkerDeclarationVerificationResult
- types::LeanWorkerDeclarationVerificationStatus
- types::LeanWorkerDeclarationVerificationTarget
- 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::LeanWorkerProofAttemptResult
- types::LeanWorkerProofAttemptStatus
- types::LeanWorkerProofEditTarget
- types::LeanWorkerProofPositionSelector
- types::LeanWorkerProofStateResult
- types::LeanWorkerRendering
- types::LeanWorkerSessionImportProfile
- types::LeanWorkerSorryPolicy
- types::LeanWorkerSourceCoordinateSpace
- types::LeanWorkerSurroundingDeclarationResult
- types::LeanWorkerTypeAtResult