Directory listing for swarm-0.7.0.0 documentation

swarm-0.7.0.0-docs/

CHANGELOG.md
Data-BoolExpr-Simplify.html
Swarm-Constant.html
Swarm-Doc-Command.html
Swarm-Doc-Gen.html
Swarm-Doc-Keyword.html
Swarm-Doc-Pedagogy.html
Swarm-Doc-Schema-Arrangement.html
Swarm-Doc-Schema-Parse.html
Swarm-Doc-Schema-Refined.html
Swarm-Doc-Schema-Render.html
Swarm-Doc-Schema-SchemaType.html
Swarm-Doc-Util.html
Swarm-Doc-Wiki-Cheatsheet.html
Swarm-Doc-Wiki-Matrix.html
Swarm-Doc-Wiki-Util.html
Swarm-Effect-Time.html
Swarm-Effect-Unify-Common.html
Swarm-Effect-Unify-Fast.html
Swarm-Effect-Unify-Naive.html
Swarm-Effect-Unify.html
Swarm-Effect.html
Swarm-Failure.html
Swarm-Game-Achievement-Attainment.html
Swarm-Game-Achievement-Definitions.html
Swarm-Game-Achievement-Description.html
Swarm-Game-Achievement-Persistence.html
Swarm-Game-CESK.html
Swarm-Game-Device.html
Swarm-Game-Display.html
Swarm-Game-Entity-Cosmetic-Assignment.html
Swarm-Game-Entity-Cosmetic.html
Swarm-Game-Entity.html
Swarm-Game-Exception.html
Swarm-Game-Ingredients.html
Swarm-Game-Land.html
Swarm-Game-Location.html
Swarm-Game-Popup.html
Swarm-Game-Recipe-Graph.html
Swarm-Game-Recipe.html
Swarm-Game-Robot-Activity.html
Swarm-Game-Robot-Concrete.html
Swarm-Game-Robot-Walk.html
Swarm-Game-Robot.html
Swarm-Game-Scenario-Objective-Graph.html
Swarm-Game-Scenario-Objective-Logic.html
Swarm-Game-Scenario-Objective-Validation.html
Swarm-Game-Scenario-Objective-WinCheck.html
Swarm-Game-Scenario-Objective.html
Swarm-Game-Scenario-RobotLookup.html
Swarm-Game-Scenario-Scoring-Best.html
Swarm-Game-Scenario-Scoring-CodeSize.html
Swarm-Game-Scenario-Scoring-ConcreteMetrics.html
Swarm-Game-Scenario-Scoring-GenericMetrics.html
Swarm-Game-Scenario-Status.html
Swarm-Game-Scenario-Style.html
Swarm-Game-Scenario-Topography-Area.html
Swarm-Game-Scenario-Topography-Cell.html
Swarm-Game-Scenario-Topography-Center.html
Swarm-Game-Scenario-Topography-EntityFacade.html
Swarm-Game-Scenario-Topography-Grid.html
Swarm-Game-Scenario-Topography-Modify.html
Swarm-Game-Scenario-Topography-Navigation-Portal.html
Swarm-Game-Scenario-Topography-Navigation-Util.html
Swarm-Game-Scenario-Topography-Navigation-Waypoint.html
Swarm-Game-Scenario-Topography-Placement.html
Swarm-Game-Scenario-Topography-ProtoCell.html
Swarm-Game-Scenario-Topography-Rasterize.html
Swarm-Game-Scenario-Topography-Structure-Assembly.html
Swarm-Game-Scenario-Topography-Structure-Named.html
Swarm-Game-Scenario-Topography-Structure-Overlay.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Log.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Precompute.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Prep.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Registry.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Static.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Symmetry.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Tracking.html
Swarm-Game-Scenario-Topography-Structure-Recognition-Type.html
Swarm-Game-Scenario-Topography-Structure-Recognition.html
Swarm-Game-Scenario-Topography-Structure.html
Swarm-Game-Scenario-Topography-Terraform.html
Swarm-Game-Scenario-Topography-WorldDescription.html
Swarm-Game-Scenario-Topography-WorldPalette.html
Swarm-Game-Scenario.html
Swarm-Game-ScenarioInfo.html
Swarm-Game-State-Config.html
Swarm-Game-State-Initialize.html
Swarm-Game-State-Landscape.html
Swarm-Game-State-Robot.html
Swarm-Game-State-Runtime.html
Swarm-Game-State-Substate.html
Swarm-Game-State.html
Swarm-Game-Step-Arithmetic.html
Swarm-Game-Step-Combustion.html
Swarm-Game-Step-Const.html
Swarm-Game-Step-Flood.html
Swarm-Game-Step-Path-Cache-DistanceLimit.html
Swarm-Game-Step-Path-Cache.html
Swarm-Game-Step-Path-Finding.html
Swarm-Game-Step-Path-Type.html
Swarm-Game-Step-Path-Walkability.html
Swarm-Game-Step-RobotStepState.html
Swarm-Game-Step-Util-Command.html
Swarm-Game-Step-Util-Inspect.html
Swarm-Game-Step-Util.html
Swarm-Game-Step-Validate.html
Swarm-Game-Step.html
Swarm-Game-Terrain.html
Swarm-Game-Tick.html
Swarm-Game-Universe.html
Swarm-Game-Value.html
Swarm-Game-World-Abstract.html
Swarm-Game-World-Compile.html
Swarm-Game-World-Coords.html
Swarm-Game-World-Eval.html
Swarm-Game-World-Gen.html
Swarm-Game-World-Interpret.html
Swarm-Game-World-Load.html
Swarm-Game-World-Parse.html
Swarm-Game-World-Render.html
Swarm-Game-World-Syntax.html
Swarm-Game-World-Typecheck.html
Swarm-Game-World.html
Swarm-Language-Capability.html
Swarm-Language-Context.html
Swarm-Language-Elaborate.html
Swarm-Language-Format.html
Swarm-Language-JSON.html
Swarm-Language-Key.html
Swarm-Language-Kindcheck.html
Swarm-Language-LSP-Hover.html
Swarm-Language-LSP-VarUsage.html
Swarm-Language-LSP.html
Swarm-Language-Parser-Comment.html
Swarm-Language-Parser-Core.html
Swarm-Language-Parser-Lex.html
Swarm-Language-Parser-QQ.html
Swarm-Language-Parser-Record.html
Swarm-Language-Parser-Term.html
Swarm-Language-Parser-Type.html
Swarm-Language-Parser-Util.html
Swarm-Language-Parser-Value.html
Swarm-Language-Parser.html
Swarm-Language-Pipeline-QQ.html
Swarm-Language-Pipeline.html
Swarm-Language-Requirements-Analysis.html
Swarm-Language-Requirements-Type.html
Swarm-Language-Requirements.html
Swarm-Language-Syntax-AST.html
Swarm-Language-Syntax-CommandMetadata.html
Swarm-Language-Syntax-Comments.html
Swarm-Language-Syntax-Constants.html
Swarm-Language-Syntax-Direction.html
Swarm-Language-Syntax-Loc.html
Swarm-Language-Syntax-Pattern.html
Swarm-Language-Syntax-Pretty.html
Swarm-Language-Syntax-Util.html
Swarm-Language-Syntax.html
Swarm-Language-TDVar.html
Swarm-Language-Text-Markdown.html
Swarm-Language-Typecheck.html
Swarm-Language-Typed.html
Swarm-Language-Types.html
Swarm-Language-Value.html
Swarm-Language-Var.html
Swarm-Log.html
Swarm-Pretty.html
Swarm-ResourceLoading.html
Swarm-TUI-Border.html
Swarm-TUI-Controller-EventHandlers-Frame.html
Swarm-TUI-Controller-EventHandlers-Main.html
Swarm-TUI-Controller-EventHandlers-REPL.html
Swarm-TUI-Controller-EventHandlers-Robot.html
Swarm-TUI-Controller-EventHandlers-World.html
Swarm-TUI-Controller-EventHandlers.html
Swarm-TUI-Controller-SaveScenario.html
Swarm-TUI-Controller-UpdateUI.html
Swarm-TUI-Controller-Util.html
Swarm-TUI-Controller.html
Swarm-TUI-Editor-Controller.html
Swarm-TUI-Editor-Json.html
Swarm-TUI-Editor-Masking.html
Swarm-TUI-Editor-Model.html
Swarm-TUI-Editor-Palette.html
Swarm-TUI-Editor-Util.html
Swarm-TUI-Editor-View.html
Swarm-TUI-Inventory-Sorting.html
Swarm-TUI-Launch-Controller.html
Swarm-TUI-Launch-Model.html
Swarm-TUI-Launch-Prep.html
Swarm-TUI-Launch-View.html
Swarm-TUI-List.html
Swarm-TUI-Model-Achievements.html
Swarm-TUI-Model-DebugOption.html
Swarm-TUI-Model-Dialog-Goal.html
Swarm-TUI-Model-Dialog-Structure.html
Swarm-TUI-Model-Dialog.html
Swarm-TUI-Model-Event.html
Swarm-TUI-Model-KeyBindings.html
Swarm-TUI-Model-Menu.html
Swarm-TUI-Model-Name.html
Swarm-TUI-Model-Repl.html
Swarm-TUI-Model-StateUpdate.html
Swarm-TUI-Model-UI-Gameplay.html
Swarm-TUI-Model-UI.html
Swarm-TUI-Model-WebCommand.html
Swarm-TUI-Model.html
Swarm-TUI-Panel.html
Swarm-TUI-View-Achievement.html
Swarm-TUI-View-Attribute-Attr.html
Swarm-TUI-View-Attribute-CustomStyling.html
Swarm-TUI-View-Attribute-Util.html
Swarm-TUI-View-CellDisplay.html
Swarm-TUI-View-Logo.html
Swarm-TUI-View-Objective.html
Swarm-TUI-View-Popup.html
Swarm-TUI-View-Robot-Details.html
Swarm-TUI-View-Robot-Type.html
Swarm-TUI-View-Robot.html
Swarm-TUI-View-Shared.html
Swarm-TUI-View-Structure.html
Swarm-TUI-View-Util.html
Swarm-TUI-View.html
Swarm-Util-Content.html
Swarm-Util-Effect.html
Swarm-Util-Erasable.html
Swarm-Util-Graph.html
Swarm-Util-JSON.html
Swarm-Util-Lens.html
Swarm-Util-OccurrenceEncoder.html
Swarm-Util-RingBuffer.html
Swarm-Util-UnitInterval.html
Swarm-Util-WindowedCounter.html
Swarm-Util-Yaml.html
Swarm-Util.html
Swarm-Web-Auth.html
Swarm-Web-GraphRender.html
Swarm-Web-Tournament-Database-Query.html
Swarm-Web-Tournament-Type.html
Swarm-Web-Tournament-Validate-FailureMode.html
Swarm-Web-Tournament-Validate-Upload.html
Swarm-Web-Tournament-Validate.html
Swarm-Web-Tournament.html
Swarm-Web-Worldview.html
Swarm-Web.html
doc-index-124.html
doc-index-36.html
doc-index-37.html
doc-index-46.html
doc-index-58.html
doc-index-60.html
doc-index-61.html
doc-index-63.html
doc-index-64.html
doc-index-95.html
doc-index-A.html
doc-index-All.html
doc-index-B.html
doc-index-C.html
doc-index-D.html
doc-index-E.html
doc-index-F.html
doc-index-G.html
doc-index-H.html
doc-index-I.html
doc-index-J.html
doc-index-K.html
doc-index-L.html
doc-index-M.html
doc-index-N.html
doc-index-O.html
doc-index-P.html
doc-index-Q.html
doc-index-R.html
doc-index-S.html
doc-index-T.html
doc-index-U.html
doc-index-V.html
doc-index-W.html
doc-index-X.html
doc-index-Y.html
doc-index-Z.html
doc-index.html
doc-index.json
haddock-bundle.min.js
linuwial.css
meta.json
quick-jump.css
quick-jump.min.js
swarm.haddock
swarm.txt
synopsis.png
docs/
- image/
  - sublibrary-graph.svg
