Skip to main content

FailValueRequirement

Enum FailValueRequirement 

Source
pub enum FailValueRequirement {
Show 24 variants SchemaType(String), SchemaTypeEvenNull(String), TruthyImpliesSchemaType(String), HelmTruthy, HelmFalsy, FieldHelmFalsy { path: Vec<String>, }, FieldEquals { path: Vec<String>, value: GuardValue, }, FieldPresentNotNull { path: Vec<String>, }, FieldHelmTruthy { path: Vec<String>, }, AnyOf(Vec<Vec<FailValueRequirement>>), NotEquals(GuardValue), FieldNotEquals { path: Vec<String>, value: GuardValue, }, ComparableKind(String), NotSchemaType(String), HasMember(String), HasMemberEvenDefaulted(String), MatchesPattern { pattern: String, templated: bool, }, NotMatchesPattern { pattern: String, }, StringLengthBounds { min: Option<u64>, max: Option<u64>, }, MemberHost { handled_kinds: Vec<String>, }, Iterable { allow_integer: bool, }, IndexableAt(usize), SplitSegmentsAtLeast { separator: String, segments: usize, allow_non_string: bool, }, QuotedSerializationSafe { style: QuotedScalarStyle, },
}
Expand description

One requirement a fail branch imposes on an affected value.

Variants§

§

SchemaType(String)

The value must be of this JSON Schema type.

§

SchemaTypeEvenNull(String)

The value must be of this JSON Schema type EVEN WHEN NULL: the consumer type-asserts before any nil check (Sprig dig subjects), so an explicit null aborts while structural absence stays open through the arm’s properties anchoring.

§

TruthyImpliesSchemaType(String)

The value must be of this JSON Schema type only when Helm-truthy: every falsy spelling escapes through the consumer’s own truthiness selection (a ranged ACL member’s default "" password reaching sha256sum behind if $password).

§

HelmTruthy

The value must be Helm-truthy (sealed-secrets aborts on any falsy privateKeyAnnotations member, including the empty string).

§

HelmFalsy

The value must be Helm-FALSY — the negation of a member’s own truthiness test inside a compound ranged terminal: the fail fires only for truthy members, so falsiness is one escape alternative (traefik’s if $config gate around the http3-without-tls abort).

§

FieldHelmFalsy

The value’s field at path, when present, must be Helm-FALSY: the failing test fired on the field’s truthiness (oauth2-proxy aborts when a legacy extraPaths[].backend.serviceName is set under the networking.k8s.io/v1 Ingress api).

Fields

§path: Vec<String>

Relative field path constrained to Helm-falsy values.

§

FieldEquals

The value must be an object whose field at path is present and equals the literal: the failing test’s negation held an equality on the field (traefik’s eq $plugin.type "hostPath" dispatch arm; Go’s eq aborts on a nil operand, so presence rides along).

Fields

§path: Vec<String>

Relative field path compared with the literal.

§value: GuardValue

Literal required at the field path.

§

FieldPresentNotNull

The value must be an object whose field at path is present and non-null: a ranged member’s leaf renders into a provider-REQUIRED resource field, where a missing or null source emits an explicit null the provider rejects (promtail’s extra Service port).

Fields

§path: Vec<String>

Relative field path that must contain a non-null value.

§

FieldHelmTruthy

The value must be an object whose field at path is present and Helm-truthy — the positive mirror of Self::FieldHelmFalsy, used as the ESCAPE alternative when a member-scoped branch guard selects another render for truthy fields (promtail’s service arm renders its own port instead of containerPort).

Fields

§path: Vec<String>

Relative field path constrained to Helm-truthy values.

§

AnyOf(Vec<Vec<FailValueRequirement>>)

At least one alternative (each a conjunction of requirements) must hold. A fail whose test conjoins several member conditions negates to the DISJUNCTION of their negations — traefik’s local plugins render with a truthy type OR a legacy truthy hostPath, and conjoining those requirements rejected both documented shapes.

§

NotEquals(GuardValue)

The value must not equal this literal (cilium forbids ranged extraEnv names colliding with its own backoff variables).

§

FieldNotEquals

