Enum pallet_plasma::Call[−][src]

pub enum Call<T: Config> {
    deploy(T::AccountId, T::AccountId, T::AccountId, T::AccountId),
    submit_root(T::AccountId, T::BlockNumber, T::Hash),
    deposit(T::AccountId, BalanceOf<T>, PropertyOf<T>),
    finalize_checkpoint(T::AccountId, PropertyOf<T>),
    exit_claim(T::AccountId, StateUpdateOf<T>, Option<StateUpdateOf<T>>, Option<InclusionProofOf<T>>),
    exit_spent_challenge(T::AccountId, StateUpdateOf<T>, TransactionOf<T>, InclusionProofOf<T>),
    exit_checkpoint_challenge(T::AccountId, StateUpdateOf<T>, StateUpdateOf<T>, InclusionProofOf<T>),
    exit_settle(T::AccountId, StateUpdateOf<T>),
    finalize_exit(T::AccountId, PropertyOf<T>, BalanceOf<T>, T::AccountId),
    // some variants omitted
}

Expand description

Dispatchable calls.

Each variant of this enum maps to a dispatchable function from the associated module.

Variants

deploy(T::AccountId, T::AccountId, T::AccountId, T::AccountId)

Commitment constructor + Deposit constructor TODO: weight

submit_root(T::AccountId, T::BlockNumber, T::Hash)

Submit root hash of Plasma chain. TODO: weight

deposit(T::AccountId, BalanceOf<T>, PropertyOf<T>)

deposit ERC20 token to deposit contract with initial state. following https://docs.plasma.group/projects/spec/en/latest/src/02-contracts/deposit-contract.html#deposit

@param amount to deposit
@param initial_state The initial state of deposit TODO: weight

finalize_checkpoint(T::AccountId, PropertyOf<T>)

finalizeCheckpoint

@param _checkpointProperty A property which is instance of checkpoint predicate its first input is range to create checkpoint and second input is property for stateObject. TODO: weight

exit_claim(T::AccountId, StateUpdateOf<T>, Option<StateUpdateOf<T>>, Option<InclusionProofOf<T>>)

exit_spent_challenge(T::AccountId, StateUpdateOf<T>, TransactionOf<T>, InclusionProofOf<T>)

exit_checkpoint_challenge(T::AccountId, StateUpdateOf<T>, StateUpdateOf<T>, InclusionProofOf<T>)

exit_settle(T::AccountId, StateUpdateOf<T>)

finalize_exit(T::AccountId, PropertyOf<T>, BalanceOf<T>, T::AccountId)

finalizeExit

@param _exitProperty A property which is instance of exit predicate and its inputs are range and StateUpdate that exiting account wants to withdraw. _exitProperty can be a property of ether ExitPredicate or ExitDepositPredicate.
@param _depositedRangeId Id of deposited range
@return return StateUpdate of exit property which is finalized.
@dev The steps of finalizeExit.

Serialize exit property
check the property is decided by Adjudication Contract.
Transfer asset to payout contract corresponding to StateObject.

Please alse see https://docs.plasma.group/projects/spec/en/latest/src/02-contracts/deposit-contract.html#finalizeexit TODO: weight

Trait Implementations

[src]

impl<T: Config> Clone for Call<T>

[src]

fn clone(&self) -> Self

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

[src]

impl<T: Config> Debug for Call<T>

[src]

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

Formats the value using the given formatter. Read more

[src]

impl<T: Config> Decode for Call<T> where
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    T::BlockNumber: Decode,
    T::BlockNumber: Decode,
    T::Hash: Decode,
    T::Hash: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    BalanceOf<T>: Decode,
    BalanceOf<T>: Decode,
    PropertyOf<T>: Decode,
    PropertyOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    PropertyOf<T>: Decode,
    PropertyOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    Option<StateUpdateOf<T>>: Decode,
    Option<StateUpdateOf<T>>: Decode,
    Option<InclusionProofOf<T>>: Decode,
    Option<InclusionProofOf<T>>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    TransactionOf<T>: Decode,
    TransactionOf<T>: Decode,
    InclusionProofOf<T>: Decode,
    InclusionProofOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    InclusionProofOf<T>: Decode,
    InclusionProofOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    StateUpdateOf<T>: Decode,
    StateUpdateOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,
    PropertyOf<T>: Decode,
    PropertyOf<T>: Decode,
    BalanceOf<T>: Decode,
    BalanceOf<T>: Decode,
    T::AccountId: Decode,
    T::AccountId: Decode,

