Struct leo_ast::common::array_dimensions::ArrayDimensions[][src]

pub struct ArrayDimensions(pub Vec<PositiveNumber>);
Expand description

A vector of positive numbers that represent array dimensions. Can be used in an array [Type] or an array initializer [Expression].

Implementations

Appends a vector of array dimensions to the self array dimensions.

Returns the array dimensions as strings.

Returns true if the all array dimensions have been removed.

This method is called after repeated calls to remove_first.

Returns true if there is an array dimension equal to zero.

Returns the first dimension of the array.

Attempts to remove the first dimension from the array.

If the first dimension exists, then remove and return Some(PositiveNumber). If the first dimension does not exist, then return None.

Attempts to remove the last dimension from the array.

If the last dimension exists, then remove and return Some(PositiveNumber). If the last dimension does not exist, then return None.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

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

Deserialize this value from the given Serde deserializer. Read more

Formats the value using the given formatter. Read more

Create a new ArrayDimensions from a InputArrayDimensions in a Leo program file.

Performs the conversion.

Feeds this value into the given Hasher. Read more

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

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

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

Performs the conversion.

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

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

Performs the conversion.

The resulting type after obtaining ownership.

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

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

Converts the given value to a String. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.