Swarm.TUI.Model.Name

Sum types representing the Brick names for every referenceable widget.

Nesting of name types is utilized often to simplify case matching.

Documentation

data WorldEditorFocusable

Constructors

BrushSelector

EntitySelector

AreaSelector

OutputPathSelector

MapSaveButton

ClearEntityButton

Instances

Bounded WorldEditorFocusable

Defined in Swarm.TUI.Model.Name

Methods

minBound :: WorldEditorFocusable

maxBound :: WorldEditorFocusable

Enum WorldEditorFocusable

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

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS WorldEditorFocusable

readList :: ReadS [WorldEditorFocusable]

readPrec :: ReadPrec WorldEditorFocusable

readListPrec :: ReadPrec [WorldEditorFocusable]

Show WorldEditorFocusable

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> WorldEditorFocusable -> ShowS

show :: WorldEditorFocusable -> String

showList :: [WorldEditorFocusable] -> ShowS

Eq WorldEditorFocusable

Defined in Swarm.TUI.Model.Name

Methods

(==) :: WorldEditorFocusable -> WorldEditorFocusable -> Bool

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

Ord WorldEditorFocusable

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

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

Bounded FocusablePanel

Defined in Swarm.TUI.Model.Name

Methods

minBound :: FocusablePanel

maxBound :: FocusablePanel

Enum FocusablePanel

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

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS FocusablePanel

readList :: ReadS [FocusablePanel]

readPrec :: ReadPrec FocusablePanel

readListPrec :: ReadPrec [FocusablePanel]

Show FocusablePanel

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> FocusablePanel -> ShowS

show :: FocusablePanel -> String

showList :: [FocusablePanel] -> ShowS

Eq FocusablePanel

Defined in Swarm.TUI.Model.Name

Methods

(==) :: FocusablePanel -> FocusablePanel -> Bool

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

Ord FocusablePanel

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

Constructors

ScenarioConfigFileSelector

ScenarioConfigPanelControl ScenarioConfigPanelFocusable

Instances

Read ScenarioConfigPanel

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS ScenarioConfigPanel

readList :: ReadS [ScenarioConfigPanel]

readPrec :: ReadPrec ScenarioConfigPanel

readListPrec :: ReadPrec [ScenarioConfigPanel]

Show ScenarioConfigPanel

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> ScenarioConfigPanel -> ShowS

show :: ScenarioConfigPanel -> String

showList :: [ScenarioConfigPanel] -> ShowS

Eq ScenarioConfigPanel

Defined in Swarm.TUI.Model.Name

Methods

(==) :: ScenarioConfigPanel -> ScenarioConfigPanel -> Bool

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

Ord ScenarioConfigPanel

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

Constructors

ScriptSelector

The file selector for launching a scenario with a script

SeedSelector

StartGameButton

Instances

Bounded ScenarioConfigPanelFocusable

Defined in Swarm.TUI.Model.Name

Methods

minBound :: ScenarioConfigPanelFocusable

maxBound :: ScenarioConfigPanelFocusable

Enum ScenarioConfigPanelFocusable

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

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS ScenarioConfigPanelFocusable

readList :: ReadS [ScenarioConfigPanelFocusable]

readPrec :: ReadPrec ScenarioConfigPanelFocusable

readListPrec :: ReadPrec [ScenarioConfigPanelFocusable]

Show ScenarioConfigPanelFocusable

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> ScenarioConfigPanelFocusable -> ShowS

show :: ScenarioConfigPanelFocusable -> String

showList :: [ScenarioConfigPanelFocusable] -> ShowS

Eq ScenarioConfigPanelFocusable

Defined in Swarm.TUI.Model.Name

Methods

(==) :: ScenarioConfigPanelFocusable -> ScenarioConfigPanelFocusable -> Bool

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

Ord ScenarioConfigPanelFocusable

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

Constructors

ObjectivesList

GoalSummary

Instances

Bounded GoalWidget

Defined in Swarm.TUI.Model.Name

Methods

minBound :: GoalWidget

maxBound :: GoalWidget

Enum GoalWidget

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

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS GoalWidget

readList :: ReadS [GoalWidget]

readPrec :: ReadPrec GoalWidget

readListPrec :: ReadPrec [GoalWidget]

Show GoalWidget

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> GoalWidget -> ShowS

show :: GoalWidget -> String

showList :: [GoalWidget] -> ShowS

Eq GoalWidget

Defined in Swarm.TUI.Model.Name

Methods

(==) :: GoalWidget -> GoalWidget -> Bool

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

Ord GoalWidget

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

Clickable buttons in modal dialogs.

Constructors

CancelButton

KeepPlayingButton

StartOverButton

QuitButton

NextButton

Instances

Bounded Button

Defined in Swarm.TUI.Model.Name

Methods

minBound :: Button

maxBound :: Button

Enum Button

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

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS Button

readList :: ReadS [Button]

readPrec :: ReadPrec Button

readListPrec :: ReadPrec [Button]

Show Button

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> Button -> ShowS

show :: Button -> String

showList :: [Button] -> ShowS

Eq Button

Defined in Swarm.TUI.Model.Name

Methods

(==) :: Button -> Button -> Bool

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

Ord Button

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

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

Read Name

Defined in Swarm.TUI.Model.Name

Methods

readsPrec :: Int -> ReadS Name

readList :: ReadS [Name]

readPrec :: ReadPrec Name

readListPrec :: ReadPrec [Name]

Show Name

Defined in Swarm.TUI.Model.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Eq Name

Defined in Swarm.TUI.Model.Name

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

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