module tutorial.engines.template_config;

import tutorial.engines.template_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

Template Configuration¶

Overview¶

The static configuration of the engine.

Local Configuration¶

TemplateLocalCfg¶

The type for engine-specific local configuration.

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

Engine Configuration¶

TemplateCfg¶

TemplateCfg : Type := EngineCfg TemplateLocalCfg;

Instantiation¶

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