remove repl re-exports

swarm-game · Apr 29, 2024 · 62acc1d · 62acc1d
1 parent 7ba89a2
commit 62acc1d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 37 deletions.
diff --git a/src/Swarm/TUI/Model.hs b/src/Swarm/TUI/Model.hs
@@ -33,47 +33,12 @@ module Swarm.TUI.Model (
 
   -- * UI state
 
-  -- ** REPL
-  REPLHistItem (..),
-  replItemText,
-  isREPLEntry,
-  getREPLEntry,
-  REPLHistory,
-  replIndex,
-  replLength,
-  replSeq,
-  newREPLHistory,
-  addREPLItem,
-  restartREPLHistory,
-  getLatestREPLHistoryItems,
-  moveReplHistIndex,
-  getCurrentItemText,
-  replIndexIsAtInput,
-  TimeDir (..),
-
-  -- ** Prompt utils
-  REPLPrompt (..),
-  removeEntry,
-
   -- ** Inventory
   InventoryListEntry (..),
   _Separator,
   _InventoryEntry,
   _EquippedEntry,
 
-  -- *** REPL Panel Model
-  REPLState,
-  ReplControlMode (..),
-  replPromptType,
-  replPromptEditor,
-  replPromptText,
-  replValid,
-  replLast,
-  replType,
-  replControlMode,
-  replHistory,
-  newREPLEditor,
-
   -- ** Updating
   populateInventoryList,
   infoScroll,
@@ -132,7 +97,6 @@ import Swarm.Log
 import Swarm.TUI.Inventory.Sorting
 import Swarm.TUI.Model.Menu
 import Swarm.TUI.Model.Name
-import Swarm.TUI.Model.Repl
 import Swarm.TUI.Model.UI
 import Swarm.Util.Lens (makeLensesNoSigs)
 import Swarm.Version (NewReleaseFailure)

diff --git a/src/Swarm/TUI/View.hs b/src/Swarm/TUI/View.hs
@@ -132,7 +132,7 @@ import Swarm.TUI.Launch.Model
 import Swarm.TUI.Launch.View
 import Swarm.TUI.Model
 import Swarm.TUI.Model.Goal (goalsContent, hasAnythingToShow)
-import Swarm.TUI.Model.Repl (getSessionREPLHistoryItems, lastEntry)
+import Swarm.TUI.Model.Repl
 import Swarm.TUI.Model.UI
 import Swarm.TUI.Panel
 import Swarm.TUI.View.Achievement

diff --git a/src/swarm-web/Swarm/Web.hs b/src/swarm-web/Swarm/Web.hs
@@ -82,6 +82,7 @@ import Swarm.Language.Pretty (prettyTextLine)
 import Swarm.Language.Syntax
 import Swarm.TUI.Model
 import Swarm.TUI.Model.Goal
+import Swarm.TUI.Model.Repl (REPLHistItem, replHistory, replSeq)
 import Swarm.TUI.Model.UI
 import Swarm.Util.ReadableIORef
 import Swarm.Util.RingBuffer