src/
- Data.BoolExpr.Simplify.html
- Paths_swarm.html
- Swarm.Constant.html
- Swarm.Doc.Command.html
- Swarm.Doc.Gen.html
- Swarm.Doc.Keyword.html
- Swarm.Doc.Pedagogy.html
- Swarm.Doc.Schema.Arrangement.html
- Swarm.Doc.Schema.Parse.html
- Swarm.Doc.Schema.Refined.html
- Swarm.Doc.Schema.Render.html
- Swarm.Doc.Schema.SchemaType.html
- Swarm.Doc.Util.html
- Swarm.Doc.Wiki.Cheatsheet.html
- Swarm.Doc.Wiki.Matrix.html
- Swarm.Doc.Wiki.Util.html
- Swarm.Effect.Time.html
- Swarm.Effect.Unify.Common.html
- Swarm.Effect.Unify.Fast.html
- Swarm.Effect.Unify.Naive.html
- Swarm.Effect.Unify.html
- Swarm.Effect.html
- Swarm.Failure.html
- Swarm.Game.Achievement.Attainment.html
- Swarm.Game.Achievement.Definitions.html
- Swarm.Game.Achievement.Description.html
- Swarm.Game.Achievement.Persistence.html
- Swarm.Game.CESK.html
- Swarm.Game.Device.html
- Swarm.Game.Display.html
- Swarm.Game.Entity.Cosmetic.Assignment.html
- Swarm.Game.Entity.Cosmetic.html
- Swarm.Game.Entity.html
- Swarm.Game.Exception.html
- Swarm.Game.Ingredients.html
- Swarm.Game.Land.html
- Swarm.Game.Location.html
- Swarm.Game.Popup.html
- Swarm.Game.Recipe.Graph.html
- Swarm.Game.Recipe.html
- Swarm.Game.Robot.Activity.html
- Swarm.Game.Robot.Concrete.html
- Swarm.Game.Robot.Walk.html
- Swarm.Game.Robot.html
- Swarm.Game.Scenario.Objective.Graph.html
- Swarm.Game.Scenario.Objective.Logic.html
- Swarm.Game.Scenario.Objective.Validation.html
- Swarm.Game.Scenario.Objective.WinCheck.html
- Swarm.Game.Scenario.Objective.html
- Swarm.Game.Scenario.RobotLookup.html
- Swarm.Game.Scenario.Scoring.Best.html
- Swarm.Game.Scenario.Scoring.CodeSize.html
- Swarm.Game.Scenario.Scoring.ConcreteMetrics.html
- Swarm.Game.Scenario.Scoring.GenericMetrics.html
- Swarm.Game.Scenario.Status.html
- Swarm.Game.Scenario.Style.html
- Swarm.Game.Scenario.Topography.Area.html
- Swarm.Game.Scenario.Topography.Cell.html
- Swarm.Game.Scenario.Topography.Center.html
- Swarm.Game.Scenario.Topography.EntityFacade.html
- Swarm.Game.Scenario.Topography.Grid.html
- Swarm.Game.Scenario.Topography.Modify.html
- Swarm.Game.Scenario.Topography.Navigation.Portal.html
- Swarm.Game.Scenario.Topography.Navigation.Util.html
- Swarm.Game.Scenario.Topography.Navigation.Waypoint.html
- Swarm.Game.Scenario.Topography.Placement.html
- Swarm.Game.Scenario.Topography.ProtoCell.html
- Swarm.Game.Scenario.Topography.Rasterize.html
- Swarm.Game.Scenario.Topography.Structure.Assembly.html
- Swarm.Game.Scenario.Topography.Structure.Named.html
- Swarm.Game.Scenario.Topography.Structure.Overlay.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Log.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Precompute.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Prep.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Registry.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Static.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Symmetry.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Tracking.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.Type.html
- Swarm.Game.Scenario.Topography.Structure.Recognition.html
- Swarm.Game.Scenario.Topography.Structure.html
- Swarm.Game.Scenario.Topography.Terraform.html
- Swarm.Game.Scenario.Topography.WorldDescription.html
- Swarm.Game.Scenario.Topography.WorldPalette.html
- Swarm.Game.Scenario.html
- Swarm.Game.ScenarioInfo.html
- Swarm.Game.State.Config.html
- Swarm.Game.State.Initialize.html
- Swarm.Game.State.Landscape.html
- Swarm.Game.State.Robot.html
- Swarm.Game.State.Runtime.html
- Swarm.Game.State.Substate.html
- Swarm.Game.State.html
- Swarm.Game.Step.Arithmetic.html
- Swarm.Game.Step.Combustion.html
- Swarm.Game.Step.Const.html
- Swarm.Game.Step.Flood.html
- Swarm.Game.Step.Path.Cache.DistanceLimit.html
- Swarm.Game.Step.Path.Cache.html
- Swarm.Game.Step.Path.Finding.html
- Swarm.Game.Step.Path.Type.html
- Swarm.Game.Step.Path.Walkability.html
- Swarm.Game.Step.RobotStepState.html
- Swarm.Game.Step.Util.Command.html
- Swarm.Game.Step.Util.Inspect.html
- Swarm.Game.Step.Util.html
- Swarm.Game.Step.Validate.html
- Swarm.Game.Step.html
- Swarm.Game.Terrain.html
- Swarm.Game.Tick.html
- Swarm.Game.Universe.html
- Swarm.Game.Value.html
- Swarm.Game.World.Abstract.html
- Swarm.Game.World.Compile.html
- Swarm.Game.World.Coords.html
- Swarm.Game.World.Eval.html
- Swarm.Game.World.Gen.html
- Swarm.Game.World.Interpret.html
- Swarm.Game.World.Load.html
- Swarm.Game.World.Parse.html
- Swarm.Game.World.Render.html
- Swarm.Game.World.Syntax.html
- Swarm.Game.World.Typecheck.html
- Swarm.Game.World.html
- Swarm.Language.Capability.html
- Swarm.Language.Context.html
- Swarm.Language.Elaborate.html
- Swarm.Language.Format.html
- Swarm.Language.JSON.html
- Swarm.Language.Key.html
- Swarm.Language.Kindcheck.html
- Swarm.Language.LSP.Hover.html
- Swarm.Language.LSP.VarUsage.html
- Swarm.Language.LSP.html
- Swarm.Language.Parser.Comment.html
- Swarm.Language.Parser.Core.html
- Swarm.Language.Parser.Lex.html
- Swarm.Language.Parser.QQ.html
- Swarm.Language.Parser.Record.html
- Swarm.Language.Parser.Term.html
- Swarm.Language.Parser.Type.html
- Swarm.Language.Parser.Util.html
- Swarm.Language.Parser.Value.html
- Swarm.Language.Parser.html
- Swarm.Language.Pipeline.QQ.html
- Swarm.Language.Pipeline.html
- Swarm.Language.Requirements.Analysis.html
- Swarm.Language.Requirements.Type.html
- Swarm.Language.Requirements.html
- Swarm.Language.Syntax.AST.html
- Swarm.Language.Syntax.CommandMetadata.html
- Swarm.Language.Syntax.Comments.html
- Swarm.Language.Syntax.Constants.html
- Swarm.Language.Syntax.Direction.html
- Swarm.Language.Syntax.Loc.html
- Swarm.Language.Syntax.Pattern.html
- Swarm.Language.Syntax.Pretty.html
- Swarm.Language.Syntax.Util.html
- Swarm.Language.Syntax.html
- Swarm.Language.TDVar.html
- Swarm.Language.Text.Markdown.html
- Swarm.Language.Typecheck.html
- Swarm.Language.Typed.html
- Swarm.Language.Types.html
- Swarm.Language.Value.html
- Swarm.Language.Var.html
- Swarm.Log.html
- Swarm.Pretty.html
- Swarm.ResourceLoading.html
- Swarm.TUI.Border.html
- Swarm.TUI.Controller.EventHandlers.Frame.html
- Swarm.TUI.Controller.EventHandlers.Main.html
- Swarm.TUI.Controller.EventHandlers.REPL.html
- Swarm.TUI.Controller.EventHandlers.Robot.html
- Swarm.TUI.Controller.EventHandlers.World.html
- Swarm.TUI.Controller.EventHandlers.html
- Swarm.TUI.Controller.SaveScenario.html
- Swarm.TUI.Controller.UpdateUI.html
- Swarm.TUI.Controller.Util.html
- Swarm.TUI.Controller.html
- Swarm.TUI.Editor.Controller.html
- Swarm.TUI.Editor.Json.html
- Swarm.TUI.Editor.Masking.html
- Swarm.TUI.Editor.Model.html
- Swarm.TUI.Editor.Palette.html
- Swarm.TUI.Editor.Util.html
- Swarm.TUI.Editor.View.html
- Swarm.TUI.Inventory.Sorting.html
- Swarm.TUI.Launch.Controller.html
- Swarm.TUI.Launch.Model.html
- Swarm.TUI.Launch.Prep.html
- Swarm.TUI.Launch.View.html
- Swarm.TUI.List.html
- Swarm.TUI.Model.Achievements.html
- Swarm.TUI.Model.DebugOption.html
- Swarm.TUI.Model.Dialog.Goal.html
- Swarm.TUI.Model.Dialog.Structure.html
- Swarm.TUI.Model.Dialog.html
- Swarm.TUI.Model.Event.html
- Swarm.TUI.Model.KeyBindings.html
- Swarm.TUI.Model.Menu.html
- Swarm.TUI.Model.Name.html
- Swarm.TUI.Model.Repl.html
- Swarm.TUI.Model.StateUpdate.html
- Swarm.TUI.Model.UI.Gameplay.html
- Swarm.TUI.Model.UI.html
- Swarm.TUI.Model.WebCommand.html
- Swarm.TUI.Model.html
- Swarm.TUI.Panel.html
- Swarm.TUI.View.Achievement.html
- Swarm.TUI.View.Attribute.Attr.html
- Swarm.TUI.View.Attribute.CustomStyling.html
- Swarm.TUI.View.Attribute.Util.html
- Swarm.TUI.View.CellDisplay.html
- Swarm.TUI.View.Logo.html
- Swarm.TUI.View.Objective.html
- Swarm.TUI.View.Popup.html
- Swarm.TUI.View.Robot.Details.html
- Swarm.TUI.View.Robot.Type.html
- Swarm.TUI.View.Robot.html
- Swarm.TUI.View.Shared.html
- Swarm.TUI.View.Structure.html
- Swarm.TUI.View.Util.html
- Swarm.TUI.View.html
- Swarm.Util.Content.html
- Swarm.Util.Effect.html
- Swarm.Util.Erasable.html
- Swarm.Util.Graph.html
- Swarm.Util.JSON.html
- Swarm.Util.Lens.html
- Swarm.Util.OccurrenceEncoder.html
- Swarm.Util.RingBuffer.html
- Swarm.Util.UnitInterval.html
- Swarm.Util.WindowedCounter.html
- Swarm.Util.Yaml.html
- Swarm.Util.html
- Swarm.Web.Auth.html
- Swarm.Web.GraphRender.html
- Swarm.Web.Tournament.Database.Query.html
- Swarm.Web.Tournament.Type.html
- Swarm.Web.Tournament.Validate.FailureMode.html
- Swarm.Web.Tournament.Validate.Upload.html
- Swarm.Web.Tournament.Validate.html
- Swarm.Web.Tournament.html
- Swarm.Web.Worldview.html
- Swarm.Web.html
- highlight.js
- style.css