Ticker Environment¶
Juvix preamble
module node_architecture.engines.ticker_environment;
import prelude open;
import node_architecture.types.basics open;
import node_architecture.engines.ticker_overview open;
import node_architecture.types.engine_environment open;
Overview¶
The sole data item of the ticker environment that deserves mention is the counter; we do not need timers, or mailbox state.
Mailbox states¶
syntax alias TickerMailboxState := Unit;
Local state¶
type TickerLocalState : Type := mkTickerLocalState {counter : Nat};
Timer Handle¶
syntax alias TickerTimerHandle := Unit;
The ticker does not require a timer handle type.
Therefore, we define the timer handle type as Unit.
Environment summary¶
TickerEnvironment : Type :=
EngineEnvironment TickerLocalState TickerMailboxState TickerTimerHandle;
Example of a Ticker environment¶
tickerEnvironmentExample : TickerEnvironment :=
mkEngineEnvironment@{
name := "ticker";
localState :=
mkTickerLocalState@{
counter := 0
};
mailboxCluster := Map.empty;
acquaintances := Set.empty;
timers := []
};