Enum Value 

#[non_exhaustive]
pub enum Value {
    U32(u32),
    I32(i32),
    U64(u64),
    Bool(bool),
    Bytes(Vec<u8>),
    Float(f64),
    Array(Vec<Value>),
}

A concrete value passed into or returned from the reference interpreter.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

U32(u32)

Unsigned 32-bit integer.

I32(i32)

Signed 32-bit integer.

U64(u64)

Unsigned 64-bit integer.

Bool(bool)

Boolean value.

Bytes(Vec<u8>)

Raw little-endian storage bytes.

Float(f64)

Floating-point value represented with stable host bits.

Array(Vec<Value>)

Fixed-size array of values.

Implementations

impl Value

pub fn truthy(&self) -> bool

Interpret the value using the IR truth convention.

pub fn to_bytes(&self) -> Vec<u8>

Return this value as little-endian bytes for buffer initialization.

pub fn to_bytes_width(&self, declared_width: usize) -> Vec<u8>

Return this value encoded at the declared input width.

pub fn try_as_u32(&self) -> Option<u32>

Try to interpret the value as the IR’s scalar u32 word.

pub fn as_u32(&self) -> u32

Interpret the value as the IR’s scalar u32 word.

pub fn try_as_u64(&self) -> Option<u64>

Try to interpret the value as a full u64.

pub fn as_u64(&self) -> u64

Interpret the value as a full u64.

pub fn wide_bytes(&self) -> Vec<u8>

Return the full value payload as little-endian bytes.

pub fn zero_for(ty: DataType) -> Self

Create a zero value for the given data type.

pub fn try_zero_for(ty: DataType) -> Option<Self>

Try to create a zero value for the given data type.

pub fn from_element_bytes(ty: DataType, bytes: &[u8]) -> Result<Self, String>

Create a value from element bytes for the given data type.

Errors

Returns an error if the byte slice is too short for the declared type.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl PartialEq for Value

fn eq(&self, other: &Self) -> 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 Eq for Value