Trait snarkvm_synthesizer::prelude::CallTrait

pub trait CallTrait<N>where
    N: Network,{
    // Required methods
    fn evaluate<A>(
        &self,
        stack: &(impl StackEvaluate<N> + StackMatches<N> + StackProgram<N>),
        registers: &mut Registers<N, A>
    ) -> Result<(), Error>
       where A: Aleo<Network = N>;
    fn execute<A, R>(
        &self,
        stack: &(impl StackEvaluate<N> + StackExecute<N> + StackMatches<N> + StackProgram<N>),
        registers: &mut (impl RegistersCall<N> + RegistersSignerCircuit<N, A> + RegistersLoadCircuit<N, A> + RegistersStoreCircuit<N, A>),
        rng: &mut R
    ) -> Result<(), Error>
       where A: Aleo<Network = N>,
             R: CryptoRng + Rng;
}

Required Methods

fn evaluate<A>( &self, stack: &(impl StackEvaluate<N> + StackMatches<N> + StackProgram<N>), registers: &mut Registers<N, A> ) -> Result<(), Error>where A: Aleo<Network = N>,

Evaluates the instruction.

fn execute<A, R>( &self, stack: &(impl StackEvaluate<N> + StackExecute<N> + StackMatches<N> + StackProgram<N>), registers: &mut (impl RegistersCall<N> + RegistersSignerCircuit<N, A> + RegistersLoadCircuit<N, A> + RegistersStoreCircuit<N, A>), rng: &mut R ) -> Result<(), Error>where A: Aleo<Network = N>, R: CryptoRng + Rng,

Executes the instruction.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<N> CallTrait<N> for Call<N>where N: Network,

fn evaluate<A>( &self, stack: &(impl StackEvaluate<N> + StackMatches<N> + StackProgram<N>), registers: &mut Registers<N, A> ) -> Result<(), Error>where A: Aleo<Network = N>,

Evaluates the instruction.

fn execute<A, R>( &self, stack: &(impl StackEvaluate<N> + StackExecute<N> + StackMatches<N> + StackProgram<N>), registers: &mut (impl RegistersCall<N> + RegistersSignerCircuit<N, A> + RegistersLoadCircuit<N, A> + RegistersStoreCircuit<N, A>), rng: &mut R ) -> Result<(), Error>where A: Aleo<Network = N>, R: Rng + CryptoRng,

Executes the instruction.

Implementors