Trait fuel_vm::checked_transaction::CheckPredicates

pub trait CheckPredicates: Sized {
    // Required methods
    fn check_predicates(
        self,
        params: &ConsensusParameters,
        gas_costs: &GasCosts
    ) -> Result<Self, CheckError>;
    fn check_predicates_async<'life0, 'life1, 'async_trait, E>(
        self,
        params: &'life0 ConsensusParameters,
        gas_costs: &'life1 GasCosts
    ) -> Pin<Box<dyn Future<Output = Result<Self, CheckError>> + Send + 'async_trait>>
       where E: 'async_trait + ParallelExecutor,
             Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
}

Provides predicate verification functionality for the transaction.

Required Methods

fn check_predicates( self, params: &ConsensusParameters, gas_costs: &GasCosts ) -> Result<Self, CheckError>

Performs predicates verification of the transaction.

fn check_predicates_async<'life0, 'life1, 'async_trait, E>( self, params: &'life0 ConsensusParameters, gas_costs: &'life1 GasCosts ) -> Pin<Box<dyn Future<Output = Result<Self, CheckError>> + Send + 'async_trait>>where E: 'async_trait + ParallelExecutor, Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Performs predicates verification of the transaction in parallel.

Implementors

impl CheckPredicates for Checked<Transaction>

impl CheckPredicates for Checked<Mint>

impl<Tx> CheckPredicates for Checked<Tx>where Tx: ExecutableTransaction + Send + Sync + 'static, <Tx as IntoChecked>::Metadata: CheckedMetadata + Send + Sync,