Enum aleo_rust::snarkvm_types::Value

pub enum Value<N>where
    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> Value<N>where N: Network,

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

Returns the value from the given path.

Trait Implementations

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

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> Debug for Value<N>where N: Network,

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

Prints the value as a string.

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

fn deserialize<D>( deserializer: D ) -> Result<Value<N>, <D as Deserializer<'de>>::Error>where D: Deserializer<'de>,

Deserializes the value from a string or bytes.

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

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

Prints the value as a string.

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

fn is_equal(&self, other: &Value<N>) -> <Value<N> as Equal<Value<N>>>::Output

Returns true if self and other are equal.

fn is_not_equal( &self, other: &Value<N> ) -> <Value<N> as Equal<Value<N>>>::Output

Returns true if self and other are not equal.

type Output = Boolean<N>

impl<N> From<&Literal<N>> for Value<N>where N: Network,

fn from(literal: &Literal<N>) -> Value<N>

Initializes the value from a literal.

impl<N> From<&Plaintext<N>> for Value<N>where N: Network,

fn from(plaintext: &Plaintext<N>) -> Value<N>

Initializes the value from a plaintext.

impl<N> From<&Record<N, Plaintext<N>>> for Value<N>where N: Network,

fn from(record: &Record<N, Plaintext<N>>) -> Value<N>

Initializes the value from a record.

impl<N> From<&Value<N>> for Value<N>where N: Network,

fn from(value: &Value<N>) -> Value<N>

Returns a clone of the value.

impl<N> From<Literal<N>> for Value<N>where N: Network,

fn from(literal: Literal<N>) -> Value<N>

Initializes the value from a literal.

impl<N> From<Plaintext<N>> for Value<N>where N: Network,

fn from(plaintext: Plaintext<N>) -> Value<N>

Initializes the value from a plaintext.

impl<N> From<Record<N, Plaintext<N>>> for Value<N>where N: Network,

fn from(record: Record<N, Plaintext<N>>) -> Value<N>

Initializes the value from a record.

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

fn read_le<R>(reader: R) -> Result<Value<N>, Error>where R: Read,

Reads the entry from a buffer.

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

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

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

fn from_str(string: &str) -> Result<Value<N>, Error>

Parses a string into a value.

type Err = Error

The associated error which can be returned from parsing.

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

fn parse(string: &str) -> Result<(&str, Value<N>), Err<VerboseError<&str>>>

Parses a string into a value.

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

fn eq(&self, other: &Value<N>) -> 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> Serialize for Value<N>where N: Network,

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

Serializes the value into string or bytes.

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

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

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

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

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

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

fn write_le<W>(&self, writer: W) -> Result<(), Error>where W: Write,

Writes the entry to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8, Global>, Error>where Self: Sized,

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

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

fn to_fields(&self) -> Result<Vec<<Value<N> as ToFields>::Field, Global>, Error>

Returns the stack value as a list of fields.

type Field = Field<N>

impl<N> TryFrom<&String> for Value<N>where N: Network,

fn try_from(value: &String) -> Result<Value<N>, Error>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

impl<N> TryFrom<&str> for Value<N>where N: Network,

fn try_from(value: &str) -> Result<Value<N>, Error>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

impl<N> TryFrom<Result<Value<N>, Error>> for Value<N>where N: Network,

fn try_from(value: Result<Value<N>, Error>) -> Result<Value<N>, Error>

Initializes a value from a result.

type Error = Error

The type returned in the event of a conversion error.

impl<N> TryFrom<String> for Value<N>where N: Network,

fn try_from(value: String) -> Result<Value<N>, Error>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

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