module arch.node.example.ticker_config;

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

Ticker Configuration¶

Overview¶

The static configuration of the engine.

The Ticker Local Configuration¶

TickerLocalCfg¶

The type for engine-specific local configuration.

type TickerLocalCfg := mkTickerLocalCfg;

The Ticker Configuration¶

TickerCfg¶

TickerCfg : Type := EngineCfg TickerLocalCfg;

Instantiation¶

tickerCfg : TickerCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "ticker";
    cfg := mkTickerLocalCfg;
  };