hcl::expr

Struct ForExpr

Source
pub struct ForExpr {
    pub key_var: Option<Identifier>,
    pub value_var: Identifier,
    pub collection_expr: Expression,
    pub key_expr: Option<Expression>,
    pub value_expr: Expression,
    pub grouping: bool,
    pub cond_expr: Option<Expression>,
}
Expand description

A for expression is a construct for constructing a collection by projecting the items from another collection.

Fields§

§key_var: Option<Identifier>

Optional name of the variable that will be temporarily assigned the key of each element during iteration. If the source collection is an array, it gets assigned the zero-based array index. For an object source collection, this gets assigned the object’s key.

§value_var: Identifier

The name of the variable that will be temporarily assigned the value of each element during iteration.

§collection_expr: Expression

An expression that must evaluate to a value that can be iterated.

§key_expr: Option<Expression>

An expression that is evaluated once for each key in the source collection. If set, the result of the for expression will be an object. Otherwise, the result will be an array.

§value_expr: Expression

An expression that is evaluated once for each value in the source collection.

§grouping: bool

Indicates whether grouping mode is enabled. In grouping mode, each value in the resulting object is a list of all of the values that were produced against each distinct key. This is ignored if key_expr is None.

§cond_expr: Option<Expression>

An optional filter expression. Elements for which the condition evaluates to true will be evaluated as normal, while if false the element will be skipped.

Implementations§

Source§

impl ForExpr

Source

pub fn new<C, V>( value_var: Identifier, collection_expr: C, value_expr: V, ) -> ForExpr
where C: Into<Expression>, V: Into<Expression>,

Create a new ForExpr with the name of the variable that will be temporarily assigned the value of each element during iteration, an expression that must evaluate to a value that can be iterated, and one expression that is evaluated once for each value in the source collection.

Source

pub fn with_key_var(self, key_var: Identifier) -> ForExpr

Adds the iterator key variable identifier to the for expression and returns the modified ForExpr.

Source

pub fn with_key_expr<T>(self, key_expr: T) -> ForExpr
where T: Into<Expression>,

Adds an expression that is evaluated once for each key in the source collection. If set, the result of the for expression will be an object. Returns the modified ForExpr.

Source

pub fn with_cond_expr<T>(self, cond_expr: T) -> ForExpr
where T: Into<Expression>,

Sets the filter expression. Elements for which the condition evaluates to true will be evaluated as normal, while if false the element will be skipped.

Source

pub fn with_grouping(self, yes: bool) -> ForExpr

Enables or disabled grouping mode.

Trait Implementations§

Source§

impl Clone for ForExpr

Source§

fn clone(&self) -> ForExpr

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ForExpr

Source§

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

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

impl<'de> Deserialize<'de> for ForExpr

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Evaluate for ForExpr

Source§

type Output = Value

The type that is returned by evaluate on success.
Source§

fn evaluate(&self, ctx: &Context<'_>) -> EvalResult<Self::Output>

Recursively evaluates all HCL templates and expressions in the implementing type using the variables and functions declared in the Context. Read more
Source§

fn evaluate_in_place(&mut self, ctx: &Context<'_>) -> EvalResult<(), Errors>

Recursively tries to evaluate all nested expressions in place. Read more
Source§

impl Format for ForExpr

Source§

fn format<W>(&self, fmt: &mut Formatter<'_, W>) -> Result<()>
where W: Write,

Formats a HCL structure using a formatter and writes the result to the provided writer. Read more
Source§

fn format_vec<W>(&self, fmt: &mut Formatter<'_, W>) -> Result<Vec<u8>>
where W: Write + AsMut<Vec<u8>>,

Formats a HCL structure using a formatter and returns the result as a Vec<u8>. Read more
Source§

fn format_string<W>(&self, fmt: &mut Formatter<'_, W>) -> Result<String>
where W: Write + AsMut<Vec<u8>>,

Formats a HCL structure using a formatter and returns the result as a String. Read more
Source§

impl From<ForExpr> for Expression

Source§

fn from(expr: ForExpr) -> Self

Converts to this type from the input type.
Source§

impl From<ForExpr> for ForExpr

Source§

fn from(value: ForExpr) -> Self

Converts to this type from the input type.
Source§

impl From<ForExpr> for ForExpr

Source§

fn from(value: ForExpr) -> Self

Converts to this type from the input type.
Source§

impl<'de> IntoDeserializer<'de, Error> for ForExpr

Source§

type Deserializer = MapAccessDeserializer<ForExprAccess>

The type of the deserializer being converted into.
Source§

fn into_deserializer(self) -> Self::Deserializer

Convert this value into a deserializer.
Source§

impl PartialEq for ForExpr

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for ForExpr

Source§

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl Eq for ForExpr

Source§

impl StructuralPartialEq for ForExpr

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, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. 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, 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> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,