Struct pallet_ovm::PredicateContract [−][src]
Expand description
PredicateContract wrapped Predicate and initial arguments.
Required functions of each PredicateContract:
- isValidChallenge
- decide
isValidChallenge validates valid child node of game tree.
Fields
predicate_hash: CodeHash
inputs: Vec<u8>
Trait Implementations
impl<CodeHash> Decode for PredicateContract<CodeHash> where
CodeHash: Decode,
CodeHash: Decode,
impl<CodeHash> Decode for PredicateContract<CodeHash> where
CodeHash: Decode,
CodeHash: Decode,
Returns the “default value” for a type. Read more
impl<CodeHash> Encode for PredicateContract<CodeHash> where
CodeHash: Encode,
CodeHash: Encode,
impl<CodeHash> Encode for PredicateContract<CodeHash> where
CodeHash: Encode,
CodeHash: Encode,
impl<CodeHash: PartialEq> PartialEq<PredicateContract<CodeHash>> for PredicateContract<CodeHash>
impl<CodeHash: PartialEq> PartialEq<PredicateContract<CodeHash>> for PredicateContract<CodeHash>
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<T: Config> StorageMap<<T as Config>::AccountId, PredicateContract<<T as Config>::Hash>> for Predicates<T>
impl<T: Config> StorageMap<<T as Config>::AccountId, PredicateContract<<T as Config>::Hash>> for Predicates<T>
type Query = Option<PredicateContract<<T as Config>::Hash>>
type Query = Option<PredicateContract<<T as Config>::Hash>>
The type that get/take returns.
type Hasher = Blake2_128Concat
type Hasher = Blake2_128Concat
Hasher. Used for generating final key.
Module prefix. Used for generating final key.
Storage prefix. Used for generating final key.
fn from_optional_value_to_query(
v: Option<PredicateContract<<T as Config>::Hash>>
) -> Self::Query
fn from_optional_value_to_query(
v: Option<PredicateContract<<T as Config>::Hash>>
) -> Self::Query
Convert an optional value retrieved from storage to the type queried.
fn from_query_to_optional_value(
v: Self::Query
) -> Option<PredicateContract<<T as Config>::Hash>>
fn from_query_to_optional_value(
v: Self::Query
) -> Option<PredicateContract<<T as Config>::Hash>>
Convert a query to an optional value into storage.
The full prefix; just the hash of module_prefix
concatenated to the hash of
storage_prefix
. Read more
Generate the full key used in top storage.
Module prefix. Used for generating final key.
Storage prefix. Used for generating final key.
Final full prefix that prefixes all keys.
Remove all value of the storage.
Iter over all value of the storage. Read more
impl<CodeHash> EncodeLike<PredicateContract<CodeHash>> for PredicateContract<CodeHash> where
CodeHash: Encode,
CodeHash: Encode,
Auto Trait Implementations
impl<CodeHash> RefUnwindSafe for PredicateContract<CodeHash> where
CodeHash: RefUnwindSafe,
impl<CodeHash> Send for PredicateContract<CodeHash> where
CodeHash: Send,
impl<CodeHash> Sync for PredicateContract<CodeHash> where
CodeHash: Sync,
impl<CodeHash> Unpin for PredicateContract<CodeHash> where
CodeHash: Unpin,
impl<CodeHash> UnwindSafe for PredicateContract<CodeHash> where
CodeHash: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
type Output = T
type Output = T
Should always be Self
The counterpart to unchecked_from
.
Consume self to return an equivalent value of T
.
pub fn vzip(self) -> V
impl<T> MaybeDebug for T where
T: Debug,
impl<T> MaybeDebug for T where
T: Debug,
impl<T> MaybeRefUnwindSafe for T where
T: RefUnwindSafe,