pub struct ShiftRightU128;
Trait Implementations§
Source§impl Clone for ShiftRightU128
impl Clone for ShiftRightU128
Source§fn clone(&self) -> ShiftRightU128
fn clone(&self) -> ShiftRightU128
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 ShiftRightU128
impl Debug for ShiftRightU128
Source§impl DeprecatedSnippet for ShiftRightU128
impl DeprecatedSnippet for ShiftRightU128
Source§fn entrypoint_name(&self) -> String
fn entrypoint_name(&self) -> String
The name of a Snippet Read more
Source§fn input_field_names(&self) -> Vec<String>
fn input_field_names(&self) -> Vec<String>
The input stack
fn input_types(&self) -> Vec<DataType>
Source§fn output_field_names(&self) -> Vec<String>
fn output_field_names(&self) -> Vec<String>
The output stack
fn output_types(&self) -> Vec<DataType>
Source§fn stack_diff(&self) -> isize
fn stack_diff(&self) -> isize
The stack difference
Source§fn function_code(&self, _library: &mut Library) -> String
fn function_code(&self, _library: &mut Library) -> String
The function
Source§fn crash_conditions(&self) -> Vec<String>
fn crash_conditions(&self) -> Vec<String>
Ways in which this snippet can crash at runtime
Source§fn gen_input_states(&self) -> Vec<InitVmState>
fn gen_input_states(&self) -> Vec<InitVmState>
Examples of valid initial states for running this snippet
fn common_case_input_state(&self) -> InitVmState
fn worst_case_input_state(&self) -> InitVmState
fn rust_shadowing( &self, stack: &mut Vec<BFieldElement>, _std_in: Vec<BFieldElement>, _secret_in: Vec<BFieldElement>, _memory: &mut HashMap<BFieldElement, BFieldElement>, )
fn function_code_as_instructions( &self, library: &mut Library, ) -> Vec<LabelledInstruction>
fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>
Source§fn link_and_run_tasm_for_test(
&self,
stack: &mut Vec<BFieldElement>,
std_in: Vec<BFieldElement>,
nondeterminism: NonDeterminism,
) -> Result<VMState>
fn link_and_run_tasm_for_test( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<VMState>
Return Ok(vm_output_state) if execution succeeds, Err(error_message) if VM execution fails,
panics if anything else goes wrong.
fn link_and_run_tasm_for_bench( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<BenchmarkResult>
fn link_and_run_tasm_from_state_for_test( &self, execution_state: &mut InitVmState, ) -> VMState
fn link_and_run_tasm_from_state_for_bench( &self, execution_state: &mut InitVmState, ) -> Result<BenchmarkResult>
Source§impl Hash for ShiftRightU128
impl Hash for ShiftRightU128
Source§impl PartialEq for ShiftRightU128
impl PartialEq for ShiftRightU128
impl Copy for ShiftRightU128
impl Eq for ShiftRightU128
impl StructuralPartialEq for ShiftRightU128
Auto Trait Implementations§
impl Freeze for ShiftRightU128
impl RefUnwindSafe for ShiftRightU128
impl Send for ShiftRightU128
impl Sync for ShiftRightU128
impl Unpin for ShiftRightU128
impl UnwindSafe for ShiftRightU128
Blanket Implementations§
Source§impl<S> BasicSnippet for Swhere
S: DeprecatedSnippet,
impl<S> BasicSnippet for Swhere
S: DeprecatedSnippet,
fn inputs(&self) -> Vec<(DataType, String)>
fn outputs(&self) -> Vec<(DataType, String)>
fn entrypoint(&self) -> String
fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>
Source§fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
Intial stack on program start, when the snippet runs in isolation.
fn stack_diff(&self) -> isize
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