fuel_vm::checked_transaction

Trait CheckPredicates

source 
pub trait CheckPredicates: Sized {
    // Required methods
    fn check_predicates(
        self,
        params: &CheckPredicateParams,
        memory: impl Memory,
        storage: &impl PredicateStorageRequirements,
    ) -> Result<Self, CheckError>;
    fn check_predicates_async<'life0, 'life1, 'life2, 'async_trait, E>(
        self,
        params: &'life0 CheckPredicateParams,
        pool: &'life1 (impl 'async_trait + VmMemoryPool),
        storage: &'life2 (impl 'async_trait + PredicateStorageProvider),
    ) -> 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,
             'life2: 'async_trait;
}
Expand description

Provides predicate verification functionality for the transaction.

Required Methods§

source

fn check_predicates( self, params: &CheckPredicateParams, memory: impl Memory, storage: &impl PredicateStorageRequirements, ) -> Result<Self, CheckError>

Performs predicates verification of the transaction.

source

fn check_predicates_async<'life0, 'life1, 'life2, 'async_trait, E>( self, params: &'life0 CheckPredicateParams, pool: &'life1 (impl 'async_trait + VmMemoryPool), storage: &'life2 (impl 'async_trait + PredicateStorageProvider), ) -> 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, 'life2: 'async_trait,

Performs predicates verification of the transaction in parallel.

Object Safety§

This trait is not object safe.

Implementors§