module arch.node.engines.template_config;

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

Template Configuration¶

Overview¶

The static configuration of the engine.

The Template Local Configuration¶

TemplateLocalCfg¶

The type for engine-specific local configuration.

type TemplateLocalCfg :=
  mkTemplateLocalCfg@{
    example : Nat;
    value : String;
  };

The Template Configuration¶

TemplateCfg¶

TemplateCfg : Type := EngineCfg TemplateLocalCfg;

Instantiation¶

templateCfg : TemplateCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "template";
    cfg :=
      mkTemplateLocalCfg@{
        example := 1;
        value := "hello world";
      };
  };