[src]

fn decode<__CodecInputEdqy: Input>(
    __codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>

Attempt to deserialise the value from input.

[src]

fn skip<I>(input: &mut I) -> Result<(), Error> where
    I: Input,

Attempt to skip the encoded value from input. Read more

[src]

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type. Read more

[src]

impl<T: Config> Encode for Call<T> where
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::BlockNumber: Encode,
    T::BlockNumber: Encode,
    T::Hash: Encode,
    T::Hash: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    BalanceOf<T>: Encode,
    BalanceOf<T>: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    Option<StateUpdateOf<T>>: Encode,
    Option<StateUpdateOf<T>>: Encode,
    Option<InclusionProofOf<T>>: Encode,
    Option<InclusionProofOf<T>>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    TransactionOf<T>: Encode,
    TransactionOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    BalanceOf<T>: Encode,
    BalanceOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,

[src]

fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
    &self, 
    __codec_dest_edqy: &mut __CodecOutputEdqy
)

Convert self to a slice and append it to the destination.

[src]

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding. Read more

[src]

fn encode(&self) -> Vec<u8, Global>

Convert self to an owned vector.

[src]

fn using_encoded<R, F>(&self, f: F) -> R where
    F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

[src]

fn encoded_size(&self) -> usize

Calculates the encoded size. Read more

[src]

impl<T: Config> GetCallName for Call<T>

[src]

fn get_call_name(&self) -> &'static str

Return the function name of the Call.

[src]

fn get_call_names() -> &'static [&'static str]

Return all function names.

[src]

impl<T: Config> GetDispatchInfo for Call<T>

[src]

fn get_dispatch_info(&self) -> DispatchInfo

Return a DispatchInfo, containing relevant information of this dispatch. Read more

[src]

impl<T: Config> PartialEq<Call<T>> for Call<T>

[src]

fn eq(&self, _other: &Self) -> bool

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

1.0.0[src]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

[src]

impl<T: Config> UnfilteredDispatchable for Call<T>

type Origin = T::Origin

The origin type of the runtime, (i.e. frame_system::Config::Origin).

[src]

fn dispatch_bypass_filter(
    self, 
    _origin: Self::Origin
) -> DispatchResultWithPostInfo

Dispatch this call but do not check the filter in origin.

[src]

impl<T: Config> EncodeLike<Call<T>> for Call<T> where
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    T::BlockNumber: Encode,
    T::BlockNumber: Encode,
    T::Hash: Encode,
    T::Hash: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    BalanceOf<T>: Encode,
    BalanceOf<T>: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    Option<StateUpdateOf<T>>: Encode,
    Option<StateUpdateOf<T>>: Encode,
    Option<InclusionProofOf<T>>: Encode,
    Option<InclusionProofOf<T>>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    TransactionOf<T>: Encode,
    TransactionOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    InclusionProofOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    StateUpdateOf<T>: Encode,
    StateUpdateOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,
    PropertyOf<T>: Encode,
    PropertyOf<T>: Encode,
    BalanceOf<T>: Encode,
    BalanceOf<T>: Encode,
    T::AccountId: Encode,
    T::AccountId: Encode,

[src]

impl<T: Config> Eq for Call<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for Call<T> where
    T: RefUnwindSafe,
    <T as Config>::AccountId: RefUnwindSafe,
    <<T as Config>::Currency as Currency<<T as Config>::AccountId>>::Balance: RefUnwindSafe,
    <T as Config>::BlockNumber: RefUnwindSafe,
    <T as Config>::Hash: RefUnwindSafe,

impl<T> Send for Call<T> where
    T: Send,
    <<T as Config>::Currency as Currency<<T as Config>::AccountId>>::Balance: Send,

impl<T> Sync for Call<T> where
    T: Sync,
    <<T as Config>::Currency as Currency<<T as Config>::AccountId>>::Balance: Sync,

