Swarm.TUI.Controller

Event handlers for the TUI.

Event handling

handleEvent :: BrickEvent Name AppEvent -> EventM Name AppState ()

The top-level event handler for the TUI.

quitGame :: EventM Name AppState ()

Quit a game.

• writes out the updated REPL history to a .swarm_history file
• saves current scenario status (InProgress/Completed)
• advances the menu to the next scenario IF the current one was won
• returns to the previous menu

Handling Frame events

runFrameUI :: Bool -> EventM Name AppState ()

Run the game for a single frame (i.e. screen redraw), then update the UI. Depending on how long it is taking to draw each frame, and how many ticks per second we are trying to achieve, this may involve stepping the game any number of ticks (including zero).

ticksPerFrameCap :: Int

runGameTickUI :: EventM Name AppState ()

Run the game for a single tick, and update the UI.

REPL panel

runBaseWebCode :: MonadState AppState m => Text -> m ()

handleREPLEvent :: BrickEvent Name AppEvent -> EventM Name AppState ()

Handle a user input event for the REPL.

validateREPLForm :: AppState -> AppState

Validate the REPL input when it changes: see if it parses and typechecks, and set the color accordingly.

adjReplHistIndex :: TimeDir -> AppState -> AppState

Update our current position in the REPL history.

data TimeDir

Constructors

Newer

Older

Instances

Show TimeDir

Defined in Swarm.TUI.Model.Repl

Methods

showsPrec :: Int -> TimeDir -> ShowS

show :: TimeDir -> String

showList :: [TimeDir] -> ShowS

Eq TimeDir

Defined in Swarm.TUI.Model.Repl

Methods

(==) :: TimeDir -> TimeDir -> Bool

(/=) :: TimeDir -> TimeDir -> Bool

Ord TimeDir

Defined in Swarm.TUI.Model.Repl

Methods

compare :: TimeDir -> TimeDir -> Ordering

(<) :: TimeDir -> TimeDir -> Bool

(<=) :: TimeDir -> TimeDir -> Bool

(>) :: TimeDir -> TimeDir -> Bool

(>=) :: TimeDir -> TimeDir -> Bool

max :: TimeDir -> TimeDir -> TimeDir

min :: TimeDir -> TimeDir -> TimeDir

Info panel

handleInfoPanelEvent :: ViewportScroll Name -> BrickEvent Name AppEvent -> EventM Name AppState ()

Handle user events in the info panel (just scrolling).

TODO: #2010 Finish porting Controller to KeyEventHandlers