Struct leo_ast::common::array_dimensions::ArrayDimensions

pub struct ArrayDimensions(pub Vec<PositiveNumber>);

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

Implementations

impl ArrayDimensions

pub fn append(&mut self, other: &mut ArrayDimensions)

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

pub fn to_strings(&self) -> Vec<String>

Returns the array dimensions as strings.

pub fn is_empty(&self) -> bool

Returns true if the all array dimensions have been removed.

This method is called after repeated calls to remove_first.

pub fn is_zero(&self) -> bool

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

pub fn first(&self) -> Option<&PositiveNumber>

Returns the first dimension of the array.

pub fn remove_first(&mut self) -> Option<PositiveNumber>

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.

pub fn remove_last(&mut self) -> Option<PositiveNumber>

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

impl Clone for ArrayDimensions

fn clone(&self) -> ArrayDimensions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayDimensions

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

Formats the value using the given formatter.

impl Default for ArrayDimensions

fn default() -> ArrayDimensions

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ArrayDimensions

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

Deserialize this value from the given Serde deserializer.

impl Display for ArrayDimensions

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

Formats the value using the given formatter.

impl Eq for ArrayDimensions

impl<'ast> From<ArrayDimensions<'ast>> for ArrayDimensions

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

fn from(dimensions: InputArrayDimensions<'ast>) -> Self

Performs the conversion.

impl Hash for ArrayDimensions

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<ArrayDimensions> for ArrayDimensions

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

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

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

This method tests for !=.

impl Serialize for ArrayDimensions

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

Serialize this value into the given Serde serializer.

impl StructuralEq for ArrayDimensions

impl StructuralPartialEq for ArrayDimensions