impl<T> Unpin for Call<T> where
    T: Unpin,
    <T as Config>::AccountId: Unpin,
    <<T as Config>::Currency as Currency<<T as Config>::AccountId>>::Balance: Unpin,
    <T as Config>::BlockNumber: Unpin,
    <T as Config>::Hash: Unpin,

impl<T> UnwindSafe for Call<T> where
    T: UnwindSafe,
    <T as Config>::AccountId: UnwindSafe,
    <<T as Config>::Currency as Currency<<T as Config>::AccountId>>::Balance: UnwindSafe,
    <T as Config>::BlockNumber: UnwindSafe,
    <T as Config>::Hash: UnwindSafe,

Blanket Implementations

[src]

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

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

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

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

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

[src]

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

Mutably borrows from an owned value. Read more

[src]

impl<T> CheckedConversion for T

[src]

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

[src]

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

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

[src]

impl<T> DecodeAll for T where
    T: Decode,

[src]

pub fn decode_all(input: &[u8]) -> Result<T, Error>

Decode Self and consume all of the given input data. Read more

[src]

impl<T> DecodeLimit for T where
    T: Decode,

[src]

pub fn decode_all_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>

Decode Self and consume all of the given input data. Read more

[src]

pub fn decode_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>

Decode Self with the given maximum recursion depth. Read more

[src]

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

[src]

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

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

impl<T> Hashable for T where
    T: Codec,

[src]

pub fn blake2_128(&self) -> [u8; 16]

[src]

pub fn blake2_256(&self) -> [u8; 32]

[src]

pub fn blake2_128_concat(&self) -> Vec<u8, Global>

[src]

pub fn twox_128(&self) -> [u8; 16]

[src]

pub fn twox_256(&self) -> [u8; 32]

[src]

pub fn twox_64_concat(&self) -> Vec<u8, Global>

[src]

pub fn identity(&self) -> Vec<u8, Global>

[src]

impl<T> Instrument for T

[src]

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

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

[src]

fn in_current_span(self) -> Instrumented<Self>

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

[src]

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

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

impl<T> IsType<T> for T

[src]

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

Cast reference.

[src]

pub fn into_ref(&self) -> &T

Cast reference.

[src]

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

Cast mutable reference.

[src]

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

Cast mutable reference.

[src]

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

[src]

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

Get a reference to the inner from the outer.

[src]

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

Get a mutable reference to the inner from the outer.

[src]

impl<T> KeyedVec for T where
    T: Codec,

[src]

pub fn to_keyed_vec(&self, prepend_key: &[u8]) -> Vec<u8, Global>

Return an encoding of Self prepended by given slice.

impl<T> Same<T> for T

type Output = T

Should always be Self

[src]

impl<T> SaturatedConversion for T

[src]

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

[src]

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

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

[src]

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

type Owned = T

The resulting type after obtaining ownership.

[src]

pub fn to_owned(&self) -> T

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

[src]

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

[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

[src]

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.

[src]

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

Performs the conversion.

[src]

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

[src]

pub fn unchecked_into(self) -> T

The counterpart to unchecked_from.

[src]

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

[src]

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

[src]

impl<S> Codec for S where
    S: Decode + Encode,

[src]

impl<'_, '_, T> EncodeLike<&'_ &'_ T> for T where
    T: Encode,

[src]

impl<'_, T> EncodeLike<&'_ T> for T where
    T: Encode,

[src]

impl<'_, T> EncodeLike<&'_ mut T> for T where
    T: Encode,

[src]

impl<T> EncodeLike<Arc<T>> for T where
    T: Encode,

[src]

impl<T> EncodeLike<Box<T, Global>> for T where
    T: Encode,

[src]

impl<'a, T> EncodeLike<Cow<'a, T>> for T where
    T: ToOwned + Encode,

[src]

impl<T> EncodeLike<Rc<T>> for T where
    T: Encode,

[src]

impl<S> FullCodec for S where
    S: Decode + FullEncode,

[src]

impl<S> FullEncode for S where
    S: Encode + EncodeLike<S>,

impl<T> MaybeDebug for T where
    T: Debug,

impl<T> MaybeDebug for T where
    T: Debug,

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

[src]

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

[src]

impl<T> Parameter for T where
    T: Codec + EncodeLike<T> + Clone + Eq + Debug,