construct_runtime!() { /* proc-macro */ }
Expand description
Construct a runtime, with the given name and the given pallets.
The parameters here are specific types for Block
, NodeBlock
, and UncheckedExtrinsic
and the pallets that are used by the runtime.
Block
is the block type that is used in the runtime and NodeBlock
is the block type
that is used in the node. For instance they can differ in the extrinsics type.
Example:
construct_runtime!(
pub enum Runtime where
Block = Block,
NodeBlock = node::Block,
UncheckedExtrinsic = UncheckedExtrinsic
{
System: frame_system::{Pallet, Call, Event<T>, Config<T>} = 0,
Test: path::to::test::{Pallet, Call} = 1,
// Pallets with instances.
Test2_Instance1: test2::<Instance1>::{Pallet, Call, Storage, Event<T, I>, Config<T, I>, Origin<T, I>},
Test2_DefaultInstance: test2::{Pallet, Call, Storage, Event<T>, Config<T>, Origin<T>} = 4,
// Pallets declared with `pallet` attribute macro: no need to define the parts
Test3_Instance1: test3::<Instance1>,
Test3_DefaultInstance: test3,
// with `exclude_parts` keyword some part can be excluded.
Test4_Instance1: test4::<Instance1> exclude_parts { Call, Origin },
Test4_DefaultInstance: test4 exclude_parts { Storage },
// with `use_parts` keyword, a subset of the pallet parts can be specified.
Test4_Instance1: test4::<Instance1> use_parts { Pallet, Call},
Test4_DefaultInstance: test4 use_parts { Pallet },
}
)
Each pallet is declared as such:
-
Identifier
: name given to the pallet that uniquely identifies it. -
:
: colon separator -
path::to::pallet
: identifiers separated by colons which declare the path to a pallet definition. -
::<InstanceN>
optional: specify the instance of the pallet to use. If not specified it will use the default instance (or the only instance in case of non-instantiable pallets). -
::{ Part1, Part2<T>, .. }
optional if pallet declared withframe_support::pallet
: Comma separated parts declared with their generic. If a pallet is declared withframe_support::pallet
macro then the parts can be automatically derived if not explicitly provided. We provide support for the following module parts in a pallet:Pallet
- Required for all palletsCall
- If the pallet has callable functionsStorage
- If the pallet uses storageEvent
orEvent<T>
(if the event is generic) - If the pallet emits eventsOrigin
orOrigin<T>
(if the origin is generic) - If the pallet has instanciable originsConfig
orConfig<T>
(if the config is generic) - If the pallet builds the genesis storage withGenesisConfig
Inherent
- If the pallet provides/can check inherents.ValidateUnsigned
- If the pallet validates unsigned extrinsics.
It is important to list these parts here to export them correctly in the metadata or to make the pallet usable in the runtime.
-
exclude_parts { Part1, Part2 }
optional: comma separated parts without generics. I.e. one ofPallet
,Call
,Storage
,Event
,Origin
,Config
,Inherent
,ValidateUnsigned
. It is incompatible withuse_parts
. This specifies the part to exclude. In order to select subset of the pallet parts.For example excluding the part
Call
can be useful if the runtime doesn’t want to make the pallet calls available. -
use_parts { Part1, Part2 }
optional: comma separated parts without generics. I.e. one ofPallet
,Call
,Storage
,Event
,Origin
,Config
,Inherent
,ValidateUnsigned
. It is incompatible withexclude_parts
. This specifies the part to use. In order to select a subset of the pallet parts.For example not using the part
Call
can be useful if the runtime doesn’t want to make the pallet calls available. -
= $n
optional: number to define at which index the pallet variants inOriginCaller
,Call
andEvent
are encoded, and to define the ModuleToIndex value.if
= $n
is not given, then index is resolved in the same way as fieldless enum in Rust (i.e. incrementedly from previous index):pallet1 .. = 2, pallet2 .., // Here pallet2 is given index 3 pallet3 .. = 0, pallet4 .., // Here pallet4 is given index 1
Note
The population of the genesis storage depends on the order of pallets. So, if one of your pallets depends on another pallet, the pallet that is depended upon needs to come before the pallet depending on it.
Type definitions
- The macro generates a type alias for each pallet to their
Pallet
. E.g.type System = frame_system::Pallet<Runtime>