module arch.node.net.transport_connection_config;

import arch.node.net.transport_connection_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

Transport Connection Configuration¶

Overview¶

The static configuration of the engine.

The Transport Connection Local Configuration¶

TransportConnectionLocalCfg¶

The type for engine-specific local configuration.

type TransportConnectionLocalCfg := mkTransportConnectionLocalCfg;

The Transport Connection Configuration¶

TransportConnectionCfg¶

TransportConnectionCfg : Type := EngineCfg TransportConnectionLocalCfg;

Instantiation¶

exTransportConnectionCfg : TransportConnectionCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "transport-connection";
    cfg := mkTransportConnectionLocalCfg;
  };