pub struct UncheckedExtrinsic<Address, Call, Signature, Extension> {
pub preamble: Preamble<Address, Signature, Extension>,
pub function: Call,
}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.
Implementations§
Source§impl<Address, Call, Signature, Extension> UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> UncheckedExtrinsic<Address, Call, Signature, Extension>
Sourcepub fn new_unsigned(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
👎Deprecated: Use new_bare instead
pub fn new_unsigned( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
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>
pub fn from_parts( function: Call, preamble: Preamble<Address, Signature, Extension>, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
Create an UncheckedExtrinsic from a Preamble and the actual Call.
Sourcepub fn new_bare(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
pub fn new_bare( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
New instance of a bare (ne unsigned) extrinsic.
Sourcepub fn new_bare_legacy(
function: Call,
) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
pub fn new_bare_legacy( function: Call, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
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>
pub fn new_signed( function: Call, signed: Address, signature: Signature, tx_ext: Extension, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
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>
pub fn new_transaction( function: Call, tx_ext: Extension, ) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
New instance of an 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> Clone for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Clone for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§fn clone(&self) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
fn clone(&self) -> UncheckedExtrinsic<Address, Call, Signature, Extension>
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> Debug for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Debug for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§impl<Address, Call, Signature, Extension> Decode for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Decode for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§fn decode<I>(
input: &mut I,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension>, Error>where
I: Input,
fn decode<I>(
input: &mut I,
) -> Result<UncheckedExtrinsic<Address, Call, Signature, Extension>, 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>
impl<'a, Address, Signature, Call, Extension> Deserialize<'a> for UncheckedExtrinsic<Address, Call, Signature, Extension>
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, 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> PartialEq for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> PartialEq for UncheckedExtrinsic<Address, Call, Signature, Extension>
Source§fn eq(
&self,
other: &UncheckedExtrinsic<Address, Call, Signature, Extension>,
) -> bool
fn eq( &self, other: &UncheckedExtrinsic<Address, Call, Signature, Extension>, ) -> 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>
impl<Address, Signature, Call, Extension> Serialize for UncheckedExtrinsic<Address, Call, Signature, Extension>
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> 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> DecodeWithMemTracking for UncheckedExtrinsic<Address, Call, Signature, Extension>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> Eq for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> StructuralPartialEq for UncheckedExtrinsic<Address, Call, Signature, Extension>
Auto Trait Implementations§
impl<Address, Call, Signature, Extension> Freeze for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> RefUnwindSafe for UncheckedExtrinsic<Address, Call, Signature, Extension>where
Call: RefUnwindSafe,
Address: RefUnwindSafe,
Signature: RefUnwindSafe,
Extension: RefUnwindSafe,
impl<Address, Call, Signature, Extension> Send for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Sync for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> Unpin for UncheckedExtrinsic<Address, Call, Signature, Extension>
impl<Address, Call, Signature, Extension> UnwindSafe for UncheckedExtrinsic<Address, Call, Signature, Extension>
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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<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.