pub struct UncheckedExtrinsic<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize = subsoil::::runtime::generic::unchecked_extrinsic::UncheckedExtrinsic::{constant#0}> {
pub preamble: Preamble<Address, Signature, Extension>,
pub function: Call,
pub encoded_call: Option<Vec<u8>>,
}Expand description
An extrinsic right from the external world. This is unchecked and so can contain a signature.
An extrinsic is formally described as any external data that is originating from the outside of the runtime and fed into the runtime as a part of the block-body.
Inherents are special types of extrinsics that are placed into the block by the block-builder. They are unsigned because the assertion is that they are “inherently true” by virtue of getting past all validators.
Transactions are all other statements provided by external entities that the chain deems values and decided to include in the block. This value is typically in the form of fee payment, but it could in principle be any other interaction. Transactions are either signed or unsigned. A sensible transaction pool should ensure that only transactions that are worthwhile are considered for block-building.
flowchart TD
E(Extrinsic) ---> I(Inherent);
E --> T(Transaction)
T --> ST("Signed (aka. Transaction)")
T --> UT(Unsigned)
This type is by no means enforced within Substrate, but given its genericness, it is highly likely that for most use-cases it will suffice. Thus, the encoding of this type will dictate exactly what bytes should be sent to a runtime to transact with it.
This can be checked using Checkable, yielding a CheckedExtrinsic, which is the
counterpart of this type after its signature (and other non-negotiable validity checks) have
passed.
Fields§
§preamble: Preamble<Address, Signature, Extension>Information regarding the type of extrinsic this is (inherent or transaction) as well as
associated extension (Extension) data if it’s a transaction and a possible signature.
function: CallThe function that should be called.
encoded_call: Option<Vec<u8>>Stores the raw encoded call.
This is mainly interesting if this extrinsic was created by decoding it from bytes. In this
case this field should be set to Some holding the original bytes used to decode the
Self::function. This is done to protect against decode implementations of Call that
are not bijective (encodes to the exact same bytes it was encoded from). If this field
is set, it is being used when re-encoding this transaction.
Implementations§
Source§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Sourcepub fn new_unsigned(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
👎Deprecated: Use new_bare instead
pub fn new_unsigned( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
New instance of a bare (ne unsigned) extrinsic. This could be used for an inherent or an old-school “unsigned transaction” (which are new being deprecated in favour of general transactions).
Sourcepub fn is_inherent(&self) -> bool
pub fn is_inherent(&self) -> bool
Returns true if this extrinsic instance is an inherent, `false`` otherwise.
Sourcepub fn is_signed(&self) -> bool
pub fn is_signed(&self) -> bool
Returns true if this extrinsic instance is an old-school signed transaction, false
otherwise.
Sourcepub fn from_parts(
function: Call,
preamble: Preamble<Address, Signature, Extension>,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
pub fn from_parts( function: Call, preamble: Preamble<Address, Signature, Extension>, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Create an UncheckedExtrinsic from a Preamble and the actual Call.
Sourcepub fn new_bare(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
pub fn new_bare( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
New instance of a bare (ne unsigned) extrinsic.
Sourcepub fn new_bare_legacy(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
pub fn new_bare_legacy( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
New instance of a bare (ne unsigned) extrinsic on extrinsic format version 4.
Sourcepub fn new_signed(
function: Call,
signed: Address,
signature: Signature,
tx_ext: Extension,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
pub fn new_signed( function: Call, signed: Address, signature: Signature, tx_ext: Extension, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
New instance of an old-school signed transaction on extrinsic format version 4.
Sourcepub fn new_transaction(
function: Call,
tx_ext: Extension,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
pub fn new_transaction( function: Call, tx_ext: Extension, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
New instance of a new-school unsigned transaction.
Source§impl<Address, Call, Signature, Extension> UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: Dispatchable,
Extension: TransactionExtension<Call>,
impl<Address, Call, Signature, Extension> UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: Dispatchable,
Extension: TransactionExtension<Call>,
Sourcepub fn extension_weight(&self) -> Weight
pub fn extension_weight(&self) -> Weight
Returns the weight of the extension of this transaction, if present. If the transaction doesn’t use any extension, the weight returned is equal to zero.
Trait Implementations§
Source§impl<LookupSource, AccountId, Call, Signature, Extension, Lookup> Checkable<Lookup> for UncheckedExtrinsic<LookupSource, Call, Signature, Extension>where
LookupSource: Member + MaybeDisplay,
Call: Encode + Member + Dispatchable,
Signature: Member + Verify,
<Signature as Verify>::Signer: IdentifyAccount<AccountId = AccountId>,
Extension: Encode + TransactionExtension<Call>,
AccountId: Member + MaybeDisplay,
Lookup: Lookup<Source = LookupSource, Target = AccountId>,
impl<LookupSource, AccountId, Call, Signature, Extension, Lookup> Checkable<Lookup> for UncheckedExtrinsic<LookupSource, Call, Signature, Extension>where
LookupSource: Member + MaybeDisplay,
Call: Encode + Member + Dispatchable,
Signature: Member + Verify,
<Signature as Verify>::Signer: IdentifyAccount<AccountId = AccountId>,
Extension: Encode + TransactionExtension<Call>,
AccountId: Member + MaybeDisplay,
Lookup: Lookup<Source = LookupSource, Target = AccountId>,
Source§type Checked = CheckedExtrinsic<AccountId, Call, Extension>
type Checked = CheckedExtrinsic<AccountId, Call, Extension>
check succeeds.Source§fn check(
self,
lookup: &Lookup,
) -> Result<<UncheckedExtrinsic<LookupSource, Call, Signature, Extension> as Checkable<Lookup>>::Checked, TransactionValidityError>
fn check( self, lookup: &Lookup, ) -> Result<<UncheckedExtrinsic<LookupSource, Call, Signature, Extension> as Checkable<Lookup>>::Checked, TransactionValidityError>
Source§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Clone for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Clone for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Source§fn clone(
&self,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
fn clone( &self, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Debug for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Debug for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Source§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Decode for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Decode for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Source§fn decode<I>(
input: &mut I,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>, Error>where
I: Input,
fn decode<I>(
input: &mut I,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>, Error>where
I: Input,
Source§fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
Source§impl<'a, Address, Signature, Call, Extension> Deserialize<'a> for UncheckedExtrinsic<Address, Call, Signature, Extension>
Available on crate feature serde only.
impl<'a, Address, Signature, Call, Extension> Deserialize<'a> for UncheckedExtrinsic<Address, Call, Signature, Extension>
serde only.Source§fn deserialize<D>(
de: D,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension>, <D as Deserializer<'a>>::Error>where
D: Deserializer<'a>,
fn deserialize<D>(
de: D,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension>, <D as Deserializer<'a>>::Error>where
D: Deserializer<'a>,
Source§impl<Address, Call, Signature, Extension> Encode for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Encode for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§fn size_hint(&self) -> usize
fn size_hint(&self) -> usize
Source§fn encode_to<T>(&self, dest: &mut T)
fn encode_to<T>(&self, dest: &mut T)
Source§fn using_encoded<R, F>(&self, f: F) -> R
fn using_encoded<R, F>(&self, f: F) -> R
Source§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
Source§impl<Address, Call, Signature, Extra> ExtrinsicCall for UncheckedExtrinsic<Address, Call, Signature, Extra>
impl<Address, Call, Signature, Extra> ExtrinsicCall for UncheckedExtrinsic<Address, Call, Signature, Extra>
Source§impl<Address, Call, Signature, Extension> ExtrinsicLike for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> ExtrinsicLike for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§impl<Address, Call, Signature, Extension> ExtrinsicMetadata for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: Dispatchable,
Extension: TransactionExtension<Call>,
impl<Address, Call, Signature, Extension> ExtrinsicMetadata for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: Dispatchable,
Extension: TransactionExtension<Call>,
Source§impl<Address, Call, Signature, Extension> From<UncheckedExtrinsic<Address, Call, Signature, Extension>> for OpaqueExtrinsic
impl<Address, Call, Signature, Extension> From<UncheckedExtrinsic<Address, Call, Signature, Extension>> for OpaqueExtrinsic
Source§fn from(
extrinsic: UncheckedExtrinsic<Address, Call, Signature, Extension>,
) -> OpaqueExtrinsic
fn from( extrinsic: UncheckedExtrinsic<Address, Call, Signature, Extension>, ) -> OpaqueExtrinsic
Source§impl<Address, Call, Signature, Extension: TransactionExtension<Call>> GetDispatchInfo for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: GetDispatchInfo + Dispatchable,
Implementation for unchecked extrinsic.
impl<Address, Call, Signature, Extension: TransactionExtension<Call>> GetDispatchInfo for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: GetDispatchInfo + Dispatchable,
Implementation for unchecked extrinsic.
Source§fn get_dispatch_info(&self) -> DispatchInfo
fn get_dispatch_info(&self) -> DispatchInfo
DispatchInfo, containing relevant information of this dispatch. Read moreSource§impl<Address, Call, Signature, Extra> InherentBuilder for UncheckedExtrinsic<Address, Call, Signature, Extra>
impl<Address, Call, Signature, Extra> InherentBuilder for UncheckedExtrinsic<Address, Call, Signature, Extra>
Source§fn new_inherent(call: Self::Call) -> Self
fn new_inherent(call: Self::Call) -> Self
Source§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> LazyExtrinsic for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> LazyExtrinsic for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Source§fn decode_unprefixed(
data: &[u8],
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>, Error>
fn decode_unprefixed( data: &[u8], ) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>, Error>
Source§impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> PartialEq for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> PartialEq for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Source§fn eq(
&self,
other: &UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>,
) -> bool
fn eq( &self, other: &UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>, ) -> bool
self and other values to be equal, and is used by ==.Source§impl<Address, Signature, Call, Extension> Serialize for UncheckedExtrinsic<Address, Call, Signature, Extension>
Available on crate feature serde only.
impl<Address, Signature, Call, Extension> Serialize for UncheckedExtrinsic<Address, Call, Signature, Extension>
serde only.Source§fn serialize<S>(
&self,
seq: S,
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>where
S: Serializer,
fn serialize<S>(
&self,
seq: S,
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>where
S: Serializer,
Source§impl<Address, Call, Signature, Extension> SignedTransactionBuilder for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> SignedTransactionBuilder for UncheckedExtrinsic<Address, Call, Signature, Extension>
type Address = Address
type Signature = Signature
type Extension = Extension
Source§fn new_signed_transaction(
call: Self::Call,
signed: Address,
signature: Signature,
tx_ext: Extension,
) -> Self
fn new_signed_transaction( call: Self::Call, signed: Address, signature: Signature, tx_ext: Extension, ) -> Self
Source§impl<Address, Call, Signature, Extension> TypeInfo for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Address: StaticTypeInfo,
Call: StaticTypeInfo,
Signature: StaticTypeInfo,
Extension: StaticTypeInfo,
Manual TypeInfo implementation because of custom encoding. The data is a valid encoded
Vec<u8>, but requires some logic to extract the signature and payload.
impl<Address, Call, Signature, Extension> TypeInfo for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Address: StaticTypeInfo,
Call: StaticTypeInfo,
Signature: StaticTypeInfo,
Extension: StaticTypeInfo,
Manual TypeInfo implementation because of custom encoding. The data is a valid encoded
Vec<u8>, but requires some logic to extract the signature and payload.
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> DecodeWithMemTracking for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>where
Address: DecodeWithMemTracking,
Call: DecodeWithMemTracking,
Signature: DecodeWithMemTracking,
Extension: DecodeWithMemTracking,
impl<Address, Call, Signature, Extension> EncodeLike for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Address: Encode,
Signature: Encode,
Call: Encode + Dispatchable,
Extension: TransactionExtension<Call>,
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Eq for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Auto Trait Implementations§
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Freeze for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> RefUnwindSafe for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>where
Call: RefUnwindSafe,
Address: RefUnwindSafe,
Signature: RefUnwindSafe,
Extension: RefUnwindSafe,
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Send for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Sync for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> Unpin for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> UnsafeUnpin for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
impl<Address, Call, Signature, Extension, const MAX_CALL_SIZE: usize> UnwindSafe for UncheckedExtrinsic<Address, Call, Signature, Extension, MAX_CALL_SIZE>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere
T: Decode,
Source§impl<T> DecodeWithMemLimit for Twhere
T: DecodeWithMemTracking,
impl<T> DecodeWithMemLimit for Twhere
T: DecodeWithMemTracking,
Source§impl<T, U> DefensiveTruncateInto<U> for Twhere
U: DefensiveTruncateFrom<T>,
impl<T, U> DefensiveTruncateInto<U> for Twhere
U: DefensiveTruncateFrom<T>,
Source§fn defensive_truncate_into(self) -> U
fn defensive_truncate_into(self) -> U
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<Src, Dest> IntoTuple<Dest> for Srcwhere
Dest: FromTuple<Src>,
impl<Src, Dest> IntoTuple<Dest> for Srcwhere
Dest: FromTuple<Src>,
fn into_tuple(self) -> Dest
Source§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
Source§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
Source§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
Source§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
T. Read moreSource§impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
type Error = <U as TryFromKey<T>>::Error
fn try_into_key(self) -> Result<U, <U as TryFromKey<T>>::Error>
Source§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
Source§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
unchecked_from.Source§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
Source§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
T.