%%= | Swarm.Util |
.+^ | Swarm.Util.Location |
.-. | Swarm.Util.Location |
.-^ | Swarm.Util.Location |
..!= | Swarm.Util.Yaml |
..: | Swarm.Util.Yaml |
..:? | Swarm.Util.Yaml |
/\ | Data.BoolExpr |
:$: | Swarm.Language.Syntax |
:*: | Swarm.Language.Types |
:+: | Swarm.Language.Types |
:->: | Swarm.Language.Types |
<%= | Swarm.Util |
<+= | Swarm.Util |
<<.= | Swarm.Util |
<>= | Swarm.Util |
=:= | Swarm.Language.Typecheck |
? | Swarm.Util |
About | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
AboutMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
AbsoluteDir | Swarm.Language.Syntax |
accumulatedTime | Swarm.TUI.Model.UI |
Achievement | Swarm.TUI.Model.Failure |
achievement | Swarm.TUI.Model.Achievement.Attainment |
AchievementInfo | |
1 (Type/Class) | Swarm.TUI.Model.Achievement.Definitions |
2 (Data Constructor) | Swarm.TUI.Model.Achievement.Definitions |
achievementJsonOptions | Swarm.TUI.Model.Achievement.Attainment |
AchievementList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
Achievements | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
AchievementsMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
activateRobot | Swarm.Game.State |
Active | Swarm.Game.Scenario.Objective.Presentation.Model |
activeRobots | Swarm.Game.State |
actualGraph | Swarm.Game.Scenario.Objective.Graph |
Add | Swarm.Language.Syntax |
addBinding | Swarm.Language.Context |
addCompleted | Swarm.Game.Scenario.Objective |
AddEntity | Swarm.Game.CESK, Swarm.Game.Robot |
addIncomplete | Swarm.Game.Scenario.Objective |
Addr | Swarm.Game.CESK |
addREPLItem | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
addRobot | Swarm.Game.State |
addSeedBot | Swarm.Game.Step |
addTRobot | Swarm.Game.State |
addUnwinnable | Swarm.Game.Scenario.Objective |
adjList | Swarm.Game.State |
adjReplHistIndex | Swarm.TUI.Controller |
adjustTPS | Swarm.TUI.Controller |
Affine | Swarm.Util.Location |
allConst | Swarm.Language.Syntax |
allDirs | Swarm.Language.Syntax |
allDiscoveredEntities | Swarm.Game.State |
allocate | Swarm.Game.CESK |
And | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
Announcement | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.Game.State |
announcementQueue | Swarm.Game.State |
announcements | Swarm.Game.Scenario.Objective.Presentation.Model |
app | Swarm.App |
appData | Swarm.TUI.Model.UI |
Appear | Swarm.Language.Syntax |
AppEvent | Swarm.TUI.Model |
AppF | Swarm.Language.Syntax |
appliedTermPrec | Swarm.Language.Pretty |
applyBindings | Swarm.Language.Typecheck |
applyTurn | Swarm.Language.Syntax |
applyViewCenterRule | Swarm.Game.State |
appMain | Swarm.App |
AppOpts | |
1 (Type/Class) | Swarm.TUI.Model |
2 (Data Constructor) | Swarm.TUI.Model |
AppState | |
1 (Type/Class) | Swarm.TUI.Model |
2 (Data Constructor) | Swarm.TUI.Model |
area | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
arity | Swarm.Language.Syntax |
Artificial | Swarm.Game.WorldGen |
As | Swarm.Language.Syntax |
Ascending | Swarm.TUI.Inventory.Sorting |
Asset | Swarm.TUI.Model.Failure |
AssetNotLoaded | Swarm.TUI.Model.Failure |
assignIds | Swarm.Game.Scenario.Objective.Graph |
assocs | Swarm.Language.Context |
Atomic | Swarm.Language.Syntax |
AtomicDupingThing | Swarm.Language.Typecheck |
attainAchievement | Swarm.TUI.Model.StateUpdate |
attainAchievement' | Swarm.TUI.Model.StateUpdate |
Attainment | |
1 (Type/Class) | Swarm.TUI.Model.Achievement.Attainment |
2 (Data Constructor) | Swarm.TUI.Model.Achievement.Attainment |
attainmentProcess | Swarm.TUI.Model.Achievement.Definitions |
AttemptSelfDestructBase | Swarm.TUI.Model.Achievement.Definitions |
attribution | Swarm.TUI.Model.Achievement.Definitions |
AutoPause | Swarm.Game.State |
autoPlay | Swarm.TUI.Model |
availableCommands | Swarm.Game.State |
availableRecipes | Swarm.Game.State |
BActor | Swarm.Language.Types |
BAnd | Data.BoolExpr |
Base | Swarm.Language.Syntax |
baseRobot | Swarm.Game.State |
BaseTy | Swarm.Language.Types |
BBool | Swarm.Language.Types |
BConst | Data.BoolExpr |
bConst | Data.BoolExpr |
BDir | Swarm.Language.Types |
BFalse | Data.BoolExpr |
bFalse | Data.BoolExpr |
bg | Swarm.Game.Scenario.Style |
Big | Swarm.Game.WorldGen |
Bind | Swarm.Language.LSP.VarUsage |
BindingSites | Swarm.Language.LSP.VarUsage |
BindingType | Swarm.Language.LSP.VarUsage |
binOps | Swarm.Language.Parse |
BInt | Swarm.Language.Types |
binTuples | Swarm.Util |
Blackhole | Swarm.Game.CESK |
BlankT | Swarm.Game.Terrain |
Blink | Swarm.Game.Scenario.Style |
Blocked | Swarm.Language.Syntax |
blueAttr | Swarm.TUI.Attr |
BNot | Data.BoolExpr |
bNot | Data.BoolExpr |
Bold | Swarm.Game.Scenario.Style |
boldAttr | Swarm.TUI.Attr |
Boolean | Data.BoolExpr |
BoolExpr | Data.BoolExpr |
boolTreeToCNF | Data.BoolExpr |
boolTreeToDNF | Data.BoolExpr |
BOr | Data.BoolExpr |
BorderLabels | Swarm.TUI.Border |
borderWithLabels | Swarm.TUI.Border |
bottomLabels | Swarm.TUI.Border |
bquote | Swarm.Util |
briefDoc | Swarm.Language.Syntax |
BText | Swarm.Language.Types |
BTrue | Data.BoolExpr |
bTrue | Data.BoolExpr |
Build | Swarm.Language.Syntax |
buildEntityMap | Swarm.Game.Entity |
buildRobotMap | Swarm.Game.Scenario.RobotLookup |
builtinFunctionList | Swarm.DocGen |
BUnit | Swarm.Language.Types |
Button | |
1 (Data Constructor) | Swarm.TUI.Model.Name, Swarm.TUI.Model |
2 (Type/Class) | Swarm.TUI.Model.Name, Swarm.TUI.Model |
ButtonAction | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
BVoid | Swarm.Language.Types |
ByNaturalAlphabetic | Swarm.TUI.Inventory.Sorting |
ByQuantity | Swarm.TUI.Inventory.Sorting |
ByType | Swarm.TUI.Inventory.Sorting |
Cancel | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
cancel | Swarm.Game.CESK |
CancelButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
cannotBeTrue | Data.BoolExpr.Simplify |
CanNotParse | Swarm.TUI.Model.Failure |
CantInfer | Swarm.Language.Typecheck |
Capabilities | Swarm.DocGen |
Capability | Swarm.Language.Capability |
capabilityAddress | Swarm.DocGen |
capabilityName | Swarm.Language.Capability |
capabilityPage | Swarm.DocGen |
CAppear | Swarm.Language.Capability |
capReqs | Swarm.Language.Requirement |
CArith | Swarm.Language.Capability |
Case | Swarm.Language.Syntax |
CategorizedAchievement | Swarm.TUI.Model.Achievement.Definitions |
categorizedAchievementJsonOptions | Swarm.TUI.Model.Achievement.Definitions |
CategorizedGoals | Swarm.Game.Scenario.Objective.Presentation.Model |
CAtomic | Swarm.Language.Capability |
CBuild | Swarm.Language.Capability |
CCode | Swarm.Language.Capability |
CCompare | Swarm.Language.Capability |
CCond | Swarm.Language.Capability |
CCount | Swarm.Language.Capability |
CCreate | Swarm.Language.Capability |
CDrill | Swarm.Language.Capability |
Cell | |
1 (Type/Class) | Swarm.Game.CESK |
2 (Type/Class) | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
3 (Data Constructor) | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
cellEntity | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
cellRobots | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
cellTerrain | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
centerLabel | Swarm.TUI.Border |
CEnv | Swarm.Language.Capability |
CEquip | Swarm.Language.Capability |
CESK | Swarm.Game.CESK |
CFloat | Swarm.Language.Capability |
CGive | Swarm.Language.Capability |
CGod | Swarm.Language.Capability |
CGrab | Swarm.Language.Capability |
CharAt | Swarm.Language.Syntax |
CharKey | Swarm.TUI.Controller.Util |
Chars | Swarm.Language.Syntax |
CHarvest | Swarm.Language.Capability |
cheatMode | Swarm.TUI.Model |
CheatSheet | Swarm.DocGen |
check | Swarm.Language.Typecheck |
checkOccurrences | Swarm.Language.LSP.VarUsage |
chooseCursor | Swarm.TUI.View |
CLambda | Swarm.Language.Capability |
classicGame0 | Swarm.Game.State |
clearFocusedRobotLogUpdated | Swarm.Game.State |
CListen | Swarm.Language.Capability |
CLog | Swarm.Language.Capability |
CMake | Swarm.Language.Capability |
cmdExn | Swarm.Game.Step |
cmdExnWithAchievement | Swarm.Game.Step |
CmdFailed | Swarm.Game.Exception |
CmdPrompt | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
CMeet | Swarm.Language.Capability |
CMove | Swarm.Language.Capability |
CMoveheavy | Swarm.Language.Capability |
CNegation | Swarm.Language.Capability |
CNF | |
1 (Type/Class) | Data.BoolExpr |
2 (Data Constructor) | Data.BoolExpr |
CodeToRun | Swarm.Game.State |
ColorMode | Swarm.TUI.Model |
colorMode | Swarm.TUI.Model |
ColorMode16 | Swarm.TUI.Model |
ColorMode240 | Swarm.TUI.Model |
ColorMode8 | Swarm.TUI.Model |
commaList | Swarm.Util |
Commands | Swarm.DocGen |
commandsAddress | Swarm.DocGen |
CommandsModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
commandsPage | Swarm.DocGen |
compareValues | Swarm.Game.Step |
Complete | Swarm.Game.ScenarioInfo |
Completed | Swarm.Game.Scenario.Objective.Presentation.Model |
completed | Swarm.Game.Scenario.Objective |
CompletedAllTutorials | Swarm.TUI.Model.Achievement.Definitions |
completedIDs | Swarm.Game.Scenario.Objective, Swarm.Game.State |
CompletedSingleTutorial | Swarm.TUI.Model.Achievement.Definitions |
completionAnnouncementQueue | Swarm.Game.Step |
CompletionBuckets | |
1 (Type/Class) | Swarm.Game.Scenario.Objective |
2 (Data Constructor) | Swarm.Game.Scenario.Objective |
completionBuckets | Swarm.Game.Scenario.Objective, Swarm.Game.State |
completions | Swarm.Game.Step |
CompletionsWithExceptions | |
1 (Type/Class) | Swarm.Game.Step |
2 (Data Constructor) | Swarm.Game.Step |
Concat | Swarm.Language.Syntax |
ConcreteRobot | Swarm.Game.Robot |
Conj | |
1 (Type/Class) | Data.BoolExpr |
2 (Data Constructor) | Data.BoolExpr |
Const | Swarm.Language.Syntax |
constants | Data.BoolExpr |
constCaps | Swarm.Language.Capability |
constCapsFor | Swarm.Game.Step |
ConstDoc | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
constDoc | Swarm.Language.Syntax |
ConstInfo | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
constInfo | Swarm.Language.Syntax |
ConstMBinOp | Swarm.Language.Syntax |
ConstMeta | Swarm.Language.Syntax |
constMeta | Swarm.Language.Syntax |
ConstMFunc | Swarm.Language.Syntax |
ConstMUnOp | Swarm.Language.Syntax |
constructGoalMap | Swarm.Game.Scenario.Objective.Presentation.Model |
Cont | Swarm.Game.CESK |
contains | Swarm.Game.Entity |
contains0plus | Swarm.Game.Entity |
content | Swarm.TUI.Model.Achievement.Definitions |
ControlChar | Swarm.TUI.Controller.Util |
Coords | |
1 (Type/Class) | Swarm.Game.World |
2 (Data Constructor) | Swarm.Game.World |
coordsToLoc | Swarm.Game.World |
COrient | Swarm.Language.Capability |
Count | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.Entity |
countByName | Swarm.Game.Entity |
CPlace | Swarm.Language.Capability |
CPower | Swarm.Language.Capability |
CProd | Swarm.Language.Capability |
CraftedBitcoin | Swarm.TUI.Model.Achievement.Definitions |
CRandom | Swarm.Language.Capability |
Create | Swarm.Language.Syntax |
createLogEntry | Swarm.Game.Step |
creativeMode | Swarm.Game.State |
CRecursion | Swarm.Language.Capability |
CReprogram | Swarm.Language.Capability |
Critical | Swarm.Game.Log, Swarm.Game.Robot |
CSalvage | Swarm.Language.Capability |
CScan | Swarm.Language.Capability |
CSelfdestruct | Swarm.Language.Capability |
CSensefront | Swarm.Language.Capability |
CSensehere | Swarm.Language.Capability |
CSenseloc | Swarm.Language.Capability |
CSetname | Swarm.Language.Capability |
CSum | Swarm.Language.Capability |
CSwap | Swarm.Language.Capability |
CTeleport | Swarm.Language.Capability |
CText | Swarm.Language.Capability |
CTime | Swarm.Language.Capability |
CTry | Swarm.Language.Capability |
CTurn | Swarm.Language.Capability |
Ctx | |
1 (Type/Class) | Swarm.Language.Context |
2 (Data Constructor) | Swarm.Language.Context |
CUnequip | Swarm.Language.Capability |
curMenuName | Swarm.TUI.View.Util |
curOrientation | Swarm.Game.Display |
currentScenarioPath | Swarm.Game.State |
CustomAttr | |
1 (Type/Class) | Swarm.Game.Scenario.Style |
2 (Data Constructor) | Swarm.Game.Scenario.Style |
CWhoami | Swarm.Language.Capability |
cyanAttr | Swarm.TUI.Attr |
cycleEnum | Swarm.Util |
cycleSortDirection | Swarm.TUI.Inventory.Sorting |
cycleSortOrder | Swarm.TUI.Inventory.Sorting |
DAbsolute | Swarm.Language.Syntax |
Data | Swarm.TUI.Model.Failure |
dataNotFound | Swarm.Util |
DBack | Swarm.Language.Syntax |
DDown | Swarm.Language.Syntax |
DEast | Swarm.Language.Syntax |
Debug | Swarm.Game.Log, Swarm.Game.Robot |
debug | Swarm.Language.LSP |
decodeFileEitherE | Swarm.Util.Yaml |
decomposeCmdTy | Swarm.Language.Typecheck |
decomposeFunTy | Swarm.Language.Typecheck |
defAttr | Swarm.TUI.Attr |
defaultChar | Swarm.Game.Display |
defaultEntityDisplay | Swarm.Game.Display |
defaultGrowthTime | Swarm.Game.Entity |
defaultPort | Swarm.Web |
defaultPrompt | Swarm.TUI.Model.Repl |
defaultRobotDisplay | Swarm.Game.Display |
defaultSortOptions | Swarm.TUI.Inventory.Sorting |
defaultTerrain | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
defaultTerrainDisplay | Swarm.Game.Display |
DefNotTopLevel | Swarm.Language.Typecheck |
defReqs | Swarm.Game.Robot |
defStore | Swarm.Game.Robot |
defTypes | Swarm.Game.Robot |
defVals | Swarm.Game.Robot |
DelayType | Swarm.Language.Syntax |
delete | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
deleteAll | Swarm.Game.Entity |
deleteCount | Swarm.Game.Entity |
deleteRobot | Swarm.Game.State |
demoWeb | Swarm.App |
deps | Swarm.Game.Scenario.Objective.WinCheck |
Descending | Swarm.TUI.Inventory.Sorting |
describe | Swarm.TUI.Model.Achievement.Description |
DescriptionModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
descriptionTitle | Swarm.TUI.View.Util |
Destroy | Swarm.Game.Step |
DestroyedBase | Swarm.TUI.Model.Achievement.Definitions |
deviceForCap | Swarm.Game.Entity |
devReqs | Swarm.Language.Requirement |
DForward | Swarm.Language.Syntax |
diagnosticSourcePrefix | Swarm.Language.LSP |
didLose | Swarm.Game.Scenario.Objective.WinCheck |
didWin | Swarm.Game.Scenario.Objective.WinCheck |
Diff | Swarm.Util.Location |
difference | Swarm.Game.Entity |
Dim | Swarm.Game.Scenario.Style |
dimAttr | Swarm.TUI.Attr |
dirApplyTurn | Swarm.Language.Syntax |
Direction | Swarm.Language.Syntax |
Directory | Swarm.TUI.Model.Failure |
DirInfo | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
dirInfo | Swarm.Language.Syntax |
dirSyntax | Swarm.Language.Syntax |
dirtAttr | Swarm.TUI.Attr |
DirtT | Swarm.Game.Terrain |
Disj | |
1 (Type/Class) | Data.BoolExpr |
2 (Data Constructor) | Data.BoolExpr |
Display | Swarm.Game.Display |
displayAttr | Swarm.Game.Display |
displayChar | Swarm.Game.Display |
displayEntityCell | Swarm.TUI.View.CellDisplay |
displayLoc | Swarm.TUI.View.CellDisplay |
displayParagraphs | Swarm.TUI.View.Util |
displayPriority | Swarm.Game.Display |
displayRobotCell | Swarm.TUI.View.CellDisplay |
displayTerrainCell | Swarm.TUI.View.CellDisplay |
Div | Swarm.Language.Syntax |
DLeft | Swarm.Language.Syntax |
DNF | |
1 (Type/Class) | Data.BoolExpr |
2 (Data Constructor) | Data.BoolExpr |
DNorth | Swarm.Language.Syntax |
DoesNotExist | Swarm.TUI.Model.Failure |
drawAchievementListItem | Swarm.TUI.View.Achievement |
drawAchievementsMenuUI | Swarm.TUI.View.Achievement |
drawDialog | Swarm.TUI.View |
drawGoalListItem | Swarm.Game.Scenario.Objective.Presentation.Render |
drawInfoPanel | Swarm.TUI.View |
drawItem | Swarm.TUI.View |
drawKeyCmd | Swarm.TUI.View |
drawKeyMenu | Swarm.TUI.View |
drawLabelledEntityName | Swarm.TUI.View |
drawLoc | Swarm.TUI.View.CellDisplay |
drawModalMenu | Swarm.TUI.View |
drawREPL | Swarm.TUI.View |
drawRobotPanel | Swarm.TUI.View |
drawTPS | Swarm.TUI.View |
drawType | Swarm.TUI.View.Util |
drawUI | Swarm.TUI.View |
drawWorld | Swarm.TUI.View |
DRelative | Swarm.Language.Syntax |
DRight | Swarm.Language.Syntax |
Drill | Swarm.Language.Syntax |
DSouth | Swarm.Language.Syntax |
dualize | Data.BoolExpr |
DWest | Swarm.Language.Syntax |
E | |
1 (Data Constructor) | Swarm.Util.Yaml |
2 (Data Constructor) | Swarm.Game.CESK |
east | Swarm.Language.Syntax |
Easy | Swarm.TUI.Model.Achievement.Definitions |
Edges | Swarm.Game.Scenario.Objective.Graph |
EditorKeywords | Swarm.DocGen |
editorList | Swarm.DocGen |
EditorType | Swarm.DocGen |
effort | Swarm.TUI.Model.Achievement.Definitions |
elaborate | Swarm.Language.Elaborate |
elems | Swarm.Game.Entity |
Emacs | Swarm.DocGen |
emitMessage | Swarm.Game.State |
empty | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
emptyGoalDisplay | Swarm.Game.Scenario.Objective.Presentation.Model |
emptyRobotContext | Swarm.Game.Robot |
emptyStore | Swarm.Game.CESK |
emptyWorld | Swarm.Game.World |
enablePasteMode | Swarm.App |
ensureCanExecute | Swarm.Game.Step |
Entities | Swarm.DocGen |
entitiesByCap | Swarm.Game.Entity |
entitiesByCapability | Swarm.Game.Entity |
entitiesByName | Swarm.Game.Entity |
Entity | Swarm.Game.Entity |
entityAddress | Swarm.DocGen |
entityAt | Swarm.Game.Step |
entityAttr | Swarm.TUI.Attr |
entityCapabilities | Swarm.Game.Entity |
entityDescription | Swarm.Game.Entity |
entityDisplay | Swarm.Game.Entity |
entityGrowth | Swarm.Game.Entity |
entityHash | Swarm.Game.Entity |
entityInventory | Swarm.Game.Entity |
EntityMap | |
1 (Type/Class) | Swarm.Game.Entity |
2 (Data Constructor) | Swarm.Game.Entity |
entityMap | Swarm.Game.State |
entityName | Swarm.Game.Entity |
entityNameFor | Swarm.Game.Entity |
entityOrientation | Swarm.Game.Entity |
entityPlural | Swarm.Game.Entity |
entityProperties | Swarm.Game.Entity |
EntityProperty | Swarm.Game.Entity |
entityYields | Swarm.Game.Entity |
Entry | Swarm.TUI.Model.Failure |
EntryNot | Swarm.TUI.Model.Failure |
Env | Swarm.Language.Value |
Eq | Swarm.Language.Syntax |
Equip | Swarm.Language.Syntax |
Equipped | Swarm.Language.Syntax |
equippedDevices | Swarm.Game.Robot |
EquippedEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
erase | Swarm.Language.Syntax |
eraseS | Swarm.Language.Syntax |
Error | Swarm.Game.Log, Swarm.Game.Robot |
ErrorLevel | Swarm.Game.Log, Swarm.Game.Robot |
ErrorTrace | Swarm.Game.Log, Swarm.Game.Robot |
EscapedSkolem | Swarm.Language.Typecheck |
EscapeKey | Swarm.TUI.Controller.Util |
Eval | |
1 (Type/Class) | Data.BoolExpr |
2 (Data Constructor) | Data.BoolExpr |
evalArith | Swarm.Game.Step |
evalBoolExpr | Data.BoolExpr |
evalCmp | Swarm.Game.Step |
evalConst | Swarm.Game.Step |
evalPT | Swarm.Game.Step |
evalSigned | Data.BoolExpr |
evaluateCESK | Swarm.Game.Step |
EventHandler | Swarm.App |
eventLog | Swarm.TUI.Model |
exceptions | Swarm.Game.Step |
execConst | Swarm.Game.Step |
Exn | Swarm.Game.Exception |
Exp | Swarm.Language.Syntax |
ExpectedEffort | Swarm.TUI.Model.Achievement.Definitions |
explain | Swarm.Language.LSP.Hover |
explainFocusedItem | Swarm.TUI.View |
extantElemsWithCapability | Swarm.Game.Entity |
extractIncomplete | Swarm.Game.Scenario.Objective |
Fail | Swarm.Language.Syntax |
Failed | Swarm.Game.Scenario.Objective.Presentation.Model |
FailedReleaseQuery | Swarm.Version |
failIfBlocked | Swarm.Game.Step |
failIfDrown | Swarm.Game.Step |
FApp | Swarm.Game.CESK |
FArg | Swarm.Game.CESK |
Fatal | Swarm.Game.Exception |
FBind | Swarm.Game.CESK |
FDef | Swarm.Game.CESK |
FDiscardEnv | Swarm.Game.CESK |
FExec | Swarm.Game.CESK |
FFinishAtomic | Swarm.Game.CESK |
FFst | Swarm.Game.CESK |
fg | Swarm.Game.Scenario.Style |
File | Swarm.TUI.Model.Failure |
FImmediate | Swarm.Game.CESK |
finalValue | Swarm.Game.CESK |
findGoodOrigin | Swarm.Game.WorldGen |
findOffset | Swarm.Game.WorldGen |
findPatchWith | Swarm.Game.WorldGen |
findTreeOffset | Swarm.Game.WorldGen |
FixByEquip | Swarm.Game.Exception |
FixByObtain | Swarm.Game.Exception |
fixity | Swarm.Language.Syntax |
FKey | Swarm.TUI.Controller.Util |
flagRedraw | Swarm.Game.Step |
FlavorText | Swarm.TUI.Model.Achievement.Definitions |
FLet | Swarm.Game.CESK |
FLoadEnv | Swarm.Game.CESK |
FMeetAll | Swarm.Game.CESK |
focus | Swarm.Game.Scenario.Objective.Presentation.Model |
FocusablePanel | |
1 (Data Constructor) | Swarm.TUI.Model.Name, Swarm.TUI.Model |
2 (Type/Class) | Swarm.TUI.Model.Name, Swarm.TUI.Model |
focusedEntity | Swarm.TUI.Model |
focusedItem | Swarm.TUI.Model |
focusedRobot | Swarm.Game.State |
focusedRobotID | Swarm.Game.State |
Forall | Swarm.Language.Types |
Force | Swarm.Language.Syntax |
Format | Swarm.Language.Syntax |
formatDevices | Swarm.Game.Step |
formatExn | Swarm.Game.Exception |
formatIncapable | Swarm.Game.Exception |
formatIncapableFix | Swarm.Game.Exception |
Frame | |
1 (Type/Class) | Swarm.Game.CESK |
2 (Data Constructor) | Swarm.TUI.Model |
frameCount | Swarm.TUI.Model.UI |
frameTickCount | Swarm.TUI.Model.UI |
Freeform | Swarm.TUI.Model.Achievement.Definitions |
freeVarsS | Swarm.Language.Syntax |
freeVarsT | Swarm.Language.Syntax |
freeVarsV | Swarm.Language.Syntax |
fresh | Swarm.Language.Typecheck |
fromBoolExpr | Data.BoolExpr |
fromDirection | Swarm.Language.Syntax |
fromElems | Swarm.Game.Entity |
FromJSONE | Swarm.Util.Yaml |
fromList | Swarm.Game.Entity |
fromU | Swarm.Language.Types |
FSnd | Swarm.Game.CESK |
Fst | Swarm.Language.Syntax |
FTQuotation | Swarm.TUI.Model.Achievement.Definitions |
FTry | Swarm.Game.CESK |
FullColor | Swarm.TUI.Model |
FUnionEnv | Swarm.Game.CESK |
FUpdate | Swarm.Game.CESK |
gameAchievements | Swarm.Game.State |
GameplayAchievement | |
1 (Type/Class) | Swarm.TUI.Model.Achievement.Definitions |
2 (Data Constructor) | Swarm.TUI.Model.Achievement.Definitions |
GameState | Swarm.Game.State |
gameState | Swarm.TUI.Model |
gameTick | Swarm.Game.Step |
generalize | Swarm.Language.Typecheck |
GenerateDocs | Swarm.DocGen |
generateDocs | Swarm.DocGen |
generateModal | Swarm.TUI.View.Util, Swarm.TUI.View |
gensym | Swarm.Game.State |
Geq | Swarm.Language.Syntax |
getActiveObjectives | Swarm.Game.Scenario.Objective.WinCheck |
getCompletionIcon | |
1 (Function) | Swarm.Game.Scenario.Objective.Presentation.Render |
2 (Function) | Swarm.TUI.View.Achievement |
getConstFromSigned | Swarm.Game.Scenario.Objective.Graph |
getCurrentItemText | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getDataDirSafe | Swarm.Util |
getDataFileNameSafe | Swarm.Util |
getDistinctConstants | Swarm.Game.Scenario.Objective.WinCheck |
getE | Swarm.Util.Yaml |
getElemsInArea | Swarm.Util |
getEntity | Swarm.Game.Scenario.RobotLookup |
getLatestREPLHistoryItems | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getLocRange | Swarm.Language.Parse |
getNegatedIds | Swarm.Game.Scenario.Objective.Graph |
getNewerReleaseVersion | Swarm.Version |
getNow | Swarm.Game.Step |
getObjectivesById | Swarm.Game.Scenario.Objective.Graph |
getREPLEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getResult | Swarm.Game.Robot |
getRobot | Swarm.Game.Scenario.RobotLookup |
getSatisfaction | Swarm.Game.Scenario.Objective.WinCheck |
getScenarioPath | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
getSwarmAchievementsPath | Swarm.TUI.Model.Achievement.Persistence |
getSwarmHistoryPath | Swarm.Util |
getSwarmSavePath | Swarm.Util |
getSwarmXdgDataFile | Swarm.Util |
getSwarmXdgDataSubdir | Swarm.Util |
getThing | Swarm.Game.Scenario.RobotLookup |
getTypeErrSrcLoc | Swarm.Language.Typecheck |
getUsage | Swarm.Language.LSP.VarUsage |
Give | Swarm.Language.Syntax |
GlobalAchievement | |
1 (Type/Class) | Swarm.TUI.Model.Achievement.Definitions |
2 (Data Constructor) | Swarm.TUI.Model.Achievement.Definitions |
Goal | Swarm.Game.Scenario.Objective.Presentation.Model |
GoalDisplay | |
1 (Type/Class) | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.TUI.Model.UI |
2 (Data Constructor) | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.TUI.Model.UI |
GoalEntry | Swarm.Game.Scenario.Objective.Presentation.Model |
GoalModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
goals | Swarm.Game.Scenario.Objective.Presentation.Model |
goalsContent | Swarm.Game.Scenario.Objective.Presentation.Model |
GoalStatus | Swarm.Game.Scenario.Objective.Presentation.Model |
GoalSummary | Swarm.TUI.Model.Name |
GoalTracking | |
1 (Type/Class) | Swarm.Game.Scenario.Objective.Presentation.Model |
2 (Data Constructor) | Swarm.Game.Scenario.Objective.Presentation.Model |
GoalWidget | Swarm.TUI.Model.Name |
GoalWidgets | Swarm.TUI.Model.Name, Swarm.TUI.Model |
Grab | Swarm.Language.Syntax |
Grab' | Swarm.Game.Step |
GrabbingCmd | Swarm.Game.Step |
GraphInfo | |
1 (Type/Class) | Swarm.Game.Scenario.Objective.Graph |
2 (Data Constructor) | Swarm.Game.Scenario.Objective.Graph |
grassAttr | Swarm.TUI.Attr |
GrassT | Swarm.Game.Terrain |
greenAttr | Swarm.TUI.Attr |
Growable | Swarm.Game.Entity |
GrowthTime | |
1 (Type/Class) | Swarm.Game.Entity |
2 (Data Constructor) | Swarm.Game.Entity |
Gruelling | Swarm.TUI.Model.Achievement.Definitions |
Gt | Swarm.Language.Syntax |
handleEvent | Swarm.TUI.Controller |
handleInfoPanelEvent | Swarm.TUI.Controller |
handleListEventWithSeparators | Swarm.TUI.List |
handleREPLEvent | Swarm.TUI.Controller |
handlers | Swarm.Language.LSP |
handleWorldEvent | Swarm.TUI.Controller |
Hard | Swarm.Game.WorldGen |
Hardness | Swarm.Game.WorldGen |
Harvest | Swarm.Language.Syntax |
Harvest' | Swarm.Game.Step |
Has | Swarm.Language.Syntax |
hasAnythingToShow | Swarm.Game.Scenario.Objective.Presentation.Model |
HasBindings | Swarm.Language.Typecheck |
hasCapability | Swarm.Game.Step |
hasCapabilityFor | Swarm.Game.Step |
hasMultipleGoals | Swarm.Game.Scenario.Objective.Presentation.Model |
hasProperty | Swarm.Game.Entity |
HasRobotStepState | Swarm.Game.Step |
HBorderLabels | Swarm.TUI.Border |
hBorderWithLabels | Swarm.TUI.Border |
Header | Swarm.Game.Scenario.Objective.Presentation.Model |
Heading | |
1 (Type/Class) | Swarm.Util.Location |
2 (Data Constructor) | Swarm.Language.Syntax |
hearingDistance | Swarm.Game.Robot |
HelpModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
HexColor | |
1 (Type/Class) | Swarm.Game.Scenario.Style |
2 (Data Constructor) | Swarm.Game.Scenario.Style |
hidden | Swarm.Game.Display |
HideAllEntities | Swarm.TUI.View.CellDisplay |
HideEntity | Swarm.TUI.View.CellDisplay |
HideEntityUnknownTo | Swarm.TUI.View.CellDisplay |
HideNoEntity | Swarm.TUI.View.CellDisplay |
hidingMode | Swarm.TUI.View.CellDisplay |
highlightAttr | Swarm.TUI.Attr |
History | Swarm.TUI.Model.Failure |
holdsOr | Swarm.Util |
humorousElaboration | Swarm.TUI.Model.Achievement.Definitions |
hypotheticalRobot | Swarm.Game.Step |
hypotheticalWinCheck | Swarm.Game.Step |
iceAttr | Swarm.TUI.Attr |
IceT | Swarm.Game.Terrain |
Id | Swarm.Game.Scenario.Objective.Logic |
If | Swarm.Language.Syntax |
IgnoreFail | Swarm.Game.Step |
In | Swarm.Game.CESK |
Incapable | Swarm.Game.Exception |
IncapableFix | Swarm.Game.Exception |
incomparable | Swarm.Game.Step |
incompatCmp | Swarm.Game.Step |
incomplete | Swarm.Game.Scenario.Objective |
indefinite | Swarm.Util |
indefiniteQ | Swarm.Util |
IndexedTRobot | Swarm.Game.Scenario.RobotLookup, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Infer | Swarm.Language.Typecheck |
infer | Swarm.Language.Typecheck |
inferConst | Swarm.Language.Typecheck |
inferModule | Swarm.Language.Typecheck |
inferTop | Swarm.Language.Typecheck |
Infinite | |
1 (Data Constructor) | Swarm.Language.Typecheck |
2 (Data Constructor) | Swarm.Game.Entity |
InfiniteLoop | Swarm.Game.Exception |
infoAttr | Swarm.TUI.Attr |
InfoPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
infoScroll | Swarm.TUI.Model |
InfoViewport | Swarm.TUI.Model.Name, Swarm.TUI.Model |
IngredientList | Swarm.Game.Recipe |
initAppState | Swarm.TUI.Model.StateUpdate |
initFocusRing | Swarm.TUI.Model.UI |
initGameState | Swarm.Game.State |
initGameStateForScenario | Swarm.Game.State |
initLgTicksPerSecond | Swarm.TUI.Model.UI |
initMachine | Swarm.Game.CESK |
initMachine' | Swarm.Game.CESK |
initREPLState | Swarm.TUI.Model.Repl |
initRuntimeState | Swarm.TUI.Model |
initUIState | Swarm.TUI.Model.UI |
Inl | Swarm.Language.Syntax |
InProgress | Swarm.Game.ScenarioInfo |
Inr | Swarm.Language.Syntax |
inRecipeMap | Swarm.Game.Recipe |
insert | |
1 (Function) | Swarm.Language.Requirement |
2 (Function) | Swarm.Game.Entity |
insertCount | Swarm.Game.Entity |
instantiate | Swarm.Language.Typecheck |
instantiateRobot | Swarm.Game.Robot |
InvalidAtomic | Swarm.Language.Typecheck |
InvalidAtomicReason | Swarm.Language.Typecheck |
Inventory | Swarm.Game.Entity |
inventoryCapabilities | Swarm.Game.Entity |
InventoryEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
inventoryHash | Swarm.Game.Robot |
InventoryList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
InventoryListEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
InventoryListItem | Swarm.TUI.Model.Name, Swarm.TUI.Model |
InventorySortDirection | Swarm.TUI.Inventory.Sorting |
InventorySortOptions | |
1 (Type/Class) | Swarm.TUI.Inventory.Sorting |
2 (Data Constructor) | Swarm.TUI.Inventory.Sorting |
InventorySortOrder | Swarm.TUI.Inventory.Sorting |
invisible | Swarm.Game.Display |
invReqs | Swarm.Language.Requirement |
isActive | Swarm.Game.Robot |
isAcyclic | Swarm.Game.Scenario.Objective.Graph |
isAcyclicGraph | Swarm.Game.Scenario.Objective.Graph |
isBuiltinFunction | Swarm.Language.Syntax |
isCardinal | Swarm.Language.Syntax |
isCmd | Swarm.Language.Syntax |
Isempty | Swarm.Language.Syntax |
isEmpty | Swarm.Game.Entity |
isHeader | Swarm.Game.Scenario.Objective.Presentation.Model |
Ishere | Swarm.Language.Syntax |
isIdentChar | Swarm.Util |
isJustOr | Swarm.Util |
isLong | Swarm.Language.Syntax |
isObfuscated | Swarm.TUI.Model.Achievement.Definitions |
isOperator | Swarm.Language.Syntax |
isPrereqsSatisfied | Swarm.Game.Scenario.Objective.WinCheck |
isREPLEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
isRightOr | Swarm.Util |
isRunningModal | Swarm.TUI.Controller.Util |
isSimpleUType | Swarm.Language.Typecheck |
isSubsetOf | Swarm.Game.Entity |
isSuccessOr | Swarm.Util |
isSwarmReleaseTag | Swarm.Version |
isTangible | Swarm.Language.Syntax |
isUnwinnable | Swarm.Game.Scenario.Objective.WinCheck |
isUnwinnablePrereq | Swarm.Game.Scenario.Objective.WinCheck |
isUserFunc | Swarm.Language.Syntax |
Italic | Swarm.Game.Scenario.Style |
KeepPlaying | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
KeepPlayingButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
KeepPlayingModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
Key | Swarm.TUI.Controller.Util |
keyToDir | Swarm.TUI.Controller |
keywordsCommands | Swarm.DocGen |
keywordsDirections | Swarm.DocGen |
Known | Swarm.Game.Entity |
knownEntities | Swarm.Game.State |
Knows | Swarm.Language.Syntax |
knowsIngredientsFor | Swarm.Game.Recipe |
L | Swarm.Language.Syntax |
Label | Swarm.Game.Scenario.Objective.Graph |
Lambda | Swarm.Language.LSP.VarUsage |
lastEntry | Swarm.TUI.Model.Repl |
lastFrameTime | Swarm.TUI.Model.UI |
lastInfoTime | Swarm.TUI.Model.UI |
lastSeenMessageTime | Swarm.Game.State |
LearnEntity | Swarm.Game.CESK, Swarm.Game.Robot |
leftLabel | Swarm.TUI.Border |
leLocation | Swarm.Game.Log, Swarm.Game.Robot |
Leq | Swarm.Language.Syntax |
leRobotID | Swarm.Game.Log, Swarm.Game.Robot |
leRobotName | Swarm.Game.Log, Swarm.Game.Robot |
leSource | Swarm.Game.Log, Swarm.Game.Robot |
Let | Swarm.Language.LSP.VarUsage |
leText | Swarm.Game.Log, Swarm.Game.Robot |
leTime | Swarm.Game.Log, Swarm.Game.Robot |
lgTicksPerSecond | Swarm.TUI.Model.UI |
liftE | Swarm.Util.Yaml |
liftText | Swarm.Util |
lightCyanAttr | Swarm.TUI.Attr |
Liquid | Swarm.Game.Entity |
listAchievements | Swarm.TUI.Model.Achievement.Definitions |
listAllObjectives | Swarm.Game.Scenario.Objective |
Listen | Swarm.Language.Syntax |
listEnums | Swarm.Util |
listWidget | Swarm.Game.Scenario.Objective.Presentation.Model |
loadAchievementsInfo | Swarm.TUI.Model.Achievement.Persistence |
loadCell | Swarm.Game.World |
loadEntities | Swarm.Game.Entity |
LoadingFailure | Swarm.TUI.Model.Failure |
loadRecipes | Swarm.Game.Recipe |
loadRegion | Swarm.Game.World |
loadScenario | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
loadScenarioFile | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
loadScenarioInfo | Swarm.Game.ScenarioInfo |
loadScenarios | Swarm.Game.ScenarioInfo |
localE | Swarm.Util.Yaml |
Location | |
1 (Type/Class) | Swarm.Util.Location |
2 (Data Constructor) | Swarm.Util.Location |
locToCoords | Swarm.Game.World |
LocVar | Swarm.Language.Syntax |
locVarToSyntax' | Swarm.Language.Syntax |
Log | Swarm.Language.Syntax |
LogEntry | |
1 (Type/Class) | Swarm.Game.Log, Swarm.Game.Robot |
2 (Data Constructor) | Swarm.Game.Log, Swarm.Game.Robot |
logEvent | Swarm.TUI.Model |
Logged | Swarm.Game.Log, Swarm.Game.Robot |
logic | Swarm.Game.Scenario.Objective |
LogSource | Swarm.Game.Log, Swarm.Game.Robot |
LongConst | Swarm.Language.Typecheck |
longDoc | Swarm.Language.Syntax |
LookedAtAboutScreen | Swarm.TUI.Model.Achievement.Definitions |
lookup | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Language.Typecheck |
3 (Function) | Swarm.Game.Entity |
lookupByName | Swarm.Game.Entity |
lookupCell | Swarm.Game.CESK |
lookupEntity | Swarm.Game.World |
lookupEntityM | Swarm.Game.World |
lookupEntityName | Swarm.Game.Entity |
lookupTerrain | Swarm.Game.World |
lookupTerrainM | Swarm.Game.World |
LoseModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
LoseScenario | Swarm.TUI.Model.Achievement.Definitions |
lspMain | Swarm.Language.LSP |
Lt | Swarm.Language.Syntax |
LV | Swarm.Language.Syntax |
lvSrcLoc | Swarm.Language.Syntax |
lvVar | Swarm.Language.Syntax |
machine | Swarm.Game.Robot |
magentaAttr | Swarm.TUI.Attr |
MainMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
mainMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MainMenuEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
Make | Swarm.Language.Syntax |
make | Swarm.Game.Recipe |
make' | Swarm.Game.Recipe |
makeGraph | Swarm.Game.Scenario.Objective.Graph |
makeGraphEdges | Swarm.Game.Scenario.Objective.Graph |
makeGraphInfo | Swarm.Game.Scenario.Objective.Graph |
makeListWidget | Swarm.Game.Scenario.Objective.Presentation.Render |
manhattan | Swarm.Util |
ManualPause | Swarm.Game.State |
mapFreeS | Swarm.Language.Syntax |
maximum0 | Swarm.Util |
maxModalWindowWidth | Swarm.TUI.View.Util |
maxOn | Swarm.Util |
maybeScenarioPath | Swarm.TUI.Model.Achievement.Attainment |
maybeScroll | Swarm.TUI.View.Util |
MBinAssoc | Swarm.Language.Syntax |
Meet | Swarm.Language.Syntax |
MeetAll | Swarm.Language.Syntax |
MemoizedDelay | Swarm.Language.Syntax |
Menu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MenuList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
messageIsFromNearby | Swarm.Game.State |
messageIsRecent | Swarm.Game.State |
messageNotifications | Swarm.Game.State |
messageQueue | Swarm.Game.State |
Messages | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MessagesMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MessagesModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MetaChar | Swarm.TUI.Controller.Util |
Mismatch | Swarm.Language.Typecheck |
MissingCatalyst | Swarm.Game.Recipe |
MissingIngredient | |
1 (Type/Class) | Swarm.Game.Recipe |
2 (Data Constructor) | Swarm.Game.Recipe |
MissingInput | Swarm.Game.Recipe |
MissingType | Swarm.Game.Recipe |
mkApp | Swarm.Web |
mkEntity | Swarm.Game.Entity |
mkNewGameMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
mkOp | Swarm.Language.Syntax |
mkOp' | Swarm.Language.Syntax |
mkRobot | Swarm.Game.Robot |
mkScenarioList | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
mkVarName | Swarm.Language.Types |
Modal | |
1 (Type/Class) | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
2 (Data Constructor) | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
modalDialog | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
modalScroll | Swarm.TUI.Model |
ModalType | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
modalType | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
ModalViewport | Swarm.TUI.Model.Name, Swarm.TUI.Model |
Moderate | Swarm.TUI.Model.Achievement.Definitions |
modifyViewCenter | Swarm.Game.State |
Module | |
1 (Type/Class) | Swarm.Language.Module |
2 (Data Constructor) | Swarm.Language.Module |
moduleAST | Swarm.Language.Module |
moduleCtx | Swarm.Language.Module |
Move | Swarm.Language.Syntax |
MoveFailure | |
1 (Type/Class) | Swarm.Game.Step |
2 (Data Constructor) | Swarm.Game.Step |
moveReplHistIndex | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Mul | Swarm.Language.Syntax |
MUnAssoc | Swarm.Language.Syntax |
N | Swarm.Language.Syntax |
Name | Swarm.TUI.Model.Name, Swarm.TUI.Model |
name | Swarm.Game.Scenario.Style |
nameList | Swarm.Game.State |
narrowToPosition | Swarm.Language.LSP.Hover |
Natural | Swarm.Game.WorldGen |
needsRedraw | Swarm.Game.State |
Neg | Swarm.Language.Syntax |
negateConstant | Data.BoolExpr |
negateSigned | Data.BoolExpr |
Negative | Data.BoolExpr |
Neq | Swarm.Language.Syntax |
NestedAtomic | Swarm.Language.Typecheck |
newEntity | Swarm.Game.World, Swarm.Game.CESK |
Newer | Swarm.TUI.Model.Repl, Swarm.TUI.Model, Swarm.TUI.Controller |
NewGame | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
NewGameMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
NewReleaseFailure | Swarm.Version |
newREPLEditor | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
newREPLHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
newWorld | Swarm.Game.World |
Next | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
NextButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
nextScenario | Swarm.TUI.Model |
NoColor | Swarm.TUI.Model |
nodeIDs | Swarm.Game.Scenario.Objective.Graph |
NoLoc | Swarm.Language.Syntax |
noLoc | Swarm.Language.Syntax |
NoMainUpstreamRelease | Swarm.Version |
NoMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
NonSimpleVarType | Swarm.Language.Typecheck |
Noop | Swarm.Language.Syntax |
noPageAddresses | Swarm.DocGen |
normalizeScenarioPath | Swarm.Game.ScenarioInfo |
north | Swarm.Language.Syntax |
Not | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
notifAttr | Swarm.TUI.Attr |
Notifications | |
1 (Type/Class) | Swarm.Game.State |
2 (Data Constructor) | Swarm.Game.State |
notificationsContent | Swarm.Game.State |
notificationsCount | Swarm.Game.State |
NotStarted | Swarm.Game.ScenarioInfo |
NoWinCondition | Swarm.Game.State |
number | Swarm.Util |
Objective | |
1 (Type/Class) | Swarm.Game.Scenario.Objective |
2 (Data Constructor) | Swarm.Game.Scenario.Objective |
objective | Swarm.Game.Scenario.Objective.WinCheck |
objectiveAchievement | Swarm.Game.Scenario.Objective |
ObjectiveCompleted | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.Game.State |
ObjectiveCompletion | |
1 (Type/Class) | Swarm.Game.Scenario.Objective, Swarm.Game.State |
2 (Data Constructor) | Swarm.Game.Scenario.Objective, Swarm.Game.State |
objectiveCondition | Swarm.Game.Scenario.Objective |
objectiveGoal | Swarm.Game.Scenario.Objective |
objectiveHidden | Swarm.Game.Scenario.Objective |
ObjectiveId | Swarm.Game.Scenario.Objective.Graph |
objectiveId | Swarm.Game.Scenario.Objective |
ObjectiveLabel | Swarm.Game.Scenario.Objective.Logic |
objectiveOptional | Swarm.Game.Scenario.Objective |
objectivePrerequisite | Swarm.Game.Scenario.Objective |
ObjectivesList | Swarm.TUI.Model.Name |
objectiveTeaser | Swarm.Game.Scenario.Objective |
obtainedAt | Swarm.TUI.Model.Achievement.Attainment |
offsetOrigin | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Older | Swarm.TUI.Model.Repl, Swarm.TUI.Model, Swarm.TUI.Controller |
OldUpstreamRelease | Swarm.Version |
OnDevelopmentBranch | Swarm.Version |
Ongoing | Swarm.Game.State |
onTarget | Swarm.Game.Step |
openModal | Swarm.TUI.Controller.Util |
operatorNames | Swarm.DocGen |
Or | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
Ordinal | Swarm.Game.Scenario.Objective.Graph |
orientationMap | Swarm.Game.Display |
Origin | Swarm.Game.WorldGen |
origin | Swarm.Util.Location |
originalEntity | Swarm.Game.World, Swarm.Game.CESK |
Out | Swarm.Game.CESK |
outRecipeMap | Swarm.Game.Recipe |
P | Swarm.Language.Syntax |
padAllEvenly | Swarm.TUI.View.Achievement |
PageAddress | |
1 (Type/Class) | Swarm.DocGen |
2 (Data Constructor) | Swarm.DocGen |
paintMap | Swarm.Game.Scenario.WorldDescription |
palette | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
panel | Swarm.TUI.Panel |
Parent | Swarm.Language.Syntax |
parseJSONE | Swarm.Util.Yaml |
parseJSONE' | Swarm.Util.Yaml |
parsePolytype | Swarm.Language.Parse |
Parser | Swarm.Language.Parse |
ParserE | Swarm.Util.Yaml |
parseTerm | Swarm.Language.Parse |
parseType | Swarm.Language.Parse |
partitionActiveObjectives | Swarm.Game.Scenario.Objective.WinCheck |
paused | Swarm.Game.State |
PCell | Swarm.Game.Scenario.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Piloting | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Place | Swarm.Language.Syntax |
plainBorder | Swarm.TUI.Border |
plainHBorder | Swarm.TUI.Border |
plantAttr | Swarm.TUI.Attr |
plural | Swarm.Util |
Poly | Swarm.Language.Types |
Polytype | Swarm.Language.Types |
polytype | Swarm.Language.Typed |
PolyUnit | Swarm.Language.Types |
populateInventoryList | Swarm.TUI.Model |
Portable | Swarm.Game.Entity |
Positive | Data.BoolExpr |
pparens | Swarm.Language.Pretty |
ppr | Swarm.Language.Pretty |
PrereqSatisfaction | |
1 (Type/Class) | Swarm.Game.Scenario.Objective.WinCheck |
2 (Data Constructor) | Swarm.Game.Scenario.Objective.WinCheck |
prereqsSatisfied | Swarm.Game.Scenario.Objective.WinCheck |
Prerequisite | Swarm.Game.Scenario.Objective.Logic |
PrerequisiteConfig | |
1 (Type/Class) | Swarm.Game.Scenario.Objective |
2 (Data Constructor) | Swarm.Game.Scenario.Objective |
prerequisiteOptions | Swarm.Game.Scenario.Objective.Logic |
prettyFailure | Swarm.TUI.Model.Failure |
prettyLoadingFailure | Swarm.TUI.Model.Failure |
PrettyPrec | Swarm.Language.Pretty |
prettyPrec | Swarm.Language.Pretty |
prettyPrecApp | Swarm.Language.Pretty |
prettyString | Swarm.Language.Pretty |
prettyText | Swarm.Language.Pretty |
prettyTuple | Swarm.Language.Pretty |
prettyValue | Swarm.Language.Value |
previewable | Swarm.Game.Scenario.Objective |
Priority | Swarm.Game.Display |
problems | Swarm.Language.LSP.VarUsage |
ProcessedTerm | |
1 (Type/Class) | Swarm.Language.Pipeline |
2 (Data Constructor) | Swarm.Language.Pipeline |
processParsedTerm | Swarm.Language.Pipeline |
processParsedTerm' | Swarm.Language.Pipeline |
processTerm | Swarm.Language.Pipeline |
processTerm' | Swarm.Language.Pipeline |
provisionChild | Swarm.Game.Step |
pushNotInwards | Data.BoolExpr |
PWorldDescription | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Quit | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
QuitAction | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
QuitButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
quitGame | Swarm.TUI.Controller |
QuitModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
quitMsg | Swarm.TUI.View.Util |
Quotation | |
1 (Type/Class) | Swarm.TUI.Model.Achievement.Definitions |
2 (Data Constructor) | Swarm.TUI.Model.Achievement.Definitions |
quote | Swarm.Util |
R | Swarm.Language.Syntax |
raise | Swarm.Game.Step |
randGen | Swarm.Game.State |
Random | Swarm.Language.Syntax |
randomName | Swarm.Game.Step |
readAppData | Swarm.Util |
readEntity | Swarm.Game.WorldGen |
readFileMay | Swarm.Util |
readFileMayT | Swarm.Util |
readTerm | Swarm.Language.Parse |
readTerm' | Swarm.Language.Parse |
recalcViewCenter | Swarm.Game.State |
Recipe | |
1 (Type/Class) | Swarm.Game.Recipe |
2 (Data Constructor) | Swarm.Game.Recipe |
RecipeGraph | Swarm.DocGen |
recipeInputs | Swarm.Game.Recipe |
recipeOutputs | Swarm.Game.Recipe |
recipeRequirements | Swarm.Game.Recipe |
Recipes | Swarm.DocGen |
recipesAddress | Swarm.DocGen |
recipesFor | Swarm.Game.Recipe |
recipesIn | Swarm.Game.State |
RecipesModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
recipesOut | Swarm.Game.State |
recipesReq | Swarm.Game.State |
recipeTime | Swarm.Game.Recipe |
recipeWeight | Swarm.Game.Recipe |
redAttr | Swarm.TUI.Attr |
reduceBoolExpr | Data.BoolExpr |
reflow | Swarm.Util |
RelativeDir | Swarm.Language.Syntax |
removeEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
renderDisplay | Swarm.Game.Display |
renderDoc | Swarm.Language.LSP.Hover |
renderGoalsDisplay | Swarm.Game.Scenario.Objective.Presentation.Render |
renderSortMethod | Swarm.TUI.Inventory.Sorting |
replace | Data.BoolExpr.Simplify |
ReplaceEntity | Swarm.Game.World, Swarm.Game.CESK |
replaceLast | Swarm.Util |
replActiveType | Swarm.Game.State |
ReplControlMode | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replControlMode | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLDone | Swarm.Game.State |
REPLEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLHistItem | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replIndex | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replIndexIsAtInput | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLInput | Swarm.TUI.Model.Name, Swarm.TUI.Model |
replItemText | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replLast | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replLength | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replNextValueIndex | Swarm.Game.State |
REPLOutput | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
REPLPrompt | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replPromptEditor | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replPromptText | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replPromptType | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replSeq | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLState | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLStatus | Swarm.Game.State |
replStatus | Swarm.Game.State |
replType | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replValid | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLWorking | Swarm.Game.State |
replWorking | Swarm.Game.State |
repoGitInfo | Swarm.TUI.Model |
Reprogram | Swarm.Language.Syntax |
ReqCap | Swarm.Language.Requirement |
ReqCtx | Swarm.Language.Requirement |
ReqDev | Swarm.Language.Requirement |
ReqInv | Swarm.Language.Requirement |
reqRecipeMap | Swarm.Game.Recipe |
Requirement | Swarm.Language.Requirement |
Requirements | |
1 (Type/Class) | Swarm.Language.Requirement |
2 (Data Constructor) | Swarm.Language.Requirement |
requirements | Swarm.Language.Requirement |
requires | Swarm.Language.Typed |
reservedWords | Swarm.Language.Parse |
resetBlackholes | Swarm.Game.CESK |
restartGame | Swarm.TUI.Model.StateUpdate |
restartREPLHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Return | Swarm.Language.Syntax |
ReverseVideo | Swarm.Game.Scenario.Style |
RID | Swarm.Game.Robot |
rightLabel | Swarm.TUI.Border |
Robot | Swarm.Game.Robot |
robotAttr | Swarm.TUI.Attr |
robotCapabilities | Swarm.Game.Robot |
RobotContext | Swarm.Game.Robot |
robotContext | Swarm.Game.Robot |
robotCreatedAt | Swarm.Game.Robot |
robotDisplay | Swarm.Game.Robot |
robotEntity | Swarm.Game.Robot |
RobotFailure | Swarm.Game.Step |
robotHeavy | Swarm.Game.Robot |
robotID | Swarm.Game.Robot |
RobotIntoWater | Swarm.TUI.Model.Achievement.Definitions |
robotInventory | Swarm.Game.Robot |
robotKnows | Swarm.Game.Robot |
robotLocation | Swarm.Game.Robot |
robotLog | Swarm.Game.Robot |
robotLogUpdated | Swarm.Game.Robot |
RobotMap | Swarm.Game.Scenario.RobotLookup |
robotMap | Swarm.Game.State |
robotName | Swarm.Game.Robot |
RobotNamed | Swarm.Language.Syntax |
RobotNumbered | Swarm.Language.Syntax |
robotOrientation | Swarm.Game.Robot |
RobotPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
robotParentID | Swarm.Game.Robot |
RobotPhase | Swarm.Game.Robot |
RobotR | Swarm.Game.Robot |
robotsAtLocation | Swarm.Game.State |
robotsByLocation | Swarm.Game.State |
robotsInArea | Swarm.Game.State |
RobotsModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
robotStepsPerTick | Swarm.Game.State |
RobotUpdate | Swarm.Game.CESK, Swarm.Game.Robot |
robotWithID | Swarm.Game.Step |
robotWithName | Swarm.Game.Step |
rockAttr | Swarm.TUI.Attr |
Run | Swarm.Language.Syntax |
runCESK | Swarm.Game.Step |
runE | Swarm.Util.Yaml |
runEval | Data.BoolExpr |
runEvalId | Data.BoolExpr |
runFrame | Swarm.TUI.Controller |
runFrameTicks | Swarm.TUI.Controller |
runFrameUI | Swarm.TUI.Controller |
runGameTick | Swarm.TUI.Controller |
runGameTickUI | Swarm.TUI.Controller |
runInfer | Swarm.Language.Typecheck |
Running | Swarm.Game.State |
runningAtomic | Swarm.Game.Robot |
runParser | Swarm.Language.Parse |
runParserTH | Swarm.Language.Parse |
RunStatus | Swarm.Game.State |
runStatus | Swarm.Game.State |
RuntimeState | Swarm.TUI.Model |
runtimeState | Swarm.TUI.Model |
runWF | Swarm.Game.World |
S | Swarm.Language.Syntax |
safeDiv | Swarm.Game.Step |
safeExp | Swarm.Game.Step |
Said | Swarm.Game.Log, Swarm.Game.Robot |
Salvage | Swarm.Language.Syntax |
SApp | Swarm.Language.Syntax |
Save | Swarm.TUI.Model.Failure |
saveAchievementsInfo | Swarm.TUI.Model.Achievement.Persistence |
saveScenarioInfo | Swarm.Game.ScenarioInfo |
Say | Swarm.Language.Syntax |
SBind | Swarm.Language.Syntax |
SC | Swarm.Game.ScenarioInfo |
Scan | Swarm.Language.Syntax |
sccInfo | Swarm.Game.Scenario.Objective.Graph |
Scenario | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioAttrs | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioAuthor | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioBestTicks | Swarm.Game.ScenarioInfo |
scenarioBestTime | Swarm.Game.ScenarioInfo |
ScenarioCollection | Swarm.Game.ScenarioInfo |
scenarioCollectionToList | Swarm.Game.ScenarioInfo |
scenarioCreative | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioDescription | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioEntities | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioInfo | |
1 (Type/Class) | Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.ScenarioInfo |
ScenarioInfoPair | Swarm.Game.ScenarioInfo |
ScenarioItem | Swarm.Game.ScenarioInfo |
scenarioItemByPath | Swarm.Game.ScenarioInfo |
scenarioItemName | Swarm.Game.ScenarioInfo |
scenarioKnown | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
scenarioName | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioObjectives | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioPath | Swarm.Game.ScenarioInfo |
scenarioRecipes | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioRef | Swarm.TUI.Model.UI |
scenarioRobots | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarios | Swarm.Game.State |
scenarioSeed | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioSolution | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioStatus | Swarm.Game.ScenarioInfo |
scenarioStatus | Swarm.Game.ScenarioInfo |
scenarioStepsPerTick | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioToAppState | Swarm.TUI.Model.StateUpdate |
scenarioToGameState | Swarm.Game.State |
scenarioVersion | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioWorld | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scMap | Swarm.Game.ScenarioInfo |
scOrder | Swarm.Game.ScenarioInfo |
ScriptPath | Swarm.Game.State |
scriptToRun | Swarm.TUI.Model |
scrollView | Swarm.TUI.Controller |
SDef | Swarm.Language.Syntax |
SDelay | Swarm.Language.Syntax |
SearchPrompt | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Seed | Swarm.Game.WorldGen, Swarm.Game.State, Swarm.TUI.Model |
seed | Swarm.Game.State |
seedProgram | Swarm.Game.Step |
Self | Swarm.Language.Syntax |
Selfdestruct | Swarm.Language.Syntax |
selfDestruct | Swarm.Game.Robot |
Separator | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
setCell | Swarm.Game.CESK |
setFocus | Swarm.TUI.Controller.Util |
setIncomplete | Swarm.Game.Scenario.Objective |
Setname | Swarm.Language.Syntax |
sForce | Swarm.Language.Elaborate |
SheetType | Swarm.DocGen |
ShiftKey | Swarm.TUI.Controller.Util |
showErrorPos | Swarm.Language.Parse |
showHoverInfo | Swarm.Language.LSP.Hover |
showShortError | Swarm.Language.Parse |
showTypeErrorPos | Swarm.Language.Pipeline |
SICollection | Swarm.Game.ScenarioInfo |
Signed | Data.BoolExpr |
SimpleDelay | Swarm.Language.Syntax |
singleAchievementDetails | Swarm.TUI.View.Achievement |
singleGoalDetails | Swarm.Game.Scenario.Objective.Presentation.Render |
singleton | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Language.Requirement |
3 (Function) | Swarm.Game.Entity |
singletonCap | Swarm.Language.Requirement |
singletonDev | Swarm.Language.Requirement |
singletonInv | Swarm.Language.Requirement |
singularSubjectVerb | Swarm.Util |
SISingle | Swarm.Game.ScenarioInfo |
Size | Swarm.Game.WorldGen |
skolemize | Swarm.Language.Typecheck |
SLam | Swarm.Language.Syntax |
sleepForever | Swarm.Game.State |
sleepUntil | Swarm.Game.State |
SLet | Swarm.Language.Syntax |
sLoc | Swarm.Language.Syntax |
Small | Swarm.Game.WorldGen |
smallHittingSet | Swarm.Util |
Snd | Swarm.Language.Syntax |
Soft | Swarm.Game.WorldGen |
sortInventory | Swarm.TUI.Inventory.Sorting |
south | Swarm.Language.Syntax |
SPair | Swarm.Language.Syntax |
Split | Swarm.Language.Syntax |
squote | Swarm.Util |
SrcLoc | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
Standout | Swarm.Game.Scenario.Style |
startGame | Swarm.TUI.Model.StateUpdate |
StartOver | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
StartOverButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
startWebThread | Swarm.Web |
stepCESK | Swarm.Game.Step |
stepRobot | Swarm.Game.Step |
STerm | Swarm.Language.Syntax |
sTerm | Swarm.Language.Syntax |
stoneAttr | Swarm.TUI.Attr |
StoneT | Swarm.Game.Terrain |
Store | Swarm.Game.CESK |
Strikethrough | Swarm.Game.Scenario.Style |
stripVResult | Swarm.Language.Value |
style | Swarm.Game.Scenario.Style |
StyleFlag | Swarm.Game.Scenario.Style |
styleFlagJsonOptions | Swarm.Game.Scenario.Style |
sType | Swarm.Language.Syntax |
Sub | Swarm.Language.Syntax |
substU | Swarm.Language.Typecheck |
SuggestedSolution | Swarm.Game.State |
Swap | Swarm.Language.Syntax |
Swap' | Swarm.Game.Step |
SwarmApi | Swarm.Web |
swarmAttrMap | Swarm.TUI.Attr |
Syntax | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
syntax | Swarm.Language.Syntax |
Syntax' | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
SystemFailure | Swarm.TUI.Model.Failure |
systemRobot | Swarm.Game.Robot |
tagToVersion | Swarm.Version |
tangibility | Swarm.Language.Syntax |
TAntiInt | Swarm.Language.Syntax |
TAntiText | Swarm.Language.Syntax |
TApp | Swarm.Language.Syntax |
TBind | Swarm.Language.Syntax |
TBool | Swarm.Language.Syntax |
TConst | Swarm.Language.Syntax |
TCtx | Swarm.Language.Types |
TDef | Swarm.Language.Syntax |
TDelay | Swarm.Language.Syntax |
TDir | Swarm.Language.Syntax |
Teleport | Swarm.Language.Syntax |
TemplateRobot | Swarm.Game.Robot |
Term | Swarm.Language.Syntax |
Term' | Swarm.Language.Syntax |
terrainMap | Swarm.Game.Terrain |
TerrainType | Swarm.Game.Terrain |
testWorld1 | Swarm.Game.WorldGen |
testWorld2 | Swarm.Game.WorldGen |
testWorld2Entites | Swarm.Game.WorldGen |
testWorld2FromArray | Swarm.Game.WorldGen |
ThrowExn | Swarm.Game.Step |
tickCount | Swarm.TUI.Model.UI |
tickRobot | Swarm.Game.Step |
tickRobotRec | Swarm.Game.Step |
ticks | Swarm.Game.State |
tickSteps | Swarm.Game.Robot |
Time | Swarm.Language.Syntax |
TimeDir | Swarm.TUI.Model.Repl, Swarm.TUI.Model, Swarm.TUI.Controller |
TInt | Swarm.Language.Syntax |
title | Swarm.TUI.Model.Achievement.Definitions |
TLam | Swarm.Language.Syntax |
TLet | Swarm.Language.Syntax |
TModule | Swarm.Language.Module |
tmQ | Swarm.Language.Pipeline.QQ |
toAttrColor | Swarm.TUI.View.CustomStyling |
toAttrPair | Swarm.TUI.View.CustomStyling |
toBoolExpr | Swarm.Game.Scenario.Objective.Logic |
ToChar | Swarm.Language.Syntax |
toDirection | Swarm.Language.Syntax |
toErrPos | Swarm.Language.LSP.VarUsage |
toggleRunStatus | Swarm.Game.State |
TooManyTicks | Swarm.Language.Typecheck |
topContext | Swarm.TUI.Model |
topLabels | Swarm.TUI.Border |
toStyle | Swarm.TUI.View.CustomStyling |
toU | Swarm.Language.Types |
TPair | Swarm.Language.Syntax |
traceLog | Swarm.Game.Step |
traceLogShow | Swarm.Game.Step |
treeToMarkdown | Swarm.Language.LSP.Hover |
TRef | Swarm.Language.Syntax |
TRequire | Swarm.Language.Syntax |
TRequireDevice | Swarm.Language.Syntax |
Trivial | Swarm.TUI.Model.Achievement.Definitions |
trivMod | Swarm.Language.Module |
TRobot | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.Robot |
trobotContext | Swarm.Game.Robot |
trobotLocation | Swarm.Game.Robot |
trobotName | Swarm.Game.Robot |
Try | Swarm.Language.Syntax |
tShow | Swarm.TUI.Model.Failure |
tShowLow | Swarm.TUI.Model.Failure |
TText | Swarm.Language.Syntax |
TUnit | Swarm.Language.Syntax |
Turn | Swarm.Language.Syntax |
Tutorial | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
TVar | Swarm.Language.Syntax |
TyActor | Swarm.Language.Types |
TyBase | Swarm.Language.Types |
TyBaseF | Swarm.Language.Types |
TyBool | Swarm.Language.Types |
TyCmd | Swarm.Language.Types |
TyCmdF | Swarm.Language.Types |
TyDelay | Swarm.Language.Types |
TyDelayF | Swarm.Language.Types |
TyDir | Swarm.Language.Types |
TyFunF | Swarm.Language.Types |
TyInt | Swarm.Language.Types |
Type | Swarm.Language.Types |
Typed | |
1 (Type/Class) | Swarm.Language.Typed |
2 (Data Constructor) | Swarm.Language.Typed |
TypeErr | Swarm.Language.Typecheck |
TypeF | Swarm.Language.Types |
Typing | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
TyProdF | Swarm.Language.Types |
tyQ | Swarm.Language.Parse.QQ |
TySumF | Swarm.Language.Types |
TyText | Swarm.Language.Types |
TyUnit | Swarm.Language.Types |
TyVar | Swarm.Language.Types |
TyVarF | Swarm.Language.Types |
tyVars | Swarm.Language.Types |
TyVoid | Swarm.Language.Types |
U | Swarm.Language.Types |
ucata | Swarm.Language.Types |
UCtx | Swarm.Language.Types |
uiAchievements | Swarm.TUI.Model.UI |
uiAttrMap | Swarm.TUI.Model.UI |
uiCheatMode | Swarm.TUI.Model.UI |
uiError | Swarm.TUI.Model.UI |
uiFocusRing | Swarm.TUI.Model.UI |
uiFPS | Swarm.TUI.Model.UI |
uiGoal | Swarm.TUI.Model.UI |
uiHideRobotsUntil | Swarm.TUI.Model.UI |
uiInventory | Swarm.TUI.Model.UI |
uiInventoryShouldUpdate | Swarm.TUI.Model.UI |
uiInventorySort | Swarm.TUI.Model.UI |
uiMenu | Swarm.TUI.Model.UI |
uiModal | Swarm.TUI.Model.UI |
uiMoreInfoBot | Swarm.TUI.Model.UI |
uiMoreInfoTop | Swarm.TUI.Model.UI |
uiPlaying | Swarm.TUI.Model.UI |
uiREPL | Swarm.TUI.Model.UI |
uiScrollToEnd | Swarm.TUI.Model.UI |
uiShowFPS | Swarm.TUI.Model.UI |
uiShowRobots | Swarm.TUI.Model.UI |
uiShowZero | Swarm.TUI.Model.UI |
UIState | |
1 (Type/Class) | Swarm.TUI.Model.UI |
2 (Data Constructor) | Swarm.TUI.Model.UI |
uiState | Swarm.TUI.Model |
uiTPF | Swarm.TUI.Model.UI |
uiWorldCursor | Swarm.TUI.Model.UI |
ul | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
UModule | Swarm.Language.Module |
UnboundVar | Swarm.Language.Typecheck |
unCNF | Data.BoolExpr |
unConj | Data.BoolExpr |
unCoords | Swarm.Game.World |
unCtx | Swarm.Language.Context |
Undefined | Swarm.Language.Syntax |
Underline | Swarm.Game.Scenario.Style |
unDisj | Data.BoolExpr |
unDNF | Data.BoolExpr |
Unequip | Swarm.Language.Syntax |
unfoldApps | Swarm.Language.Syntax |
uniform | Swarm.Game.Step |
union | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
uniq | Swarm.Util |
unOps | Swarm.Language.Parse |
unPalette | Swarm.Game.Scenario.WorldDescription |
unsafeSetRobotLocation | Swarm.Game.Robot |
unTuple | Swarm.Language.Parse |
Unwalkable | Swarm.Game.Entity |
Unwinnable | Swarm.Game.State |
unwinnable | Swarm.Game.Scenario.Objective |
Up | Swarm.Game.CESK |
Upcoming | Swarm.Game.Scenario.Objective.Presentation.Model |
update | Swarm.Game.World |
updateAvailableCommands | Swarm.Game.Step |
updateAvailableRecipes | Swarm.Game.Step |
updateDiscoveredEntities | Swarm.Game.Step |
updatedLoc | Swarm.Game.World, Swarm.Game.CESK |
updateEntityAt | Swarm.Game.Step |
updateM | Swarm.Game.World |
updateRobotLocation | Swarm.Game.Step |
updateScenarioInfoOnQuit | Swarm.Game.ScenarioInfo |
updateUI | Swarm.TUI.Controller |
updateWorld | Swarm.Game.Step |
Upload | Swarm.Language.Syntax |
UPolytype | Swarm.Language.Types |
upstreamRelease | Swarm.TUI.Model |
upstreamReleaseVersion | Swarm.Version |
UpstreamVersion | Swarm.TUI.Model |
Usage | |
1 (Type/Class) | Swarm.Language.LSP.VarUsage |
2 (Data Constructor) | Swarm.Language.LSP.VarUsage |
usages | Swarm.Language.LSP.VarUsage |
User | Swarm.Game.Exception |
userScenario | Swarm.TUI.Model |
userSeed | Swarm.TUI.Model |
userWebPort | Swarm.TUI.Model |
UTyActor | Swarm.Language.Types |
UTyBase | Swarm.Language.Types |
UTyBool | Swarm.Language.Types |
UTyCmd | Swarm.Language.Types |
UTyDelay | Swarm.Language.Types |
UTyDir | Swarm.Language.Types |
UTyFun | Swarm.Language.Types |
UTyInt | Swarm.Language.Types |
UType | Swarm.Language.Types |
UTyProd | Swarm.Language.Types |
UTySum | Swarm.Language.Types |
UTyText | Swarm.Language.Types |
UTyUnit | Swarm.Language.Types |
UTyVar | Swarm.Language.Types |
UTyVoid | Swarm.Language.Types |
V | Swarm.Game.CESK |
validateObjectives | Swarm.Game.Scenario.Objective.Validation |
validateREPLForm | Swarm.TUI.Controller |
validateSwarmCode | Swarm.Language.LSP |
Value | Swarm.Language.Value |
value | Swarm.Language.Typed |
valueToTerm | Swarm.Language.Value |
Var | Swarm.Language.Context, Swarm.Language.Types, Swarm.Language.Syntax |
VarUsage | |
1 (Type/Class) | Swarm.Language.LSP.VarUsage |
2 (Data Constructor) | Swarm.Language.LSP.VarUsage |
VBind | Swarm.Language.Value |
VBool | Swarm.Language.Value |
VCApp | Swarm.Language.Value |
VClo | Swarm.Language.Value |
VCLocation | Swarm.Game.State |
VCRobot | Swarm.Game.State |
VDef | Swarm.Language.Value |
VDelay | Swarm.Language.Value |
VDir | Swarm.Language.Value |
verbedGrabbingCmd | Swarm.Game.Step |
verbGrabbingCmd | Swarm.Game.Step |
version | Swarm.Version |
View | Swarm.Language.Syntax |
viewCenter | Swarm.Game.State |
ViewCenterRule | Swarm.Game.State |
viewCenterRule | Swarm.Game.State |
viewingRegion | Swarm.Game.State |
VInj | Swarm.Language.Value |
VInt | Swarm.Language.Value |
VPair | Swarm.Language.Value |
VRef | Swarm.Language.Value |
VResult | Swarm.Language.Value |
VRobot | Swarm.Language.Value |
VSCode | Swarm.DocGen |
VText | Swarm.Language.Value |
VUnit | Swarm.Language.Value |
Wait | Swarm.Language.Syntax |
Waiting | Swarm.Game.CESK |
waitingRobots | Swarm.Game.State |
waitingUntil | Swarm.Game.Robot |
wakeUpRobotsDoneSleeping | Swarm.Game.State |
Warning | Swarm.Game.Log, Swarm.Game.Robot |
waterAttr | Swarm.TUI.Attr |
webMain | Swarm.Web |
webPort | Swarm.TUI.Model |
weightedChoice | Swarm.Game.Step |
west | Swarm.Language.Syntax |
WF | Swarm.Game.World |
Whereami | Swarm.Language.Syntax |
Whoami | Swarm.Language.Syntax |
WinCondition | Swarm.Game.State |
winCondition | Swarm.Game.State |
WinConditions | Swarm.Game.State |
WinModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
winSolution | Swarm.Game.State |
WinStatus | Swarm.Game.State |
With | Swarm.Util.Yaml |
withArrayE | Swarm.Util.Yaml |
withBinding | Swarm.Language.Context |
withBindings | Swarm.Language.Context |
withE | Swarm.Util.Yaml |
withEllipsis | Swarm.TUI.View.Util |
withExceptions | Swarm.Game.Step |
withObjectE | Swarm.Util.Yaml |
withTextE | Swarm.Util.Yaml |
WithU | Swarm.Language.Types |
Won | Swarm.Game.State |
World | Swarm.Game.World |
world | Swarm.Game.State |
worldAttributes | Swarm.TUI.Attr |
WorldCache | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldDescription | |
1 (Type/Class) | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
WorldExtent | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldFun | Swarm.Game.World |
worldFunFromArray | Swarm.Game.World |
WorldPalette | |
1 (Type/Class) | Swarm.Game.Scenario.WorldDescription |
2 (Data Constructor) | Swarm.Game.Scenario.WorldDescription |
WorldPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
worldPrefix | Swarm.TUI.Attr |
WorldUpdate | Swarm.Game.World, Swarm.Game.CESK |
wrapForce | Swarm.Language.Elaborate |
yellowAttr | Swarm.TUI.Attr |
zoomWorld | Swarm.Game.Step |
\/ | Data.BoolExpr |
_AboutMenu | Swarm.TUI.Model.Menu |
_accumulatedTime | Swarm.TUI.Model.UI |
_achievement | Swarm.TUI.Model.Achievement.Attainment |
_AchievementsMenu | Swarm.TUI.Model.Menu |
_appData | Swarm.TUI.Model.UI |
_Complete | Swarm.Game.ScenarioInfo |
_EquippedEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_focus | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.TUI.Model.UI |
_frameCount | Swarm.TUI.Model.UI |
_frameTickCount | Swarm.TUI.Model.UI |
_goalsContent | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.TUI.Model.UI |
_InProgress | Swarm.Game.ScenarioInfo |
_InventoryEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_lastFrameTime | Swarm.TUI.Model.UI |
_lastInfoTime | Swarm.TUI.Model.UI |
_leLocation | Swarm.Game.Log, Swarm.Game.Robot |
_leRobotID | Swarm.Game.Log, Swarm.Game.Robot |
_leRobotName | Swarm.Game.Log, Swarm.Game.Robot |
_leSource | Swarm.Game.Log, Swarm.Game.Robot |
_leText | Swarm.Game.Log, Swarm.Game.Robot |
_leTime | Swarm.Game.Log, Swarm.Game.Robot |
_lgTicksPerSecond | Swarm.TUI.Model.UI |
_listWidget | Swarm.Game.Scenario.Objective.Presentation.Model, Swarm.TUI.Model.UI |
_MainMenu | Swarm.TUI.Model.Menu |
_maybeScenarioPath | Swarm.TUI.Model.Achievement.Attainment |
_MessagesMenu | Swarm.TUI.Model.Menu |
_modalDialog | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_modalType | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_NewGameMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_NoMenu | Swarm.TUI.Model.Menu |
_NonEmpty | Swarm.Util |
_notificationsContent | Swarm.Game.State |
_notificationsCount | Swarm.Game.State |
_NotStarted | Swarm.Game.ScenarioInfo |
_NoWinCondition | Swarm.Game.State |
_objectiveAchievement | Swarm.Game.Scenario.Objective |
_objectiveCondition | Swarm.Game.Scenario.Objective |
_objectiveGoal | Swarm.Game.Scenario.Objective |
_objectiveHidden | Swarm.Game.Scenario.Objective |
_objectiveId | Swarm.Game.Scenario.Objective |
_objectiveOptional | Swarm.Game.Scenario.Objective |
_objectivePrerequisite | Swarm.Game.Scenario.Objective |
_objectiveTeaser | Swarm.Game.Scenario.Objective |
_obtainedAt | Swarm.TUI.Model.Achievement.Attainment |
_polytype | Swarm.Language.Typed |
_recipeInputs | Swarm.Game.Recipe |
_recipeOutputs | Swarm.Game.Recipe |
_recipeRequirements | Swarm.Game.Recipe |
_recipeTime | Swarm.Game.Recipe |
_recipeWeight | Swarm.Game.Recipe |
_requires | Swarm.Language.Typed |
_scenarioBestTicks | Swarm.Game.ScenarioInfo |
_scenarioBestTime | Swarm.Game.ScenarioInfo |
_scenarioElapsed | Swarm.Game.ScenarioInfo |
_scenarioElapsedTicks | Swarm.Game.ScenarioInfo |
_scenarioPath | Swarm.Game.ScenarioInfo |
_scenarioRef | Swarm.TUI.Model.UI |
_scenarioStarted | Swarm.Game.ScenarioInfo |
_scenarioStatus | Swarm.Game.ScenarioInfo |
_Separator | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_SISingle | Swarm.Game.ScenarioInfo |
_sLoc | Swarm.Language.Syntax |
_sTerm | Swarm.Language.Syntax |
_sType | Swarm.Language.Syntax |
_tickCount | Swarm.TUI.Model.UI |
_uiAchievements | Swarm.TUI.Model.UI |
_uiAttrMap | Swarm.TUI.Model.UI |
_uiCheatMode | Swarm.TUI.Model.UI |
_uiError | Swarm.TUI.Model.UI |
_uiFocusRing | Swarm.TUI.Model.UI |
_uiFPS | Swarm.TUI.Model.UI |
_uiGoal | Swarm.TUI.Model.UI |
_uiHideRobotsUntil | Swarm.TUI.Model.UI |
_uiInventory | Swarm.TUI.Model.UI |
_uiInventoryShouldUpdate | Swarm.TUI.Model.UI |
_uiInventorySort | Swarm.TUI.Model.UI |
_uiMenu | Swarm.TUI.Model.UI |
_uiModal | Swarm.TUI.Model.UI |
_uiMoreInfoBot | Swarm.TUI.Model.UI |
_uiMoreInfoTop | Swarm.TUI.Model.UI |
_uiPlaying | Swarm.TUI.Model.UI |
_uiREPL | Swarm.TUI.Model.UI |
_uiScrollToEnd | Swarm.TUI.Model.UI |
_uiShowFPS | Swarm.TUI.Model.UI |
_uiShowZero | Swarm.TUI.Model.UI |
_uiTPF | Swarm.TUI.Model.UI |
_uiWorldCursor | Swarm.TUI.Model.UI |
_value | Swarm.Language.Typed |
_WinConditions | Swarm.Game.State |