Enum ovmi::predicates::BaseAtomicExecutable [−][src]
pub enum BaseAtomicExecutable<'a, Ext: ExternalCall> { Equal(EqualPredicate<'a, Ext>), IsContained(IsContainedPredicate<'a, Ext>), IsLess(IsLessThanPredicate<'a, Ext>), IsStored(IsStoredPredicate<'a, Ext>), IsValidSignature(IsValidSignaturePredicate<'a, Ext>), VerifyInclusion(VerifyInclusionPredicate<'a, Ext>), }
Variants
Equal(EqualPredicate<'a, Ext>)
IsContained(IsContainedPredicate<'a, Ext>)
IsLess(IsLessThanPredicate<'a, Ext>)
IsStored(IsStoredPredicate<'a, Ext>)
IsValidSignature(IsValidSignaturePredicate<'a, Ext>)
VerifyInclusion(VerifyInclusionPredicate<'a, Ext>)
Trait Implementations
impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]
impl<Ext: ExternalCall> AtomicHelperInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]fn ext_set_predicate_decision(
&self,
_game_id: Self::Hash,
_decision: bool
) -> ExecResult<AddressOf<Ext>>
[src]impl<Ext: ExternalCall> AtomicPredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]
impl<Ext: ExternalCall> AtomicPredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>
[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>
[src]Auto Trait Implementations
impl<'a, Ext> RefUnwindSafe for BaseAtomicExecutable<'a, Ext> where
Ext: RefUnwindSafe,
impl<'a, Ext> Send for BaseAtomicExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Sync for BaseAtomicExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Unpin for BaseAtomicExecutable<'a, Ext>
impl<'a, Ext> UnwindSafe for BaseAtomicExecutable<'a, Ext> where
Ext: RefUnwindSafe,