Struct snarkvm_circuit::Response

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

Implementations

impl<A> Response<A>where A: Aleo,

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: &[Option<Register<<A as Environment>::Network>>] ) -> Response<A>

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

impl<A> Response<A>where A: Aleo,

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.

impl<A> Response<A>where A: Aleo,

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> Eject for Response<A>where A: Aleo,

fn eject_mode(&self) -> Mode

Ejects the mode of the response.

fn eject_value(&self) -> <Response<A> as Eject>::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.