module arch.node.engines.logging_config;

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

Logging Configuration¶

Overview¶

The logging engine configuration contains static information for logging engine instances.

The Logging Local Configuration¶

LoggingLocalCfg¶

The type for engine-specific local configuration.

type LoggingLocalCfg := mk;

The Logging Configuration¶

LoggingCfg¶

LoggingCfg : Type := EngineCfg LoggingLocalCfg;

Instantiation¶

loggingCfg : LoggingCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "logging";
    cfg := LoggingLocalCfg.mk;
  };