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(
    program_id: &ProgramID<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.

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

pub fn process_outputs_from_callback(
    program_id: &ProgramID<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.