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
- = BrushSelector
- | EntitySelector
- | AreaSelector
- | OutputPathSelector
- | MapSaveButton
- | ClearEntityButton
data FocusablePanel
- = REPLPanel
- | WorldPanel
- | WorldEditorPanel
- | RobotPanel
- | InfoPanel
data ScenarioConfigPanel
- = ScenarioConfigFileSelector
- | ScenarioConfigPanelControl ScenarioConfigPanelFocusable
data ScenarioConfigPanelFocusable
- = ScriptSelector
- | SeedSelector
- | StartGameButton
data GoalWidget
- = ObjectivesList
- | GoalSummary
data Button
- = CancelButton
- | KeepPlayingButton
- | StartOverButton
- | QuitButton
- | NextButton
data Name
- = FocusablePanel FocusablePanel
- | WorldEditorPanelControl WorldEditorFocusable
- | REPLInput
- | REPLHistoryCache
- | WorldCache
- | WorldExtent
- | WorldPositionIndicator
- | EntityPaintList
- | EntityPaintListItem Int
- | TerrainList
- | TerrainListItem Int
- | InventoryList
- | InventoryListItem Int
- | MenuList
- | AchievementList
- | ScenarioConfigControl ScenarioConfigPanel
- | GoalWidgets GoalWidget
- | ScenarioList
- | InfoViewport
- | ModalViewport
- | REPLViewport
- | Button Button

Documentation

data WorldEditorFocusable Source #

Constructors

BrushSelector
EntitySelector
AreaSelector
OutputPathSelector
MapSaveButton
ClearEntityButton

Instances

Instances details

Bounded WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods minBound :: WorldEditorFocusable # maxBound :: WorldEditorFocusable #
Enum WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods succ :: WorldEditorFocusable -> WorldEditorFocusable # pred :: WorldEditorFocusable -> WorldEditorFocusable # toEnum :: Int -> WorldEditorFocusable # fromEnum :: WorldEditorFocusable -> Int # enumFrom :: WorldEditorFocusable -> [WorldEditorFocusable] # enumFromThen :: WorldEditorFocusable -> WorldEditorFocusable -> [WorldEditorFocusable] # enumFromTo :: WorldEditorFocusable -> WorldEditorFocusable -> [WorldEditorFocusable] # enumFromThenTo :: WorldEditorFocusable -> WorldEditorFocusable -> WorldEditorFocusable -> [WorldEditorFocusable] #
Read WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS WorldEditorFocusable # readList :: ReadS [WorldEditorFocusable] # readPrec :: ReadPrec WorldEditorFocusable # readListPrec :: ReadPrec [WorldEditorFocusable] #
Show WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> WorldEditorFocusable -> ShowS # show :: WorldEditorFocusable -> String # showList :: [WorldEditorFocusable] -> ShowS #
Eq WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool # (/=) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool #
Ord WorldEditorFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: WorldEditorFocusable -> WorldEditorFocusable -> Ordering # (<) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool # (<=) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool # (>) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool # (>=) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool # max :: WorldEditorFocusable -> WorldEditorFocusable -> WorldEditorFocusable # min :: WorldEditorFocusable -> WorldEditorFocusable -> WorldEditorFocusable #

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

Instances details

Bounded FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods minBound :: FocusablePanel # maxBound :: FocusablePanel #
Enum FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods succ :: FocusablePanel -> FocusablePanel # pred :: FocusablePanel -> FocusablePanel # toEnum :: Int -> FocusablePanel # fromEnum :: FocusablePanel -> Int # enumFrom :: FocusablePanel -> [FocusablePanel] # enumFromThen :: FocusablePanel -> FocusablePanel -> [FocusablePanel] # enumFromTo :: FocusablePanel -> FocusablePanel -> [FocusablePanel] # enumFromThenTo :: FocusablePanel -> FocusablePanel -> FocusablePanel -> [FocusablePanel] #
Read FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS FocusablePanel # readList :: ReadS [FocusablePanel] # readPrec :: ReadPrec FocusablePanel # readListPrec :: ReadPrec [FocusablePanel] #
Show FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> FocusablePanel -> ShowS # show :: FocusablePanel -> String # showList :: [FocusablePanel] -> ShowS #
Eq FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: FocusablePanel -> FocusablePanel -> Bool # (/=) :: FocusablePanel -> FocusablePanel -> Bool #
Ord FocusablePanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: FocusablePanel -> FocusablePanel -> Ordering # (<) :: FocusablePanel -> FocusablePanel -> Bool # (<=) :: FocusablePanel -> FocusablePanel -> Bool # (>) :: FocusablePanel -> FocusablePanel -> Bool # (>=) :: FocusablePanel -> FocusablePanel -> Bool # max :: FocusablePanel -> FocusablePanel -> FocusablePanel # min :: FocusablePanel -> FocusablePanel -> FocusablePanel #

data ScenarioConfigPanel Source #

Constructors

ScenarioConfigFileSelector
ScenarioConfigPanelControl ScenarioConfigPanelFocusable

Instances

Instances details

