Swarm.TUI.Model.Name

Documentation

data FocusablePanel

Constructors

REPLPanel

The panel containing the REPL.

WorldPanel

The panel containing the world view.

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 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

REPLInput

The REPL input form.

WorldCache

The render cache for the world view.

WorldExtent

The cached extent for the world view.

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.

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.

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