Struct snarkvm_circuit::Response
source · pub struct Response<A>where
A: Aleo,{ /* private fields */ }Implementations
sourceimpl<A> Response<A>where
A: Aleo,
impl<A> Response<A>where
A: Aleo,
sourcepub fn from_outputs(
network_id: &Integer<A, u16>,
program_id: &ProgramID<A>,
function_name: &Identifier<A>,
num_inputs: usize,
tvk: &Field<A>,
tcm: &Field<A>,
outputs: Vec<Value<A>, Global>,
output_types: &[ValueType<<A as Environment>::Network>],
output_registers: &[Register<<A as Environment>::Network>]
) -> Response<A>
pub fn from_outputs(
network_id: &Integer<A, u16>,
program_id: &ProgramID<A>,
function_name: &Identifier<A>,
num_inputs: usize,
tvk: &Field<A>,
tcm: &Field<A>,
outputs: Vec<Value<A>, Global>,
output_types: &[ValueType<<A as Environment>::Network>],
output_registers: &[Register<<A as Environment>::Network>]
) -> Response<A>
Initializes a response, given the number of inputs, caller, tvk, tcm, outputs, output types, and output registers.
sourceimpl<A> Response<A>where
A: Aleo,
impl<A> Response<A>where
A: Aleo,
sourcepub fn process_outputs_from_callback(
network_id: &Integer<A, u16>,
program_id: &ProgramID<A>,
function_name: &Identifier<A>,
num_inputs: usize,
tvk: &Field<A>,
tcm: &Field<A>,
outputs: Vec<Value<<A as Environment>::Network>, Global>,
output_types: &[ValueType<<A as Environment>::Network>]
) -> Vec<Value<A>, Global> ⓘ
pub fn process_outputs_from_callback(
network_id: &Integer<A, u16>,
program_id: &ProgramID<A>,
function_name: &Identifier<A>,
num_inputs: usize,
tvk: &Field<A>,
tcm: &Field<A>,
outputs: Vec<Value<<A as Environment>::Network>, Global>,
output_types: &[ValueType<<A as Environment>::Network>]
) -> Vec<Value<A>, Global> ⓘ
Returns the injected circuit outputs, given the number of inputs, caller, tvk, tcm, outputs, and output types.
Trait Implementations
sourceimpl<A> Eject for Response<A>where
A: Aleo,
impl<A> Eject for Response<A>where
A: Aleo,
sourcefn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the response.
sourcefn eject_value(&self) -> <Response<A> as Eject>::Primitive
fn eject_value(&self) -> <Response<A> as Eject>::Primitive
Ejects the response as a primitive.
type Primitive = Response<<A as Environment>::Network>
sourcefn eject(&self) -> (Mode, Self::Primitive)
fn eject(&self) -> (Mode, Self::Primitive)
Ejects the mode and primitive value of the circuit type. Read more
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns
true if the circuit is a constant. Read moresourcefn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns
true if the circuit is a private. Read moreAuto Trait Implementations
impl<A> RefUnwindSafe for Response<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
impl<A> !Send for Response<A>
impl<A> !Sync for Response<A>
impl<A> Unpin for Response<A>where
<A as Environment>::BaseField: Unpin,
impl<A> UnwindSafe for Response<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more