Enum StateValue

pub enum StateValue {
    None,
    Single {
        first: fe256,
    },
    Double {
        first: fe256,
        second: fe256,
    },
    Triple {
        first: fe256,
        second: fe256,
        third: fe256,
    },
    Quadruple {
        first: fe256,
        second: fe256,
        third: fe256,
        fourth: fe256,
    },
}

A value stored in a single memory cell.

Variants

None

A unit value.

Single

A single 256-bit field element.

Fields

first: fe256

Double

A tuple of two 256-bit field elements.

Fields

first: fe256

second: fe256

Triple

A tuple of three 256-bit field elements.

Fields

first: fe256

second: fe256

third: fe256

Quadruple

A tuple of four 256-bit field elements.

Fields

first: fe256

second: fe256

third: fe256

fourth: fe256

Implementations

impl StateValue

pub fn new(ty: impl Into<fe256>, val: impl Into<fe256>) -> StateValue

Constructs a new state value in StateValue::Double form, using the first element to store the value “type” from the first argument, and the second argument to store the data, which can be anything representable with a single 256-bit field element.

pub const fn get(&self, pos: u8) -> Option<fe256>

Retrieve a field element with a provided index if the element is present in the state value.

Trait Implementations

impl Clone for StateValue

fn clone(&self) -> StateValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateValue

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

Formats the value using the given formatter.

impl Default for StateValue

fn default() -> StateValue

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for StateValue

fn deserialize<__D>( __deserializer: __D, ) -> Result<StateValue, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FromIterator<fe256> for StateValue

fn from_iter<T>(iter: T) -> StateValue

where T: IntoIterator<Item = fe256>,

Creates a value from an iterator.

impl FromIterator<u256> for StateValue

fn from_iter<T>(iter: T) -> StateValue

where T: IntoIterator<Item = u256>,

Creates a value from an iterator.

impl Hash for StateValue

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 IntoIterator for StateValue

type Item = fe256

The type of the elements being iterated over.

type IntoIter = IntoIter<fe256>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <StateValue as IntoIterator>::IntoIter

Creates an iterator from a value.

impl PartialEq for StateValue

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StrictDecode for StateValue

fn strict_decode(reader: &mut impl TypedRead) -> Result<StateValue, DecodeError>

fn strict_read(reader: impl ReadRaw) -> Result<Self, DecodeError>

impl StrictEncode for StateValue

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

where W: TypedWrite,

fn strict_write(&self, writer: impl WriteRaw) -> Result<(), Error>

impl StrictSum for StateValue

const ALL_VARIANTS: &'static [(u8, &'static str)]

fn variant_name(&self) -> &'static str

fn strict_check_variants()

fn variant_name_by_tag(tag: u8) -> Option<VariantName>

fn variant_ord(&self) -> u8

impl StrictType for StateValue

const STRICT_LIB_NAME: &'static str = LIB_NAME_ULTRASONIC

fn strict_name() -> Option<TypeName>

impl StrictUnion for StateValue

fn strict_type_info() -> TypeInfo<Self>

impl Copy for StateValue

impl Eq for StateValue

impl StructuralPartialEq for StateValue