List of all items

Structs

• backend::compiler::CompileOptions
• backend::module_loader::ModuleLoader
• backend::module_loader::ModuleLoaderStats
• backend::module_loader::ParsedModule
• backend::module_resolver::ModuleResolver
• backend::transpiler::FunctionSignature
• backend::transpiler::Transpiler
• frontend::arena::Arena
• frontend::arena::BumpAllocator
• frontend::arena::StringInterner
• frontend::ast::ActorHandler
• frontend::ast::Attribute
• frontend::ast::DataFrameColumn
• frontend::ast::EnumVariant
• frontend::ast::ErrorTypeDef
• frontend::ast::Expr
• frontend::ast::ImplMethod
• frontend::ast::MatchArm
• frontend::ast::Param
• frontend::ast::PipelineStage
• frontend::ast::Span
• frontend::ast::StructField
• frontend::ast::StructPatternField
• frontend::ast::TraitMethod
• frontend::ast::Type
• frontend::diagnostics::Diagnostic
• frontend::diagnostics::Suggestion
• frontend::error_recovery::ParseError
• frontend::error_recovery::ParseResult
• frontend::error_recovery::RecoveryParser
• frontend::lexer::TokenStream
• frontend::lexer::TokenStreamPosition
• frontend::parser::Parser
• lints::RuchyLinter
• middleend::environment::TypeEnv
• middleend::infer::InferenceContext
• middleend::mir::BasicBlock
• middleend::mir::BlockId
• middleend::mir::CommonSubexpressionElimination
• middleend::mir::ConstantPropagation
• middleend::mir::DeadCodeElimination
• middleend::mir::FieldIdx
• middleend::mir::Function
• middleend::mir::Local
• middleend::mir::LocalDecl
• middleend::mir::LoweringContext
• middleend::mir::MirBuilder
• middleend::mir::Program
• middleend::types::TyVar
• middleend::types::TyVarGenerator
• middleend::types::TypeScheme
• middleend::unify::Unifier
• parser::error_recovery::ErrorNode
• parser::error_recovery::ErrorRecovery
• parser::error_recovery::RecoveryRules
• parser::error_recovery::SourceLocation
• proving::counterexample::Counterexample
• proving::counterexample::CounterexampleGenerator
• proving::counterexample::SymbolicExecutor
• proving::counterexample::TestCase
• proving::counterexample::TraceStep
• proving::prover::InteractiveProver
• proving::prover::ProofContext
• proving::prover::ProofGoal
• proving::prover::ProverSession
• proving::refinement::LiquidTypeInference
• proving::refinement::Predicate
• proving::refinement::RefinementChecker
• proving::refinement::RefinementType
• proving::refinement::TypeRefinement
• proving::smt::ProofAutomation
• proving::smt::SmtQuery
• proving::smt::SmtSolver
• proving::tactics::TacticLibrary
• proving::tactics::TacticSuggestion
• proving::verification::ProofVerificationResult
• quality::CiQualityEnforcer
• quality::QualityGates
• quality::QualityMetrics
• quality::QualityThresholds
• quality::coverage::CoverageCollector
• quality::coverage::CoverageReport
• quality::coverage::FileCoverage
• quality::coverage::HtmlReportGenerator
• quality::formatter::Formatter
• quality::gates::AntiGamingRules
• quality::gates::CiIntegration
• quality::gates::ComponentThresholds
• quality::gates::GateResult
• quality::gates::NotificationConfig
• quality::gates::QualityGateConfig
• quality::gates::QualityGateEnforcer
• quality::gates::Violation
• quality::instrumentation::CoverageInstrumentation
• quality::linter::LintIssue
• quality::linter::Linter
• quality::ruchy_coverage::RuchyCoverage
• quality::ruchy_coverage::RuchyCoverageCollector
• quality::scoring::CacheEntry
• quality::scoring::CacheKey
• quality::scoring::CacheStats
• quality::scoring::DependencyTracker
• quality::scoring::QualityScore
• quality::scoring::ScoreComponents
• quality::scoring::ScoreConfig
• quality::scoring::ScoreEngine
• quality::scoring::ScoreExplanation
• runtime::actor::ActorContext
• runtime::actor::ActorId
• runtime::actor::ActorRef
• runtime::actor::ActorSystem
• runtime::actor::EchoActor
• runtime::actor::SupervisorActor
• runtime::assessment::Assignment
• runtime::assessment::AssignmentConstraints
• runtime::assessment::AssignmentSetup
• runtime::assessment::AstFingerprint
• runtime::assessment::BonusCriterion
• runtime::assessment::Criterion
• runtime::assessment::GradeReport
• runtime::assessment::GradingEngine
• runtime::assessment::GradingRubric
• runtime::assessment::LatePenalty
• runtime::assessment::PerformanceConstraints
• runtime::assessment::PlagiarismDetector
• runtime::assessment::PredicateCheck
• runtime::assessment::ResourceLimits
• runtime::assessment::RubricCategory
• runtime::assessment::SecureSandbox
• runtime::assessment::Task
• runtime::assessment::TaskGrade
• runtime::assessment::TestCase
• runtime::assessment::TestResult
• runtime::cache::BytecodeCache
• runtime::cache::CacheKey
• runtime::cache::CacheStats
• runtime::cache::CachedResult
• runtime::cache::ExpressionCache
• runtime::completion::CompletionCandidate
• runtime::completion::CompletionEngine
• runtime::completion::RuchyCompleter
• runtime::dataflow_debugger::Breakpoint
• runtime::dataflow_debugger::ColumnDef
• runtime::dataflow_debugger::DataRow
• runtime::dataflow_debugger::DataSchema
• runtime::dataflow_debugger::DataflowConfig
• runtime::dataflow_debugger::DataflowDebugger
• runtime::dataflow_debugger::DebugExport
• runtime::dataflow_debugger::ExecutionEvent
• runtime::dataflow_debugger::MaterializedFrame
• runtime::dataflow_debugger::PipelineStage
• runtime::dataflow_debugger::SessionState
• runtime::dataflow_debugger::StageDiff
• runtime::dataflow_debugger::StageMetrics
• runtime::dataflow_ui::DataflowUI
• runtime::dataflow_ui::UIConfig
• runtime::deterministic::DeterministicRng
• runtime::deterministic::MockTime
• runtime::grammar_coverage::GrammarCoverageMatrix
• runtime::grammar_coverage::ProductionStats
• runtime::inspect::CompositeForm
• runtime::inspect::InspectStyle
• runtime::inspect::Inspector
• runtime::inspect::OpaqueHandle
• runtime::interpreter::CacheEntry
• runtime::interpreter::CallFrame
• runtime::interpreter::CallSiteFeedback
• runtime::interpreter::ConservativeGC
• runtime::interpreter::DirectThreadedInterpreter
• runtime::interpreter::GCInfo
• runtime::interpreter::GCObject
• runtime::interpreter::GCStats
• runtime::interpreter::InlineCache
• runtime::interpreter::Interpreter
• runtime::interpreter::InterpreterState
• runtime::interpreter::OperationFeedback
• runtime::interpreter::SpecializationCandidate
• runtime::interpreter::ThreadedInstruction
• runtime::interpreter::TypeFeedback
• runtime::interpreter::TypeFeedbackStats
• runtime::interpreter::VariableTypeFeedback
• runtime::lazy::LazyCache
• runtime::lazy::LazyIterator
• runtime::magic::MagicRegistry
• runtime::magic::ProfileData
• runtime::magic::UnicodeExpander
• runtime::observatory::ActorObservatory
• runtime::observatory::ActorSnapshot
• runtime::observatory::BlockedRequest
• runtime::observatory::DeadlockCycle
• runtime::observatory::DeadlockDetector
• runtime::observatory::MessageFilter
• runtime::observatory::MessageStats
• runtime::observatory::MessageTrace
• runtime::observatory::ObservatoryConfig
• runtime::observatory::SystemMetrics
• runtime::observatory_ui::Colors
• runtime::observatory_ui::DashboardConfig
• runtime::observatory_ui::ObservatoryDashboard
• runtime::repl::Checkpoint
• runtime::repl::DataFrameColumn
• runtime::repl::DebugInfo
• runtime::repl::ErrorRecovery
• runtime::repl::Repl
• runtime::repl::ReplConfig
• runtime::replay::Environment
• runtime::replay::EventId
• runtime::replay::ReplSession
• runtime::replay::ReplayResult
• runtime::replay::ReplayValidator
• runtime::replay::ResourceLimits
• runtime::replay::ResourceTolerance
• runtime::replay::ResourceUsage
• runtime::replay::SemVer
• runtime::replay::SessionMetadata
• runtime::replay::SessionRecorder
• runtime::replay::StateCheckpoint
• runtime::replay::TimestampedEvent
• runtime::replay::ValidationReport
• runtime::replay::ValidationResult
• runtime::replay_converter::ConversionConfig
• runtime::replay_converter::GeneratedTest
• runtime::replay_converter::ReplayConverter
• runtime::safe_arena::ArenaRef
• runtime::safe_arena::SafeArena
• runtime::safe_arena::TransactionalArena
• runtime::transaction::MVCC
• runtime::transaction::SavePoint
• runtime::transaction::TransactionId
• runtime::transaction::TransactionLog
• runtime::transaction::TransactionMetadata
• runtime::transaction::TransactionalState
• runtime::transaction::Version
• runtime::transaction::VersionedValue
• transpiler::canonical_ast::AstNormalizer
• transpiler::canonical_ast::DeBruijnIndex
• transpiler::provenance::CompilationMetadata
• transpiler::provenance::CompilationTrace
• transpiler::provenance::DivergencePoint
• transpiler::provenance::ProvenanceTracker
• transpiler::provenance::Rule
• transpiler::provenance::SourceSpan
• transpiler::provenance::TraceDiffer
• transpiler::provenance::Transformation
• transpiler::reference_interpreter::Environment
• transpiler::reference_interpreter::ReferenceInterpreter
• wasm::component::ComponentBuilder
• wasm::component::ComponentConfig
• wasm::component::ComponentMetadata
• wasm::component::ComponentSummary
• wasm::component::ExportDefinition
• wasm::component::FeatureFlags
• wasm::component::ImportDefinition
• wasm::component::LinkingConfig
• wasm::component::MemoryConfig
• wasm::component::OptimizationConfig
• wasm::component::TypeSignature
• wasm::component::WasmComponent
• wasm::deployment::Credentials
• wasm::deployment::Deployer
• wasm::deployment::DeploymentArtifact
• wasm::deployment::DeploymentConfig
• wasm::deployment::DeploymentManifest
• wasm::deployment::DeploymentOptimization
• wasm::deployment::DeploymentResult
• wasm::deployment::RuntimeConfig
• wasm::notebook::CellMetadata
• wasm::notebook::DataFrameOutput
• wasm::notebook::FeatureParity
• wasm::notebook::Notebook
• wasm::notebook::NotebookCell
• wasm::notebook::NotebookMetadata
• wasm::notebook::NotebookRuntime
• wasm::portability::AnalysisConfig
• wasm::portability::CompatibilityIssue
• wasm::portability::ComponentInfo
• wasm::portability::FeatureUsage
• wasm::portability::PlatformSupport
• wasm::portability::PortabilityAnalyzer
• wasm::portability::PortabilityReport
• wasm::portability::PortabilityScore
• wasm::portability::Recommendation
• wasm::portability::SizeAnalysis
• wasm::repl::JsValue
• wasm::repl::ReplOutput
• wasm::repl::TimingInfo
• wasm::repl::WasmHeap
• wasm::repl::WasmRepl
• wasm::wit::Field
• wasm::wit::FunctionDefinition
• wasm::wit::InterfaceDefinition
• wasm::wit::InterfaceFunction
• wasm::wit::InterfaceType
• wasm::wit::PackageInfo
• wasm::wit::Parameter
• wasm::wit::ResourceDefinition
• wasm::wit::ResourceMethod
• wasm::wit::TypeDefinition
• wasm::wit::VariantCase
• wasm::wit::WitConfig
• wasm::wit::WitGenerator
• wasm::wit::WitInterface
• wasm::wit::WorldDefinition
• wasm::wit::WorldExport
• wasm::wit::WorldImport

