Skip to main content

CheapJudge

harn_vm::flow::predicates::executor

Trait CheapJudge 

Source 
pub trait CheapJudge {
    // Required method
    fn cheap_judge<'life0, 'async_trait>(
        &'life0 self,
        request: CheapJudgeRequest,
    ) -> Pin<Box<dyn Future<Output = Result<CheapJudgeResponse, InvariantBlockError>> + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
}
Expand description

Host-provided adapter for semantic predicate judging.

Required Methods§

Source

fn cheap_judge<'life0, 'async_trait>( &'life0 self, request: CheapJudgeRequest, ) -> Pin<Box<dyn Future<Output = Result<CheapJudgeResponse, InvariantBlockError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§