Struct pallet_ovm::Module[−][src]

pub struct Module<T: Config>(_);

Implementations

impl<T: Config + 'static> Module<T>

pub fn current_schedule() -> Schedule

Current cost schedule for contracts.

pub fn predicate_codes<K: EncodeLike<<T as Config>::Hash>>(
    key: K
) -> Option<Vec<u8>>

A mapping from an original code hash to the original code, untouched by instrumentation.

pub fn predicate_cache<K: EncodeLike<<T as Config>::Hash>>(
    key: K
) -> Option<PrefabOvmModule>

A mapping between an original code hash and instrumented ovm(predicate) code, ready for execution.

pub fn predicates<K: EncodeLike<T::AccountId>>(
    key: K
) -> Option<PredicateContract<<T as Config>::Hash>>

Mapping the predicate address to Predicate. Predicate is handled similar to contracts.

pub fn games<K: EncodeLike<T::Hash>>(
    key: K
) -> Option<ChallengeGame<<T as Config>::Hash, <T as Config>::BlockNumber>>

Mapping the game id to Challenge Game.

impl<T: Config> Module<T>

Can also be called using Call.

pub fn put_code(origin: T::Origin, predicate: Vec<u8>) -> DispatchResult

Stores the given binary Wasm code into the chain’s storage and returns its codehash. You can instantiate contracts only with stored code.

NOTE: Calling this function will bypass origin filters.

pub fn instantiate(
    origin: T::Origin, 
    predicate_hash: <T as Config>::Hash, 
    inputs: Vec<u8>
) -> DispatchResult

Deploy predicate and made predicate address as AccountId. TODO: weight

NOTE: Calling this function will bypass origin filters.

pub fn claim(origin: T::Origin, claim: PropertyOf<T>) -> DispatchResult

Claims property and create new game. Id of game is hash of claimed property TODO: weight

NOTE: Calling this function will bypass origin filters.

pub fn challenge(
    origin: T::Origin, 
    property: PropertyOf<T>, 
    challenge_property: PropertyOf<T>
) -> DispatchResult

Challenge to an existing game instance by a property.

challenge will be added to challenges field of challenged game instance. if property does not exist, revert. if challenge with same property was made before, revert.

TODO: weight

NOTE: Calling this function will bypass origin filters.

pub fn remove_challenge(
    origin: T::Origin, 
    property: PropertyOf<T>
) -> DispatchResult

remove challenge set challenging game decision to false and remove it from challenges field of challenged game if property does not exist, revert. if challenge property does not exist, revert.

TODO: weight

NOTE: Calling this function will bypass origin filters.

pub fn set_game_result(
    origin: T::Origin, 
    property: PropertyOf<T>, 
    result: bool
) -> DispatchResult

set game result to given result value. only called from dispute contract

TODO: weight

NOTE: Calling this function will bypass origin filters.

pub fn settle_game(origin: T::Origin, property: PropertyOf<T>) -> DispatchResult

settle game settle started game whose dispute period has passed. if no challenge for the property exists, decide to true. if any of its challenges decided to true, decide game to false. if undecided challenge remains, revert.

TODO: weight

NOTE: Calling this function will bypass origin filters.

impl<T: Config> Module<T>

pub fn bare_call(
    origin: T::AccountId, 
    dest: T::AccountId, 
    input_data: Vec<u8>
) -> ExecResult<T>

Perform a call to a specified contract.

This function is similar to Self::call, but doesn’t perform any address lookups and better suitable for calling directly from Rust.

pub fn bare_challenge(
    origin: T::AccountId, 
    property: PropertyOf<T>, 
    challenge_property: PropertyOf<T>
) -> DispatchResult

pub fn bare_settle_game(
    origin: T::AccountId, 
    property: PropertyOf<T>
) -> DispatchResult

pub fn is_decided(property: &PropertyOf<T>) -> Decision

Get of true/false the decision of property.

pub fn is_decided_by_id(id: T::Hash) -> Decision

Get of true/false the decision of game id.

pub fn get_game(
    claim_id: &T::Hash
) -> Option<ChallengeGame<<T as Config>::Hash, <T as Config>::BlockNumber>>

Get of the instatiated challenge game from claim_id.

pub fn get_property_id(property: &PropertyOf<T>) -> T::Hash

Get of the property id from the propaty itself.

pub fn is_challenge_of(
    property: &PropertyOf<T>, 
    challenge_property: &PropertyOf<T>
) -> bool

pub fn started(id: &T::Hash) -> bool

check if game of given id is already started.

pub fn block_number() -> <T as Config>::BlockNumber