Read ScenarioConfigPanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS ScenarioConfigPanel # readList :: ReadS [ScenarioConfigPanel] # readPrec :: ReadPrec ScenarioConfigPanel # readListPrec :: ReadPrec [ScenarioConfigPanel] #
Show ScenarioConfigPanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> ScenarioConfigPanel -> ShowS # show :: ScenarioConfigPanel -> String # showList :: [ScenarioConfigPanel] -> ShowS #
Eq ScenarioConfigPanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool # (/=) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool #
Ord ScenarioConfigPanel Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: ScenarioConfigPanel -> ScenarioConfigPanel -> Ordering # (<) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool # (<=) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool # (>) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool # (>=) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool # max :: ScenarioConfigPanel -> ScenarioConfigPanel -> ScenarioConfigPanel # min :: ScenarioConfigPanel -> ScenarioConfigPanel -> ScenarioConfigPanel #

data ScenarioConfigPanelFocusable Source #

Constructors

ScriptSelector	The file selector for launching a scenario with a script
SeedSelector
StartGameButton

Instances

Instances details

Bounded ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods minBound :: ScenarioConfigPanelFocusable # maxBound :: ScenarioConfigPanelFocusable #
Enum ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods succ :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable # pred :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable # toEnum :: Int -> ScenarioConfigPanelFocusable # fromEnum :: ScenarioConfigPanelFocusable -> Int # enumFrom :: ScenarioConfigPanelFocusable -> [ScenarioConfigPanelFocusable] # enumFromThen :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> [ScenarioConfigPanelFocusable] # enumFromTo :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> [ScenarioConfigPanelFocusable] # enumFromThenTo :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> [ScenarioConfigPanelFocusable] #
Read ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS ScenarioConfigPanelFocusable # readList :: ReadS [ScenarioConfigPanelFocusable] # readPrec :: ReadPrec ScenarioConfigPanelFocusable # readListPrec :: ReadPrec [ScenarioConfigPanelFocusable] #
Show ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> ScenarioConfigPanelFocusable -> ShowS # show :: ScenarioConfigPanelFocusable -> String # showList :: [ScenarioConfigPanelFocusable] -> ShowS #
Eq ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool # (/=) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool #
Ord ScenarioConfigPanelFocusable Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Ordering # (<) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool # (<=) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool # (>) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool # (>=) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool # max :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable # min :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable #

data GoalWidget Source #

Constructors

ObjectivesList
GoalSummary

Instances

Instances details

Bounded GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods minBound :: GoalWidget # maxBound :: GoalWidget #
Enum GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods succ :: GoalWidget -> GoalWidget # pred :: GoalWidget -> GoalWidget # toEnum :: Int -> GoalWidget # fromEnum :: GoalWidget -> Int # enumFrom :: GoalWidget -> [GoalWidget] # enumFromThen :: GoalWidget -> GoalWidget -> [GoalWidget] # enumFromTo :: GoalWidget -> GoalWidget -> [GoalWidget] # enumFromThenTo :: GoalWidget -> GoalWidget -> GoalWidget -> [GoalWidget] #
Read GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS GoalWidget # readList :: ReadS [GoalWidget] # readPrec :: ReadPrec GoalWidget # readListPrec :: ReadPrec [GoalWidget] #
Show GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> GoalWidget -> ShowS # show :: GoalWidget -> String # showList :: [GoalWidget] -> ShowS #
Eq GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: GoalWidget -> GoalWidget -> Bool # (/=) :: GoalWidget -> GoalWidget -> Bool #
Ord GoalWidget Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: GoalWidget -> GoalWidget -> Ordering # (<) :: GoalWidget -> GoalWidget -> Bool # (<=) :: GoalWidget -> GoalWidget -> Bool # (>) :: GoalWidget -> GoalWidget -> Bool # (>=) :: GoalWidget -> GoalWidget -> Bool # max :: GoalWidget -> GoalWidget -> GoalWidget # min :: GoalWidget -> GoalWidget -> GoalWidget #

data Button Source #

Clickable buttons in modal dialogs.

Constructors

CancelButton
KeepPlayingButton
StartOverButton
QuitButton
NextButton

Instances

Instances details

Bounded Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods minBound :: Button # maxBound :: Button #
Enum Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods succ :: Button -> Button # pred :: Button -> Button # toEnum :: Int -> Button # fromEnum :: Button -> Int # enumFrom :: Button -> [Button] # enumFromThen :: Button -> Button -> [Button] # enumFromTo :: Button -> Button -> [Button] # enumFromThenTo :: Button -> Button -> Button -> [Button] #
Read Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS Button # readList :: ReadS [Button] # readPrec :: ReadPrec Button # readListPrec :: ReadPrec [Button] #
Show Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> Button -> ShowS # show :: Button -> String # showList :: [Button] -> ShowS #
Eq Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: Button -> Button -> Bool # (/=) :: Button -> Button -> Bool #
Ord Button Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: Button -> Button -> Ordering # (<) :: Button -> Button -> Bool # (<=) :: Button -> Button -> Bool # (>) :: Button -> Button -> Bool # (>=) :: Button -> Button -> Bool # max :: Button -> Button -> Button # min :: Button -> Button -> Button #

data Name Source #

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.
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.
ScenarioList	The list of scenario choices.
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.

Instances

Instances details

Read Name Source #
Instance details Defined in Swarm.TUI.Model.Name Methods readsPrec :: Int -> ReadS Name # readList :: ReadS [Name] # readPrec :: ReadPrec Name # readListPrec :: ReadPrec [Name] #
Show Name Source #
Instance details Defined in Swarm.TUI.Model.Name Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Eq Name Source #
Instance details Defined in Swarm.TUI.Model.Name Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in Swarm.TUI.Model.Name Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #