Enum snarkvm_console_program::Value

pub enum Value<N: Network> {
    Plaintext(Plaintext<N>),
    Record(Record<N, Plaintext<N>>),
}

Variants

Plaintext(Plaintext<N>)

A plaintext value.

Record(Record<N, Plaintext<N>>)

A record value.

Implementations

impl<N: Network> Value<N>

pub fn find(&self, path: &[Identifier<N>]) -> Result<Self>

Returns the value from the given path.

Trait Implementations

impl<N: Clone + Network> Clone for Value<N>

fn clone(&self) -> Value<N>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> Debug for Value<N>

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

Prints the value as a string.

impl<'de, N: Network> Deserialize<'de> for Value<N>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserializes the value from a string or bytes.

impl<N: Network> Display for Value<N>

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

Prints the value as a string.

impl<N: Network> Equal<Value<N>> for Value<N>

fn is_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are equal.

fn is_not_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are not equal.

type Output = Boolean<N>

impl<N: Network> FromBytes for Value<N>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the entry from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>

Returns Self from a byte array in little-endian order.

impl<N: Network> FromStr for Value<N>

fn from_str(string: &str) -> Result<Self>

Parses a string into a value.

type Err = Error

The associated error which can be returned from parsing.

impl<N: Network> Parser for Value<N>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a string into a value.

impl<N: Network> PartialEq<Value<N>> for Value<N>

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

Returns true if self and other are equal.

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

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

impl<N: Network> Serialize for Value<N>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serializes the value into string or bytes.

impl<N: Network> ToBits for Value<N>

fn to_bits_le(&self) -> Vec<bool>

Returns the stack value as a list of little-endian bits.

fn to_bits_be(&self) -> Vec<bool>

Returns the stack value as a list of big-endian bits.

impl<N: Network> ToBytes for Value<N>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the entry to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8, Global>, Error>

Returns self as a byte array in little-endian order.

impl<N: Network> ToFields for Value<N>

fn to_fields(&self) -> Result<Vec<Self::Field>>

Returns the stack value as a list of fields.

type Field = Field<N>

impl<N: Network> Eq for Value<N>