pub fn is_decidable(property_id: &T::Hash) -> bool

Trait Implementations

impl<T: Config> Callable<T> for Module<T>

type Call = Call<T>

impl<T: Clone + Config> Clone for Module<T>

fn clone(&self) -> Module<T>

Returns a copy of the value. Read more

1.0.0[src]

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl<T: Config> Debug for Module<T> where
    T: Debug,

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<T: Config> GetPalletVersion for Module<T>

fn current_version() -> PalletVersion

Returns the current version of the pallet.

fn storage_version() -> Option<PalletVersion>

Returns the version of the pallet that is stored in storage. Read more

impl<T: Config> IntegrityTest for Module<T>

fn integrity_test()

Run integrity test. Read more

impl<T: Config> ModuleErrorMetadata for Module<T>

fn metadata() -> &'static [ErrorMetadata]

impl<T: Config + Config> OffchainWorker<<T as Config>::BlockNumber> for Module<T>

fn offchain_worker(_n: BlockNumber)

This function is being called after every block import (when fully synced). Read more

impl<T: Config + Config> OnFinalize<<T as Config>::BlockNumber> for Module<T>

fn on_finalize(_n: BlockNumber)

The block is being finalized. Implement to have something happen. Read more

impl<T: Config> OnGenesis for Module<T>

fn on_genesis()

Something that should happen at genesis.

impl<T: Config + Config> OnInitialize<<T as Config>::BlockNumber> for Module<T>

fn on_initialize(_n: BlockNumber) -> u64

The block is being initialized. Implement to have something happen. Read more

impl<T: Config> OnRuntimeUpgrade for Module<T>

fn on_runtime_upgrade() -> Weight

Perform a module upgrade. Read more

impl<T: PartialEq + Config> PartialEq<Module<T>> for Module<T>

fn eq(&self, other: &Module<T>) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

fn ne(&self, other: &Module<T>) -> bool

This method tests for !=.

impl<T: Copy + Config> Copy for Module<T>

impl<T: Eq + Config> Eq for Module<T>

impl<T: Config> StructuralEq for Module<T>

impl<T: Config> StructuralPartialEq for Module<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for Module<T> where
    T: RefUnwindSafe,

impl<T> Send for Module<T> where
    T: Send,

impl<T> Sync for Module<T> where
    T: Sync,

impl<T> Unpin for Module<T> where
    T: Unpin,

impl<T> UnwindSafe for Module<T> where
    T: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized,

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CheckedConversion for T

fn checked_from<T>(t: T) -> Option<Self> where
    Self: TryFrom<T>,

Convert from a value of T into an equivalent instance of Option<Self>. Read more

fn checked_into<T>(self) -> Option<T> where
    Self: TryInto<T>,

Consume self to return Some equivalent value of Option<T>. Read more

impl<T> DynClone for T where
    T: Clone,

pub fn __clone_box(&self, Private) -> *mut ()

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T where
    U: From<T>,

pub fn into(self) -> U

Performs the conversion.

impl<T> IsType<T> for T

pub fn from_ref(t: &T) -> &T

Cast reference.

pub fn into_ref(&self) -> &T

Cast reference.

pub fn from_mut(t: &mut T) -> &mut T

Cast mutable reference.

pub fn into_mut(&mut self) -> &mut T

Cast mutable reference.

impl<T, Outer> IsWrappedBy<Outer> for T where
    T: From<Outer>,
    Outer: AsRef<T> + AsMut<T> + From<T>,

pub fn from_ref(outer: &Outer) -> &T

Get a reference to the inner from the outer.

pub fn from_mut(outer: &mut Outer) -> &mut T

Get a mutable reference to the inner from the outer.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> SaturatedConversion for T

fn saturated_from<T>(t: T) -> Self where
    Self: UniqueSaturatedFrom<T>,

Convert from a value of T into an equivalent instance of Self. Read more

fn saturated_into<T>(self) -> T where
    Self: UniqueSaturatedInto<T>,

Consume self to return an equivalent value of T. Read more

impl<T> ToOwned for T where
    T: Clone,

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<S, T> UncheckedInto<T> for S where
    T: UncheckedFrom<S>,

pub fn unchecked_into(self) -> T

The counterpart to unchecked_from.

impl<T, S> UniqueSaturatedInto<T> for S where
    T: Bounded,
    S: TryInto<T>,

pub fn unique_saturated_into(self) -> T

Consume self to return an equivalent value of T.

impl<V, T> VZip<V> for T where
    V: MultiLane<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,

impl<T> Member for T where
    T: 'static + Send + Sync + Debug + Eq + PartialEq<T> + Clone,