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 helper_literal_dispatch;
17mod helper_meta;
18mod node_eval;
19mod range_modes;
20mod resource_identity;
21mod static_file_template;
22mod symbolic;
23mod symbolic_local_state;
24mod value_path_context;
25
26pub use analysis_db::define_bodies_in_source;
27pub use contract::{ContractDocument, ContractIr, ContractUse, FinalizedContract};
28pub use helm_schema_core::{
29    CapabilityGuard, ConditionalGuard, ConditionalPathOverlay, ContractPathSchemaEvidence,
30    ContractProvenance, ContractSchemaSignals, ContractValuePathFacts, Guard, GuardValue,
31    HelperBranch, HelperBranchBody, MetadataFieldKind, ProviderSchemaUse, ResourceRef, SourceSpan,
32    ValueKind, ValuesDefaultSource, YamlPath,
33};
34pub use symbolic::SymbolicIrContext;
35
36#[cfg(test)]
37#[path = "tests/mod.rs"]
38mod tests;
helm_schema_ir/lib.rs

helm_schema_ir/
lib.rs
