pub struct Range;
Expand description
Generates a list containing all integers between the minimum (inclusive lower bound) and the supremum (exclusive upper bound).
Trait Implementations§
Source§impl DeprecatedSnippet for Range
impl DeprecatedSnippet for Range
Source§fn entrypoint_name(&self) -> String
fn entrypoint_name(&self) -> String
The name of a Snippet Read more
fn input_types(&self) -> Vec<DataType>
fn output_types(&self) -> Vec<DataType>
Source§fn stack_diff(&self) -> isizewhere
Self: Sized,
fn stack_diff(&self) -> isizewhere
Self: Sized,
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>where
Self: Sized,
fn crash_conditions(&self) -> Vec<String>where
Self: Sized,
Ways in which this snippet can crash at runtime
Source§fn gen_input_states(&self) -> Vec<InitVmState>where
Self: Sized,
fn gen_input_states(&self) -> Vec<InitVmState>where
Self: Sized,
Examples of valid initial states for running this snippet
fn common_case_input_state(&self) -> InitVmStatewhere
Self: Sized,
fn worst_case_input_state(&self) -> InitVmStatewhere
Self: Sized,
fn rust_shadowing(
&self,
stack: &mut Vec<BFieldElement>,
_std_in: Vec<BFieldElement>,
_secret_in: Vec<BFieldElement>,
memory: &mut HashMap<BFieldElement, BFieldElement>,
)where
Self: Sized,
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>
impl Copy for Range
impl Eq for Range
impl StructuralPartialEq for Range
Auto Trait Implementations§
impl Freeze for Range
impl RefUnwindSafe for Range
impl Send for Range
impl Sync for Range
impl Unpin for Range
impl UnwindSafe for Range
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