1pub mod actor;
7pub mod cache;
8pub mod completion;
9pub mod dataflow_debugger;
10pub mod dataflow_ui;
11pub mod grammar_coverage;
12pub mod interpreter;
13pub mod lazy;
14pub mod observatory;
15pub mod observatory_ui;
16pub mod repl;
17pub mod repl_recording;
18pub mod replay;
19pub mod replay_converter;
20pub mod deterministic;
21pub mod assessment;
22pub mod magic;
23pub mod safe_arena;
25pub mod transaction;
26pub mod inspect;
27#[cfg(test)]
29mod repl_function_tests;
30
31pub use repl::{
33 Repl, ReplConfig, ReplState, ReplMode, Checkpoint, Value,
34 ErrorRecovery, RecoveryOption, RecoveryResult, DebugInfo
36};
37
38pub use interpreter::{
40 Interpreter, InterpreterError, InterpreterResult, Value as InterpreterValue,
41};
42
43pub use actor::{
45 ActorBehavior, ActorContext, ActorId, ActorRef, ActorSystem, EchoActor, Message, MessageValue,
46 SupervisorActor, SupervisorDirective,
47};
48
49pub use observatory::{
51 ActorObservatory, ActorSnapshot, ActorState, DeadlockCycle, MessageFilter, MessageTrace,
52 MessageStatus, ObservatoryConfig, SystemMetrics,
53};
54
55pub use assessment::{
57 Assignment, AssignmentSetup, Task, TestCase, ExpectedBehavior,
58 GradingEngine, GradeReport, TaskGrade, GradingRubric,
59 PlagiarismDetector, SecureSandbox,
60};
61
62pub use magic::{
64 MagicRegistry, MagicResult, MagicCommand, UnicodeExpander, ProfileData,
65};
66
67pub use inspect::{
69 Inspect, Inspector, InspectStyle, DisplayForm, CompositeForm, OpaqueHandle,
70};
71
72pub use safe_arena::{
74 SafeArena as Arena, TransactionalArena,
75};
76pub use transaction::{
77 TransactionalState, TransactionId, TransactionMetadata, SavePoint,
78 TransactionEvent, TransactionLog, MVCC, Version, VersionedValue,
79};
80pub use observatory_ui::{DashboardConfig, DisplayMode, ObservatoryDashboard};
85
86pub use dataflow_debugger::{
88 DataflowDebugger, DataflowConfig, PipelineStage, StageType, StageStatus,
89 Breakpoint, BreakpointCondition, BreakpointAction, MaterializedFrame,
90 StageMetrics, ExecutionEvent, StageDiff, ExportFormat,
91};
92
93pub use dataflow_ui::{DataflowUI, UIConfig};
94
95pub use replay_converter::{
97 ReplayConverter, ConversionConfig, GeneratedTest, TestCategory,
98};