module arch.node.engines.reads_for_config;

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

ReadFor Configuration¶

Overview¶

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

The ReadFor Local Configuration¶

ReadsForLocalCfg¶

The type for engine-specific local configuration.

type ReadsForLocalCfg := mk;

The ReadFor Configuration¶

ReadsForCfg¶

ReadsForCfg : Type := EngineCfg ReadsForLocalCfg;

Instantiation¶

readsForCfg : ReadsForCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "reads for";
    cfg := ReadsForLocalCfg.mk;
  };