Struct ArrayValue

pub struct ArrayValue { /* private fields */ }

Statically sized array of values, all of the same type.

Implementations

impl ArrayValue

pub fn new(typ: Type, contents: impl IntoIterator<Item = Value>) -> Self

Create a new CustomConst for an array of values of type typ. That all values are of type typ is not checked here.

pub fn new_empty(typ: Type) -> Self

Create a new CustomConst for an empty array of values of type typ.

pub fn custom_type(&self) -> CustomType

Returns the type of the [ArrayValue] as a [CustomType].`

pub fn get_element_type(&self) -> &Type

Returns the type of values inside the [ArrayValue].

pub fn get_contents(&self) -> &[Value]

Returns the values contained inside the [ArrayValue].

Trait Implementations

impl Clone for ArrayValue

fn clone(&self) -> ArrayValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CustomConst for ArrayValue

fn name(&self) -> ValueName

An identifier for the constant.

fn get_type(&self) -> Type

Report the type.

fn validate(&self) -> Result<(), CustomCheckFailure>

Check the value.

fn equal_consts(&self, other: &dyn CustomConst) -> bool

Compare two constants for equality, using downcasting and comparing the definitions.

fn extension_reqs(&self) -> ExtensionSet

The extension(s) defining the custom constant (a set to allow, say, a List of USize)

fn update_extensions( &mut self, extensions: &WeakExtensionRegistry, ) -> Result<(), ExtensionResolutionError>

Update the extensions associated with the internal values.

impl Debug for ArrayValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ArrayValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ArrayValue

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for ArrayValue

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryHash for ArrayValue

fn try_hash(&self, st: &mut dyn Hasher) -> bool

Hashes the value, if possible; else return false without mutating the Hasher. This relates with CustomConst::equal_consts just like Hash with Eq:

impl StructuralPartialEq for ArrayValue