List of all items
Structs
- accept::AcceptOutcome
- accept::AcceptReport
- accept::AcceptRequest
- accept::NegativeControl
- config::FileConfig
- config::ProjectConfig
- config::ReportConfig
- config::TraceConfig
- config::TraceFileConfig
- context::ContextBundle
- context::ContextOptions
- context::ContextRequest
- context::Declaration
- context::SourceLine
- context::SourceWindow
- eval::EvalOptions
- eval::EvalSummary
- eval::RunnerResponse
- mine::AllowedEdit
- mine::MineOptions
- mine::MineSummary
- mine::MineTask
- mine::TargetSpan
- patch::AppliedPatch
- patch::SpanReplacement
- process::LeanInvocation
- process::LeanRunOutput
- replay::Attempt
- replay::ReplayOptions
- replay::ReplayResult
- replay::ReplaySummary
- report::Report
- trace::TraceSummary
- types::DeclarationName
- types::Diagnostic
- types::FileTrace
- types::GoalState
- types::LeanFile
- types::Provenance
- workspace::CopyOptions
- workspace::Workspace
- writer::JsonlWriter
- writer::TraceWriter
Enums
- accept::GuardStatus
- accept::RejectReason
- error::Error
- mine::MineKind
- replay::ReplayStatus
- types::DiagnosticSeverity
- types::FileStatus
- types::TraceRecord
Functions
- accept::check_negative_control
- accept::evaluate
- context::build_context
- context::collect_imports
- context::detect_declaration
- context::gather_context
- context::parse_file_line_spec
- diagnostics::parse_lean_diagnostics
- discover::discover_lean_files
- eval::run_eval
- mine::mine_errors
- mine::mine_placeholders
- mine::run_mine
- patch::apply_edits
- patch::apply_single_span
- process::capture_provenance
- process::run_lean_file
- replay::run_replay
- report::build_report
- trace::run_trace
- writer::write_jsonl