#[repr(u8)]pub enum TotalControlFlow {
Halt = 96,
HaltIf = 97,
JumpForwardIf = 99,
PanicIf = 100,
}
Expand description
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.
PanicIf = 100
0x64
Opcode associated with the TotalControlFlow::PanicIf operation.
Trait Implementations§
Source§impl Clone for TotalControlFlow
impl Clone for TotalControlFlow
Source§fn clone(&self) -> TotalControlFlow
fn clone(&self) -> TotalControlFlow
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for TotalControlFlow
impl Debug for TotalControlFlow
Source§impl From<TotalControlFlow> for Constraint
impl From<TotalControlFlow> for Constraint
Source§fn from(subgroup: TotalControlFlow) -> Constraint
fn from(subgroup: TotalControlFlow) -> Constraint
Converts to this type from the input type.
Source§impl Hash for TotalControlFlow
impl Hash for TotalControlFlow
Source§impl Ord for TotalControlFlow
impl Ord for TotalControlFlow
Source§fn cmp(&self, other: &TotalControlFlow) -> Ordering
fn cmp(&self, other: &TotalControlFlow) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl ParseOp for TotalControlFlow
impl ParseOp for TotalControlFlow
Source§fn parse_op(
&self,
bytes: &mut impl Iterator<Item = u8>,
) -> Result<<TotalControlFlow as ParseOp>::Op, <TotalControlFlow as ParseOp>::Error>
fn parse_op( &self, bytes: &mut impl Iterator<Item = u8>, ) -> Result<<TotalControlFlow as ParseOp>::Op, <TotalControlFlow as ParseOp>::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.
Source§type Op = TotalControlFlow
type Op = TotalControlFlow
The operation associated with the opcode.
Source§type Error = NotEnoughBytesError
type Error = NotEnoughBytesError
Any error that might occur while parsing.
Source§impl PartialEq for TotalControlFlow
impl PartialEq for TotalControlFlow
Source§impl PartialOrd for TotalControlFlow
impl PartialOrd for TotalControlFlow
Source§impl TryFrom<u8> for TotalControlFlow
impl TryFrom<u8> for TotalControlFlow
Source§type Error = InvalidOpcodeError
type Error = InvalidOpcodeError
The type returned in the event of a conversion error.
Source§fn try_from(
u: u8,
) -> Result<TotalControlFlow, <TotalControlFlow as TryFrom<u8>>::Error>
fn try_from( u: u8, ) -> Result<TotalControlFlow, <TotalControlFlow as TryFrom<u8>>::Error>
Performs the conversion.
impl Copy for TotalControlFlow
impl Eq for TotalControlFlow
impl StructuralPartialEq for TotalControlFlow
Auto Trait Implementations§
impl Freeze for TotalControlFlow
impl RefUnwindSafe for TotalControlFlow
impl Send for TotalControlFlow
impl Sync for TotalControlFlow
impl Unpin for TotalControlFlow
impl UnwindSafe for TotalControlFlow
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more