Struct Value

Source

pub struct Value {
    pub id: Option<GlobalId>,
    pub(crate) contents: ValueVariants,
}

Fields§

§id: Option<GlobalId>§contents: ValueVariants

Implementations§

Source §

impl Value

Source

pub fn eq(&self, rhs: &Self) -> Result<bool>

Are the values equal, according to SnarkVM?

We use this rather than the Eq trait so we can fail when comparing values of different types, rather than just returning false.

Source

pub fn resolve_if_unsuffixed( &self, ty: &Option<Type>, span: Span, ) -> Result<Value>

Resolves an unsuffixed literal to a typed Value using the provided optional Type. If the value is unsuffixed and a type is provided, parses the string into the corresponding Value variant. Handles integers of various widths and special types like Field, Group, and Scalar. If no type is given or the value is already typed, returns the original value. Returns an error if type inference is not possible or parsing fails.

Source §

pub fn generator() -> Self

Return the group generator.

Source

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

Source

pub fn as_i128(&self) -> Option<i128>

Source

pub fn array_index(&self, i: usize) -> Option<Self>

Source

pub fn array_index_set(&mut self, i: usize, value: Self) -> Option<()>

Source

pub fn tuple_len(&self) -> Option<usize>

Source

pub fn tuple_index(&self, i: usize) -> Option<Self>

Source

pub fn tuple_index_set(&mut self, i: usize, value: Self) -> Option<()>

Source

pub fn as_future(&self) -> Option<&[AsyncExecution]>

Source

pub fn accesses( &self, accesses: impl IntoIterator<Item = Access<TestnetV0>>, ) -> Option<Value>

Source

fn accesses_impl( &self, accesses: &mut dyn Iterator<Item = Access<TestnetV0>>, ) -> Option<Value>

Source

pub fn member_access(&self, member: Symbol) -> Option<Self>

Source

pub fn member_set(&mut self, member: Symbol, value: Value) -> Option<()>

Source

pub fn make_future( program_name: Symbol, function: Symbol, arguments: impl IntoIterator<Item = Value>, ) -> Option<Value>

Source

fn make_future_impl( program_name: Symbol, function: Symbol, arguments: &mut dyn Iterator<Item = Value>, ) -> Option<Value>

Source

pub fn make_unit() -> Self

Source

pub fn make_struct( contents: impl Iterator<Item = (Symbol, Value)>, program: Symbol, path: Vec<Symbol>, ) -> Self

Source

pub fn make_record( contents: impl Iterator<Item = (Symbol, Value)>, program: Symbol, path: Vec<Symbol>, ) -> Self

Source

pub fn make_array(contents: impl Iterator<Item = Value>) -> Self

Source

pub fn make_tuple(contents: impl IntoIterator<Item = Value>) -> Self

Source

pub fn get_numeric_type(&self) -> Option<Type>

Gets the type of a Value but only if it is an integer, a field, a group, or a scalar. Return None otherwise. These are the only types that an unsuffixed literal can have.

Source

pub fn to_expression( &self, span: Span, node_builder: &NodeBuilder, ty: &Type, struct_lookup: &dyn Fn(&[Symbol]) -> Vec<(Symbol, Type)>, ) -> Option<Expression>

Trait Implementations§

Source §

impl Clone for Value

Source §

fn clone(&self) -> Value

Returns a duplicate 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 Value

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Default for Value

Source §

fn default() -> Value

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

Source §

impl Display for Value

Source §

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

Formats the value using the given formatter. Read more

Source §