Enum Value 

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

Variants

Plaintext(Plaintext<N>)

A plaintext value.

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

A record value.

Future(Future<N>)

A future.

DynamicRecord(DynamicRecord<N>)

A dynamic record.

DynamicFuture(DynamicFuture<N>)

A dynamic future.

Implementations

impl<N: Network> Value<N>

pub fn find<A: Into<Access<N>> + Copy + Debug>( &self, path: &[A], ) -> 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 duplicate 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 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> From<&Argument<N>> for Value<N>

fn from(argument: &Argument<N>) -> Self

Initializes the value from an argument.

impl<N: Network> From<&DynamicFuture<N>> for Value<N>

fn from(dynamic_future: &DynamicFuture<N>) -> Self

Initializes the value from a dynamic future.

impl<N: Network> From<&DynamicRecord<N>> for Value<N>

fn from(dynamic_record: &DynamicRecord<N>) -> Self

Initializes the value from a dynamic record.

impl<N: Network> From<&Future<N>> for Value<N>

fn from(future: &Future<N>) -> Self

Initializes the value from a future.

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

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

Initializes the value from a literal.

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

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

Initializes the value from a plaintext.

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

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

Initializes the value from a record.

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

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

Returns a clone of the value.

impl<N: Network> From<Argument<N>> for Value<N>

fn from(argument: Argument<N>) -> Self

Initializes the value from an argument.

impl<N: Network> From<DynamicFuture<N>> for Value<N>

fn from(dynamic_future: DynamicFuture<N>) -> Self

Initializes the value from a dynamic future.

impl<N: Network> From<DynamicRecord<N>> for Value<N>

fn from(dynamic_record: DynamicRecord<N>) -> Self

Initializes the value from a dynamic record.

impl<N: Network> From<Future<N>> for Value<N>

fn from(future: Future<N>) -> Self

Initializes the value from a future.

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

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

Initializes the value from a literal.

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

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

Initializes the value from a plaintext.

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

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

Initializes the value from a record.

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>

where Self: Sized,

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

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

where Self: Sized,

Same behavior as Self::from_bytes_le but avoids costly checks. This shall only be called when deserializing from a trusted source, such as local storage.

fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>

where R: Read, Self: Sized,

Same behavior as Self::read_le but avoids costly checks. This shall only be called when deserializing from a trusted source, such as local storage.

fn read_le_with_unchecked<R>(reader: R, unchecked: bool) -> Result<Self, Error>

where R: Read, Self: Sized,

Helper function that deserializes either unchecked or checked based on the given boolean flag.

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 for Value<N>

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

Returns true if self and other are equal.

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<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 write_bits_le(&self, vec: &mut Vec<bool>)

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

fn write_bits_be(&self, vec: &mut Vec<bool>)

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

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

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

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

Returns self as a boolean array in big-endian order.

fn num_bits() -> Option<usize>

An optional indication of how many bits an object can be represented with.

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

fn write_bits_raw_le(&self, vec: &mut Vec<bool>)

Returns the stack value as a list of little-endian bits (without variant or identifier bits for the plaintext type).

fn write_bits_raw_be(&self, vec: &mut Vec<bool>)

Returns the stack value as a list of big-endian bits (without variant or identifier bits for the plaintext type).

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

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

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

Returns self as a boolean array in big-endian order.

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>, Error>

where Self: Sized,

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.

Each variant encodes its data as follows:

1. The variant’s to_bits_le() produces a bit sequence reflecting its internal structure.
2. A terminator bit (true) is appended to mark the end of the data.
3. The bits are packed into field elements in chunks of Field::size_in_data_bits().

Cross-variant ambiguity is not a concern because the caller always knows the expected variant via the ValueType or RegisterType from the program definition, and only the matching variant’s to_fields() is invoked. Within each variant, the encoding is unambiguous:

• Plaintext uses a 2-bit type tag (Literal=00, Struct=01, Array=10) followed by typed data.
• Record starts with owner visibility, 256-bit owner, and a u32 data-length encoding.
• Future starts with a u16 length-prefixed program ID, then function name and arguments.
• DynamicRecord is fixed-size (owner + root + nonce + version, 776 bits total).
• DynamicFuture is fixed-size (4 field elements, 1024 bits total).

type Field = Field<N>

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

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

Returns the object as a list of base field elements using the raw bits.

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

fn try_from(value: &String) -> Result<Self>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

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

fn try_from(value: &str) -> Result<Self>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

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

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

Initializes a value from a result.

type Error = Error

The type returned in the event of a conversion error.

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

fn try_from(value: String) -> Result<Self>

Initializes a value from a string.

type Error = Error

The type returned in the event of a conversion error.

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