$$ | Swarm.Game.World.Typecheck |
$$. | Swarm.Game.World.Typecheck |
%%= | Swarm.Util |
.$$ | Swarm.Game.World.Typecheck |
.$$. | Swarm.Game.World.Typecheck |
.+^ | Swarm.Game.Location |
.-. | Swarm.Game.Location |
.-^ | Swarm.Game.Location |
..!= | Swarm.Util.Yaml |
..: | Swarm.Util.Yaml |
..:? | Swarm.Util.Yaml |
:$: | Swarm.Language.Syntax |
:*: | Swarm.Language.Types |
:+: | Swarm.Language.Types |
:->: | |
1 (Data Constructor) | Swarm.Language.Types |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
<!> | Swarm.Game.World.Typecheck |
<%= | Swarm.Util |
<+= | Swarm.Util |
<<.= | Swarm.Util |
<>= | Swarm.Util |
? | Swarm.Util |
About | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
AboutMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
Abs | Swarm.Game.World.Syntax |
AbsoluteDir | Swarm.Language.Direction, Swarm.Language.Syntax |
Accum | Control.Carrier.Accum.FixedStrict |
AccumC | |
1 (Type/Class) | Control.Carrier.Accum.FixedStrict |
2 (Data Constructor) | Control.Carrier.Accum.FixedStrict |
accumulatedTime | Swarm.TUI.Model.UI |
Achievement | Swarm.Game.Failure |
achievement | Swarm.Game.Achievement.Attainment |
AchievementInfo | |
1 (Type/Class) | Swarm.Game.Achievement.Definitions |
2 (Data Constructor) | Swarm.Game.Achievement.Definitions |
AchievementList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
Achievements | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
AchievementsMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
acquireAllWithExt | Swarm.Util |
activateRobot | Swarm.Game.State |
activateWorldEditorFunction | Swarm.TUI.Editor.Controller |
Active | Swarm.TUI.Model.Goal |
activeRobots | Swarm.Game.State |
activityCounts | Swarm.Game.Robot |
activityWindow | Swarm.Game.Robot |
Actual | Swarm.Language.Typecheck |
actualGraph | Swarm.Game.Scenario.Objective.Graph |
Add | |
1 (Data Constructor) | Control.Carrier.Accum.FixedStrict |
2 (Data Constructor) | Swarm.Language.Syntax |
3 (Data Constructor) | Swarm.Game.World.Modify |
4 (Data Constructor) | Swarm.Game.World.Syntax |
add | Control.Carrier.Accum.FixedStrict |
addBinding | Swarm.Language.Context |
addCombustionBot | Swarm.Game.Step.Combustion |
addCompleted | Swarm.Game.Scenario.Objective |
AddEntity | Swarm.Game.CESK, Swarm.Game.Robot |
addIgnitionBot | Swarm.Game.Step.Combustion |
addIncomplete | Swarm.Game.Scenario.Objective |
addLink | Swarm.Doc.Util |
Addr | Swarm.Game.CESK |
addREPLItem | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
addRobot | Swarm.Game.State |
addRobotToLocation | Swarm.Game.State |
addSeedBot | Swarm.Game.Step |
addTicks | Swarm.Game.CESK |
addTRobot | Swarm.Game.State |
addUnwinnable | Swarm.Game.Scenario.Objective |
addWatchedLocation | Swarm.Game.Step |
ADefault | Swarm.Game.Display |
adjList | Swarm.Game.ResourceLoading |
adjReplHistIndex | Swarm.TUI.Controller |
adjustTPS | Swarm.TUI.Controller |
AEntity | Swarm.Game.Display |
Affine | Swarm.Game.Location |
Algebra | Control.Carrier.Accum.FixedStrict |
allConst | Swarm.Language.Syntax |
allDirs | Swarm.Language.Direction, Swarm.Language.Syntax |
allDiscoveredEntities | Swarm.Game.State |
allEqual | Swarm.Util |
allocate | Swarm.Game.CESK |
Alternatives | Swarm.Doc.Schema.SchemaType |
And | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
3 (Data Constructor) | Swarm.Game.World.Syntax |
AnnotatedDestination | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Portal |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Portal |
Announcement | Swarm.Game.Scenario.Objective, Swarm.Game.State |
announcementQueue | Swarm.Game.State |
announcements | Swarm.TUI.Model.Goal |
Apart | Swarm.Language.Typecheck.Unify |
app | Swarm.App |
AppAsset | Swarm.Game.Failure |
appData | Swarm.TUI.Model |
Appear | Swarm.Language.Syntax |
Append | Swarm.Game.World.Typecheck |
AppEvent | Swarm.TUI.Model |
AppF | Swarm.Language.Syntax |
Applicable | Swarm.Game.World.Typecheck |
appliedTermPrec | Swarm.Language.Pretty |
apply | Swarm.Game.World.Typecheck |
applyBindings | Swarm.Language.Typecheck |
ApplyErr | Swarm.Game.World.Typecheck |
applyOp | Swarm.Game.World.Typecheck |
applyOrientationTransform | Swarm.Game.Scenario.Topography.Placement |
applyRobotUpdates | Swarm.Game.Step |
applyTo | Swarm.Game.World.Typecheck |
applyTurn | Swarm.Game.Location |
applyViewCenterRule | Swarm.Game.State |
applyWhen | Swarm.Util |
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 | |
1 (Function) | Swarm.Game.Scenario.Topography.Structure |
2 (Function) | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
AreaDimensions | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Area |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Area |
AreaSelector | Swarm.TUI.Model.Name |
arity | Swarm.Language.Syntax |
ARobot | Swarm.Game.Display |
As | Swarm.Language.Syntax |
Ascending | Swarm.TUI.Inventory.Sorting |
asExceptT | Swarm.Util.Effect |
Asset | Swarm.Game.Failure |
AssetData | Swarm.Game.Failure |
AssetNotLoaded | Swarm.Game.Failure |
assignIds | Swarm.Game.Scenario.Objective.Graph |
assocs | Swarm.Language.Context |
asTree | Swarm.Language.Syntax |
astSize | Swarm.Game.Scenario.Scoring.CodeSize |
asValue | Swarm.Game.Value |
ATerrain | Swarm.Game.Display |
Atomic | Swarm.Language.Syntax |
AtomicDupingThing | Swarm.Language.Typecheck |
attainAchievement | Swarm.TUI.Model.StateUpdate |
attainAchievement' | Swarm.TUI.Model.StateUpdate |
Attainment | |
1 (Type/Class) | Swarm.Game.Achievement.Attainment |
2 (Data Constructor) | Swarm.Game.Achievement.Attainment |
attainmentProcess | Swarm.Game.Achievement.Definitions |
Attempted | Swarm.Game.Scenario.Scoring.GenericMetrics |
AttemptMetrics | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
AttemptSelfDestructBase | Swarm.Game.Achievement.Definitions |
Attribute | Swarm.Game.Display |
attribution | Swarm.Game.Achievement.Definitions |
AugmentedCell | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Cell |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Cell |
AutoPause | Swarm.Game.State |
autoPlay | Swarm.TUI.Model |
availableCommands | Swarm.Game.State |
availableRecipes | Swarm.Game.State |
AWorld | Swarm.Game.Display |
Axis | Swarm.Game.World.Syntax |
B | Swarm.Game.World.Typecheck |
BackspaceKey | Swarm.TUI.Controller.Util |
Backup | Swarm.Language.Syntax |
BActor | Swarm.Language.Types |
BadDivType | Swarm.Game.World.Typecheck |
BadType | Swarm.Game.World.Typecheck |
BApp | Swarm.Game.World.Abstract |
Base | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.World.Typecheck |
baseRobot | Swarm.Game.State |
BaseTy | Swarm.Language.Types |
baseTyNounPhrase | Swarm.Language.Pretty |
BBool | |
1 (Data Constructor) | Swarm.Language.Types |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
BCell | Swarm.Game.World.Typecheck |
BConst | Swarm.Game.World.Abstract |
BDir | Swarm.Language.Types |
Beginning | Swarm.TUI.View.Util |
BestByAstSize | Swarm.Game.Scenario.Scoring.Best |
BestByCharCount | Swarm.Game.Scenario.Scoring.Best |
BestByCriteria | Swarm.Game.Scenario.Scoring.Best |
BestByTicks | Swarm.Game.Scenario.Scoring.Best |
BestByTime | Swarm.Game.Scenario.Scoring.Best |
BestRecords | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.Best |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.Best |
BFloat | Swarm.Game.World.Typecheck |
bg | Swarm.Game.Scenario.Style |
bgWithAutoForeground | Swarm.TUI.View.Attribute.Util |
binary | Swarm.Game.World.Compile |
Bind | Swarm.Language.LSP.VarUsage |
BindingSites | Swarm.Language.LSP.VarUsage |
BindingType | Swarm.Language.LSP.VarUsage |
binOps | Swarm.Language.Parse |
BInt | |
1 (Data Constructor) | Swarm.Language.Types |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
binTuples | Swarm.Util |
BKey | Swarm.Language.Types |
Blackhole | Swarm.Game.CESK |
BlankT | Swarm.Game.Terrain |
Blink | Swarm.Game.Scenario.Style |
Blocked | Swarm.Language.Syntax |
blueAttr | Swarm.TUI.View.Attribute.Attr |
Bold | Swarm.Game.Scenario.Style |
boldAttr | Swarm.TUI.View.Attribute.Attr |
BorderLabels | Swarm.TUI.Border |
borderWithLabels | Swarm.TUI.Border |
both | Swarm.Util |
bottomLabels | Swarm.TUI.Border |
boundsPersistDisplayUntil | Swarm.TUI.Editor.Model |
boundsRect | Swarm.TUI.Editor.Model |
BoundsRectangle | Swarm.Game.World.Coords, Swarm.Game.World |
BoundsSelectionStep | Swarm.TUI.Editor.Model |
boundsSelectionStep | Swarm.TUI.Editor.Model |
bquote | |
1 (Function) | Swarm.Util |
2 (Function) | Swarm.Language.Pretty |
braces | Swarm.Game.World.Parse |
bracket | Swarm.Game.World.Abstract |
brackets | |
1 (Function) | Swarm.Util |
2 (Function) | Swarm.Game.World.Parse |
briefDoc | Swarm.Language.Syntax |
BrushSelector | Swarm.TUI.Model.Name |
BTerm | Swarm.Game.World.Abstract |
BText | Swarm.Language.Types |
Build | Swarm.Language.Syntax |
buildEntityMap | Swarm.Game.Entity |
buildRobotMap | Swarm.Game.Scenario.RobotLookup |
buildWorldTuples | Swarm.Game.State |
builtinFunctionList | Swarm.Doc.Gen |
BulletList | |
1 (Type/Class) | Swarm.Language.Pretty |
2 (Data Constructor) | Swarm.Language.Pretty |
bulletListHeader | Swarm.Language.Pretty |
bulletListItems | Swarm.Language.Pretty |
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 |
C | Swarm.Game.World.Typecheck |
CAbs | Swarm.Game.World.Typecheck |
cacheValidatedInputs | Swarm.TUI.Launch.Controller |
cacheValidatedSeedInput | Swarm.TUI.Launch.Controller |
CAdd | Swarm.Game.World.Typecheck |
Cancel | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
cancel | Swarm.Game.CESK |
CancelButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
CAnd | Swarm.Game.World.Typecheck |
cannotBeTrue | Data.BoolExpr.Simplify |
CanNotParseMegaparsec | Swarm.Game.Failure |
CanNotParseYaml | Swarm.Game.Failure |
CantInfer | Swarm.Language.Typecheck |
CantInferProj | Swarm.Language.Typecheck |
Capabilities | Swarm.Doc.Gen |
Capability | Swarm.Language.Capability |
capabilityAddress | Swarm.Doc.Gen |
capabilityName | Swarm.Language.Capability |
CAppear | Swarm.Language.Capability |
capReqs | Swarm.Language.Requirement |
CArith | Swarm.Language.Capability |
Case | Swarm.Language.Syntax |
CategorizedAchievement | Swarm.Game.Achievement.Definitions |
CategorizedGoals | Swarm.TUI.Model.Goal |
CAtomic | Swarm.Language.Capability |
catRecipeMap | Swarm.Game.Recipe |
CBackup | Swarm.Language.Capability |
CBuild | Swarm.Language.Capability |
CCell | Swarm.Game.World.Typecheck |
CCharcount | Swarm.Language.Capability |
CCode | Swarm.Language.Capability |
CCompare | Swarm.Language.Capability |
CConcat | Swarm.Language.Capability |
CCond | Swarm.Language.Capability |
CCons | Swarm.Game.World.Typecheck |
CConst | Swarm.Game.World.Compile |
CCoord | Swarm.Game.World.Typecheck |
CCount | Swarm.Language.Capability |
CCreate | Swarm.Language.Capability |
CDebug | Swarm.Language.Capability |
CDetectcount | Swarm.Language.Capability |
CDetectdirection | Swarm.Language.Capability |
CDetectdistance | Swarm.Language.Capability |
CDetectloc | Swarm.Language.Capability |
CDiv | Swarm.Game.World.Typecheck |
CDrill | Swarm.Language.Capability |
Cell | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
CellEntity | Swarm.Game.World.Syntax |
cellEntity | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
CellModification | Swarm.Game.World.Modify |
CellPaintDisplay | Swarm.Game.Scenario.Topography.Cell |
CellRobot | Swarm.Game.World.Syntax |
cellRobots | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
CellTag | Swarm.Game.World.Syntax |
CellTerrain | Swarm.Game.World.Syntax |
cellTerrain | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
cellToTerrainPair | Swarm.Game.Scenario.Topography.WorldPalette |
CellUpdate | Swarm.Game.World.Modify |
CellVal | |
1 (Type/Class) | Swarm.Game.World.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
centerLabel | Swarm.TUI.Border |
CEnv | Swarm.Language.Capability |
CEq | Swarm.Game.World.Typecheck |
CEquip | Swarm.Language.Capability |
CESK | Swarm.Game.CESK |
CFI | Swarm.Game.World.Typecheck |
CFloat | Swarm.Language.Capability |
CFormat | Swarm.Language.Capability |
CFun | Swarm.Game.World.Compile |
CGeq | Swarm.Game.World.Typecheck |
CGive | Swarm.Language.Capability |
CGod | Swarm.Language.Capability |
CGrab | Swarm.Language.Capability |
CGt | Swarm.Game.World.Typecheck |
CHalt | Swarm.Language.Capability |
CHandleinput | Swarm.Language.Capability |
CharAt | Swarm.Language.Syntax |
CharKey | Swarm.TUI.Controller.Util |
Chars | Swarm.Language.Syntax |
CHarvest | Swarm.Language.Capability |
CHash | Swarm.Game.World.Typecheck |
cheatMode | Swarm.TUI.Model |
CheatSheet | Swarm.Doc.Gen |
check | |
1 (Function) | Swarm.Language.Typecheck |
2 (Function) | Swarm.Game.World.Typecheck |
checkEmpty | Swarm.Game.World.Typecheck |
checkEq | Swarm.Game.World.Typecheck |
CheckErr | Swarm.Game.World.Typecheck |
checkIntegral | Swarm.Game.World.Typecheck |
checkMoveFailure | Swarm.Game.Step.Util |
checkMoveFailureUnprivileged | Swarm.Game.Step.Util |
checkNum | Swarm.Game.World.Typecheck |
checkOccurrences | Swarm.Language.LSP.VarUsage |
checkOrd | Swarm.Game.World.Typecheck |
checkOver | Swarm.Game.World.Typecheck |
Chirp | Swarm.Language.Syntax |
chooseBetter | Swarm.Game.Scenario.Scoring.GenericMetrics |
chooseCursor | Swarm.TUI.View |
chunksOf | Swarm.Language.Text.Markdown |
CIDiv | Swarm.Game.World.Typecheck |
CIf | Swarm.Game.World.Typecheck |
CIgnite | Swarm.Language.Capability |
CLambda | Swarm.Language.Capability |
classicGame0 | Swarm.TUI.Model.StateUpdate |
classifyModification | Swarm.Game.World.Modify |
ClearEntityButton | Swarm.TUI.Model.Name |
clearFocusedRobotLogUpdated | Swarm.Game.State |
CLeq | Swarm.Game.World.Typecheck |
CListen | Swarm.Language.Capability |
CLit | Swarm.Game.World.Typecheck |
CLog | Swarm.Language.Capability |
Close | Swarm.Game.State |
CLt | Swarm.Game.World.Typecheck |
CMake | Swarm.Language.Capability |
CMask | Swarm.Game.World.Typecheck |
cmdExn | Swarm.Game.Step.Util |
cmdExnWithAchievement | Swarm.Game.Step |
CmdFailed | Swarm.Game.Exception |
CmdPrompt | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
CMeet | Swarm.Language.Capability |
CMod | Swarm.Game.World.Typecheck |
CMove | Swarm.Language.Capability |
CMoveheavy | Swarm.Language.Capability |
CMovemultiple | Swarm.Language.Capability |
CMul | Swarm.Game.World.Typecheck |
CNeg | Swarm.Game.World.Typecheck |
CNegation | Swarm.Language.Capability |
CNeq | Swarm.Game.World.Typecheck |
CNil | Swarm.Game.World.Typecheck |
CNot | Swarm.Game.World.Typecheck |
CodeNode | Swarm.Language.Text.Markdown |
codeQuote | Swarm.Doc.Util |
CodeSizeDeterminators | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.CodeSize, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.CodeSize, Swarm.Game.ScenarioInfo |
codeSizeFromDeterminator | Swarm.Game.Scenario.Scoring.CodeSize |
CodeToRun | |
1 (Type/Class) | Swarm.Game.State |
2 (Data Constructor) | Swarm.Game.State |
ColorMode | Swarm.TUI.Model |
colorMode | Swarm.TUI.Model |
ColorMode16 | Swarm.TUI.Model |
ColorMode240 | Swarm.TUI.Model |
ColorMode8 | Swarm.TUI.Model |
Combustibility | |
1 (Type/Class) | Swarm.Game.Entity |
2 (Data Constructor) | Swarm.Game.Entity |
Combustible | Swarm.Game.Entity |
combustionProgram | Swarm.Game.Step.Combustion |
comma | Swarm.Game.World.Parse |
commaList | Swarm.Util |
Commands | Swarm.Doc.Gen |
commandsAddress | Swarm.Doc.Gen |
commandsHistogram | Swarm.Game.Robot |
CommandsModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
compareValues | Swarm.Game.Step |
compile | Swarm.Game.World.Compile |
compileConst | Swarm.Game.World.Compile |
compileHash | Swarm.Game.World.Compile |
compileMask | Swarm.Game.World.Compile |
compilePerlin | Swarm.Game.World.Compile |
compileReflect | Swarm.Game.World.Compile |
compileRot | Swarm.Game.World.Compile |
Completed | |
1 (Data Constructor) | Swarm.Game.Scenario.Scoring.GenericMetrics |
2 (Data Constructor) | Swarm.TUI.Model.Goal |
completed | Swarm.Game.Scenario.Objective |
CompletedAllTutorials | Swarm.Game.Achievement.Definitions |
completedIDs | Swarm.Game.Scenario.Objective, Swarm.Game.State |
CompletedSingleTutorial | Swarm.Game.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 |
consistent | Swarm.Game.Scenario.Topography.Navigation.Portal |
Const | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.World.Typecheck |
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 |
constructAppState | Swarm.TUI.Model.StateUpdate |
constructGoalMap | Swarm.TUI.Model.Goal |
constructPalette | Swarm.Game.Scenario.Topography.WorldPalette |
constructScenario | Swarm.TUI.Editor.Palette |
constructWorldMap | Swarm.Game.Scenario.Topography.WorldPalette |
Cont | Swarm.Game.CESK |
contains | Swarm.Game.Entity |
contains0plus | Swarm.Game.Entity |
content | |
1 (Function) | Swarm.Doc.Schema.Parse |
2 (Function) | Swarm.Game.Achievement.Definitions |
ContextualTypeErr | Swarm.Language.Typecheck |
ControlChar | Swarm.TUI.Controller.Util |
controls | Swarm.TUI.Launch.Model |
conv | Swarm.Game.World.Abstract |
Coords | |
1 (Type/Class) | Swarm.Game.World.Coords, Swarm.Game.World |
2 (Data Constructor) | Swarm.Game.World.Coords, Swarm.Game.World |
coordsToLoc | Swarm.Game.World.Coords, Swarm.Game.World |
COr | Swarm.Game.World.Typecheck |
COrient | Swarm.Language.Capability |
cornersToArea | Swarm.Game.Scenario.Topography.Area |
Cosmic | |
1 (Type/Class) | Swarm.Game.Universe |
2 (Data Constructor) | Swarm.Game.Universe |
cosmoMeasure | Swarm.Game.Universe |
Count | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.Entity |
countByName | Swarm.Game.Entity |
COver | Swarm.Game.World.Typecheck |
CoverageInfo | |
1 (Type/Class) | Swarm.Doc.Pedagogy |
2 (Data Constructor) | Swarm.Doc.Pedagogy |
CPath | Swarm.Language.Capability |
CPerlin | Swarm.Game.World.Typecheck |
CPing | Swarm.Language.Capability |
CPlace | Swarm.Language.Capability |
CPower | Swarm.Language.Capability |
CProd | Swarm.Language.Capability |
CPush | Swarm.Language.Capability |
CraftedBitcoin | Swarm.Game.Achievement.Definitions |
CRandom | Swarm.Language.Capability |
Create | Swarm.Language.Syntax |
createLogEntry | Swarm.Game.Step |
creative | Swarm.TUI.Editor.Json |
creativeMode | Swarm.Game.State |
CRecondir | Swarm.Language.Capability |
CRecord | Swarm.Language.Capability |
CRecursion | Swarm.Language.Capability |
CReflect | Swarm.Game.World.Typecheck |
CReprogram | Swarm.Language.Capability |
Critical | Swarm.Log |
CRot | Swarm.Game.World.Typecheck |
CSalvage | Swarm.Language.Capability |
CScan | Swarm.Language.Capability |
CSeed | Swarm.Game.World.Typecheck |
CSelfdestruct | Swarm.Language.Capability |
CSensefront | Swarm.Language.Capability |
CSensehere | Swarm.Language.Capability |
CSenseloc | Swarm.Language.Capability |
CSetname | Swarm.Language.Capability |
CSplit | Swarm.Language.Capability |
CSub | Swarm.Game.World.Typecheck |
CSum | Swarm.Language.Capability |
CSwap | Swarm.Language.Capability |
CTE | Swarm.Language.Typecheck |
CTeleport | Swarm.Language.Capability |
CTerm | Swarm.Game.World.Compile |
cteSrcLoc | Swarm.Language.Typecheck |
cteStack | Swarm.Language.Typecheck |
cteTypeErr | Swarm.Language.Typecheck |
CTimeabs | Swarm.Language.Capability |
CTimerel | Swarm.Language.Capability |
CTry | Swarm.Language.Capability |
CTurn | Swarm.Language.Capability |
Ctx | |
1 (Type/Class) | Swarm.Language.Context |
2 (Data Constructor) | Swarm.Language.Context |
3 (Type/Class) | Swarm.Game.World.Typecheck |
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 |
customEditFocusedAttr | Swarm.TUI.View.Attribute.Attr |
CustomFailure | Swarm.Game.Failure |
CustomMessage | Swarm.Game.Failure |
CWakeself | Swarm.Language.Capability |
CWaypoint | Swarm.Language.Capability |
CWhoami | Swarm.Language.Capability |
cyanAttr | Swarm.TUI.View.Attribute.Attr |
cycleEnum | Swarm.Util |
cycleSortDirection | Swarm.TUI.Inventory.Sorting |
cycleSortOrder | Swarm.TUI.Inventory.Sorting |
DAbsolute | Swarm.Language.Direction, Swarm.Language.Syntax |
DanglingFiles | Swarm.Game.Failure |
Data | Swarm.Game.Failure |
dataNotFound | Swarm.Game.ResourceLoading |
DBack | Swarm.Language.Direction, Swarm.Language.Syntax |
DDown | Swarm.Language.Direction, Swarm.Language.Syntax |
DEast | Swarm.Language.Direction, Swarm.Language.Syntax |
Debug | Swarm.Log |
debug | Swarm.Language.LSP |
decodeFileEitherE | Swarm.Util.Yaml |
defAttr | Swarm.TUI.View.Attribute.Attr |
defaultAppOpts | Swarm.TUI.Model |
defaultChar | Swarm.Game.Display |
defaultCombustibility | Swarm.Game.Entity |
defaultCosmicLocation | Swarm.Game.Universe |
defaultEntityDisplay | Swarm.Game.Display |
defaultGrowthTime | Swarm.Game.Entity |
defaultInitLgTicksPerSecond | Swarm.TUI.Model.UI |
defaultOrientation | Swarm.Game.Scenario.Topography.Placement |
defaultPort | Swarm.Web |
defaultPrompt | Swarm.TUI.Model.Repl |
defaultRobotDisplay | Swarm.Game.Display |
DefaultRootSubworld | Swarm.Game.Universe |
defaultSortOptions | Swarm.TUI.Inventory.Sorting |
defaultTerrainDisplay | Swarm.Game.Display |
defaultValue | Swarm.Doc.Schema.Refined |
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 |
Density | Swarm.Language.Syntax |
deps | Swarm.Game.Scenario.Objective.WinCheck |
deriveHeading | Swarm.Game.Step.Util |
Descending | Swarm.TUI.Inventory.Sorting |
describe | Swarm.Game.Achievement.Description |
describeCriteria | Swarm.Game.Scenario.Scoring.Best |
description | |
1 (Function) | Swarm.Doc.Schema.Parse |
2 (Function) | Swarm.TUI.Editor.Json |
descriptionCommands | Swarm.Doc.Pedagogy |
DescriptionModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
descriptionTitle | Swarm.TUI.View.Util |
destination | Swarm.Game.Scenario.Topography.Navigation.Portal |
Destroy | Swarm.Game.Step |
DestroyedBase | Swarm.Game.Achievement.Definitions |
Detect | Swarm.Language.Syntax |
deviceForCap | Swarm.Game.Entity |
devReqs | Swarm.Language.Requirement |
DForward | Swarm.Language.Direction, Swarm.Language.Syntax |
diagnosticSourcePrefix | Swarm.Language.LSP |
didLose | Swarm.Game.Scenario.Objective.WinCheck |
didWin | Swarm.Game.Scenario.Objective.WinCheck |
Diff | Swarm.Game.Location |
difference | Swarm.Game.Entity |
Dim | Swarm.Game.Scenario.Style |
dimAttr | Swarm.TUI.View.Attribute.Attr |
Direction | Swarm.Language.Direction, Swarm.Language.Syntax |
directionSyntax | Swarm.Language.Direction, Swarm.Language.Syntax |
Directory | Swarm.Game.Failure |
dirtAttr | Swarm.TUI.View.Attribute.Attr |
DirtT | Swarm.Game.Terrain |
discardGarbage | Swarm.Util.WindowedCounter |
Discovery | Swarm.Game.State |
discovery | Swarm.Game.State |
Display | Swarm.Game.Display |
displayAttr | Swarm.Game.Display |
displayChar | Swarm.Game.Display |
displayEntityCell | Swarm.TUI.View.CellDisplay |
displayLoc | Swarm.TUI.View.CellDisplay |
displayLocRaw | Swarm.TUI.View.CellDisplay |
displayParagraphs | Swarm.TUI.View.Util |
displayPriority | Swarm.Game.Display |
displayRobotCell | Swarm.TUI.View.CellDisplay |
displayStatic | Swarm.TUI.View.CellDisplay |
displayTerrainCell | Swarm.TUI.View.CellDisplay |
DistanceMeasure | Swarm.Game.Universe |
Div | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
DLeft | Swarm.Language.Direction, Swarm.Language.Syntax |
DNorth | Swarm.Language.Direction, Swarm.Language.Syntax |
docFragmentsDir | Swarm.Doc.Schema.Render |
docToMark | Swarm.Language.Text.Markdown |
docToString | Swarm.Language.Pretty |
docToText | |
1 (Function) | Swarm.Language.Pretty |
2 (Function) | Swarm.Language.Text.Markdown |
Document | |
1 (Type/Class) | Swarm.Language.Text.Markdown |
2 (Data Constructor) | Swarm.Language.Text.Markdown |
DoesNotExist | Swarm.Game.Failure |
DoesNotTypecheck | Swarm.Game.Failure |
DPlanar | Swarm.Language.Direction, Swarm.Language.Syntax |
drawAchievementListItem | Swarm.TUI.View.Achievement |
drawAchievementsMenuUI | Swarm.TUI.View.Achievement |
drawDialog | Swarm.TUI.View |
drawEntityPaintSelector | Swarm.TUI.Editor.View |
drawFileBrowser | Swarm.TUI.Launch.View |
drawGoalListItem | Swarm.TUI.View.Objective |
drawInfoPanel | Swarm.TUI.View |
drawItem | Swarm.TUI.View |
drawKeyCmd | Swarm.TUI.View |
drawKeyMenu | Swarm.TUI.View |
drawLabeledEntitySwatch | Swarm.TUI.Editor.View |
drawLabeledTerrainSwatch | Swarm.TUI.View.Util |
drawLabelledEntityName | Swarm.TUI.View |
drawLaunchConfigPanel | Swarm.TUI.Launch.View |
drawLoc | Swarm.TUI.View.CellDisplay |
drawMarkdown | Swarm.TUI.View.Util |
drawModalMenu | Swarm.TUI.View |
drawREPL | Swarm.TUI.View |
drawRobotPanel | Swarm.TUI.View |
drawTerrainSelector | Swarm.TUI.Editor.View |
drawTPS | Swarm.TUI.View |
drawType | Swarm.TUI.View.Util |
drawUI | Swarm.TUI.View |
drawWorldEditor | Swarm.TUI.Editor.View |
drawWorldPane | Swarm.TUI.View |
DRelative | Swarm.Language.Direction, Swarm.Language.Syntax |
DRight | Swarm.Language.Direction, Swarm.Language.Syntax |
Drill | Swarm.Language.Syntax |
DSouth | Swarm.Language.Direction, Swarm.Language.Syntax |
Duplicate | Swarm.Game.Failure |
duration | Swarm.Game.Entity |
DurationMetrics | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
DWest | Swarm.Language.Direction, Swarm.Language.Syntax |
E | |
1 (Data Constructor) | Swarm.Util.Yaml |
2 (Data Constructor) | Swarm.Game.CESK |
3 (Data Constructor) | Swarm.Game.World.Abstract |
east | Swarm.Game.Location |
Easy | Swarm.Game.Achievement.Definitions |
Edges | Swarm.Game.Scenario.Objective.Graph |
editingBounds | Swarm.TUI.Editor.Model |
EditingLaunchParams | Swarm.TUI.Launch.Model |
editingParams | Swarm.TUI.Launch.Model |
editorFocusRing | Swarm.TUI.Editor.Model |
EditorKeywords | Swarm.Doc.Gen |
EditorType | Swarm.Doc.Gen |
EErase | Swarm.Util.Erasable |
effort | Swarm.Game.Achievement.Definitions |
EJust | Swarm.Util.Erasable |
elaborate | Swarm.Language.Elaborate |
elems | Swarm.Game.Entity |
EllipsisSide | Swarm.TUI.View.Util |
Emacs | Swarm.Doc.Gen |
embed | Swarm.Game.World.Typecheck |
emitMessage | Swarm.Game.State |
Emphasis | Swarm.Language.Text.Markdown |
Empty | Swarm.Game.World.Typecheck |
empty | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
3 (Function) | Swarm.Game.World.Typecheck |
emptyAttemptMetric | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
emptyBest | Swarm.Game.Scenario.Scoring.Best |
emptyDurationMetric | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
emptyGoalDisplay | Swarm.TUI.Model.Goal |
emptyLaunchParams | Swarm.Game.Scenario.Status |
emptyRobotContext | Swarm.Game.Robot |
emptyStore | Swarm.Game.CESK |
enablePasteMode | Swarm.App |
encloseWithIndent | Swarm.Language.Pretty |
End | Swarm.TUI.View.Util |
enforceConsistency | Swarm.Game.Scenario.Topography.Navigation.Portal |
ENothing | Swarm.Util.Erasable |
ensureCanExecute | Swarm.Game.Step |
ensureSpatialConsistency | Swarm.Game.Scenario.Topography.Navigation.Portal |
Entities | |
1 (Data Constructor) | Swarm.Game.Failure |
2 (Data Constructor) | Swarm.Doc.Gen |
entities | Swarm.TUI.Editor.Json |
entitiesByCap | Swarm.Game.Entity |
entitiesByCapability | Swarm.Game.Entity |
entitiesByName | Swarm.Game.Entity |
Entity | Swarm.Game.Entity |
entityAddress | Swarm.Doc.Gen |
entityAt | Swarm.Game.Step.Util |
entityAttr | Swarm.TUI.View.Attribute.Attr |
entityCapabilities | Swarm.Game.Entity |
entityCombustion | Swarm.Game.Entity |
entityDescription | Swarm.Game.Entity |
entityDisplay | Swarm.Game.Entity |
EntityFacade | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.EntityFacade |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.EntityFacade |
entityGrowth | Swarm.Game.Entity |
entityHash | Swarm.Game.Entity |
entityInventory | Swarm.Game.Entity |
EntityKnowledgeDependencies | |
1 (Type/Class) | Swarm.TUI.View.CellDisplay |
2 (Data Constructor) | Swarm.TUI.View.CellDisplay |
EntityMap | |
1 (Type/Class) | Swarm.Game.Entity |
2 (Data Constructor) | Swarm.Game.Entity |
entityMap | Swarm.Game.State |
EntityName | Swarm.Game.Entity |
entityName | Swarm.Game.Entity |
entityNameFor | Swarm.Game.Entity |
entityOrientation | Swarm.Game.Entity |
EntityPaint | Swarm.TUI.Editor.Model |
EntityPaintList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
entityPaintList | Swarm.TUI.Editor.Model |
EntityPaintListItem | Swarm.TUI.Model.Name, Swarm.TUI.Model |
EntityPaletteModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
entityPlural | Swarm.Game.Entity |
entityProperties | Swarm.Game.Entity |
EntityProperty | Swarm.Game.Entity |
EntitySelector | Swarm.TUI.Model.Name |
EntityTarget | Swarm.Game.Step.Pathfinding |
entityYields | Swarm.Game.Entity |
entrance | Swarm.Game.Scenario.Topography.Navigation.Portal |
Entry | Swarm.Game.Failure |
EntryNot | Swarm.Game.Failure |
Env | Swarm.Language.Value |
Eq | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
Equal | Swarm.Language.Typecheck.Unify |
Equip | Swarm.Language.Syntax |
Equipped | Swarm.Language.Syntax |
equippedDevices | Swarm.Game.Robot |
EquippedEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
Erasable | Swarm.Util.Erasable |
erasable | Swarm.Util.Erasable |
erasableToMaybe | Swarm.Util.Erasable |
eraseS | Swarm.Language.Syntax |
Error | Swarm.Log |
EscapedSkolem | Swarm.Language.Typecheck |
EscapeKey | Swarm.TUI.Controller.Util |
euclidean | Swarm.Game.Location |
evalAccum | Control.Carrier.Accum.FixedStrict |
evalArith | Swarm.Game.Step |
evalCmp | Swarm.Game.Step |
evalConst | Swarm.Game.Step |
evalPT | Swarm.Game.Step |
evaluateCESK | Swarm.Game.Step |
EventHandler | Swarm.App |
eventLog | Swarm.TUI.Model |
examples | Swarm.Doc.Schema.Refined |
exceptions | Swarm.Game.Step |
execAccum | Control.Carrier.Accum.FixedStrict |
execConst | Swarm.Game.Step |
exit | Swarm.Game.Scenario.Topography.Navigation.Portal |
exitInfo | Swarm.Game.Scenario.Topography.Navigation.Portal |
Exn | Swarm.Game.Exception |
Exp | Swarm.Language.Syntax |
Expected | Swarm.Language.Typecheck |
ExpectedEffort | Swarm.Game.Achievement.Definitions |
explain | Swarm.Language.LSP.Hover |
explainFocusedItem | Swarm.TUI.View |
extantElemsWithCapability | Swarm.Game.Entity |
extractEntities | Swarm.Game.World.Gen |
extractIncomplete | Swarm.Game.Scenario.Objective |
extractReferences | Swarm.Doc.Schema.Refined |
extractSchemaType | Swarm.Doc.Schema.Refined |
Facade | Swarm.TUI.Editor.Model |
Fail | Swarm.Language.Syntax |
Failed | Swarm.TUI.Model.Goal |
FailedReleaseQuery | Swarm.Version |
failT | Swarm.Util |
failUponDuplication | Swarm.Game.Scenario.Topography.Navigation.Portal |
failWaypointLookup | Swarm.Game.Scenario.Topography.Navigation.Portal |
FApp | Swarm.Game.CESK |
Far | Swarm.Game.State |
FArg | Swarm.Game.CESK |
Fatal | Swarm.Game.Exception |
FBind | Swarm.Game.CESK |
fbIsDisplayed | Swarm.TUI.Launch.Model |
fbWidget | Swarm.TUI.Launch.Model |
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 |
fieldMismatchMsg | Swarm.Language.Pretty |
FieldsMismatch | Swarm.Language.Typecheck |
File | Swarm.Game.Failure |
fileBrowser | Swarm.TUI.Launch.Model |
FileBrowserControl | |
1 (Type/Class) | Swarm.TUI.Launch.Model |
2 (Data Constructor) | Swarm.TUI.Launch.Model |
FileStemAndExtension | Swarm.Doc.Schema.Render |
FImmediate | Swarm.Game.CESK |
finalValue | Swarm.Game.CESK |
findCode | Swarm.Language.Text.Markdown |
findDup | Swarm.Util |
findGoodOrigin | Swarm.Game.World.Gen |
findOffset | Swarm.Game.World.Gen |
findPatchWith | Swarm.Game.World.Gen |
findTreeOffset | Swarm.Game.World.Gen |
finishGameTick | Swarm.Game.Step |
FixByEquip | Swarm.Game.Exception |
FixByObtain | Swarm.Game.Exception |
fixity | Swarm.Language.Syntax |
FKey | Swarm.TUI.Controller.Util |
flagRedraw | Swarm.Game.Step.Util |
flatten | Swarm.Game.ScenarioInfo |
FlavorText | Swarm.Game.Achievement.Definitions |
FLet | Swarm.Game.CESK |
flipped | Swarm.Game.Scenario.Topography.Placement |
FLoadEnv | Swarm.Game.CESK |
FMeetAll | Swarm.Game.CESK |
focus | Swarm.TUI.Model.Goal |
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 |
focusedRange | Swarm.Game.State |
focusedRobot | Swarm.Game.State |
focusedRobotID | Swarm.Game.State |
footerPaths | Swarm.Doc.Schema.Parse |
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 |
formatNumberCompact | Swarm.Doc.Schema.Render |
forMW | Swarm.Util.Effect |
FProj | Swarm.Game.CESK |
fragmentHref | Swarm.Doc.Schema.Render |
Frame | |
1 (Type/Class) | Swarm.Game.CESK |
2 (Data Constructor) | Swarm.TUI.Model |
frameCount | Swarm.TUI.Model.UI |
frameTickCount | Swarm.TUI.Model.UI |
FRcd | Swarm.Game.CESK |
Freeform | Swarm.Game.Achievement.Definitions |
freeVarsS | Swarm.Language.Syntax |
freeVarsT | Swarm.Language.Syntax |
freeVarsV | Swarm.Language.Syntax |
fresh | Swarm.Language.Typecheck |
fromDirection | Swarm.Game.Location |
fromElems | Swarm.Game.Entity |
fromFilePath | Swarm.Doc.Schema.SchemaType |
FromJSONE | Swarm.Util.Yaml |
fromList | Swarm.Game.Entity |
fromSerializableParams | Swarm.TUI.Launch.Model |
fromText | Swarm.Language.Text.Markdown |
fromTextM | Swarm.Language.Text.Markdown |
fromU | Swarm.Language.Types |
FSnd | Swarm.Game.CESK |
Fst | Swarm.Language.Syntax |
FTQuotation | Swarm.Game.Achievement.Definitions |
FTry | Swarm.Game.CESK |
FullColor | Swarm.TUI.Model |
fully | Swarm.Util.Parse |
fullyMaybe | Swarm.Util.Parse |
FUnionEnv | Swarm.Game.CESK |
FUpdate | Swarm.Game.CESK |
gameAchievements | Swarm.Game.State |
GameControls | Swarm.Game.State |
gameControls | Swarm.Game.State |
GameplayAchievement | |
1 (Type/Class) | Swarm.Game.Achievement.Definitions |
2 (Data Constructor) | Swarm.Game.Achievement.Definitions |
GameState | Swarm.Game.State |
gameState | Swarm.TUI.Model |
GameStateConfig | |
1 (Type/Class) | Swarm.Game.State |
2 (Data Constructor) | Swarm.Game.State |
gameStep | Swarm.Game.State |
gameTick | Swarm.Game.Step |
generalize | Swarm.Language.Typecheck |
GenerateDocs | Swarm.Doc.Gen |
generateDocs | Swarm.Doc.Gen |
generateIntroductionsSequence | Swarm.Doc.Pedagogy |
generateModal | Swarm.TUI.View.Util |
genericCharacterPool | Swarm.Game.Scenario.Topography.WorldPalette |
genMarkdown | Swarm.Doc.Schema.Render |
genMultiWorld | Swarm.Game.State |
genPropsRow | Swarm.Doc.Schema.Render |
genRobotTemplates | Swarm.Game.State |
genScenarioSchemaDocs | Swarm.Doc.Schema.Render |
gensym | Swarm.Game.State |
Geq | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
getActiveObjectives | Swarm.Game.Scenario.Objective.WinCheck |
getAreaDimensions | Swarm.Game.Scenario.Topography.Area |
getBaseType | Swarm.Game.World.Typecheck |
getBestGroups | Swarm.Game.Scenario.Scoring.Best |
getCompletionIcon | |
1 (Function) | Swarm.TUI.View.Objective |
2 (Function) | Swarm.TUI.View.Achievement |
getConstFromSigned | Swarm.Game.Scenario.Objective.Graph |
getContentAt | Swarm.TUI.Editor.Util |
getCurrentItemText | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getDataDirSafe | Swarm.Game.ResourceLoading |
getDataFileNameSafe | Swarm.Game.ResourceLoading |
GetDisoriented | Swarm.Game.Achievement.Definitions |
getDisplay | Swarm.TUI.Editor.Model |
getDisplayChar | Swarm.Game.World.Render |
getDisplayGrid | Swarm.Game.World.Render |
getDistinctConstants | Swarm.Game.Scenario.Objective.WinCheck |
getE | Swarm.Util.Yaml |
getEditedMapRectangle | Swarm.TUI.Editor.Util |
getEditingBounds | Swarm.TUI.Editor.Util |
getEditorContentAt | Swarm.TUI.Editor.Util |
getEditorTerrainAt | Swarm.TUI.Editor.Util |
getElemsInArea | Swarm.Game.Location |
getEntitiesForList | Swarm.TUI.Editor.Util |
getEntity | Swarm.Game.Scenario.RobotLookup |
getEntityIsKnown | Swarm.TUI.View.CellDisplay |
getEntityName | Swarm.TUI.Editor.Model |
getFiniteDistance | Swarm.Game.Universe |
getJoin | Swarm.Language.Typecheck |
getLatestREPLHistoryItems | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getLaunchParams | Swarm.Game.Scenario.Status |
getList | Swarm.Doc.Schema.SchemaType |
getLocRange | Swarm.Language.Parse |
getMapRectangle | Swarm.TUI.Editor.Util |
getMarkdown | Swarm.Doc.Schema.Refined |
getMetric | Swarm.Game.Scenario.Scoring.GenericMetrics |
getModification | Swarm.Game.World.Modify |
getNegatedIds | Swarm.Game.Scenario.Objective.Graph |
getNeighborLocs | Swarm.Game.Step.Util |
getNewerReleaseVersion | Swarm.Version |
getNow | Swarm.Game.Step.Util |
getObjectivesById | Swarm.Game.Scenario.Objective.Graph |
getOccupancy | Swarm.Util.WindowedCounter |
getRadioRange | Swarm.Game.State |
getREPLEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
getResult | Swarm.Game.Robot |
getRobot | Swarm.Game.Scenario.RobotLookup |
getRunCodePath | Swarm.Game.State |
getSatisfaction | Swarm.Game.Scenario.Objective.WinCheck |
getScenarioPath | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
getSchemaReferences | Swarm.Doc.Schema.Refined |
getSessionREPLHistoryItems | Swarm.TUI.Model.Repl |
getStatic | Swarm.TUI.View.CellDisplay |
getSwarmAchievementsPath | Swarm.Game.Achievement.Persistence |
getSwarmHistoryPath | Swarm.Game.ResourceLoading |
getSwarmSavePath | Swarm.Game.ResourceLoading |
getSwarmXdgDataFile | Swarm.Game.ResourceLoading |
getSwarmXdgDataSubdir | Swarm.Game.ResourceLoading |
getTCStack | Swarm.Language.Typecheck |
getTerrainDefaultPaletteChar | Swarm.Game.Terrain |
getTerrainWord | Swarm.Game.Terrain |
getThing | Swarm.Game.Scenario.RobotLookup |
getTickNumber | Swarm.Game.CESK |
getTutorials | Swarm.TUI.Controller |
getUniqueTerrainFacadePairs | Swarm.Game.Scenario.Topography.WorldPalette |
getUsage | Swarm.Language.LSP.VarUsage |
getValue | Swarm.Util.UnitInterval |
getWF | Swarm.Game.World |
Give | Swarm.Language.Syntax |
GlobalAchievement | |
1 (Type/Class) | Swarm.Game.Achievement.Definitions |
2 (Data Constructor) | Swarm.Game.Achievement.Definitions |
globallyKnownEntities | Swarm.TUI.View.CellDisplay |
Goal | Swarm.TUI.Model.Goal |
GoalDisplay | |
1 (Type/Class) | Swarm.TUI.Model.Goal, Swarm.TUI.Model.UI |
2 (Data Constructor) | Swarm.TUI.Model.Goal, Swarm.TUI.Model.UI |
GoalEntry | Swarm.TUI.Model.Goal |
GoalModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
goals | Swarm.TUI.Model.Goal |
goalsContent | Swarm.TUI.Model.Goal |
GoalStatus | Swarm.TUI.Model.Goal |
GoalSummary | Swarm.TUI.Model.Name |
GoalTracking | |
1 (Type/Class) | Swarm.TUI.Model.Goal |
2 (Data Constructor) | Swarm.TUI.Model.Goal |
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 |
grantAchievement | Swarm.Game.Step |
GraphInfo | |
1 (Type/Class) | Swarm.Game.Scenario.Objective.Graph |
2 (Data Constructor) | Swarm.Game.Scenario.Objective.Graph |
grassAttr | Swarm.TUI.View.Attribute.Attr |
GrassT | Swarm.Game.Terrain |
greenAttr | Swarm.TUI.View.Attribute.Attr |
Growable | Swarm.Game.Entity |
GrowthTime | |
1 (Type/Class) | Swarm.Game.Entity |
2 (Data Constructor) | Swarm.Game.Entity |
Gruelling | Swarm.Game.Achievement.Definitions |
Gt | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
Halt | Swarm.Language.Syntax |
handleCtrlLeftClick | Swarm.TUI.Editor.Controller |
handleEvent | Swarm.TUI.Controller |
handleFBEvent | Swarm.TUI.Launch.Controller |
handleInfoPanelEvent | Swarm.TUI.Controller |
handleLaunchOptionsEvent | Swarm.TUI.Launch.Controller |
handleListEventWithSeparators | Swarm.TUI.List |
handleMiddleClick | Swarm.TUI.Editor.Controller |
handleREPLEvent | Swarm.TUI.Controller |
handleRightClick | Swarm.TUI.Editor.Controller |
handlers | Swarm.Language.LSP |
handleWorldEditorPanelEvent | Swarm.TUI.Editor.Controller |
handleWorldEvent | Swarm.TUI.Controller |
Handling | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Harvest | Swarm.Language.Syntax |
Harvest' | Swarm.Game.Step |
Has | |
1 (Type/Class) | Control.Carrier.Accum.FixedStrict |
2 (Data Constructor) | Swarm.Language.Syntax |
hasAnythingToShow | Swarm.TUI.Model.Goal |
hasAnyUVars | Swarm.Language.Pretty |
HasBindings | Swarm.Language.Typecheck |
hasCapability | Swarm.Game.Step.Util |
hasCapabilityFor | Swarm.Game.Step.Util |
HasConst | Swarm.Game.World.Typecheck |
hasMultipleGoals | Swarm.TUI.Model.Goal |
hasProperty | Swarm.Game.Entity |
HasRobotStepState | Swarm.Game.Step.Util |
hasUsedREPL | Swarm.Game.Scenario.Scoring.CodeSize |
HBorderLabels | Swarm.TUI.Border |
hBorderWithLabels | Swarm.TUI.Border |
Header | Swarm.TUI.Model.Goal |
Heading | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.Location |
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 |
hexToAttrColor | Swarm.TUI.View.Attribute.CustomStyling |
hidden | Swarm.Game.Display |
highlightAttr | Swarm.TUI.View.Attribute.Attr |
histogram | Swarm.Util |
History | Swarm.Game.Failure |
hoistMaybe | Swarm.Util |
holdsOr | Swarm.Util |
holdsOrFail' | Swarm.Game.Step.Util |
humorousElaboration | Swarm.Game.Achievement.Definitions |
hypotheticalRobot | Swarm.Game.Step |
hypotheticalWinCheck | Swarm.Game.Step |
I | Swarm.Game.World.Typecheck |
iceAttr | Swarm.TUI.View.Attribute.Attr |
IceT | Swarm.Game.Terrain |
Id | Swarm.Game.Scenario.Objective.Logic |
identifier | Swarm.Game.World.Parse |
Idx | Swarm.Game.World.Typecheck |
idxToNat | Swarm.Game.World.Typecheck |
If | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
Ignite | Swarm.Language.Syntax |
igniteCommand | Swarm.Game.Step.Combustion |
igniteNeighbor | Swarm.Game.Step.Combustion |
ignition | Swarm.Game.Entity |
ignitionProgram | Swarm.Game.Step.Combustion |
IgnoreFail | Swarm.Game.Step |
ignoreWarnings | Swarm.Util.Effect |
immediatelyRedrawWorld | Swarm.TUI.Controller.Util |
Impredicative | Swarm.Language.Typecheck |
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 |
indexWrapNonEmpty | Swarm.Util |
infer | |
1 (Function) | Swarm.Language.Typecheck |
2 (Function) | Swarm.Game.World.Typecheck |
inferConst | Swarm.Language.Typecheck |
inferLet | Swarm.Game.World.Typecheck |
inferModule | Swarm.Language.Typecheck |
inferOp | Swarm.Game.World.Typecheck |
inferOverlay | Swarm.Game.World.Typecheck |
inferTop | Swarm.Language.Typecheck |
Infinite | |
1 (Data Constructor) | Swarm.Language.Typecheck |
2 (Data Constructor) | Swarm.Game.Entity |
InfiniteLoop | Swarm.Game.Exception |
InfinitelyFar | Swarm.Game.Universe |
Info | Swarm.Log |
infoAttr | Swarm.TUI.View.Attribute.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 |
InheritedStructureDefs | Swarm.Game.Scenario.Topography.Structure |
initAppState | Swarm.TUI.Model.StateUpdate |
initAppStateForScenario | Swarm.TUI.Model.StateUpdate |
initConfigPanel | Swarm.TUI.Launch.Prep |
initEditorWidget | Swarm.TUI.Launch.Prep |
initEntities | Swarm.Game.State |
initFileBrowserWidget | Swarm.TUI.Launch.Prep |
initFocusRing | Swarm.TUI.Model.UI |
initGameState | Swarm.Game.State |
initialCode | |
1 (Function) | Swarm.Game.Scenario.Scoring.CodeSize |
2 (Function) | Swarm.Game.Scenario.Status |
initiallyRunCode | Swarm.Game.State |
initialWorldEditor | Swarm.TUI.Editor.Model |
initMachine | Swarm.Game.CESK |
initMachine' | Swarm.Game.CESK |
initNameGenerator | Swarm.Game.ResourceLoading |
initNameParts | Swarm.Game.State |
initPersistentState | Swarm.TUI.Model.StateUpdate |
initRecipes | Swarm.Game.State |
initREPLState | Swarm.TUI.Model.Repl |
initRuntimeState | Swarm.TUI.Model |
initUIState | Swarm.TUI.Model.UI |
initWorldMap | Swarm.Game.State |
Inl | Swarm.Language.Syntax |
inputHandler | Swarm.Game.State |
Inr | Swarm.Language.Syntax |
inRecipeMap | Swarm.Game.Recipe |
insert | |
1 (Function) | Swarm.Language.Requirement |
2 (Function) | Swarm.Util.WindowedCounter |
3 (Function) | Swarm.Game.Entity |
insertBackRobot | Swarm.Game.Step |
insertCount | Swarm.Game.Entity |
InstallKeyHandler | Swarm.Language.Syntax |
Instant | Swarm.Language.Syntax |
instantiate | Swarm.Language.Typecheck |
instantiateRobot | Swarm.Game.Robot |
integerOrFloat | Swarm.Game.World.Parse |
interpBTerm | Swarm.Game.World.Interpret |
interpConst | Swarm.Game.World.Interpret |
interpReflect | Swarm.Game.World.Interpret |
interpRot | Swarm.Game.World.Interpret |
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 |
invertY | Swarm.Game.Scenario.Topography.Area |
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.Direction, Swarm.Language.Syntax, Swarm.Game.Location |
isCmd | Swarm.Language.Syntax |
isCreativeMode | Swarm.TUI.View.CellDisplay |
isDisplayedFor | Swarm.TUI.Launch.Model |
Isempty | Swarm.Language.Syntax |
isEmpty | |
1 (Function) | Swarm.Game.Scenario.Topography.Area |
2 (Function) | Swarm.Game.Entity |
IsFun | Swarm.Game.World.Typecheck |
Ishere | Swarm.Language.Syntax |
isIdentChar | Swarm.Util |
isJustOr | Swarm.Util |
isJustOrFail' | Swarm.Game.Step.Util |
isKnownFunc | Swarm.TUI.View.CellDisplay |
isLong | Swarm.Language.Syntax |
isNearbyOrExempt | Swarm.Game.Step |
isObfuscated | Swarm.Game.Achievement.Definitions |
isOperator | Swarm.Language.Syntax |
isOutsideBottomRightCorner | Swarm.TUI.Editor.Util |
isOutsideRegion | Swarm.TUI.Editor.Util |
isOutsideTopLeftCorner | Swarm.TUI.Editor.Util |
isPrereqsSatisfied | Swarm.Game.Scenario.Objective.WinCheck |
isPrivilegedBot | Swarm.Game.Step.Util |
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 |
isTopLevelConstructor | Swarm.Language.Pretty |
isUnwinnable | Swarm.Game.Scenario.Objective.WinCheck |
isUnwinnablePrereq | Swarm.Game.Scenario.Objective.WinCheck |
isUserFunc | Swarm.Language.Syntax |
isWorldEditorEnabled | Swarm.TUI.Editor.Model |
Italic | Swarm.Game.Scenario.Style |
italicAttr | Swarm.TUI.View.Attribute.Attr |
ItemDescription | Swarm.Doc.Schema.Refined |
ItemList | Swarm.Doc.Schema.Refined |
itemsDescription | Swarm.Doc.Schema.Refined |
ItemType | Swarm.Doc.Schema.Refined |
Join | Swarm.Language.Typecheck |
K | Swarm.Game.World.Typecheck |
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 | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.TUI.Controller.Util |
KeyCombo | Swarm.Language.Key |
keyToDir | Swarm.TUI.Controller |
keywordsCommands | Swarm.Doc.Gen |
keywordsDirections | Swarm.Doc.Gen |
Known | Swarm.Game.Entity |
knownEntities | Swarm.Game.State |
Knows | Swarm.Language.Syntax |
knowsIngredientsFor | Swarm.Game.Recipe |
kolorToAttrColor | Swarm.TUI.View.Attribute.Util |
L | Swarm.Language.Syntax |
Label | Swarm.Game.Scenario.Objective.Graph |
Lambda | Swarm.Language.LSP.VarUsage |
LambdaArgMismatch | Swarm.Language.Typecheck |
Landscape | Swarm.Game.State |
landscape | Swarm.Game.State |
lastEntry | Swarm.TUI.Model.Repl |
lastFrameTime | Swarm.TUI.Model.UI |
lastInfoTime | Swarm.TUI.Model.UI |
lastSeenMessageTime | Swarm.Game.State |
lastWorldEditorMessage | Swarm.TUI.Editor.Model |
LaunchControls | |
1 (Type/Class) | Swarm.TUI.Launch.Model |
2 (Data Constructor) | Swarm.TUI.Launch.Model |
LaunchOptions | |
1 (Type/Class) | Swarm.TUI.Launch.Model |
2 (Data Constructor) | Swarm.TUI.Launch.Model |
LaunchParams | |
1 (Data Constructor) | Swarm.Game.Scenario.Status |
2 (Type/Class) | Swarm.Game.State |
layoutParagraphs | Swarm.TUI.View.Util |
LeafCode | Swarm.Language.Text.Markdown |
LeafCodeBlock | Swarm.Language.Text.Markdown |
LeafRaw | Swarm.Language.Text.Markdown |
LeafText | Swarm.Language.Text.Markdown |
LearnEntity | Swarm.Game.CESK, Swarm.Game.Robot |
leftLabel | Swarm.TUI.Border |
leName | Swarm.Log |
Leq | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
leSeverity | Swarm.Log |
leSource | Swarm.Log |
Let | Swarm.Language.LSP.VarUsage |
leText | Swarm.Log |
leTime | Swarm.Log |
lexeme | Swarm.Game.World.Parse |
lgTicksPerSecond | Swarm.TUI.Model.UI |
lifetimeStepCount | Swarm.Game.Robot |
liftE | Swarm.Util.Yaml |
liftText | Swarm.Util |
lightCyanAttr | Swarm.TUI.View.Attribute.Attr |
Liquid | Swarm.Game.Entity |
listAchievements | Swarm.Game.Achievement.Definitions |
listAllObjectives | Swarm.Game.Scenario.Objective |
listColumnHeadings | Swarm.Doc.Schema.Render |
listDrawEntityPaintElement | Swarm.TUI.Editor.View |
listDrawTerrainElement | Swarm.TUI.Editor.View |
Listen | Swarm.Language.Syntax |
listEnums | Swarm.Util |
listEnumsNonempty | Swarm.Util |
ListMembers | Swarm.Doc.Schema.Parse |
ListOf | Swarm.Doc.Schema.SchemaType |
listToText | Swarm.Doc.Schema.Render |
listWidget | Swarm.TUI.Model.Goal |
loadAchievementsInfo | Swarm.Game.Achievement.Persistence |
loadCell | Swarm.Game.World |
loadEntities | Swarm.Game.Entity |
loadFooterContent | Swarm.Doc.Schema.Render |
LoadingFailure | Swarm.Game.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 |
loadStandaloneScenario | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo, Swarm.Doc.Gen |
loadVisibleRegion | Swarm.TUI.Controller.Util |
loadWorld | Swarm.Game.World.Load |
loadWorlds | Swarm.Game.World.Load |
localE | Swarm.Util.Yaml |
LocatedTCFrame | |
1 (Type/Class) | Swarm.Language.Typecheck |
2 (Data Constructor) | Swarm.Language.Typecheck |
Location | |
1 (Type/Class) | Swarm.Game.Location |
2 (Data Constructor) | Swarm.Game.Location |
LocationTarget | Swarm.Game.Step.Pathfinding |
locationToString | Swarm.TUI.View.Util |
locToCoords | Swarm.Game.World.Coords, Swarm.Game.World |
LocVar | Swarm.Language.Syntax |
locVarToSyntax' | Swarm.Language.Syntax |
Log | Swarm.Language.Syntax |
LogEntry | |
1 (Type/Class) | Swarm.Log |
2 (Data Constructor) | Swarm.Log |
logEvent | Swarm.TUI.Model |
Logged | Swarm.Log |
logic | Swarm.Game.Scenario.Objective |
LogSource | Swarm.Log |
LongConst | Swarm.Language.Typecheck |
longDoc | Swarm.Language.Syntax |
Look | Control.Carrier.Accum.FixedStrict |
look | Control.Carrier.Accum.FixedStrict |
LookedAtAboutScreen | Swarm.Game.Achievement.Definitions |
lookInDirection | Swarm.Game.Step.Util |
looks | Control.Carrier.Accum.FixedStrict |
lookup | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
3 (Function) | Swarm.Game.World.Typecheck |
lookupByName | Swarm.Game.Entity |
lookupCosmicEntity | Swarm.Game.World |
lookupCosmicTerrain | Swarm.Game.World |
lookupEntity | Swarm.Game.World |
lookupEntityM | Swarm.Game.World |
lookupEntityName | Swarm.Game.Entity |
lookupStore | Swarm.Game.CESK |
lookupTerrain | Swarm.Game.World |
lookupTerrainM | Swarm.Game.World |
LoseModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
LoseScenario | Swarm.Game.Achievement.Definitions |
LowerRightPending | Swarm.TUI.Editor.Model |
lspMain | Swarm.Language.LSP |
Lt | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
LV | Swarm.Language.Syntax |
lvSrcLoc | Swarm.Language.Syntax |
lvVar | Swarm.Language.Syntax |
machine | Swarm.Game.Robot |
magentaAttr | Swarm.TUI.View.Attribute.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 |
makeFocusRingWith | Swarm.TUI.Launch.Prep |
makeGraph | Swarm.Game.Scenario.Objective.Graph |
makeGraphEdges | Swarm.Game.Scenario.Objective.Graph |
makeGraphInfo | Swarm.Game.Scenario.Objective.Graph |
makeLensesExcluding | Swarm.Util.Lens |
makeLensesNoSigs | Swarm.Util.Lens |
makeListWidget | Swarm.TUI.View.Objective |
makePandocTable | Swarm.Doc.Schema.Render |
makePropsTable | Swarm.Doc.Schema.Render |
makeSuggestedPalette | Swarm.TUI.Editor.Palette |
makeTitleMap | Swarm.Doc.Schema.Render |
manhattan | Swarm.Game.Location |
ManualPause | Swarm.Game.State |
MapEditingBounds | |
1 (Type/Class) | Swarm.TUI.Editor.Model |
2 (Data Constructor) | Swarm.TUI.Editor.Model |
mapFreeS | Swarm.Language.Syntax |
MapSaveButton | Swarm.TUI.Model.Name |
mapSome | Swarm.Game.World.Typecheck |
markdownFooters | Swarm.Doc.Schema.Parse |
Mask | Swarm.Game.World.Syntax |
maximum0 | Swarm.Util |
maxModalWindowWidth | Swarm.TUI.View.Util |
maxOn | Swarm.Util |
maxPathRange | Swarm.Language.Syntax |
maxScoutRange | Swarm.Language.Syntax |
maxSniffRange | Swarm.Language.Syntax |
maxStrideRange | Swarm.Language.Syntax |
maybeScenarioPath | Swarm.Game.Achievement.Attainment |
maybeScroll | Swarm.TUI.View.Util |
maybeSelectedFile | Swarm.TUI.Launch.Model |
maybeToErasable | Swarm.Util.Erasable |
MBinAssoc | Swarm.Language.Syntax |
Measurable | Swarm.Game.Universe |
measureAstSize | Swarm.Language.Syntax |
Meet | Swarm.Language.Syntax |
MeetAll | Swarm.Language.Syntax |
Members | Swarm.Doc.Schema.Parse |
members | Swarm.Doc.Schema.Parse |
MemCell | Swarm.Game.CESK |
MemoizedDelay | Swarm.Language.Syntax |
Menu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
MenuList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
MergedStructure | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Structure |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Structure |
mergeStructures | Swarm.Game.Scenario.Topography.Structure |
messageInfo | Swarm.Game.State |
messageIsFromNearby | Swarm.Game.State |
messageIsRecent | Swarm.Game.State |
messageNotifications | Swarm.Game.State |
messageQueue | Swarm.Game.State |
Messages | |
1 (Type/Class) | Swarm.Game.State |
2 (Data Constructor) | 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 |
meterAttributeNames | Swarm.TUI.View.Attribute.Attr |
Metric | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.GenericMetrics |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.GenericMetrics |
MidRange | Swarm.Game.State |
MightUnify | Swarm.Language.Typecheck.Unify |
Mismatch | Swarm.Language.Typecheck |
MissingCatalyst | Swarm.Game.Recipe |
MissingFiles | Swarm.Game.Failure |
MissingIngredient | |
1 (Type/Class) | Swarm.Game.Recipe |
2 (Data Constructor) | Swarm.Game.Recipe |
MissingInput | Swarm.Game.Recipe |
MissingType | Swarm.Game.Recipe |
mkEntity | Swarm.Game.Entity |
mkEntityKnowledge | Swarm.TUI.View.CellDisplay |
mkFacade | Swarm.Game.Scenario.Topography.EntityFacade |
mkGameStateConfig | Swarm.TUI.Model |
mkInterval | Swarm.Util.UnitInterval |
mkKeyCombo | Swarm.Language.Key |
mkNewGameMenu | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
mkOp | Swarm.Language.Syntax |
mkOp' | Swarm.Language.Syntax |
mkReadonly | Swarm.ReadableIORef |
mkRobot | Swarm.Game.Robot |
mkScenarioList | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
mkVarName | Swarm.Language.Types |
mkWindow | Swarm.Util.WindowedCounter |
Mod | Swarm.Game.World.Syntax |
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.Game.Achievement.Definitions |
Modified | Swarm.Game.World.Modify |
modifyLocation | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
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 |
mouseLocToWorldCoords | Swarm.TUI.Controller.Util |
Move | Swarm.Language.Syntax |
MoveFailureDetails | |
1 (Type/Class) | Swarm.Game.Step.Util |
2 (Data Constructor) | Swarm.Game.Step.Util |
MoveFailureHandler | Swarm.Game.Step |
MoveFailureMode | Swarm.Game.Step.Util |
moveReplHistIndex | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Mul | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
MultiWorld | Swarm.Game.World |
multiWorld | Swarm.Game.State |
multiworldInfo | Swarm.TUI.View.CellDisplay |
MUnAssoc | Swarm.Language.Syntax |
N | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Abstract |
Name | Swarm.TUI.Model.Name, Swarm.TUI.Model |
name | |
1 (Function) | Swarm.Game.Scenario.Style |
2 (Function) | Swarm.Game.Scenario.Topography.Structure |
3 (Function) | Swarm.TUI.Editor.Json |
NamedStructure | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Structure |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Structure |
NameGeneration | Swarm.Game.Failure |
NameGenerator | |
1 (Type/Class) | Swarm.Game.ResourceLoading |
2 (Data Constructor) | Swarm.Game.ResourceLoading |
nameGenerator | Swarm.Game.State |
nameList | Swarm.Game.ResourceLoading |
nameParts | Swarm.TUI.Model |
narrowToPosition | Swarm.Language.LSP.Hover |
Navigation | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Portal |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Portal |
navigation | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
nearestDirection | Swarm.Game.Location |
needsRedraw | Swarm.Game.State |
Neg | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
Neq | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.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 |
NoChange | Swarm.Game.World.Modify |
NoColor | Swarm.TUI.Model |
Node | Swarm.Language.Text.Markdown |
nodeIDs | Swarm.Game.Scenario.Objective.Graph |
nodes | Swarm.Language.Text.Markdown |
NoFunParams | Swarm.Game.World.Compile |
NoInstance | Swarm.Game.World.Typecheck |
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 |
NoOrderFile | Swarm.Game.Failure |
normalizeScenarioPath | Swarm.Game.ScenarioInfo |
north | Swarm.Game.Location |
Not | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
3 (Data Constructor) | Swarm.Game.World.Syntax |
NotAnything | Swarm.Game.World.Typecheck |
NotAThing | Swarm.Game.World.Typecheck |
NotFun | Swarm.Game.World.Typecheck |
notifAttr | Swarm.TUI.View.Attribute.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.Scenario.Status, Swarm.Game.ScenarioInfo |
novelSolutionCommands | Swarm.Doc.Pedagogy |
NoWinCondition | Swarm.Game.State |
number | Swarm.Util |
objectDescription | Swarm.Doc.Schema.Refined |
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, 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 |
ObjectProperties | Swarm.Doc.Schema.Parse |
obtainedAt | Swarm.Game.Achievement.Attainment |
offset | Swarm.Game.Scenario.Topography.Placement |
offsetBy | |
1 (Function) | Swarm.Game.Universe |
2 (Function) | Swarm.Util.WindowedCounter |
offsetOrigin | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Offsettable | Swarm.Util.WindowedCounter |
offsetWaypoint | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
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 |
Op | Swarm.Game.World.Syntax |
Opaque | Swarm.Game.Entity |
openModal | Swarm.TUI.Controller.Util |
operator | Swarm.Game.World.Parse |
operatorChar | Swarm.Game.World.Parse |
operatorNames | Swarm.Doc.Gen |
optionDescription | Swarm.TUI.Launch.View |
Or | |
1 (Data Constructor) | Swarm.Game.Scenario.Objective.Logic |
2 (Data Constructor) | Swarm.Language.Syntax |
3 (Data Constructor) | Swarm.Game.World.Syntax |
OrderFileWarning | |
1 (Data Constructor) | Swarm.Game.Failure |
2 (Type/Class) | Swarm.Game.Failure |
Ordinal | Swarm.Game.Scenario.Objective.Graph |
orient | Swarm.Game.Scenario.Topography.Placement |
Orientation | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Placement |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Placement |
orientationBasedRelativePosition | Swarm.Game.Scenario.Topography.Navigation.Util |
orientationMap | Swarm.Game.Display |
origin | Swarm.Game.Location |
originalEntity | Swarm.Game.World, Swarm.Game.CESK |
Originated | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
OTerm | Swarm.Game.World.Abstract |
Out | Swarm.Game.CESK |
outputFilePath | Swarm.TUI.Editor.Model |
OutputPathSelector | Swarm.TUI.Model.Name |
outRecipeMap | Swarm.Game.Recipe |
Over | Swarm.Game.World.Typecheck |
Overlay | Swarm.Game.World.Syntax |
overlaySingleStructure | Swarm.Game.Scenario.Topography.Structure |
P | |
1 (Data Constructor) | Swarm.Game.Location |
2 (Data Constructor) | Swarm.Language.Syntax |
padAllEvenly | Swarm.TUI.View.Achievement |
PageAddress | |
1 (Type/Class) | Swarm.Doc.Gen |
2 (Data Constructor) | Swarm.Doc.Gen |
paintedTerrain | Swarm.TUI.Editor.Model |
paintMap | Swarm.Game.Scenario.Topography.Structure |
palette | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
panel | Swarm.TUI.Panel |
Paragraph | |
1 (Type/Class) | Swarm.Language.Text.Markdown |
2 (Data Constructor) | Swarm.Language.Text.Markdown |
paragraphs | Swarm.Language.Text.Markdown |
ParameterizableLaunchParams | Swarm.Game.Scenario.Status |
parens | |
1 (Function) | Swarm.Util |
2 (Function) | Swarm.Game.World.Parse |
Parent | Swarm.Language.Syntax |
parent | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
parseAbs | Swarm.Game.World.Parse |
parseCell | Swarm.Game.World.Parse |
parseCellItem | Swarm.Game.World.Parse |
parseCellTag | Swarm.Game.World.Parse |
parseCodeFile | Swarm.Game.State |
parseIf | Swarm.Game.World.Parse |
parseImport | Swarm.Game.World.Parse |
parseJSONE | Swarm.Util.Yaml |
parseJSONE' | Swarm.Util.Yaml |
parseKeyCombo | Swarm.Language.Key |
parseKeyComboFull | Swarm.Language.Key |
parseLet | Swarm.Game.World.Parse |
parseMask | Swarm.Game.World.Parse |
parseName | Swarm.Game.World.Parse |
parseOverlay | Swarm.Game.World.Parse |
parsePerlin | Swarm.Game.World.Parse |
parsePolytype | Swarm.Language.Parse |
Parser | |
1 (Type/Class) | Swarm.Language.Parse |
2 (Type/Class) | Swarm.Game.World.Parse |
ParserE | Swarm.Util.Yaml |
ParserError | Swarm.Game.World.Parse |
parseSchemaFile | Swarm.Doc.Schema.Render |
parseSeedInput | Swarm.TUI.Launch.Prep |
parseTerm | Swarm.Language.Parse |
parseType | Swarm.Language.Parse |
parseWaypointConfig | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
parseWExp | Swarm.Game.World.Parse |
parseWExpAtom | Swarm.Game.World.Parse |
parseWidgetParams | Swarm.TUI.Launch.Prep |
partitionActiveObjectives | Swarm.Game.Scenario.Objective.WinCheck |
Path | Swarm.Language.Syntax |
PathBlocked | Swarm.Game.Step.Util |
pathCommand | Swarm.Game.Step.Pathfinding |
PathfindingTarget | Swarm.Game.Step.Pathfinding |
PathLiquid | Swarm.Game.Step.Util |
paused | Swarm.Game.State |
PCell | Swarm.Game.Scenario.Topography.Cell, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Perlin | Swarm.Game.World.Syntax |
Piloting | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Ping | Swarm.Language.Syntax |
Place | Swarm.Language.Syntax |
Placement | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Placement |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Placement |
placements | Swarm.Game.Scenario.Topography.Structure |
plainBorder | Swarm.TUI.Border |
plainHBorder | Swarm.TUI.Border |
planar | Swarm.Game.Universe |
PlanarRelativeDir | Swarm.Language.Direction, Swarm.Language.Syntax |
plantAttr | Swarm.TUI.View.Attribute.Attr |
Played | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
PlayerAuthored | Swarm.Game.State |
plural | Swarm.Util |
Point | Swarm.Game.Location |
Poly | Swarm.Language.Types |
Polytype | Swarm.Language.Types |
polytype | Swarm.Language.Typed |
PolyUnit | Swarm.Language.Types |
populateInventoryList | Swarm.TUI.Model |
Portable | Swarm.Game.Entity |
Portal | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Portal |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Portal |
PortalExit | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Portal |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Portal |
portals | Swarm.Game.Scenario.Topography.Navigation.Portal |
pparens | Swarm.Language.Pretty |
ppr | Swarm.Language.Pretty |
Prec | |
1 (Type/Class) | Swarm.Language.Pretty |
2 (Data Constructor) | Swarm.Language.Pretty |
prepareLaunchDialog | Swarm.TUI.Launch.Prep |
prepForJson | Swarm.Game.Scenario.Topography.WorldPalette |
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 |
prettyBinding | Swarm.Language.Pretty |
prettyDefinition | Swarm.Language.Pretty |
prettyEquality | Swarm.Language.Pretty |
prettyKeyCombo | Swarm.Language.Key |
prettyLambda | Swarm.Language.Pretty |
prettyLambdas | Swarm.Language.Pretty |
PrettyPrec | Swarm.Language.Pretty |
prettyPrec | Swarm.Language.Pretty |
prettyPrecApp | Swarm.Language.Pretty |
prettyShowLow | Swarm.Language.Pretty |
prettyString | Swarm.Language.Pretty |
prettyText | Swarm.Language.Pretty |
prettyTextLine | Swarm.Language.Pretty |
prettyTuple | Swarm.Language.Pretty |
prettyTypeErr | Swarm.Language.Pretty |
prettyTypeErrText | Swarm.Language.Pretty |
prettyValue | Swarm.Language.Value |
previewable | Swarm.Game.Scenario.Objective |
printScenarioMap | Swarm.Game.World.Render |
Priority | Swarm.Game.Display |
problems | Swarm.Language.LSP.VarUsage |
ProcessedTerm | |
1 (Type/Class) | Swarm.Language.Pipeline |
2 (Data Constructor) | Swarm.Language.Pipeline |
processImmediateFrame | Swarm.Game.Step |
processParsedTerm | Swarm.Language.Pipeline |
processParsedTerm' | Swarm.Language.Pipeline |
processTerm | Swarm.Language.Pipeline |
processTerm' | Swarm.Language.Pipeline |
processTermEither | Swarm.Language.Pipeline |
product | Swarm.Game.Entity |
Progress | Swarm.Game.Scenario.Scoring.GenericMetrics |
ProgressMetric | Swarm.Game.Scenario.Scoring.Best |
ProgressStats | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.Best |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.Best |
properties | Swarm.Doc.Schema.Refined |
propertyColumnHeadings | Swarm.Doc.Schema.Render |
provisionChild | Swarm.Game.Step |
PStructure | Swarm.Game.Scenario.Topography.Structure |
purgeFarAwayWatches | Swarm.Game.Step |
Push | Swarm.Language.Syntax |
Push' | Swarm.Game.Step |
PWorldDescription | Swarm.Game.Scenario.Topography.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.Game.Achievement.Definitions |
2 (Data Constructor) | Swarm.Game.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.Util |
RawCellVal | Swarm.Game.World.Syntax |
RawNode | Swarm.Language.Text.Markdown |
ReadableIORef | Swarm.ReadableIORef |
readAppData | Swarm.Game.ResourceLoading |
readFileMay | Swarm.Util |
readFileMayT | Swarm.Util |
readIORef | Swarm.ReadableIORef |
readMap | Swarm.Game.Scenario.Topography.Structure |
readTerm | Swarm.Language.Parse |
readTerm' | Swarm.Language.Parse |
readTerrain | Swarm.Game.Terrain |
recalcViewCenter | Swarm.Game.State |
Recipe | |
1 (Type/Class) | Swarm.Game.Recipe |
2 (Data Constructor) | Swarm.Game.Recipe |
recipeCatalysts | Swarm.Game.Recipe |
RecipeGraph | Swarm.Doc.Gen |
recipeInputs | Swarm.Game.Recipe |
recipeOutputs | Swarm.Game.Recipe |
Recipes | |
1 (Data Constructor) | Swarm.Game.Failure |
2 (Type/Class) | Swarm.Game.State |
3 (Data Constructor) | Swarm.Doc.Gen |
recipesAddress | Swarm.Doc.Gen |
recipesCat | Swarm.Game.State |
recipesFor | Swarm.Game.Recipe |
recipesIn | Swarm.Game.State |
recipesInfo | Swarm.Game.State |
RecipesModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
recipesOut | Swarm.Game.State |
recipeTime | Swarm.Game.Recipe |
recipeWeight | Swarm.Game.Recipe |
recombineExtension | Swarm.Doc.Schema.Render |
rectHeight | Swarm.Game.Scenario.Topography.Area |
rectWidth | Swarm.Game.Scenario.Topography.Area |
redAttr | Swarm.TUI.View.Attribute.Attr |
Ref | Swarm.TUI.Editor.Model |
Reference | Swarm.Doc.Schema.SchemaType |
Reflect | Swarm.Game.World.Syntax |
reflow | Swarm.Util |
RelativeDir | Swarm.Language.Direction, Swarm.Language.Syntax |
relativeTo | Swarm.Game.Location |
Remove | Swarm.Game.World.Modify |
removeEntry | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
removeRobotFromLocationMap | Swarm.Game.State |
removeSupersets | Swarm.Util |
renderDisplay | Swarm.TUI.View.CellDisplay |
renderDoc | Swarm.Language.LSP.Hover |
renderDutyCycle | Swarm.TUI.View |
renderGoalsDisplay | Swarm.TUI.View.Objective |
RenderingInput | |
1 (Type/Class) | Swarm.TUI.View.CellDisplay |
2 (Data Constructor) | Swarm.TUI.View.CellDisplay |
renderRectDimensions | Swarm.Game.Scenario.Topography.Area |
renderScenarioMap | Swarm.Game.World.Render |
renderSortMethod | Swarm.TUI.Inventory.Sorting |
renderTutorialProgression | Swarm.Doc.Pedagogy |
renderValue | Swarm.Doc.Schema.Render |
renderWorldName | Swarm.Game.Universe |
reorient | Swarm.Game.Scenario.Topography.Navigation.Portal |
reorientation | Swarm.Game.Scenario.Topography.Navigation.Portal |
reorientWaypoint | Swarm.Game.Scenario.Topography.Placement |
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 |
REPLError | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replHasExecutedManualInput | Swarm.TUI.Model.Repl |
REPLHistItem | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
replHistory | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
REPLHistoryCache | Swarm.TUI.Model.Name, 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 |
replScroll | 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 |
REPLViewport | Swarm.TUI.Model.Name, 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 |
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 |
reserved | Swarm.Game.World.Parse |
reservedWords | |
1 (Function) | Swarm.Language.Parse |
2 (Function) | Swarm.Game.World.Parse |
resetBlackholes | Swarm.Game.CESK |
resolveCell | Swarm.Game.World.Typecheck |
resolveCellItem | Swarm.Game.World.Typecheck |
Resonate | Swarm.Language.Syntax |
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.View.Attribute.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 |
RobotError | Swarm.Log |
RobotFailure | Swarm.Game.Step |
robotHeavy | Swarm.Game.Robot |
robotID | Swarm.Game.Robot |
RobotIntoWater | Swarm.Game.Achievement.Definitions |
robotInventory | Swarm.Game.Robot |
robotKnows | Swarm.Game.Robot |
robotLocation | Swarm.Game.Robot |
RobotLog | Swarm.Log |
robotLog | Swarm.Game.Robot |
RobotLogSource | Swarm.Log |
robotLogUpdated | Swarm.Game.Robot |
RobotMap | Swarm.Game.Scenario.RobotLookup |
robotMap | Swarm.Game.State |
RobotName | |
1 (Type/Class) | Swarm.Game.Scenario.RobotLookup |
2 (Data Constructor) | Swarm.Game.Scenario.RobotLookup |
robotName | Swarm.Game.Robot |
RobotNamed | Swarm.Language.Syntax |
RobotNaming | Swarm.Game.State |
robotNaming | Swarm.Game.State |
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 |
RobotRange | Swarm.Game.State |
robots | Swarm.TUI.Editor.Json |
robotsAtLocation | Swarm.Game.State |
robotsByLocation | Swarm.Game.State |
robotsInArea | Swarm.Game.State |
RobotsModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
RobotStep | Swarm.Game.State |
robotStepsPerTick | Swarm.Game.State |
robotsWatching | Swarm.Game.State |
RobotUpdate | Swarm.Game.CESK, Swarm.Game.Robot |
robotWithID | Swarm.Game.Step.Util |
robotWithName | Swarm.Game.Step.Util |
rockAttr | Swarm.TUI.View.Attribute.Attr |
Rot | |
1 (Data Constructor) | Swarm.Game.World.Syntax |
2 (Type/Class) | Swarm.Game.World.Syntax |
Rot0 | Swarm.Game.World.Syntax |
Rot180 | Swarm.Game.World.Syntax |
Rot270 | Swarm.Game.World.Syntax |
Rot90 | Swarm.Game.World.Syntax |
Run | Swarm.Language.Syntax |
run | Control.Carrier.Accum.FixedStrict |
runAccum | Control.Carrier.Accum.FixedStrict |
runBaseWebCode | Swarm.TUI.Controller |
runCESK | Swarm.Game.Step |
runCTerm | Swarm.Game.World.Compile |
runE | Swarm.Util.Yaml |
runFrame | Swarm.TUI.Controller |
runFrameTicks | Swarm.TUI.Controller |
runFrameUI | Swarm.TUI.Controller |
runGameTick | Swarm.TUI.Controller |
runGameTickUI | Swarm.TUI.Controller |
Running | Swarm.Game.State |
runningAtomic | Swarm.Game.Robot |
runParser | |
1 (Function) | Swarm.Language.Parse |
2 (Function) | Swarm.Game.World.Parse |
runParserTH | Swarm.Language.Parse |
runRobotIDs | Swarm.Game.Step |
RunStatus | Swarm.Game.State |
runStatus | Swarm.Game.State |
runTC | Swarm.Language.Typecheck |
RuntimeState | Swarm.TUI.Model |
runtimeState | Swarm.TUI.Model |
RunWebCode | Swarm.TUI.Model |
runWF | Swarm.Game.World |
runWorld | Swarm.Game.World.Eval |
S | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
safeDiv | Swarm.Game.Step |
safeExp | Swarm.Game.Step |
safeIndex | Swarm.Util.UnitInterval |
SAfter | Swarm.Game.State |
Said | Swarm.Log |
Salvage | Swarm.Language.Syntax |
SAnnotate | Swarm.Language.Syntax |
SApp | Swarm.Language.Syntax |
Save | Swarm.Game.Failure |
saveAchievementsInfo | Swarm.Game.Achievement.Persistence |
saveMapFile | Swarm.TUI.Editor.Controller |
saveScenarioInfo | Swarm.Game.ScenarioInfo |
Say | Swarm.Language.Syntax |
SBefore | Swarm.Game.State |
SBind | Swarm.Language.Syntax |
SC | Swarm.Game.ScenarioInfo |
sc | Swarm.Game.World.Parse |
Scan | Swarm.Language.Syntax |
sccInfo | Swarm.Game.Scenario.Objective.Graph |
Scenario | |
1 (Type/Class) | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
3 (Data Constructor) | Swarm.Doc.Gen |
scenarioAttemptMetrics | Swarm.Game.Scenario.Scoring.Best |
scenarioAttrs | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioAuthor | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioBestByAstSize | Swarm.Game.Scenario.Scoring.Best |
scenarioBestByCharCount | Swarm.Game.Scenario.Scoring.Best |
scenarioBestByTicks | Swarm.Game.Scenario.Scoring.Best |
scenarioBestByTime | Swarm.Game.Scenario.Scoring.Best |
ScenarioCodeMetrics | |
1 (Type/Class) | Swarm.Game.Scenario.Scoring.CodeSize |
2 (Data Constructor) | Swarm.Game.Scenario.Scoring.CodeSize |
scenarioCodeMetrics | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
ScenarioCollection | Swarm.Game.ScenarioInfo |
scenarioCollectionToList | Swarm.Game.ScenarioInfo |
ScenarioConfigControl | Swarm.TUI.Model.Name, Swarm.TUI.Model |
ScenarioConfigFileSelector | Swarm.TUI.Model.Name |
scenarioConfigFocusRing | Swarm.TUI.Launch.Model |
ScenarioConfigPanel | Swarm.TUI.Model.Name |
ScenarioConfigPanelControl | Swarm.TUI.Model.Name |
ScenarioConfigPanelFocusable | Swarm.TUI.Model.Name |
scenarioCreative | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioDescription | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioDurationMetrics | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
scenarioElapsed | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
scenarioElapsedTicks | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
ScenarioEndModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
scenarioEntities | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioInfo | |
1 (Type/Class) | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
ScenarioInfoPair | Swarm.Game.Scenario.Status, 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 |
scenarioNavigation | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioNotFound | Swarm.Game.Failure |
scenarioObjectives | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioOptions | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
ScenarioOutcome | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
scenarioPair | Swarm.Doc.Pedagogy |
scenarioPath | Swarm.Game.Scenario.Status, 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.Failure |
scenarios | Swarm.TUI.Model |
scenariosDir | Swarm.Doc.Schema.Render |
scenarioSeed | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioSolution | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioStarted | Swarm.Game.Scenario.Scoring.Best |
ScenarioStatus | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
scenarioStatus | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
scenarioStepsPerTick | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
ScenarioSuggested | Swarm.Game.State |
scenarioToAppState | Swarm.TUI.Model.StateUpdate |
scenarioToGameState | Swarm.Game.State |
scenarioVersion | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scenarioWorlds | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
schemaContent | Swarm.Doc.Schema.Parse |
SchemaData | |
1 (Type/Class) | Swarm.Doc.Schema.Parse |
2 (Data Constructor) | Swarm.Doc.Schema.Parse |
schemaExtension | Swarm.Doc.Schema.Render |
SchemaIdReference | |
1 (Type/Class) | Swarm.Doc.Schema.SchemaType |
2 (Data Constructor) | Swarm.Doc.Schema.SchemaType |
schemaJsonOptions | Swarm.Doc.Schema.Refined |
schemaPath | Swarm.Doc.Schema.Parse |
SchemaRaw | |
1 (Type/Class) | Swarm.Doc.Schema.Refined |
2 (Data Constructor) | Swarm.Doc.Schema.Refined |
schemasDir | Swarm.Doc.Schema.Render |
SchemaType | Swarm.Doc.Schema.SchemaType |
schemaType | Swarm.Doc.Schema.Refined |
scMap | Swarm.Game.ScenarioInfo |
scOrder | Swarm.Game.ScenarioInfo |
Scout | Swarm.Language.Syntax |
Script | Swarm.Game.Failure |
ScriptSelector | Swarm.TUI.Model.Name |
scriptToRun | Swarm.TUI.Model |
scrollable | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
scrollView | Swarm.TUI.Controller |
SDef | Swarm.Language.Syntax |
SDelay | Swarm.Language.Syntax |
SearchPrompt | Swarm.TUI.Model.Repl, Swarm.TUI.Model |
Seed | Swarm.Game.World.Gen, Swarm.Game.State, Swarm.TUI.Model |
seed | Swarm.Game.State |
seedProgram | Swarm.Game.Step |
SeedSelector | Swarm.TUI.Model.Name |
seedVal | Swarm.Game.Scenario.Status |
seedValueEditor | Swarm.TUI.Launch.Model |
SelectionComplete | Swarm.TUI.Editor.Model |
Self | Swarm.Language.Syntax |
Selfdestruct | Swarm.Language.Syntax |
selfDestruct | Swarm.Game.Robot |
Separator | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
sequenceSigned | Swarm.Game.Scenario.Topography.Navigation.Portal |
SerializableLaunchParams | Swarm.Game.Scenario.Status |
setFocus | Swarm.TUI.Controller.Util |
setIncomplete | Swarm.Game.Scenario.Objective |
Setname | Swarm.Language.Syntax |
setStore | Swarm.Game.CESK |
Severity | Swarm.Log |
sForce | Swarm.Language.Elaborate |
Sha1 | |
1 (Type/Class) | Swarm.Game.State |
2 (Data Constructor) | Swarm.Game.State |
SheetType | Swarm.Doc.Gen |
ShiftKey | Swarm.TUI.Controller.Util |
shouldHideWorldCell | Swarm.TUI.Editor.Masking |
shouldSkipSelection | Swarm.TUI.Model.Goal |
showEnum | Swarm.Util |
showErrorPos | Swarm.Language.Parse |
showHoverInfo | Swarm.Language.LSP.Hover |
showLowT | Swarm.Util |
showShortError | Swarm.Language.Parse |
showT | Swarm.Util |
showTypeErrorPos | Swarm.Language.LSP |
SICollection | Swarm.Game.ScenarioInfo |
Simple | Swarm.Doc.Schema.SchemaType |
SimpleDelay | Swarm.Language.Syntax |
simpleErrorHandle | Swarm.Util.Effect |
singleAchievementDetails | Swarm.TUI.View.Achievement |
singleGoalDetails | Swarm.TUI.View.Objective |
SingleOrList | |
1 (Type/Class) | Swarm.Doc.Schema.SchemaType |
2 (Data Constructor) | Swarm.Doc.Schema.SchemaType |
SingleStep | Swarm.Game.State |
singleStep | Swarm.Game.Step |
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 |
SkeletonScenario | |
1 (Type/Class) | Swarm.TUI.Editor.Json |
2 (Data Constructor) | Swarm.TUI.Editor.Json |
skolemize | Swarm.Language.Typecheck |
SKpair | |
1 (Type/Class) | Swarm.Game.Step |
2 (Data Constructor) | Swarm.Game.Step |
SLam | Swarm.Language.Syntax |
sleepForever | Swarm.Game.State |
sleepUntil | Swarm.Game.State |
SLet | Swarm.Language.Syntax |
sLoc | Swarm.Language.Syntax |
smallHittingSet | Swarm.Util |
Snd | Swarm.Language.Syntax |
Sniff | Swarm.Language.Syntax |
solutionCommands | Swarm.Doc.Pedagogy |
SolutionSource | Swarm.Game.State |
Some | |
1 (Type/Class) | Swarm.Game.World.Typecheck |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
SomeTy | |
1 (Type/Class) | Swarm.Game.World.Typecheck |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
sortAndPruneSchemas | Swarm.Doc.Schema.Arrangement |
sortInventory | Swarm.TUI.Inventory.Sorting |
sortPair | Swarm.Util |
Source | Swarm.Language.Typecheck |
sourceTextLength | Swarm.Game.Scenario.Scoring.CodeSize |
south | Swarm.Game.Location |
Spacer | Swarm.TUI.Model.Goal |
SPair | Swarm.Language.Syntax |
SpecialKeyNames | Swarm.Doc.Gen |
specialKeyNames | Swarm.Language.Key |
speed | Swarm.TUI.Model |
Split | Swarm.Language.Syntax |
SProj | Swarm.Language.Syntax |
squote | Swarm.Util |
src | Swarm.Game.Scenario.Topography.Placement |
SRcd | Swarm.Language.Syntax |
SrcLoc | |
1 (Type/Class) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Language.Syntax |
SRequirements | Swarm.Language.Syntax |
SSingle | Swarm.Game.State |
standardCell | Swarm.Game.Scenario.Topography.Cell |
Standout | Swarm.Game.Scenario.Style |
startGame | Swarm.TUI.Model.StateUpdate |
StartGameButton | Swarm.TUI.Model.Name |
startGameWithSeed | Swarm.TUI.Model.StateUpdate |
StartOver | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
StartOverButton | Swarm.TUI.Model.Name, Swarm.TUI.Model |
startWebThread | Swarm.Web |
staticChar | Swarm.TUI.View.CellDisplay |
staticDisplay | Swarm.TUI.View.CellDisplay |
stdEntityMap | Swarm.TUI.Model |
stdRecipes | Swarm.TUI.Model |
Step | Swarm.Game.State |
stepCESK | Swarm.Game.Step |
stepRobot | Swarm.Game.Step |
STerm | Swarm.Language.Syntax |
sTerm | Swarm.Language.Syntax |
stoneAttr | Swarm.TUI.View.Attribute.Attr |
StoneT | Swarm.Game.Terrain |
Store | Swarm.Game.CESK |
StreamNode | Swarm.Language.Text.Markdown |
StreamNode' | Swarm.Language.Text.Markdown |
Stride | Swarm.Language.Syntax |
Strikethrough | Swarm.Game.Scenario.Style |
stripDir | Swarm.Game.World.Load |
stripVResult | Swarm.Language.Value |
Strong | Swarm.Language.Text.Markdown |
Structure | Swarm.Game.Scenario.Topography.Structure |
structure | Swarm.Game.Scenario.Topography.Structure |
StructureName | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Placement |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Placement |
structures | Swarm.Game.Scenario.Topography.Structure |
style | Swarm.Game.Scenario.Style |
StyleFlag | Swarm.Game.Scenario.Style |
styleFlagJsonOptions | Swarm.Game.Scenario.Style |
sType | Swarm.Language.Syntax |
Sub | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Syntax |
substU | Swarm.Language.Typecheck |
subworld | Swarm.Game.Universe |
SubworldName | |
1 (Type/Class) | Swarm.Game.Universe |
2 (Data Constructor) | Swarm.Game.Universe |
subworldName | Swarm.Game.Scenario.Topography.Navigation.Portal |
surfaceEmpty | Swarm.Util |
Surveil | Swarm.Language.Syntax |
Swap | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Modify |
Swap' | Swarm.Game.Step |
SwapSame | Swarm.Game.Achievement.Definitions |
SwarmAPI | Swarm.Web |
swarmApiHtml | Swarm.Web |
swarmApiMarkdown | Swarm.Web |
swarmAttrMap | Swarm.TUI.View.Attribute.Attr |
swarmLangFileExtension | Swarm.TUI.Launch.Prep |
swarmRepoUrl | Swarm.Constant |
SwarmSchema | |
1 (Type/Class) | Swarm.Doc.Schema.Refined |
2 (Data Constructor) | Swarm.Doc.Schema.Refined |
symbol | Swarm.Game.World.Parse |
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.Game.Failure |
SystemLog | Swarm.Log |
systemRobot | Swarm.Game.Robot |
tagToVersion | Swarm.Version |
tangibility | Swarm.Language.Syntax |
tangibleCommandCount | Swarm.Game.Robot |
TAnnotate | Swarm.Language.Syntax |
TAntiInt | Swarm.Language.Syntax |
TAntiText | Swarm.Language.Syntax |
TApp | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
TBind | Swarm.Language.Syntax |
TBool | Swarm.Language.Syntax |
TC | Swarm.Language.Typecheck |
TCBindL | Swarm.Language.Typecheck |
TCBindR | Swarm.Language.Typecheck |
TCDef | Swarm.Language.Typecheck |
TCFrame | Swarm.Language.Typecheck |
TConst | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
TCStack | Swarm.Language.Typecheck |
TCtx | Swarm.Language.Types |
TDef | Swarm.Language.Syntax |
TDelay | Swarm.Language.Syntax |
TDir | Swarm.Language.Syntax |
Teleport | Swarm.Language.Syntax |
TemplateRobot | Swarm.Game.Robot |
temporal | Swarm.Game.State |
TemporalState | Swarm.Game.State |
Term | Swarm.Language.Syntax |
Term' | Swarm.Language.Syntax |
TerrainList | Swarm.TUI.Model.Name, Swarm.TUI.Model |
terrainList | Swarm.TUI.Editor.Model |
TerrainListItem | Swarm.TUI.Model.Name, Swarm.TUI.Model |
terrainMap | Swarm.Game.Terrain |
TerrainPaletteModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
TerrainType | Swarm.Game.Terrain |
TerrainWith | Swarm.Game.Scenario.Topography.WorldPalette |
TextNode | Swarm.Language.Text.Markdown |
theFocusedRobot | Swarm.TUI.View.CellDisplay |
ThrowExn | Swarm.Game.Step |
throwToMaybe | Swarm.Util.Effect |
throwToWarning | Swarm.Util.Effect |
tickCount | Swarm.TUI.Model.UI |
TickNumber | |
1 (Type/Class) | Swarm.Game.CESK |
2 (Data Constructor) | Swarm.Game.CESK |
tickRobot | Swarm.Game.Step |
tickRobotRec | Swarm.Game.Step |
ticks | Swarm.Game.State |
ticksPerFrameCap | Swarm.TUI.Controller |
tickStepBudget | Swarm.Game.Robot |
Time | Swarm.Language.Syntax |
TimeDir | Swarm.TUI.Model.Repl, Swarm.TUI.Model, Swarm.TUI.Controller |
TInt | Swarm.Language.Syntax |
title | |
1 (Function) | Swarm.Doc.Schema.Parse |
2 (Function) | Swarm.Game.Achievement.Definitions |
TLam | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
TLet | Swarm.Language.Syntax |
TModule | Swarm.Language.Module |
tmQ | Swarm.Language.Pipeline.QQ |
toAbsDirection | Swarm.Game.Location |
toAttrName | Swarm.TUI.View.Attribute.Attr |
toAttrPair | Swarm.TUI.View.Attribute.CustomStyling |
toBoolExpr | Swarm.Game.Scenario.Objective.Logic |
toCellPaintDisplay | Swarm.Game.Scenario.Topography.WorldPalette |
ToChar | Swarm.Language.Syntax |
toDirection | Swarm.Game.Location |
toErrPos | Swarm.Language.LSP.VarUsage |
toFacade | Swarm.TUI.Editor.Model |
toggleRunStatus | Swarm.Game.State |
toKey | Swarm.Game.Scenario.Topography.WorldPalette |
TooManyTicks | Swarm.Language.Typecheck |
topContext | Swarm.TUI.Model |
topLabels | Swarm.TUI.Border |
ToplevelSchema | |
1 (Type/Class) | Swarm.Doc.Schema.Parse |
2 (Data Constructor) | Swarm.Doc.Schema.Parse |
toSerializableParams | Swarm.TUI.Launch.Model |
ToStream | Swarm.Language.Text.Markdown |
toStream | Swarm.Language.Text.Markdown |
toStyle | Swarm.TUI.View.Attribute.CustomStyling |
toSwarmSchema | Swarm.Doc.Schema.Refined |
toText | Swarm.Language.Text.Markdown |
toU | Swarm.Language.Types |
toValidatedParams | Swarm.TUI.Launch.Prep |
TPair | Swarm.Language.Syntax |
TProj | Swarm.Language.Syntax |
traceLog | Swarm.Game.Step |
traceLogShow | Swarm.Game.Step |
traverseW | Swarm.Util.Effect |
TRcd | Swarm.Language.Syntax |
treeToMarkdown | Swarm.Language.LSP.Hover |
TRef | Swarm.Language.Syntax |
TRequire | Swarm.Language.Syntax |
TRequireDevice | Swarm.Language.Syntax |
TRequirements | Swarm.Language.Syntax |
Trivial | Swarm.Game.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.Doc.Util |
TTerm | Swarm.Game.World.Typecheck |
TText | Swarm.Language.Syntax |
TTy | Swarm.Game.World.Typecheck |
TTyBase | Swarm.Game.World.Typecheck |
TTyBool | Swarm.Game.World.Typecheck |
TTyCell | Swarm.Game.World.Typecheck |
TTyFloat | Swarm.Game.World.Typecheck |
TTyInt | Swarm.Game.World.Typecheck |
TTyWorld | Swarm.Game.World.Typecheck |
TUnit | Swarm.Language.Syntax |
Turn | Swarm.Language.Syntax |
tutIndex | Swarm.Doc.Pedagogy |
tutInfo | Swarm.Doc.Pedagogy |
Tutorial | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
TutorialCoverage | Swarm.Doc.Gen |
TutorialInfo | |
1 (Type/Class) | Swarm.Doc.Pedagogy |
2 (Data Constructor) | Swarm.Doc.Pedagogy |
TVar | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Data Constructor) | Swarm.Game.World.Typecheck |
TxtAttr | Swarm.Language.Text.Markdown |
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 |
TyKey | Swarm.Language.Types |
tyNounPhrase | Swarm.Language.Pretty |
Type | Swarm.Language.Types |
typeArgsFor | Swarm.Game.World.Typecheck |
Typed | |
1 (Type/Class) | Swarm.Language.Typed |
2 (Data Constructor) | Swarm.Language.Typed |
typeDescription | Swarm.Language.Pretty |
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 |
TyRcd | Swarm.Language.Types |
TyRcdF | Swarm.Language.Types |
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 |
uiFocusRing | Swarm.TUI.Model.UI |
uiFPS | Swarm.TUI.Model.UI |
uiGoal | Swarm.TUI.Model.UI |
uiHideGoals | Swarm.TUI.Model.UI |
uiHideRobotsUntil | Swarm.TUI.Model.UI |
uiInventory | Swarm.TUI.Model.UI |
uiInventorySearch | Swarm.TUI.Model.UI |
uiInventoryShouldUpdate | Swarm.TUI.Model.UI |
uiInventorySort | Swarm.TUI.Model.UI |
uiLaunchConfig | Swarm.TUI.Model.UI |
uiMenu | Swarm.TUI.Model.UI |
uiModal | Swarm.TUI.Model.UI |
uiPlaying | Swarm.TUI.Model.UI |
uiREPL | Swarm.TUI.Model.UI |
uiScrollToEnd | Swarm.TUI.Model.UI |
uiShowDebug | Swarm.TUI.Model.UI |
uiShowFPS | Swarm.TUI.Model.UI |
uiShowREPL | 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 |
uiWorldEditor | Swarm.TUI.Model.UI |
ul | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
UModule | Swarm.Language.Module |
unary | Swarm.Game.World.Compile |
Unbound | Swarm.Game.World.Typecheck |
UnboundVar | Swarm.Language.Typecheck |
UnchainableFun | Swarm.Language.Pretty |
unchainFun | Swarm.Language.Pretty |
unchainLambdas | Swarm.Language.Pretty |
unCoords | Swarm.Game.World.Coords, Swarm.Game.World |
unCtx | Swarm.Language.Context |
Undefined | Swarm.Language.Syntax |
Underline | Swarm.Game.Scenario.Style |
Unequip | Swarm.Language.Syntax |
unfocus | Swarm.Game.State |
unfoldApps | Swarm.Language.Syntax |
uniform | Swarm.Game.Step.Util |
unify | Swarm.Language.Typecheck |
unifyCheck | Swarm.Language.Typecheck.Unify |
UnifyErr | Swarm.Language.Typecheck |
UnifyStatus | Swarm.Language.Typecheck.Unify |
union | |
1 (Function) | Swarm.Language.Context |
2 (Function) | Swarm.Game.Entity |
uniq | Swarm.Util |
UnitInterval | Swarm.Util.UnitInterval |
UnknownImport | Swarm.Game.World.Typecheck |
UnknownProj | Swarm.Language.Typecheck |
unOps | Swarm.Language.Parse |
unPalette | Swarm.Game.Scenario.Topography.WorldPalette |
unsafeSetRobotLocation | Swarm.Game.Robot |
unsnocNE | Swarm.Util |
untaggedJsonOptions | Swarm.Game.Scenario.Scoring.GenericMetrics |
unTuple | Swarm.Language.Parse |
Unwalkable | Swarm.Game.Entity |
unwalkableEntities | Swarm.Game.Robot |
Unwinnable | Swarm.Game.State |
unwinnable | Swarm.Game.Scenario.Objective |
Up | Swarm.Game.CESK |
up | Swarm.Game.Scenario.Topography.Placement |
Upcoming | Swarm.TUI.Model.Goal |
update | Swarm.Game.World |
updateAreaBounds | Swarm.TUI.Editor.Controller |
updateAvailableCommands | Swarm.Game.Step |
updateAvailableRecipes | Swarm.Game.Step |
updateBest | Swarm.Game.Scenario.Scoring.Best |
updateDiscoveredEntities | Swarm.Game.Step |
updatedLoc | Swarm.Game.World, Swarm.Game.CESK |
updateEntityAt | Swarm.Game.Step.Util |
updateFocusRing | Swarm.TUI.Launch.Controller |
updateM | Swarm.Game.World |
updateRobotLocation | Swarm.Game.Step |
updateScenarioInfoOnFinish | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
updateUI | Swarm.TUI.Controller |
updateWorld | Swarm.Game.Step |
updateWorldAndRobots | Swarm.Game.Step |
Upload | Swarm.Language.Syntax |
UPolytype | Swarm.Language.Types |
UpperLeftPending | Swarm.TUI.Editor.Model |
upperLeftToBottomRight | Swarm.Game.Scenario.Topography.Area |
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 |
Use | Swarm.Language.Syntax |
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 |
UTyKey | Swarm.Language.Types |
UType | Swarm.Language.Types |
UTyProd | Swarm.Language.Types |
UTyRcd | Swarm.Language.Types |
UTySum | Swarm.Language.Types |
UTyText | Swarm.Language.Types |
UTyUnit | Swarm.Language.Types |
UTyVar | Swarm.Language.Types |
UTyVoid | Swarm.Language.Types |
V | |
1 (Data Constructor) | Swarm.Game.CESK |
2 (Data Constructor) | Swarm.Game.World.Abstract |
ValidatedLaunchParams | Swarm.Game.State |
validateObjectives | Swarm.Game.Scenario.Objective.Validation |
validatePartialNavigation | Swarm.Game.Scenario.Topography.Navigation.Portal |
validatePortals | Swarm.Game.Scenario.Topography.Navigation.Portal |
validateREPLForm | Swarm.TUI.Controller |
validateSwarmCode | Swarm.Language.LSP |
Valuable | Swarm.Game.Value |
Value | Swarm.Language.Value |
value | |
1 (Function) | Swarm.Language.Typed |
2 (Function) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
valueToTerm | Swarm.Language.Value |
Var | |
1 (Type/Class) | Swarm.Language.Context, Swarm.Language.Types, Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.World.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 | |
1 (Function) | Swarm.TUI.Editor.Json |
2 (Function) | Swarm.Version |
View | Swarm.Language.Syntax |
viewCenter | Swarm.Game.State |
ViewCenterRule | Swarm.Game.State |
viewCenterRule | Swarm.Game.State |
viewingRegion | Swarm.Game.State |
Vim | Swarm.Doc.Gen |
VInj | Swarm.Language.Value |
VInt | Swarm.Language.Value |
VKey | Swarm.Language.Value |
VPair | Swarm.Language.Value |
VRcd | Swarm.Language.Value |
VRect | |
1 (Type/Class) | Swarm.Game.Value |
2 (Data Constructor) | Swarm.Game.Value |
VRef | Swarm.Language.Value |
VRequirements | Swarm.Language.Value |
VResult | Swarm.Language.Value |
VRobot | Swarm.Language.Value |
VS | Swarm.Game.World.Typecheck |
VSCode | Swarm.Doc.Gen |
VText | Swarm.Language.Value |
VUnit | Swarm.Language.Value |
VZ | Swarm.Game.World.Typecheck |
W | Swarm.Game.World.Abstract |
Wait | Swarm.Language.Syntax |
Waiting | Swarm.Game.CESK |
waitingRobots | Swarm.Game.State |
waitingUntil | Swarm.Game.Robot |
wakeUpRobotsDoneSleeping | Swarm.Game.State |
wakeWatchingRobots | Swarm.Game.State |
wantsToStep | Swarm.Game.Robot |
warn | Swarm.Util.Effect |
Warning | Swarm.Log |
Watch | Swarm.Language.Syntax |
waterAttr | Swarm.TUI.View.Attribute.Attr |
Waypoint | |
1 (Data Constructor) | Swarm.Language.Syntax |
2 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
3 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
waypointCfg | Swarm.Game.Scenario.Topography.Cell |
WaypointConfig | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
WaypointMap | Swarm.Game.Scenario.Topography.Navigation.Portal |
WaypointName | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
waypoints | |
1 (Function) | Swarm.Game.Scenario.Topography.Navigation.Portal |
2 (Function) | Swarm.Game.Scenario.Topography.Structure |
WBool | Swarm.Game.World.Syntax |
WCell | Swarm.Game.World.Syntax |
WCoord | Swarm.Game.World.Syntax |
weaken | Swarm.Game.World.Typecheck |
weakenVar | Swarm.Game.World.Typecheck |
Web | Swarm.TUI.Model |
WebAPIEndpoints | Swarm.Doc.Gen |
WebCommand | Swarm.TUI.Model |
webMain | Swarm.Web |
webPort | Swarm.TUI.Model |
weightedChoice | Swarm.Game.Step.Util |
west | Swarm.Game.Location |
WExp | Swarm.Game.World.Syntax |
WF | Swarm.Game.World |
WFloat | Swarm.Game.World.Syntax |
WHash | Swarm.Game.World.Syntax |
Whereami | Swarm.Language.Syntax |
Whoami | Swarm.Language.Syntax |
wikiCheatSheet | Swarm.Constant |
wikiUrl | Swarm.Constant |
Wildcard | |
1 (Type/Class) | Swarm.Language.Pretty |
2 (Data Constructor) | Swarm.Language.Pretty |
WImport | Swarm.Game.World.Syntax |
WinCondition | Swarm.Game.State |
winCondition | Swarm.Game.State |
WinConditions | Swarm.Game.State |
WindowedCounter | Swarm.Util.WindowedCounter |
WinModal | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
winSolution | Swarm.Game.State |
WinStatus | Swarm.Game.State |
WInt | Swarm.Game.World.Syntax |
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 |
withFrame | Swarm.Language.Typecheck |
withObjectE | Swarm.Util.Yaml |
withSource | Swarm.Language.Typecheck |
withTextE | Swarm.Util.Yaml |
withThrow | Swarm.Util.Effect |
WithU | Swarm.Language.Types |
WLet | Swarm.Game.World.Syntax |
Won | Swarm.Game.State |
WOp | Swarm.Game.World.Syntax |
World | |
1 (Type/Class) | Swarm.Game.World |
2 (Type/Class) | Swarm.Game.World.Syntax |
world | Swarm.TUI.Editor.Json |
worldAttributeNames | Swarm.TUI.View.Attribute.Attr |
WorldCache | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldDescription | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
WorldDescriptionPaint | Swarm.Game.Scenario.Topography.WorldDescription |
WorldEditor | |
1 (Type/Class) | Swarm.TUI.Editor.Model |
2 (Data Constructor) | Swarm.TUI.Editor.Model |
WorldEditorFocusable | Swarm.TUI.Model.Name |
WorldEditorPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldEditorPanelControl | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldExtent | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldFun | Swarm.Game.World |
worldFunFromArray | Swarm.Game.World |
WorldMap | Swarm.Game.World.Typecheck |
worldName | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
worldNavigation | Swarm.Game.State |
WorldOverdraw | |
1 (Type/Class) | Swarm.TUI.Editor.Model |
2 (Data Constructor) | Swarm.TUI.Editor.Model |
worldOverdraw | Swarm.TUI.Editor.Model |
WorldPalette | |
1 (Type/Class) | Swarm.Game.Scenario.Topography.WorldPalette |
2 (Data Constructor) | Swarm.Game.Scenario.Topography.WorldPalette |
WorldPanel | Swarm.TUI.Model.Name, Swarm.TUI.Model |
WorldPositionIndicator | Swarm.TUI.Model.Name, Swarm.TUI.Model |
worldPrefix | Swarm.TUI.View.Attribute.Attr |
worldProg | Swarm.Game.Scenario.Topography.WorldDescription, Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
Worlds | Swarm.Game.Failure |
worlds | Swarm.TUI.Model |
worldScrollable | Swarm.Game.State |
WorldTick | Swarm.Game.State |
WorldUpdate | Swarm.Game.World, Swarm.Game.CESK |
WOverlay | Swarm.Game.World.Syntax |
wpConfig | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
wpLoc | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
wpName | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
wpUnique | Swarm.Game.Scenario.Topography.Navigation.Waypoint |
wrap | Swarm.Doc.Util |
wrapForce | Swarm.Language.Elaborate |
WSeed | Swarm.Game.World.Syntax |
WVar | Swarm.Game.World.Syntax |
X | Swarm.Game.World.Syntax |
Y | Swarm.Game.World.Syntax |
yellowAttr | Swarm.TUI.View.Attribute.Attr |
zoomWorld | Swarm.Game.Step.Util |
_AboutMenu | Swarm.TUI.Model.Menu |
_accumulatedTime | Swarm.TUI.Model.UI |
_achievement | Swarm.Game.Achievement.Attainment |
_AchievementsMenu | Swarm.TUI.Model.Menu |
_additionalProperties | Swarm.Doc.Schema.Refined |
_boundsPersistDisplayUntil | Swarm.TUI.Editor.Model |
_boundsRect | Swarm.TUI.Editor.Model |
_boundsSelectionStep | Swarm.TUI.Editor.Model |
_controls | Swarm.TUI.Launch.Model |
_default | Swarm.Doc.Schema.Refined |
_description | Swarm.Doc.Schema.Refined |
_editingBounds | Swarm.TUI.Editor.Model |
_editingParams | Swarm.TUI.Launch.Model |
_editorFocusRing | Swarm.TUI.Editor.Model |
_entityPaintList | Swarm.TUI.Editor.Model |
_EquippedEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_examples | Swarm.Doc.Schema.Refined |
_fbIsDisplayed | Swarm.TUI.Launch.Model |
_fbWidget | Swarm.TUI.Launch.Model |
_fileBrowser | Swarm.TUI.Launch.Model |
_focus | Swarm.TUI.Model.Goal, Swarm.TUI.Model.UI |
_footers | Swarm.Doc.Schema.Refined |
_frameCount | Swarm.TUI.Model.UI |
_frameTickCount | Swarm.TUI.Model.UI |
_goalsContent | Swarm.TUI.Model.Goal, Swarm.TUI.Model.UI |
_InventoryEntry | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_isDisplayedFor | Swarm.TUI.Launch.Model |
_isWorldEditorEnabled | Swarm.TUI.Editor.Model |
_items | Swarm.Doc.Schema.Refined |
_lastFrameTime | Swarm.TUI.Model.UI |
_lastInfoTime | Swarm.TUI.Model.UI |
_lastWorldEditorMessage | Swarm.TUI.Editor.Model |
_leName | Swarm.Log |
_leSeverity | Swarm.Log |
_leSource | Swarm.Log |
_leText | Swarm.Log |
_leTime | Swarm.Log |
_lgTicksPerSecond | Swarm.TUI.Model.UI |
_listWidget | Swarm.TUI.Model.Goal, Swarm.TUI.Model.UI |
_MainMenu | Swarm.TUI.Model.Menu |
_maybeScenarioPath | Swarm.Game.Achievement.Attainment |
_maybeSelectedFile | Swarm.TUI.Launch.Model |
_MessagesMenu | Swarm.TUI.Model.Menu |
_modalDialog | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_modalType | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_name | Swarm.Doc.Schema.Refined |
_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.Game.Achievement.Attainment |
_oneOf | Swarm.Doc.Schema.Refined |
_outputFilePath | Swarm.TUI.Editor.Model |
_paintedTerrain | Swarm.TUI.Editor.Model |
_planar | Swarm.Game.Universe |
_polytype | Swarm.Language.Typed |
_properties | Swarm.Doc.Schema.Refined |
_recipeCatalysts | Swarm.Game.Recipe |
_recipeInputs | Swarm.Game.Recipe |
_recipeOutputs | Swarm.Game.Recipe |
_recipeTime | Swarm.Game.Recipe |
_recipeWeight | Swarm.Game.Recipe |
_requires | Swarm.Language.Typed |
_scenarioAttemptMetrics | Swarm.Game.Scenario.Scoring.Best |
_scenarioAttrs | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioAuthor | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioBestByAstSize | Swarm.Game.Scenario.Scoring.Best |
_scenarioBestByCharCount | Swarm.Game.Scenario.Scoring.Best |
_scenarioBestByTicks | Swarm.Game.Scenario.Scoring.Best |
_scenarioBestByTime | Swarm.Game.Scenario.Scoring.Best |
_scenarioCodeMetrics | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
_scenarioConfigFocusRing | Swarm.TUI.Launch.Model |
_scenarioCreative | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioDescription | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioDurationMetrics | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
_scenarioElapsed | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
_scenarioElapsedTicks | Swarm.Game.Scenario.Scoring.ConcreteMetrics |
_scenarioEntities | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioKnown | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioName | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioNavigation | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioObjectives | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioPath | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
_scenarioRecipes | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioRef | Swarm.TUI.Model.UI |
_scenarioRobots | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioSeed | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioSolution | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioStarted | Swarm.Game.Scenario.Scoring.Best |
_scenarioStatus | Swarm.Game.Scenario.Status, Swarm.Game.ScenarioInfo |
_scenarioStepsPerTick | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioVersion | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_scenarioWorlds | Swarm.Game.Scenario, Swarm.Game.ScenarioInfo |
_seedValueEditor | Swarm.TUI.Launch.Model |
_Separator | Swarm.TUI.Model.Menu, Swarm.TUI.Model |
_SISingle | Swarm.Game.ScenarioInfo |
_sLoc | Swarm.Language.Syntax |
_Sref | Swarm.Doc.Schema.Refined |
_sTerm | Swarm.Language.Syntax |
_sType | Swarm.Language.Syntax |
_subworld | Swarm.Game.Universe |
_terrainList | Swarm.TUI.Editor.Model |
_tickCount | Swarm.TUI.Model.UI |
_title | Swarm.Doc.Schema.Refined |
_type | Swarm.Doc.Schema.Refined |
_uiAchievements | Swarm.TUI.Model.UI |
_uiAttrMap | Swarm.TUI.Model.UI |
_uiCheatMode | Swarm.TUI.Model.UI |
_uiFocusRing | Swarm.TUI.Model.UI |
_uiFPS | Swarm.TUI.Model.UI |
_uiGoal | Swarm.TUI.Model.UI |
_uiHideGoals | Swarm.TUI.Model.UI |
_uiHideRobotsUntil | Swarm.TUI.Model.UI |
_uiInventory | Swarm.TUI.Model.UI |
_uiInventorySearch | Swarm.TUI.Model.UI |
_uiInventoryShouldUpdate | Swarm.TUI.Model.UI |
_uiInventorySort | Swarm.TUI.Model.UI |
_uiLaunchConfig | Swarm.TUI.Model.UI |
_uiMenu | Swarm.TUI.Model.UI |
_uiModal | Swarm.TUI.Model.UI |
_uiPlaying | Swarm.TUI.Model.UI |
_uiREPL | Swarm.TUI.Model.UI |
_uiScrollToEnd | Swarm.TUI.Model.UI |
_uiShowDebug | Swarm.TUI.Model.UI |
_uiShowFPS | Swarm.TUI.Model.UI |
_uiShowREPL | Swarm.TUI.Model.UI |
_uiShowZero | Swarm.TUI.Model.UI |
_uiTPF | Swarm.TUI.Model.UI |
_uiWorldCursor | Swarm.TUI.Model.UI |
_uiWorldEditor | Swarm.TUI.Model.UI |
_value | Swarm.Language.Typed |
_WinConditions | Swarm.Game.State |
_worldOverdraw | Swarm.TUI.Editor.Model |
Φ | Swarm.Game.World.Typecheck |