module arch.node.net.node_proxy_environment;

import arch.node.net.node_proxy_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;
import arch.node.types.anoma_message as Anoma open;

Node Proxy Environment¶

Overview¶

The Engine environment of the engine.

Mailbox states¶

syntax alias NodeProxyMailboxState := Unit;

Local state¶

type NodeProxyLocalState := mkNodeProxyLocalState;

Timer Handle¶

NodeProxyTimerHandle : Type := Unit;

Timestamped Trigger¶

NodeProxyTimestampedTrigger : Type :=
  TimestampedTrigger NodeProxyTimerHandle Anoma.Msg;

The Node Proxy Environment¶

NodeProxyEnv¶

NodeProxyEnv : Type :=
  EngineEnv
    NodeProxyLocalState
    NodeProxyMailboxState
    NodeProxyTimerHandle
    Anoma.Msg;

Instantiation¶

exNodeProxyEnv : NodeProxyEnv :=
  mkEngineEnv@{
    localState := mkNodeProxyLocalState;
    mailboxCluster := Map.empty;
    acquaintances := Set.empty;
    timers := [];
  };