#[non_exhaustive]pub enum InstructionError {
Show 16 variants
InvalidOpcode(u32),
OutOfRangeOpcode(TryFromIntError),
IllegalArgument(AnInstruction<BFieldElement>, BFieldElement),
InstructionPointerOverflow,
JumpStackIsEmpty,
AssertionFailed(AssertionError),
VectorAssertionFailed(usize, AssertionError),
InverseOfZero,
DivisionByZero,
SpongeNotInitialized,
LogarithmOfZero,
EmptyPublicInput(usize),
EmptySecretInput(usize),
EmptySecretDigestInput,
MachineHalted,
OpStackError(OpStackError),
}Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
InvalidOpcode(u32)
OutOfRangeOpcode(TryFromIntError)
IllegalArgument(AnInstruction<BFieldElement>, BFieldElement)
InstructionPointerOverflow
JumpStackIsEmpty
AssertionFailed(AssertionError)
VectorAssertionFailed(usize, AssertionError)
InverseOfZero
DivisionByZero
SpongeNotInitialized
LogarithmOfZero
EmptyPublicInput(usize)
EmptySecretInput(usize)
EmptySecretDigestInput
MachineHalted
OpStackError(OpStackError)
Trait Implementations§
Source§impl Clone for InstructionError
impl Clone for InstructionError
Source§fn clone(&self) -> InstructionError
fn clone(&self) -> InstructionError
Returns a duplicate 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 InstructionError
impl Debug for InstructionError
Source§impl Display for InstructionError
impl Display for InstructionError
Source§impl Error for InstructionError
impl Error for InstructionError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl From<OpStackError> for InstructionError
impl From<OpStackError> for InstructionError
Source§fn from(source: OpStackError) -> InstructionError
fn from(source: OpStackError) -> InstructionError
Converts to this type from the input type.
Source§impl From<TryFromIntError> for InstructionError
impl From<TryFromIntError> for InstructionError
Source§fn from(source: TryFromIntError) -> InstructionError
fn from(source: TryFromIntError) -> InstructionError
Converts to this type from the input type.
Source§impl PartialEq for InstructionError
impl PartialEq for InstructionError
impl Eq for InstructionError
impl StructuralPartialEq for InstructionError
Auto Trait Implementations§
impl Freeze for InstructionError
impl RefUnwindSafe for InstructionError
impl Send for InstructionError
impl Sync for InstructionError
impl Unpin for InstructionError
impl UnwindSafe for InstructionError
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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