Module polkadot_service::runtime_traits

Primitives for the runtime modules.

Modules

• transaction_extension
  The transaction extension trait.

Macros

• parameter_types
  Create new implementations of the Get trait.

Structs

• AccountIdLookup
  A lookup implementation returning the AccountId from a MultiAddress.
• AppendZerosInput
  Input that adds infinite number of zero after wrapped input.
• BadOrigin
  An error type that indicates that the origin is invalid.
• BlakeTwo256
  Blake2-256 Hash implementation.
• CheckedReduceBy
  A TryMorph implementation to reduce a scalar by a particular amount, checking for underflow.
• ConstBool
  Const getter for a basic type.
• ConstI8
  Const getter for a basic type.
• ConstI16
  Const getter for a basic type.
• ConstI32
  Const getter for a basic type.
• ConstI64
  Const getter for a basic type.
• ConstI128
  Const getter for a basic type.
• ConstInt
  Const getter for signed integers.
• ConstU8
  Const getter for a basic type.
• ConstU16
  Const getter for a basic type.
• ConstU32
  Const getter for a basic type.
• ConstU64
  Const getter for a basic type.
• ConstU128
  Const getter for a basic type.
• ConstUint
  Const getter for unsigned integers.
• ConvertInto
  A structure that performs standard conversion using the standard Rust conversion traits.
• ConvertToValue
  Adapter which turns a Get implementation into a Convert implementation which always returns in the same value no matter the input.
• FakeDispatchable
  Dispatchable impl containing an arbitrary value which panics if it actually is dispatched.
• GetDefault
  Implement Get by returning Default for any type that implements Default.
• Identity
  A structure that performs identity conversion.
• IdentityLookup
  A lookup implementation returning the input value.
• Keccak256
  Keccak-256 Hash implementation.
• LookupError
  An error that indicates that a lookup failed.
• MorphInto
  Implementation of Morph which converts between types using Into.
• MorphWithUpperLimit
  A TryMorph implementation to enforce an upper limit for a result of the outer morphed type.
• PhantomData
  Zero-sized type used to mark things that “act like” they own a T.
• ReduceBy
  Mutator which reduces a scalar by a particular amount.
• Replace
  Morpher to disregard the source value and replace with another.
• ReplaceWithDefault
  Morpher to disregard the source value and replace with the default of V.
• TakeFirst
  Implementation of Morph to retrieve just the first element of a tuple.
• TrailingZeroInput
  Input that adds infinite number of zero after wrapped input.
• TransactionExtensionMetadata
  Information about a TransactionExtension for the runtime metadata.
• TryConvertInto
  A structure that performs standard conversion using the standard Rust conversion traits.
• TryMorphInto
  Implementation of TryMorph which attempts to convert between types using TryInto.

Traits

• AccountIdConversion
  This type can be converted into and possibly from an AccountId (which itself is generic).
• AppVerify
  Means of signature verification of an application key.
• Applyable
  An “executable” piece of information, used by the standard Substrate Executive in order to enact a piece of extrinsic information by marshalling and dispatching to a named function call.
• AsSystemOriginSigner
  Runtime Origin which includes a System Origin variant whose AccountId is the parameter.
• AsTransactionAuthorizedOrigin
  Interface to differentiate between Runtime Origins authorized to include a transaction into the block and dispatch it, and those who aren’t.
• AtLeast32Bit
  A meta trait for arithmetic.
• AtLeast32BitUnsigned
  A meta trait for arithmetic. Same as AtLeast32Bit, but also bounded to be unsigned.
• BlindCheckable
  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 don’t require additional context in order to be checked.
• Block
  Something which fulfills the abstract idea of a Substrate block. It has types for Extrinsic pieces of information as well as a Header.
• BlockIdTo
  Something that can convert a BlockId to a number or a hash.
• BlockNumber
  Super trait with all the attributes for a block number.
