Expand description
Active Core — Parser, IR, Evaluator, Types, Diagnostics
This is the alpha production foundation of the Active language.
Re-exports§
pub use diag::Diagnostic;pub use diag::Repair;pub use diag::RepairKind;pub use diag::Severity;pub use eval::Budget;pub use eval::BudgetKind;pub use eval::Engine;pub use eval::EnvLookup;pub use eval::EvalError;pub use eval::IncrementalMemo;pub use ir::Annotation;pub use ir::AnnotationKind;pub use ir::Attachment;pub use ir::BinOp;pub use ir::DependsOn;pub use ir::IncludeStmt;pub use ir::InterpPart;pub use ir::Module;pub use ir::Node;pub use ir::NodeId;pub use ir::PatchOp;pub use ir::SchemaField;pub use ir::SemanticTag;pub use ir::Style;pub use ir::TriviaComment;pub use ir::UnOp;pub use ir::Value;pub use lint::lint;pub use lint::lint_with;pub use lint::LintOptions;pub use parser::parse;pub use parser::parse_file;pub use parser::parse_file_with_trust;pub use parser::parse_recovering;pub use parser::parse_text_recovering_with_file;pub use parser::parse_text_with_file;pub use parser::parse_with;pub use parser::IncludeLoader;pub use parser::Lexed;pub use parser::ParseOptions;pub use types::Constraint;pub use types::Unit;
Modules§
- ast
- Concrete Syntax Tree (placeholder for future expansion) The dual-syntax round-trip (C-022) is implemented without a CST: the IR carries source spans for every node plus comment trivia with normative attachments, which is enough to re-emit either canonical style. The parser builds the IR directly. The alpha parser currently builds the IR directly.
- convert
- Conversion between Active Value and JSON / simple map representations
- diag
- Structured diagnostics and repair records
- eval
- Evaluator — topological evaluation of the IR
- fmt
- Dual-style formatter (C-022).
- graph
- Dependency-graph queries (C-049, spec/graph.md).
- heal
- Self-healing engine (C-016).
- ir
- Intermediate Representation and Dependency Graph
- lint
- Linter rules (C-042, spec/linter.md).
- parser
- Full recursive-descent parser for the Active alpha.
- provenance
- Hermetic provenance, content hashing, and lockfiles (C-050/C-051, spec/reproducibility.md). Pure collection over the parsed module, an environment snapshot, and the filesystem (hashes only): evaluation itself performs no I/O.
- sign
- Signed overlays (C-052, spec/threat-model.md §4).
- types
- Type system primitives and first-class units
- validate
- Schema validation after evaluation (C-031, spec/validation.md).
Constants§
- VERSION
- Library version