pub struct AcirCallWaitInfo<F> {
pub id: AcirFunctionId,
pub initial_witness: WitnessMap<F>,
}Expand description
Encapsulates a request from the ACVM that encounters an ACIR call opcode where the result of the circuit execution has not yet been provided.
The caller must resolve this opcode externally based upon the information in the request.
Fields§
§id: AcirFunctionIdIndex in the list of ACIR function’s that should be called
initial_witness: WitnessMap<F>Initial witness for the given circuit to be called
Trait Implementations§
Source§impl<F: Clone> Clone for AcirCallWaitInfo<F>
impl<F: Clone> Clone for AcirCallWaitInfo<F>
Source§fn clone(&self) -> AcirCallWaitInfo<F>
fn clone(&self) -> AcirCallWaitInfo<F>
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<F: Debug> Debug for AcirCallWaitInfo<F>
impl<F: Debug> Debug for AcirCallWaitInfo<F>
Source§impl<F: PartialEq> PartialEq for AcirCallWaitInfo<F>
impl<F: PartialEq> PartialEq for AcirCallWaitInfo<F>
impl<F> StructuralPartialEq for AcirCallWaitInfo<F>
Auto Trait Implementations§
impl<F> Freeze for AcirCallWaitInfo<F>
impl<F> RefUnwindSafe for AcirCallWaitInfo<F>where
F: RefUnwindSafe,
impl<F> Send for AcirCallWaitInfo<F>where
F: Send,
impl<F> Sync for AcirCallWaitInfo<F>where
F: Sync,
impl<F> Unpin for AcirCallWaitInfo<F>
impl<F> UnwindSafe for AcirCallWaitInfo<F>where
F: RefUnwindSafe,
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,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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