Skip to main content

helm_schema_core/
lib.rs

1//! Shared semantic contracts used by Helm analysis and schema providers.
2
3mod capability;
4mod capability_liveness;
5mod contract_signals;
6mod contract_use;
7mod guard;
8/// Normalization helpers for conjunction and disjunction guard sets.
9pub mod guard_algebra;
10mod guard_dnf;
11mod output_path;
12mod pattern_dialect;
13mod predicate;
14mod provenance;
15mod provider_origin;
16mod provider_schema_fragment;
17mod provider_schema_use;
18mod schema_provider;
19mod types;
20mod value_path;
21
22pub use capability::{ApiPresenceQuery, CapabilityGuard, HelperBranch, HelperBranchBody};
23pub use capability_liveness::{CapabilityOracle, live_literals};
24pub use contract_signals::{
25    ConditionalGuard, ConditionalOverlayEvidence, ConditionalPathOverlay, ContractFailImplication,
26    ContractPathSchemaEvidence, ContractRequirednessEvidence, ContractRequirementTarget,
27    ContractSchemaSignals, ContractValuePathFacts, FailValueRequirement, MetadataFieldKind,
28    QuotedScalarStyle, ValuesDefaultSource, ValuesProgramWrapper,
29};
30pub use contract_use::{ContractUse, MergeLayersUse, SplitSegmentUse};
31pub use guard::{Guard, GuardValue};
32pub use guard_dnf::GuardDnf;
33pub use output_path::{
34    DYNAMIC_MAPPING_VALUE_SEGMENT, append_relative_path, dynamic_mapping_value_path,
35    sequence_item_path, values_path_has_descendant, values_path_is_descendant,
36};
37pub use pattern_dialect::normalize_schema_pattern_dialects;
38pub use predicate::Predicate;
39pub use provenance::{ContractProvenance, SourceSpan};
40pub use provider_origin::ProviderOrigin;
41pub use provider_schema_fragment::{
42    ProviderSchemaFragment, ProviderSchemaSource, ProviderSourceFragment,
43};
44pub use provider_schema_use::ProviderSchemaUse;
45pub use schema_provider::ResourceSchemaOracle;
46pub use types::{KindBranch, ResourceRef, ValueKind, YamlPath};
47pub use value_path::{append_value_path, join_value_path, split_value_path};