Enum essential_constraint_asm::opcode::TotalControlFlow

#[repr(u8)]
pub enum TotalControlFlow {
    Halt = 96,
    HaltIf = 97,
    JumpForwardIf = 99,
}

Control flow operations that keep the program total.

Variants

Halt = 96

0x60

Opcode associated with the TotalControlFlow::Halt operation.

HaltIf = 97

0x61

Opcode associated with the TotalControlFlow::HaltIf operation.

JumpForwardIf = 99

0x63

Opcode associated with the TotalControlFlow::JumpForwardIf operation.

Trait Implementations

impl Clone for TotalControlFlow

fn clone(&self) -> TotalControlFlow

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TotalControlFlow

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

Formats the value using the given formatter.

impl From<TotalControlFlow> for Constraint

fn from(subgroup: TotalControlFlow) -> Self

Converts to this type from the input type.

impl From<TotalControlFlow> for u8

fn from(opcode: TotalControlFlow) -> Self

Converts to this type from the input type.

impl Hash for TotalControlFlow

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 Ord for TotalControlFlow

fn cmp(&self, other: &TotalControlFlow) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl ParseOp for TotalControlFlow

fn parse_op( &self, bytes: &mut impl Iterator<Item = u8>, ) -> Result<Self::Op, Self::Error>

Attempt to parse the operation associated with the opcode from the given bytes.

Only consumes the bytes necessary to construct any associated data.

Returns an error in the case that the given bytes iterator contains insufficient bytes to parse the op.

type Op = TotalControlFlow

The operation associated with the opcode.

type Error = NotEnoughBytesError

Any error that might occur while parsing.

impl PartialEq for TotalControlFlow

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for TotalControlFlow

fn partial_cmp(&self, other: &TotalControlFlow) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl TryFrom<u8> for TotalControlFlow

type Error = InvalidOpcodeError

The type returned in the event of a conversion error.

fn try_from(u: u8) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for TotalControlFlow

impl Eq for TotalControlFlow

impl StructuralPartialEq for TotalControlFlow