Trait OperationOracle 

pub trait OperationOracle: Send + Sync {
    // Required methods
    fn descriptor(&self) -> &OperationOracleDescriptor;
    fn invoke(
        &self,
        request: &OperationOracleRequest,
    ) -> Result<OperationOracleResult, VNextError>;
}

Object-safe executable correctness oracle. Runtime callers receive a registry-bound handle and never supply an oracle implementation per call.

Required Methods

fn descriptor(&self) -> &OperationOracleDescriptor

fn invoke( &self, request: &OperationOracleRequest, ) -> Result<OperationOracleResult, VNextError>

Dyn Compatibility

This trait is dyn compatible.

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

Implementors