Enum SvmLiteralParam

pub(crate) enum SvmLiteralParam<N>
where
    N: Network,
{
    Address(Address<N>),
    Boolean(Boolean<N>),
    Field(Field<N>),
    Group(Group<N>),
    I8(Integer<N, i8>),
    I16(Integer<N, i16>),
    I32(Integer<N, i32>),
    I64(Integer<N, i64>),
    I128(Integer<N, i128>),
    U8(Integer<N, u8>),
    U16(Integer<N, u16>),
    U32(Integer<N, u32>),
    U64(Integer<N, u64>),
    U128(Integer<N, u128>),
    Scalar(Scalar<N>),
    Signature(Box<Signature<N>>),
    String(StringType<N>),
}

The literal enum represents all supported types in snarkVM.

Variants

Address(Address<N>)

The Aleo address type.

Boolean(Boolean<N>)

The boolean type.

Field(Field<N>)

The field type.

Group(Group<N>)

The group type.

I8(Integer<N, i8>)

The 8-bit signed integer type.

I16(Integer<N, i16>)

The 16-bit signed integer type.

I32(Integer<N, i32>)

The 32-bit signed integer type.

I64(Integer<N, i64>)

The 64-bit signed integer type.

I128(Integer<N, i128>)

The 128-bit signed integer type.

U8(Integer<N, u8>)

The 8-bit unsigned integer type.

U16(Integer<N, u16>)

The 16-bit unsigned integer type.

U32(Integer<N, u32>)

The 32-bit unsigned integer type.

U64(Integer<N, u64>)

The 64-bit unsigned integer type.

U128(Integer<N, u128>)

The 128-bit unsigned integer type.

Scalar(Scalar<N>)

The scalar type.

Signature(Box<Signature<N>>)

The signature type.

String(StringType<N>)

The string type.

Implementations

impl<N> Literal<N>

where N: Network,

pub fn cast(&self, to_type: LiteralType) -> Result<Literal<N>, Error>

Casts the literal to the given literal type.

This method checks that the cast does not lose any bits of information, and returns an error if it does.

The hierarchy of casting is as follows:

• (Address, Group) <-> Field <-> Scalar <-> Integer <-> Boolean
• Signature (not supported)
• String (not supported)

Note that casting to left along the hierarchy always preserves information.

impl<N> Literal<N>

where N: Network,

pub fn cast_lossy(&self, to_type: LiteralType) -> Result<Literal<N>, Error>

Casts the literal to the given literal type, with lossy truncation.

This method makes a best-effort attempt to preserve all bits of information, but it is not guaranteed to do so.

The hierarchy of casting is as follows:

• (Address, Group) <-> Field <-> Scalar <-> Integer <-> Boolean
• Signature (not supported)
• String (not supported)

Note that casting to left along the hierarchy always preserves information.

impl<N> Literal<N>

where N: Network,

pub fn from_bits_le(variant: u8, bits_le: &[bool]) -> Result<Literal<N>, Error>

Initializes a new literal from a list of little-endian bits without trailing zeros.

pub fn from_bits_be(variant: u8, bits_be: &[bool]) -> Result<Literal<N>, Error>

Initializes a new literal from a list of big-endian bits without leading zeros.

impl<N> Literal<N>

where N: Network,

pub fn sample<R>(literal_type: LiteralType, rng: &mut R) -> Literal<N>

where R: Rng + CryptoRng,

Returns a randomly-sampled literal of the given literal type.

impl<N> Literal<N>

where N: Network,

pub fn size_in_bits(&self) -> u16

Returns the number of bits of this literal.

impl<N> Literal<N>

where N: Network,

pub fn size_in_bytes(&self) -> u16

Returns the size in bytes of this literal.

impl<N> Literal<N>

where N: Network,

pub fn to_type(&self) -> LiteralType

Returns the type name of the literal.

impl<N> Literal<N>

where N: Network,

pub fn variant(&self) -> u8

Returns the variant of the literal.

Trait Implementations

impl<N> Clone for Literal<N>

where N: Clone + Network,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N> Debug for Literal<N>

where N: Network,

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

Formats the value using the given formatter.

impl<'de, N> Deserialize<'de> for Literal<N>

where N: Network,

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

where D: Deserializer<'de>,

Deserializes the literal from a string or bytes.

impl<N> Display for Literal<N>

where N: Network,

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

Formats the value using the given formatter.

impl<N> Equal for Literal<N>

where N: Network,

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

Returns true if self and other are equal.

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

Returns true if self and other are not equal.

type Output = Boolean<N>

impl<N> From<&Literal<N>> for Plaintext<N>

where N: Network,

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

Returns a new Plaintext from a &Literal.

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<Address<N>> for Literal<N>

where N: Network,

fn from(value: Address<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Boolean<N>> for Literal<N>

where N: Network,

fn from(value: Boolean<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Field<N>> for Literal<N>

where N: Network,

fn from(value: Field<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Group<N>> for Literal<N>

where N: Network,

fn from(value: Group<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, i128>> for Literal<N>

where N: Network,

fn from(value: Integer<N, i128>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, i16>> for Literal<N>

where N: Network,

fn from(value: Integer<N, i16>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, i32>> for Literal<N>

where N: Network,

fn from(value: Integer<N, i32>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, i64>> for Literal<N>

where N: Network,

fn from(value: Integer<N, i64>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, i8>> for Literal<N>

where N: Network,

fn from(value: Integer<N, i8>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, u128>> for Literal<N>

where N: Network,

fn from(value: Integer<N, u128>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, u16>> for Literal<N>

where N: Network,

fn from(value: Integer<N, u16>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, u32>> for Literal<N>

where N: Network,

fn from(value: Integer<N, u32>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, u64>> for Literal<N>

where N: Network,

fn from(value: Integer<N, u64>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Integer<N, u8>> for Literal<N>

where N: Network,

fn from(value: Integer<N, u8>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Literal<N>> for Plaintext<N>

where N: Network,

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

Returns a new Plaintext from a Literal.

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 From<Literal<TestnetV0>> for Value

fn from(x: Literal<TestnetV0>) -> Self

Converts to this type from the input type.

impl<N> From<Scalar<N>> for Literal<N>

where N: Network,

fn from(value: Scalar<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> From<Signature<N>> for Literal<N>

where N: Network,

fn from(value: Signature<N>) -> Literal<N>

Converts to this type from the input type.

impl<N> FromBytes for Literal<N>

where N: Network,

fn read_le<R>(reader: R) -> Result<Literal<N>, Error>

where R: Read,

Reads the literal 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 Literal<N>

where N: Network,

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

Parses a string into a literal.

type Err = Error

The associated error which can be returned from parsing.

impl<N> Hash for Literal<N>

where N: Network,

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N> Parser for Literal<N>

where N: Network,

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

Parses a string into a literal.

impl<N> PartialEq for Literal<N>

where N: Network,

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

where N: Network,

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

where S: Serializer,

Serializes the literal into a string or as bytes.

impl<N> ToBits for &Literal<N>

where N: Network,

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

Returns the little-endian bits of the literal.

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

Returns the big-endian bits of the literal.

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> ToBits for Literal<N>

where N: Network,

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

Returns the little-endian bits of the literal.

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

Returns the big-endian bits of the literal.

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> ToBytes for Literal<N>

where N: Network,

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

where W: Write,

Writes the literal 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 TryAsRef<Literal<TestnetV0>> for Value

fn try_as_ref(&self) -> Option<&Literal<TestnetV0>>

impl<N> Eq for Literal<N>

where N: Network,