Struct snarkvm_circuit_program::Response

pub struct Response<A: Aleo> { /* private fields */ }

Implementations

impl<A: Aleo> Response<A>

pub fn from_outputs( network_id: &U16<A>, program_id: &ProgramID<A>, function_name: &Identifier<A>, num_inputs: usize, tvk: &Field<A>, tcm: &Field<A>, outputs: Vec<Value<A>>, output_types: &[ValueType<A::Network>], output_registers: &[Option<Register<A::Network>>] ) -> Self

Initializes a response, given the number of inputs, caller, tvk, tcm, outputs, output types, and output registers.

impl<A: Aleo> Response<A>

pub fn process_outputs_from_callback( network_id: &U16<A>, program_id: &ProgramID<A>, function_name: &Identifier<A>, num_inputs: usize, tvk: &Field<A>, tcm: &Field<A>, outputs: Vec<Value<A::Network>>, output_types: &[ValueType<A::Network>] ) -> Vec<Value<A>>

Returns the injected circuit outputs, given the number of inputs, caller, tvk, tcm, outputs, and output types.

impl<A: Aleo> Response<A>

pub fn output_ids(&self) -> &[OutputID<A>]

Returns the output IDs for the transition.

pub fn outputs(&self) -> &[Value<A>]

Returns the function outputs.

Trait Implementations

impl<A: Aleo> Eject for Response<A>

fn eject_mode(&self) -> Mode

Ejects the mode of the response.

fn eject_value(&self) -> Self::Primitive

Ejects the response as a primitive.

type Primitive = Response<<A as Environment>::Network>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.