Trait sp_runtime::traits::Checkable

pub trait Checkable<Context>: Sized {
    type Checked;

    // Required method
    fn check(
        self,
        c: &Context
    ) -> Result<Self::Checked, TransactionValidityError>;
}

Extract the digest type for a block. A “checkable” piece of information, used by the standard Substrate Executive in order to check the validity of a piece of extrinsic information, usually by verifying the signature. Implement for pieces of information that require some additional context Context in order to be checked.

Required Associated Types

type Checked

Returned if check succeeds.

Required Methods

fn check(self, c: &Context) -> Result<Self::Checked, TransactionValidityError>

Check self, given an instance of Context.

Object Safety

This trait is not object safe.

Implementors

impl<Call: Codec + Sync + Send, Context, Extra> Checkable<Context> for TestXt<Call, Extra>

type Checked = TestXt<Call, Extra>

impl<LookupSource, AccountId, Call, Signature, Extra, Lookup> Checkable<Lookup> for UncheckedExtrinsic<LookupSource, Call, Signature, Extra>where LookupSource: Member + MaybeDisplay, Call: Encode + Member, Signature: Member + Verify, <Signature as Verify>::Signer: IdentifyAccount<AccountId = AccountId>, Extra: SignedExtension<AccountId = AccountId>, AccountId: Member + MaybeDisplay, Lookup: Lookup<Source = LookupSource, Target = AccountId>,

type Checked = CheckedExtrinsic<AccountId, Call, Extra>

impl<T: BlindCheckable, Context> Checkable<Context> for T

type Checked = <T as BlindCheckable>::Checked