Enum DataType

pub enum DataType {
    Bool,
    U32,
    U64,
    U128,
    Bfe,
    Xfe,
    Digest,
    List(Box<DataType>),
    Array(Box<ArrayType>),
    Tuple(Vec<DataType>),
    VoidPointer,
    StructRef(StructType),
}

Variants

Bool

U32

U64

U128

Bfe

Xfe

Digest

List(Box<DataType>)

Array(Box<ArrayType>)

Tuple(Vec<DataType>)

VoidPointer

StructRef(StructType)

Implementations

impl DataType

pub fn label_friendly_name(&self) -> String

Return a string which can be used as part of function labels in Triton-VM

pub fn stack_size(&self) -> usize

Return the size that the data type takes up on stack

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

Return the code to read a value of this type from memory. Leaves mutated point on top of stack.

BEFORE: _ (*address + self.stack_size() - 1)
AFTER:  _ [value] (*address - 1)

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

Return the code to read a value of this type from memory. Pops pointer from stack.

BEFORE: _ (*address + self.stack_size() - 1)
AFTER:  _ [value]

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

Return the code to write a value of this type to memory

BEFORE: _ [value] *address
AFTER:  _ (*address + self.stack_size())

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

Return the code to write a value of this type to memory

BEFORE: _ [value] *address
AFTER:  _

pub fn read_value_from_input( &self, input_source: InputSource, ) -> Vec<LabelledInstruction>

Return the code to read a value of this type from the specified input source

BEFORE: _
AFTER:  _ [value]

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

Return the code to write a value of this type to standard output

BEFORE: _ [value]
AFTER:  _

pub fn compare_elem_of_stack_size(stack_size: usize) -> Vec<LabelledInstruction>

Return the code that compares two elements of this stack-size.

BEFORE: _ [self] [other]
AFTER:  _ (self == other)

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

Return the code that compares two elements of this type.

BEFORE: _ [self] [other]
AFTER:  _ (self == other)

pub fn variant_name(&self) -> String

Return a string matching how the variant looks in source code

pub fn random_elements(&self, count: usize) -> Vec<Vec<BFieldElement>>

pub fn seeded_random_element(&self, rng: &mut impl Rng) -> Vec<BFieldElement>

Trait Implementations

impl Clone for DataType

fn clone(&self) -> DataType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DataType

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

Formats the value using the given formatter.

impl From<MainElementType> for DataType

fn from(value: MainElementType) -> Self

Converts to this type from the input type.

impl FromStr for DataType

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for DataType

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 DataType

fn eq(&self, other: &DataType) -> 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 Eq for DataType

impl StructuralPartialEq for DataType