module arch.node.engines.pub_sub_topic_config;

import arch.node.engines.pub_sub_topic_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

Pub/Sub Topic Configuration¶

Overview¶

The static configuration of the engine.

Local Configuration¶

PubSubTopicLocalCfg¶

The type for engine-specific local configuration.

type PubSubTopicLocalCfg := mk;

Engine Configuration¶

PubSubTopicCfg¶

PubSubTopicCfg : Type := EngineCfg PubSubTopicLocalCfg;

Instantiation¶

exPubSubTopicCfg : PubSubTopicCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "pub-sub-topic";
    cfg := PubSubTopicLocalCfg.mk;
  };