Trait ovmi::predicates::AtomicHelperInterface

pub trait AtomicHelperInterface<Address> {
    type Hash;
    fn ext_address(&self) -> Address;
    fn ext_set_predicate_decision(
        &self, 
        game_id: Self::Hash, 
        decision: bool
    ) -> ExecResult<Address>;
    fn ext_get_property_id(&self, property: &Property<Address>) -> Self::Hash;
}

Associated Types

type Hash

Required methods

fn ext_address(&self) -> Address

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<Address>

fn ext_get_property_id(&self, property: &Property<Address>) -> Self::Hash

Implementors

impl<'a, Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for VerifyInclusionPredicate<'a, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for AtomicExecutable<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    _game_id: Self::Hash,
    _decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(
    &self,
    _property: &Property<AddressOf<Ext>>
) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    _game_id: Self::Hash,
    _decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(
    &self,
    _property: &Property<AddressOf<Ext>>
) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for EqualPredicate<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for IsContainedPredicate<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for IsLessThanPredicate<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for IsStoredPredicate<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash

impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for IsValidSignaturePredicate<'_, Ext>

type Hash = HashOf<Ext>

fn ext_address(&self) -> AddressOf<Ext>

fn ext_set_predicate_decision(
    &self,
    game_id: Self::Hash,
    decision: bool
) -> ExecResult<AddressOf<Ext>>

fn ext_get_property_id(&self, property: &Property<AddressOf<Ext>>) -> Self::Hash