Enum Literal 

pub enum Literal {
    Bool(bool),
    U32(u32),
    U64(u64),
    U128(u128),
    I128(i128),
    Bfe(BFieldElement),
    Xfe(XFieldElement),
    Digest(Digest),
}

Variants

Bool(bool)

U32(u32)

U64(u64)

U128(u128)

I128(i128)

Bfe(BFieldElement)

Xfe(XFieldElement)

Digest(Digest)

Implementations

impl Literal

pub fn data_type(&self) -> DataType

pub fn as_xfe(&self) -> XFieldElement

Panics

Panics if self is anything but an extension field element.

pub fn push_to_stack_code(&self) -> Vec<LabelledInstruction>

The code to push the literal to the stack.

pub fn pop_from_stack( data_type: DataType, stack: &mut Vec<BFieldElement>, ) -> Self

Panics

• if the stack is too shallow
• if the top of the stack does not contain an element of the requested type
• if the element is incorrectly BFieldCodec encoded

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Literal

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for Literal

fn clone(&self) -> Literal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Literal

impl Debug for Literal

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

Formats the value using the given formatter.

impl Eq for Literal

impl Hash for Literal

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

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 PartialEq for Literal

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

Tests for self and other values to be equal, and is used by ==.

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 StructuralPartialEq for Literal