Skip to main content

SpliceMeta

Struct SpliceMeta 

Source
pub struct SpliceMeta {
Show 17 fields pub defaulted: bool, pub encoded: bool, pub shape_erased: bool, pub nil_omitted: bool, pub yaml_serialized: bool, pub string_contract: bool, pub json_serialized: bool, pub json_decoded: bool, pub lexical_escapes: BTreeSet<LexicalEscape>, pub split_segment: Option<SplitSegmentUse>, pub merge_layers: Option<MergeLayersUse>, pub range_key: bool, pub omitted_members: BTreeMap<String, Vec<Guard>>, pub digest: bool, pub merge_operand: bool, pub provenance: Vec<ContractProvenance>, pub site: Option<Rc<SiteFacts>>,
}
Expand description

Splice metadata: defaultedness, encoding, and source provenance.

Deliberately no predicates here — helper-internal branch conditions lower into Guarded arms so the guard structure stays in the tree.

Fields§

§defaulted: bool

The render site substitutes a fallback when the path is empty/nil (default, chart-level set … default mutations).

§encoded: bool

The rendered text is an encoded transform of the value (b64enc), so the sink schema does not constrain the value’s shape.

§shape_erased: bool

The rendered text is a total stringification of the value (quote, toString, join): any input type renders, so the sink neither constrains nor reveals the input shape.

§nil_omitted: bool

The stringification is Sprig quote/squote, which SKIP nil operands: a missing or null source renders an explicit YAML null into the sink, so provider-required slots still reject absence.

§yaml_serialized: bool

The rendered fragment is the result of toYaml: every input kind can be serialized, but its placement can still require sequence shape.

§string_contract: bool

A string-consuming transform (trunc, b64enc, a dynamic printf format) shaped the rendered text: rendering fails for non-string values, so this splice’s row binds a string contract under its own conditions.

§json_serialized: bool

The splice renders JSON text whose decoded value preserves this input identity.

§json_decoded: bool

The splice’s runtime identity was recovered through JSON decoding.

§lexical_escapes: BTreeSet<LexicalEscape>

Lexical divergences between the raw string and the rendered value (replace/split-prefix chains, trim affixes); lexical captures project their language through them.

§split_segment: Option<SplitSegmentUse>

The rendered text is one separator-delimited segment of the source string (regexSplit ":" . -1 | last): sinks constrain that segment, and raw-identity consumers (quoted-token claims, parser preimages) must not read the splice as the raw value.

§merge_layers: Option<MergeLayersUse>

Set when the splice renders one layer of an ordered merge.

§range_key: bool

The splice renders the collection’s RANGE KEY, not its value: sinks constrain the key domain (a string-only slot excludes the integer keys of a non-empty list lane), and raw-identity consumers must not read it as the collection’s value.

§omitted_members: BTreeMap<String, Vec<Guard>>

Literal member keys a guard-scoped omit may remove from the rendered map, with the sound RETAIN guards under which each key certainly survives.

§digest: bool

The slot renders fresh text DERIVED from the value (include … | sha256sum): the sink observes neither the value nor its serialization, so the row abstains from slot typing and from path-wide serialization claims while keeping branch tolerance.

§merge_operand: bool

The spliced value flowed through a Sprig merge call as a DIRECT operand: the operand’s strict map contract rides its own fail implication, so the row never rejects a Helm-falsy input at the base.

§provenance: Vec<ContractProvenance>

Helper-body source sites this splice was derived through.

§site: Option<Rc<SiteFacts>>

The render site the splice materializes at.

Trait Implementations§

Source§

impl Clone for SpliceMeta

Source§

fn clone(&self) -> SpliceMeta

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for SpliceMeta

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for SpliceMeta

Source§

fn default() -> SpliceMeta

Returns the “default value” for a type. Read more
Source§

impl Eq for SpliceMeta

Source§

impl PartialEq for SpliceMeta

Source§

fn eq(&self, other: &SpliceMeta) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for SpliceMeta

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more