From 4f8b0daf9043fa1daa84558c800a60f947a749f8 Mon Sep 17 00:00:00 2001 From: "restyled-io[bot]" <32688539+restyled-io[bot]@users.noreply.github.com> Date: Sat, 5 Aug 2023 16:58:13 +0200 Subject: [PATCH] Restyled by fourmolu (#1405) Co-authored-by: Restyled.io --- src/Swarm/Doc/Pedagogy.hs | 2 +- src/Swarm/Game/Scenario/Objective.hs | 2 +- src/Swarm/Language/Text/Markdown.hs | 1 + src/Swarm/TUI/View/Objective.hs | 2 +- src/Swarm/TUI/View/Util.hs | 2 +- 5 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/Swarm/Doc/Pedagogy.hs b/src/Swarm/Doc/Pedagogy.hs index 32fd8068c..dddeb4893 100644 --- a/src/Swarm/Doc/Pedagogy.hs +++ b/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) diff --git a/src/Swarm/Game/Scenario/Objective.hs b/src/Swarm/Game/Scenario/Objective.hs index dfa137e70..8c54917f4 100644 --- a/src/Swarm/Game/Scenario/Objective.hs +++ b/src/Swarm/Game/Scenario/Objective.hs @@ -11,7 +11,6 @@ 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 @@ -19,6 +18,7 @@ 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) ------------------------------------------------------------ diff --git a/src/Swarm/Language/Text/Markdown.hs b/src/Swarm/Language/Text/Markdown.hs index b465e1edc..7f558dccd 100644 --- a/src/Swarm/Language/Text/Markdown.hs +++ b/src/Swarm/Language/Text/Markdown.hs @@ -1,5 +1,6 @@ {-# LANGUAGE DerivingVia #-} {-# LANGUAGE OverloadedStrings #-} + -- | -- SPDX-License-Identifier: BSD-3-Clause -- diff --git a/src/Swarm/TUI/View/Objective.hs b/src/Swarm/TUI/View/Objective.hs index f7e553cb0..30bdfae98 100644 --- a/src/Swarm/TUI/View/Objective.hs +++ b/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 diff --git a/src/Swarm/TUI/View/Util.hs b/src/Swarm/TUI/View/Util.hs index ef247d4e5..5c7a37af0 100644 --- a/src/Swarm/TUI/View/Util.hs +++ b/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