Expand description
Formualizer Dependency Graph Engine
Provides incremental formula evaluation with dependency tracking.
Re-exports§
pub use arena::AstNodeId;pub use eval::CycleTelemetry;pub use eval::Engine;pub use eval::EngineAction;pub use eval::EngineBaselineStats;pub use eval::EvalResult;pub use eval::RecalcPlan;pub use eval::VirtualDepTelemetry;pub use eval_delta::DeltaMode;pub use eval_delta::EvalDelta;pub use formula_ingest::FormulaIngestBatch;pub use formula_ingest::FormulaIngestRecord;pub use formula_ingest::FormulaIngestReport;pub use journal::ActionJournal;pub use journal::ArrowOp;pub use journal::ArrowUndoBatch;pub use journal::GraphUndoBatch;pub use graph::snapshot::VertexSnapshot;pub use graph::ChangeEvent;pub use graph::DependencyGraph;pub use graph::DependencyRef;pub use graph::GraphBaselineStats;pub use graph::OperationSummary;pub use graph::StripeKey;pub use graph::StripeType;pub use graph::block_index;pub use row_visibility::RowVisibilitySource;pub use row_visibility::VisibilityMaskMode;pub use scheduler::Layer;pub use scheduler::Schedule;pub use scheduler::ScheduleUnit;pub use scheduler::Scheduler;pub use vertex::VertexId;pub use vertex::VertexKind;pub use graph::editor::DataUpdateSummary;pub use graph::editor::EditorError;pub use graph::editor::MetaUpdateSummary;pub use graph::editor::RangeSummary;pub use graph::editor::ShiftSummary;pub use graph::editor::TransactionId;pub use graph::editor::VertexDataPatch;pub use graph::editor::VertexEditor;pub use graph::editor::VertexMeta;pub use graph::editor::VertexMetaPatch;pub use graph::editor::change_log::ChangeLog;pub use graph::editor::change_log::ChangeLogger;pub use graph::editor::change_log::NullChangeLogger;
Modules§
- arena
- arrow_
ingest - csr_
edges - debug_
views - delta_
edges - effects
- Formal effects pipeline for evaluation (ticket 603).
- eval
- eval_
delta - formula_
ingest - graph
- ingest
- ingest_
builder - interval_
tree - journal
- Internal action journal types used for atomicity and undo/redo.
- live_
edges - Live-edge collection for statically-cyclic SCC evaluation (Stage 1 of the runtime-cycle-verdicts work; pre-work for RFC #112).
- live_
graph - Local SCC analysis over a recorded live-edge list (Stage 2 of the runtime-cycle-verdicts work, RFC #112).
- lookup_
index_ cache - named_
range - plan
- range_
view - row_
visibility - scheduler
- sheet_
index - sheet_
registry - spill
- Spill interfaces (shim) for reserve/write/commit/rollback lifecycle. Phase 2: Introduce types only; implementation can delegate to current graph methods.
- topo
- Dynamic topological ordering utilities
- tuning
- Warmup configuration and tuning parameters
- vertex
- vertex_
store - virtual_
deps
Structs§
- Cycle
Config - Cycle handling configuration (spec:
formualizer-cycle-semantics-spec.md§2). - Eval
Config - Configuration for the evaluation engine
- Formula
Parse Diagnostic - Captured diagnostic for a malformed formula encountered during ingest/graph-build.
- Spill
Config - Configuration for spill behavior. Nested under EvalConfig to avoid bloating the top-level.
- Tombstone
Registry - Workbook
Load Limits - Workbook ingest limits applied by loader backends before they materialize large sheets.
Enums§
- Cycle
Detection - How statically-cyclic SCCs are treated at evaluation time.
- Cycle
Policy - What happens to witnessed (live) cycles under
CycleDetection::Runtime. - Date
System - Deterministic
Mode - Deterministic evaluation configuration.
- Formula
Parse Policy - Policy for handling malformed formulas encountered during workbook ingest.
- Formula
Plane Mode - Sheet
Index Mode - Spill
Bounds Policy - Spill
Buffer Mode - Spill
Cancellation Policy - Spill
Conflict Policy - Spill
Tiebreaker - Spill
Visibility
Traits§
- Calc
Observer - 🔮 Scalability Hook: Performance monitoring trait for calculation observability
Functions§
- new_
engine - Construct a new engine with the given resolver and configuration