Skip to main content

ContractRequirementTarget

Enum ContractRequirementTarget 

Source
pub enum ContractRequirementTarget {
    Value,
    Members {
        allow_integer: bool,
    },
    MembersExceptKeys {
        keys: BTreeSet<String>,
        allow_integer: bool,
    },
    MembersMatchingPrefix {
        prefix: String,
    },
    MembersWhereEquals {
        guard_path: Vec<String>,
        value: GuardValue,
        target_path: Vec<String>,
    },
    MembersAt {
        target_path: Vec<String>,
        allow_integer: bool,
    },
    MembersAtWhereTruthy {
        guard_path: Vec<String>,
        target_path: Vec<String>,
        allow_integer: bool,
    },
    Keys,
}
Expand description

Runtime value within a values-path contract that must satisfy a requirement.

Variants§

§

Value

The values path itself.

§

Members

Every value produced by ranging the path.

allow_integer describes the range header’s own integer lane. It is false for a two-variable range, even when the member requirement would otherwise accept integer values.

Fields

§allow_integer: bool

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

§

MembersExceptKeys

Every ranged member except named object entries supplied by a deeper values layer. Array members and newly added object entries still bind.

Fields

§keys: BTreeSet<String>

Object keys whose member requirement is satisfied after values layering even when the parent layer omits the required leaf.

§allow_integer: bool

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

§

MembersMatchingPrefix

Values of object entries whose keys start with the literal prefix. Empty arrays and null remain valid because they execute no range body.

Fields

§prefix: String

Literal key prefix selecting affected object entries.

§

MembersWhereEquals

Each ranged member whose literal sibling equals value must satisfy the requirements at target_path, both relative to that member.

Fields

§guard_path: Vec<String>

Relative member path used as the selector.

§value: GuardValue

Literal required at the selector path.

§target_path: Vec<String>

Relative member path constrained by the requirement.

§

MembersAt

Every ranged member must CONTAIN target_path and its value there must satisfy the requirements — an unconditional per-member field read by a strict consumer (tpl $member.url fails on a missing or non-string field). allow_integer mirrors Self::Members.

Fields

§target_path: Vec<String>

Relative member path that must exist.

§allow_integer: bool

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

§

MembersAtWhereTruthy

Self::MembersAt restricted to the ranged members whose own field at guard_path is Helm-truthy: the chart gates the read per member, which only the member’s own slot can express (the minio chart reads .existingSecretKey inside if .existingSecret). The gate selects WHICH members the requirements bind, so it never implies that the target itself is present — that stays the absence claim’s own fact.

Fields

§guard_path: Vec<String>

Relative member path whose truthiness selects the members.

§target_path: Vec<String>

Relative member path the requirements constrain; empty when they constrain the selected member itself.

§allow_integer: bool

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

§

Keys

Every key produced by ranging the path.

Trait Implementations§

Source§

impl Clone for ContractRequirementTarget

Source§

fn clone(&self) -> ContractRequirementTarget

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 ContractRequirementTarget

Source§

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

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

impl Eq for ContractRequirementTarget

Source§

impl Hash for ContractRequirementTarget

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 ContractRequirementTarget

Source§

fn cmp(&self, other: &ContractRequirementTarget) -> 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 ContractRequirementTarget

Source§

fn eq(&self, other: &ContractRequirementTarget) -> 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 ContractRequirementTarget

Source§

fn partial_cmp(&self, other: &ContractRequirementTarget) -> 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 ContractRequirementTarget

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 = !

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.