• BlockNumberProvider
  Get current block number
• Bounded
  Numbers which have upper and lower bounds
• CheckEqual
  Something that can be checked for equality and printed out to a debug channel if bad.
• Checkable
  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.
• CheckedAdd
  Performs addition that returns None instead of wrapping around on overflow.
• CheckedConversion
  Convenience type to work around the highly unergonomic syntax needed to invoke the functions of overloaded generic traits, in this case TryFrom and TryInto.
• CheckedDiv
  Performs division that returns None instead of panicking on division by zero and instead of wrapping around on underflow and overflow.
• CheckedMul
  Performs multiplication that returns None instead of wrapping around on underflow or overflow.
• CheckedShl
  Performs a left shift that returns None on shifts larger than or equal to the type width.
• CheckedShr
  Performs a right shift that returns None on shifts larger than or equal to the type width.
• CheckedSub
  Performs subtraction that returns None instead of wrapping around on underflow.
• Clear
  Trait for things that can be clear (have no bits set). For numeric types, essentially the same as Zero.
• Convert
  Infallible conversion trait. Generic over both source and destination types.
• ConvertBack
  Reversing infallible conversion trait. Generic over both source and destination types.
• Debug
  ? formatting.
• DispatchTransaction
  Single-function utility trait with a blanket impl over TransactionExtension in order to provide transaction dispatching functionality. We avoid implementing this directly on the trait since we never want it to be overriden by the trait implementation.
• Dispatchable
  A lazy call (module function and argument values) that can be executed via its dispatch method.
• Ensure
• EnsureAdd
  Performs addition that returns ArithmeticError instead of wrapping around on overflow.
• EnsureAddAssign
  Performs self addition that returns ArithmeticError instead of wrapping around on overflow.
• EnsureDiv
  Performs division that returns ArithmeticError instead of wrapping around on overflow.
• EnsureDivAssign
  Performs self division that returns ArithmeticError instead of wrapping around on overflow.
• EnsureFixedPointNumber
  Extends FixedPointNumber with the Ensure family functions.
• EnsureFrom
  Similar to TryFrom but returning an ArithmeticError error.
• EnsureInto
  Similar to TryInto but returning an ArithmeticError error.
• EnsureMul
  Performs multiplication that returns ArithmeticError instead of wrapping around on overflow.
• EnsureMulAssign
  Performs self multiplication that returns ArithmeticError instead of wrapping around on overflow.
• EnsureOp
  Meta trait that supports all immutable arithmetic Ensure* operations
• EnsureOpAssign
  Meta trait that supports all assigned arithmetic Ensure* operations
• EnsureSub
  Performs subtraction that returns ArithmeticError instead of wrapping around on underflow.
• EnsureSubAssign
  Performs self subtraction that returns ArithmeticError instead of wrapping around on underflow.
• ExtensionPostDispatchWeightHandler
  A type that can handle weight refunds and incorporate extension weights into the call weight after dispatch.
• ExtrinsicDeprecated
  Something that acts like an Extrinsic.
• ExtrinsicLike
  Something that acts like an Extrinsic.
• ExtrinsicMetadata
  Implementor is an Extrinsic and provides metadata about this extrinsic.
• Get
  A trait for querying a single value from a type.
• GetNodeBlockType
  A marker trait for something that knows the type of the node block.
• GetRuntimeBlockType
  A marker trait for something that knows the type of the runtime block.
• Hash
  Abstraction around hashing
• HashOutput
  Super trait with all the attributes for a hashing output.
• Header
  Something which fulfills the abstract idea of a Substrate header. It has types for a Number, a Hash and a Hashing. It provides access to an extrinsics_root, state_root and parent_hash, as well as a digest and a block number.
• IdentifyAccount
  Some type that is able to be collapsed into an account ID. It is not possible to recreate the original value from the account ID.
• IntegerSquareRoot
  A trait implementing integer square root.
