module arch.node.engines.mempool_worker_config;

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

Mempool Worker Configuration¶

Overview¶

The Mempool Worker engine configuration contains static information for Mempool Worker engine instances.

The Mempool Worker Local Configuration¶

MempoolWorkerLocalCfg¶

The type for engine-specific local configuration.

type MempoolWorkerLocalCfg :=
  mk@{
    keyToShard : KVSKey -> EngineID;
  };

The Mempool Worker Configuration¶

MempoolWorkerCfg¶

MempoolWorkerCfg : Type := EngineCfg MempoolWorkerLocalCfg;

Instantiation¶

mempoolWorkerCfg : MempoolWorkerCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "mempool worker";
    cfg :=
      MempoolWorkerLocalCfg.mk@{
        keyToShard := \{_ := mkPair none "shard"};
      };
  };