Description
Command
subtype Command is Command_Type;
Command_Type
type Command_Type is private;
Has_Command
function Has_Command (Item : Transition) return Boolean
Parameters
- Item
Return value
Pending_Command
function Pending_Command (Item : Transition) return Command_Type
Parameters
- Item
Return value
Quit
procedure Quit (Item : in out Transition)
Parameters
- Item
Reset
procedure Reset (Item : in out Transition)
Parameters
- Item
Run
procedure Run (Item : in out Transition; Command : Command_Type)
Parameters
- Item
- Command
Should_Quit
function Should_Quit (Item : Transition) return Boolean
Parameters
- Item
Return value
Transition
type Transition is tagged private;
One command request emitted by an update. Command_Type may itself encode batching or sequencing, matching the single-command transition used by Elm-style runtimes without making command payloads dynamically typed.