module arch.node.engines.shard_config;

import prelude open;
import arch.node.engines.shard_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

Shard Configuration¶

Overview¶

The shard configuration contains static information for shard engine instances.

The Shard Local Configuration¶

ShardLocalCfg¶

The type for engine-specific local configuration.

type ShardLocalCfg := mk;

The Shard Configuration¶

ShardCfg¶

ShardCfg : Type := EngineCfg ShardLocalCfg;

Instantiation¶

shardCfg : ShardCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "shard";
    cfg := ShardLocalCfg.mk;
  };