swarm-0.5.0.0: 2D resource gathering game with programmable robots
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
$
%
.
<
?
_
All
Index - T
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