helm_schema_ir/
lib.rs

1//! Symbolic Helm interpretation and normalized contract IR.
2
3mod abstract_value;
4mod analysis_db;
5mod bound_value_analysis;
6mod contract;
7mod contract_normalization;
8mod contract_signal_builder;
9mod eval_effect;
10mod eval_env;
11mod expr_call_eval;
12mod expr_eval;
13mod fragment_assignment;
14pub mod fragment_eval;
15mod fragment_expr_eval;
16mod function_semantics;
17mod helper_literal_dispatch;
18mod helper_meta;
19mod node_eval;
20mod observed_facts;
21mod range_modes;
22mod resource_identity;
23mod scalar_value;
24mod static_file_template;
25mod symbolic;
26mod symbolic_local_state;
27mod value_path_context;
28
29pub use analysis_db::define_bodies_in_source;
30pub use contract::{ContractDocument, ContractIr, ContractUse, FinalizedContract};
31#[doc(hidden)]
32pub use helm_schema_core::escape_regex_literal;
33pub use helm_schema_core::{
34    CapabilityGuard, ConditionalGuard, ConditionalPathOverlay, ContractPathSchemaEvidence,
35    ContractProvenance, ContractSchemaSignals, ContractValuePathFacts, Guard, GuardValue,
36    HelperBranch, HelperBranchBody, MetadataFieldKind, ProviderSchemaUse, ResourceRef, SourceSpan,
37    ValueKind, ValuesDefaultSource, YamlPath,
38};
39pub use symbolic::{SymbolicIrContext, SymbolicPolicy};
40
41#[cfg(test)]
42#[path = "tests/mod.rs"]
43mod tests;
helm_schema_ir/lib.rs

helm_schema_ir/
lib.rs