• IsMember
  Determine if a MemberId is a valid member.
• Lazy
  A lazy value.
• Lookup
  Means of changing one type into another in a manner dependent on the source type.
• MaybeConvert
  Fallible conversion trait returning an Option. Generic over both source and destination types.
• MaybeConvertBack
  Reversing fallible conversion trait returning an Option. Generic over both source and destination types.
• MaybeDisplay
  A type that implements Display when in std environment.
• MaybeEquivalence
  Definition for a bi-directional, fallible conversion between two types.
• MaybeFromStr
  A type that implements FromStr when in std environment.
• MaybeHash
  A type that implements Hash when in std environment.
• MaybeSerialize
  A type that implements Serialize when in std environment or serde feature is activated.
• MaybeSerializeDeserialize
  A type that implements Serialize, DeserializeOwned and Debug when in std environment or serde feature is activated.
• Member
  A type that can be used in runtime structures.
• Morph
  Extensible conversion trait. Generic over only source type, with destination type being associated.
• One
  Defines a multiplicative identity element for Self.
• OpaqueKeys
  Opaque data type that may be destructured into a series of raw byte slices (which represent individual keys).
• Printable
  Trait for things which can be printed from the runtime.
• RefundWeight
  A type that can handle weight refunds.
• SaturatedConversion
  Convenience type to work around the highly unergonomic syntax needed to invoke the functions of overloaded generic traits, in this case SaturatedFrom and SaturatedInto.
• Saturating
  Saturating arithmetic operations, returning maximum or minimum values instead of overflowing.
• Scale
  Multiply and divide by a number that isn’t necessarily the same type. Basically just the same as Mul and Div except it can be used for all basic numeric types.
• SignaturePayload
  Something that acts like a SignaturePayload of an Extrinsic.
• SignedExtensionDeprecated
  Means by which a transaction may be extended. This type embodies both the data and the logic that should be additionally associated with the transaction. It should be plain old data.
• SimpleBitOps
  A meta trait for all bit ops.
• StaticLookup
  Means of changing one type into another in a manner dependent on the source type. This variant is different to Lookup in that it doesn’t (can cannot) require any context.
• TransactionExtension
  Means by which a transaction may be extended. This type embodies both the data and the logic that should be additionally associated with the transaction. It should be plain old data.
• TryCollect
  Try and collect into a collection C.
• TryConvert
  Fallible conversion trait which returns the argument in the case of being unable to convert. Generic over both source and destination types.
• TryConvertBack
  Reversing fallible conversion trait which returns the argument in the case of being unable to convert back. Generic over both source and destination types.
• TryMorph
  Extensible conversion trait. Generic over only source type, with destination type being associated.
• TypedGet
  A trait for querying a single value from a type defined in the trait.
• UniqueSaturatedFrom
  Just like From except that if the source value is too big to fit into the destination type then it’ll saturate the destination.
• UniqueSaturatedInto
  Just like Into except that if the source value is too big to fit into the destination type then it’ll saturate the destination.
• ValidateUnsigned
  Provide validation for unsigned extrinsics.
• Verify
  Means of signature verification.
• Zero
  Defines an additive identity element for Self.

Functions

• checked_pow
  Raises a value to the power of exp, returning None if an overflow occurred.
• ensure_pow
  Raises a value to the power of exp, returning ArithmeticError if an overflow occurred.

Type Aliases

• DispatchInfoOf
  Shortcut to reference the Info type of a Dispatchable.
• DispatchOriginOf
  Shortcut to reference the RuntimeOrigin type of a Dispatchable.
• HashingFor
  Extract the hashing type for a block.
• NumberFor
  Extract the number type for a block.
• PostDispatchInfoOf
  Shortcut to reference the PostInfo type of a Dispatchable.
• ValidateResult
  Shortcut for the result value of the validate function.

Derive Macros

• Debug
  Derive macro generating an impl of the trait Debug.