The value’s field at path, when present, must differ from the literal — the negation of a member-field equality test. Absent and null fields differ from every literal (Helm’s eq compares nil without aborting), so no presence requirement rides along (traefik’s HTTPS-protocol listeners must carry certificateRefs; non-HTTPS listeners escape through this arm).

Fields

§path: Vec<String>

Relative field path compared with the literal.

§value: GuardValue

Literal excluded at the field path.

§

ComparableKind(String)

The value must be of this JSON Schema type IF present and non-null: Go’s eq/ne compare nil against anything, so a missing or null comparison operand renders while a present value of a different basic kind aborts.

§

NotSchemaType(String)

The value must NOT be of this JSON Schema type.

§

HasMember(String)

The value must be an object containing this member.

§

HasMemberEvenDefaulted(String)

The value must be an object containing this member EVEN when the chart’s own defaults supply it: the consumer aborts on an absent subject (a nil dig dict), and under coalesced-document semantics the member is absent exactly when a user null-deletes it — the state the requirement must reject. Exempt from the default-supplied required relaxation that render-grade presence claims get.

§

MatchesPattern

The value must be a string matching this regular expression (regexMatch type-asserts a string subject, so string-ness rides along).

Fields

§pattern: String

Regular expression the string must match.

§templated: bool

Whether the pattern originated from a templated expression.

§

NotMatchesPattern

The value must be a string NOT matching this regular expression — the failing test fired on matches, and its regexMatch still type-asserts a string subject (traefik’s uppercase key gate).

Fields

§pattern: String

Regular expression the string must not match.

§

StringLengthBounds

The value must be a string whose length lies inside the window — a provider key slot’s minLength/maxLength projected onto a ranged collection’s keys (traefik’s Gateway listener names).

Fields

§min: Option<u64>

Inclusive minimum length, when one is known.

§max: Option<u64>

Inclusive maximum length, when one is known.

§

MemberHost

The value HOSTS literal member reads: it must be an object — or one of the kinds the chart’s own type dispatch provably handles before the reads run (nack converts the string image form with set).

Fields

§handled_kinds: Vec<String>

Non-object JSON kinds explicitly handled by chart dispatch.

§

Iterable

The value is iterated by range: collections and nil render, and integer counts iterate when the loop body has no member structure.

Fields

§allow_integer: bool

Whether Helm’s integer-count range form remains accepted.

§

IndexableAt(usize)

A zero-based position must exist before index can project it. Arrays lower exactly; strings remain conservative because Go indexes bytes while JSON Schema minLength counts Unicode code points.

§

SplitSegmentsAtLeast

Splitting the textual form must produce at least segments entries. When the input was first passed through a total text conversion, non-string inputs remain conservatively accepted.

Fields

§separator: String

Literal delimiter used by the split operation.

§segments: usize

Minimum number of produced segments.

§allow_non_string: bool

Whether a preceding total conversion admits non-string inputs.

§

QuotedSerializationSafe

The value renders inside a manually quoted YAML scalar: every string it contributes to the token — the value itself, or any nested string or mapping key when Go’s fmt serializes a collection (map[k:v] / [a b]) with its strings embedded raw — must be valid content for the quoting style. Non-string scalars format as plain digits/words and are always safe.

Fields

§style: QuotedScalarStyle

YAML quoting grammar that serialized content must satisfy.

Trait Implementations§

Source§

impl Clone for FailValueRequirement

Source§

fn clone(&self) -> FailValueRequirement

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 FailValueRequirement

Source§

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

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

impl Eq for FailValueRequirement

Source§

impl Hash for FailValueRequirement

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Ord for FailValueRequirement

Source§

fn cmp(&self, other: &FailValueRequirement) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 (const: unstable) · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 (const: unstable) · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 (const: unstable) · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl PartialEq for FailValueRequirement

Source§

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

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

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

Inequality operator !=. Read more
Source§

impl PartialOrd for FailValueRequirement

Source§

fn partial_cmp(&self, other: &FailValueRequirement) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 (const: unstable) · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 (const: unstable) · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 (const: unstable) · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 (const: unstable) · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl StructuralPartialEq for FailValueRequirement

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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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.