module arch.node.net.pub_sub_topic_config;

import arch.node.net.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 := mkPubSubTopicLocalCfg;

Engine Configuration¶

PubSubTopicCfg¶

PubSubTopicCfg : Type := EngineCfg PubSubTopicLocalCfg;

Instantiation¶

exPubSubTopicCfg : PubSubTopicCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "pub-sub-topic";
    cfg := mkPubSubTopicLocalCfg;
  };