Trait hotshot_testing::predicates::Predicate

pub trait Predicate<INPUT>: Debug {
    // Required methods
    fn evaluate<'life0, 'life1, 'async_trait>(
        &'life0 self,
        input: &'life1 INPUT,
    ) -> Pin<Box<dyn Future<Output = PredicateResult> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
    fn info<'life0, 'async_trait>(
        &'life0 self,
    ) -> Pin<Box<dyn Future<Output = String> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
}

Required Methods

fn evaluate<'life0, 'life1, 'async_trait>( &'life0 self, input: &'life1 INPUT, ) -> Pin<Box<dyn Future<Output = PredicateResult> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

fn info<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = String> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Implementors

impl Predicate<QuorumProposalTaskState<TestTypes, MemoryImpl, TestVersions>> for hotshot_testing::predicates::upgrade_with_proposal::UpgradeCertPredicate

impl Predicate<QuorumVoteTaskState<TestTypes, MemoryImpl, TestVersions>> for hotshot_testing::predicates::upgrade_with_vote::UpgradeCertPredicate

impl<INPUT> Predicate<INPUT> for TestPredicate<INPUT>

where INPUT: Send + Sync,

impl<TYPES> Predicate<Arc<HotShotEvent<TYPES>>> for EventPredicate<TYPES>

where TYPES: NodeType + Send + Sync + 'static,