Enums

• frontend::ast::AggregateOp
• frontend::ast::BinaryOp
• frontend::ast::DataFrameOp
• frontend::ast::ExprKind
• frontend::ast::ImportItem
• frontend::ast::JoinType
• frontend::ast::Literal
• frontend::ast::ObjectField
• frontend::ast::Pattern
• frontend::ast::StringPart
• frontend::ast::TypeKind
• frontend::ast::UnaryOp
• frontend::error_recovery::ErrorCode
• frontend::error_recovery::ErrorSeverity
• frontend::lexer::Token
• lints::LintViolation
• lints::Severity
• middleend::infer::TypeConstraint
• middleend::mir::AggregateKind
• middleend::mir::BinOp
• middleend::mir::CastKind
• middleend::mir::Constant
• middleend::mir::Mutability
• middleend::mir::Operand
• middleend::mir::Place
• middleend::mir::Rvalue
• middleend::mir::Statement
• middleend::mir::Terminator
• middleend::mir::Type
• middleend::mir::UnOp
• middleend::types::MonoType
• parser::error_recovery::ErrorContext
• parser::error_recovery::ExprWithError
• parser::error_recovery::RecoveryStrategy
• proving::counterexample::Value
• proving::prover::ProofResult
• proving::prover::StepResult
• proving::refinement::BaseType
• proving::refinement::VerificationResult
• proving::smt::SmtBackend
• proving::smt::SmtResult
• quality::QualityReport
• quality::ReportingBackend
• quality::Violation
• quality::coverage::CoverageTool
• quality::gates::Severity
• quality::gates::ViolationType
• quality::linter::LintRule
• quality::scoring::AnalysisDepth
• quality::scoring::Grade
• runtime::actor::Message
• runtime::actor::MessageValue
• runtime::actor::SupervisorDirective
• runtime::assessment::AutomaticCheck
• runtime::assessment::BonusCheck
• runtime::assessment::CriterionEvaluation
• runtime::assessment::ExpectedBehavior
• runtime::assessment::Requirement
• runtime::completion::CompletionContext
• runtime::completion::CompletionKind
• runtime::dataflow_debugger::BreakpointAction
• runtime::dataflow_debugger::BreakpointCondition
• runtime::dataflow_debugger::ColumnChange
• runtime::dataflow_debugger::ComparisonOp
• runtime::dataflow_debugger::DataChange
• runtime::dataflow_debugger::DataType
• runtime::dataflow_debugger::DataValue
• runtime::dataflow_debugger::EventType
• runtime::dataflow_debugger::ExportFormat
• runtime::dataflow_debugger::StageExecutionResult
• runtime::dataflow_debugger::StageStatus
• runtime::dataflow_debugger::StageType
• runtime::dataflow_ui::DisplayMode
• runtime::dataflow_ui::UIAction
• runtime::inspect::DisplayForm
• runtime::interpreter::BinaryOp
• runtime::interpreter::CacheState
• runtime::interpreter::InstructionResult
• runtime::interpreter::InterpreterError
• runtime::interpreter::InterpreterResult
• runtime::interpreter::SpecializationKind
• runtime::interpreter::Value
• runtime::lazy::LazyValue
• runtime::magic::MagicResult
• runtime::observatory::ActorState
• runtime::observatory::MessageStatus
• runtime::observatory_ui::DisplayMode
• runtime::repl::RecoveryOption
• runtime::repl::RecoveryResult
• runtime::repl::ReplMode
• runtime::repl::ReplState
• runtime::repl::Value
• runtime::replay::Divergence
• runtime::replay::EvalResult
• runtime::replay::Event
• runtime::replay::InputMode
• runtime::replay_converter::TestCategory
• runtime::transaction::TransactionEvent
• transpiler::canonical_ast::CoreExpr
• transpiler::canonical_ast::CoreLiteral
• transpiler::canonical_ast::PrimOp
• transpiler::reference_interpreter::Value
• wasm::component::ExportType
• wasm::component::ImportType
• wasm::component::OptimizationLevel
• wasm::component::TargetArchitecture
• wasm::component::WasmType
• wasm::deployment::ArtifactType
• wasm::deployment::DeploymentStatus
• wasm::deployment::DeploymentTarget
• wasm::deployment::Environment
• wasm::notebook::CellOutput
• wasm::notebook::CellType
• wasm::portability::IssueCategory
• wasm::portability::IssueSeverity
• wasm::portability::RecommendationPriority
• wasm::portability::SupportLevel
• wasm::wit::MethodKind
• wasm::wit::TypeKind
• wasm::wit::WitType

Traits

• lints::LintRule
• parser::error_recovery::ErrorRecoverable
• proving::tactics::Tactic
• runtime::actor::ActorBehavior
• runtime::inspect::Inspect
• runtime::magic::MagicCommand
• runtime::replay::DeterministicRepl

Functions

• backend::compiler::check_rustc_available
• backend::compiler::compile_source_to_binary
• backend::compiler::compile_to_binary
• backend::compiler::get_rustc_version
• compile
• frontend::diagnostics::suggest_for_error
• get_parse_error
• is_valid_syntax
• middleend::mir::optimize_function
• middleend::mir::optimize_program
• proving::verification::extract_assertions_from_ast
• proving::verification::verify_assertions_batch
• proving::verification::verify_single_assertion
• quality::enforcement::enforce_quality_gates
• quality::instrumentation::instrument_source
• quality::scoring::score_correctness
• quality::scoring::score_idiomaticity
• quality::scoring::score_maintainability
• quality::scoring::score_performance
• quality::scoring::score_safety
• run_repl

Type Aliases

• middleend::types::Substitution

Constants

• runtime::grammar_coverage::GRAMMAR_PRODUCTIONS