License | BSD-3-Clause |
---|---|
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Swarm.TUI.Model.Name
Description
Sum types representing the Brick names for every referenceable widget.
Nesting of name types is utilized often to simplify case matching.
Synopsis
- data WorldEditorFocusable
- data FocusablePanel
- data ScenarioConfigPanel
- data ScenarioConfigPanelFocusable
- data GoalWidget
- data StructureWidget
- data Button
- data RobotDetailSubpane
- data RobotsDisplayMode
- data Name
- = FocusablePanel FocusablePanel
- | WorldEditorPanelControl WorldEditorFocusable
- | REPLInput
- | REPLHistoryCache
- | WorldCache
- | WorldExtent
- | WorldPositionIndicator
- | EntityPaintList
- | EntityPaintListItem Int
- | TerrainList
- | TerrainListItem Int
- | InventoryList
- | InventoryListItem Int
- | ScenarioPreview FilePath
- | MenuList
- | AchievementList
- | ScenarioConfigControl ScenarioConfigPanel
- | GoalWidgets GoalWidget
- | StructureWidgets StructureWidget
- | ScenarioList
- | RobotsListDialog RobotsDisplayMode
- | InfoViewport
- | ModalViewport
- | REPLViewport
- | Button Button
- | UIShortcut Text
- | CustomName Text
Documentation
data WorldEditorFocusable Source #
Constructors
BrushSelector | |
EntitySelector | |
AreaSelector | |
OutputPathSelector | |
MapSaveButton | |
ClearEntityButton |
Instances
data FocusablePanel Source #
Constructors
REPLPanel | The panel containing the REPL. |
WorldPanel | The panel containing the world view. |
WorldEditorPanel | The panel containing the world editor controls. |
RobotPanel | The panel showing robot info and inventory on the top left. |
InfoPanel | The info panel on the bottom left. |
Instances
data ScenarioConfigPanel Source #
Instances
data ScenarioConfigPanelFocusable Source #
Constructors
ScriptSelector | The file selector for launching a scenario with a script |
SeedSelector | |
StartGameButton |
Instances
data GoalWidget Source #
Constructors
ObjectivesList | |
GoalSummary |
Instances
data StructureWidget Source #
Constructors
StructuresList | |
StructureSummary |
Instances
Clickable buttons in modal dialogs.
Constructors
CancelButton | |
KeepPlayingButton | |
StartOverButton | |
QuitButton | |
NextButton |
data RobotDetailSubpane Source #
Robot details
Constructors
RobotLogPane | |
RobotCommandHistogramPane |
Instances
data RobotsDisplayMode Source #
Constructors
RobotList | |
SingleRobotDetails RobotDetailSubpane |
Instances
Name
represents names to uniquely identify various components
of the UI, such as forms, panels, caches, extents, lists, and buttons.
Constructors
FocusablePanel FocusablePanel | |
WorldEditorPanelControl WorldEditorFocusable | An individual control within the world editor panel. |
REPLInput | The REPL input form. |
REPLHistoryCache | The REPL history cache. |
WorldCache | The render cache for the world view. |
WorldExtent | The cached extent for the world view. |
WorldPositionIndicator | The cursor/viewCenter display in the bottom left of the World view |
EntityPaintList | The list of possible entities to paint a map with. |
EntityPaintListItem Int | The entity paint item position in the EntityPaintList. |
TerrainList | The list of possible terrain materials. |
TerrainListItem Int | The terrain item position in the TerrainList. |
InventoryList | The list of inventory items for the currently focused robot. |
InventoryListItem Int | The inventory item position in the InventoryList. |
ScenarioPreview FilePath | Cacheable scenario preview |
MenuList | The list of main menu choices. |
AchievementList | The list of achievements. |
ScenarioConfigControl ScenarioConfigPanel | An individual control within the scenario launch config panel |
GoalWidgets GoalWidget | The list of goals/objectives. |
StructureWidgets StructureWidget | The list of goals/objectives. |
ScenarioList | The list of scenario choices. |
RobotsListDialog RobotsDisplayMode | The robots list |
InfoViewport | The scrollable viewport for the info panel. |
ModalViewport | The scrollable viewport for any modal dialog. |
REPLViewport | The scrollable viewport for the REPL. |
Button Button | A clickable button in a modal dialog. |
UIShortcut Text | A clickable shortcut in the TUI. |
CustomName Text | A custom widget name, for use in applications built on top of the Swarm library. |