Restyled by fourmolu (#1405)

Co-authored-by: Restyled.io <[email protected]>

src/Swarm/Doc/Pedagogy.hs

@@ -30,7 +30,6 @@ import Data.Set qualified as S
 import Data.Text (Text)
 import Data.Text qualified as T
 import Data.Text.IO qualified as T
-import Swarm.Language.Text.Markdown (findCode)
 import Swarm.Constant
 import Swarm.Game.Entity (loadEntities)
 import Swarm.Game.Failure (prettyFailure)
@@ -40,6 +39,7 @@ import Swarm.Game.ScenarioInfo (ScenarioCollection, ScenarioInfoPair, flatten, l
 import Swarm.Language.Module (Module (..))
 import Swarm.Language.Pipeline (ProcessedTerm (..))
 import Swarm.Language.Syntax
+import Swarm.Language.Text.Markdown (findCode)
 import Swarm.Language.Types (Polytype)
 import Swarm.TUI.Controller (getTutorials)
 import Swarm.Util (simpleErrorHandle)

src/Swarm/Game/Scenario/Objective.hs

@@ -11,14 +11,14 @@ import Control.Lens hiding (from, (<.>))
 import Data.Aeson
 import Data.Set qualified as Set
 import Data.Text (Text)
-import Swarm.Language.Text.Markdown qualified as Markdown
 import GHC.Generics (Generic)
 import Servant.Docs (ToSample)
 import Servant.Docs qualified as SD
 import Swarm.Game.Achievement.Definitions
 import Swarm.Game.Scenario.Objective.Logic as L
 import Swarm.Language.Pipeline (ProcessedTerm)
 import Swarm.Language.Syntax (Syntax)
+import Swarm.Language.Text.Markdown qualified as Markdown
 import Swarm.Util.Lens (makeLensesNoSigs)
 
 ------------------------------------------------------------

src/Swarm/Language/Text/Markdown.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE OverloadedStrings #-}
+
 -- |
 -- SPDX-License-Identifier: BSD-3-Clause
 --

src/Swarm/TUI/View/Objective.hs

@@ -16,9 +16,9 @@ import Data.List (intercalate)
 import Data.List.NonEmpty qualified as NE
 import Data.Map.Strict qualified as M
 import Data.Maybe (listToMaybe)
-import Swarm.Language.Text.Markdown qualified as Markdown
 import Data.Vector qualified as V
 import Swarm.Game.Scenario.Objective
+import Swarm.Language.Text.Markdown qualified as Markdown
 import Swarm.TUI.Attr
 import Swarm.TUI.Model.Goal
 import Swarm.TUI.Model.Name

src/Swarm/TUI/View/Util.hs

@@ -14,7 +14,6 @@ import Data.Map.Strict qualified as M
 import Data.Maybe (catMaybes, fromMaybe)
 import Data.Text (Text)
 import Data.Text qualified as T
-import Swarm.Language.Text.Markdown qualified as Markdown
 import Graphics.Vty qualified as V
 import Swarm.Game.Entity as E
 import Swarm.Game.Location
@@ -24,6 +23,7 @@ import Swarm.Game.State
 import Swarm.Game.Terrain
 import Swarm.Language.Pretty (prettyText)
 import Swarm.Language.Syntax (Syntax)
+import Swarm.Language.Text.Markdown qualified as Markdown
 import Swarm.Language.Types (Polytype)
 import Swarm.TUI.Attr
 import Swarm.TUI.Model