module arch.node.engines.wall_clock_messages;

import prelude open;

Wall Clock Messages¶

These are the messages that the Wall Clock engine can receive/respond to.

Message Interface¶

syntax alias StorageKey := String;

syntax alias StorageValue := String;

syntax alias EpochTimestamp := Nat;

WallClockGetTime¶

A WallClockGetTime message tracks and manages time within the local computing environment. This message doesn't require any arguments.

WallClockGetTimeResult TimeResult¶

Response to a WallClockGetTime request.

type TimeResult : Type := mkTimeResult@{epochTime : EpochTimestamp};

WallClockMsg¶

type WallClockMsg :=
  | WallClockGetTime
  | WallClockGetTimeResult TimeResult;

Message Flow¶

Wall Clock Request & Response¶

sequenceDiagram
    participant WallClockClient
    participant WallClock

    WallClockClient ->> WallClock: WallClockGetTime
    WallClock ->> WallClockClient: WallClockGetTimeResult