From 51194425997225de7b7ca83e26b76b9a82f0e10d Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 4 Nov 2025 08:09:35 +0100
Subject: Scaffold RESTish API for challenge

---
 lambda-calcul/haskell/src/Minilang/REPL/Net.hs | 29 +++++++++++++++++---------
 1 file changed, 19 insertions(+), 10 deletions(-)

(limited to 'lambda-calcul/haskell/src/Minilang/REPL')

diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Net.hs b/lambda-calcul/haskell/src/Minilang/REPL/Net.hs
index 43d2560..a067a15 100644
--- a/lambda-calcul/haskell/src/Minilang/REPL/Net.hs
+++ b/lambda-calcul/haskell/src/Minilang/REPL/Net.hs
@@ -5,8 +5,15 @@ module Minilang.REPL.Net where
 
 import Control.Concurrent.STM (atomically)
 import Control.Concurrent.STM.TVar
-import Control.Monad.Catch
+    ( newTVarIO, readTVarIO, writeTVar, TVar )
+import Control.Monad.Catch ( MonadThrow(..), MonadCatch(..) )
 import Control.Monad.State
+    ( MonadIO(..),
+      MonadTrans(..),
+      MonadState,
+      StateT(StateT),
+      evalStateT,
+      gets )
 import Data.Aeson
   ( ToJSON,
     eitherDecode,
@@ -17,22 +24,24 @@ import Data.Aeson
 import Data.ByteString (ByteString)
 import qualified Data.ByteString.Lazy as LBS
 import Data.Either (fromRight)
-import Data.Map as Map
-import Data.Serialize hiding (encode)
-import Data.Text (Text, pack, unpack)
+import Data.Map as Map ( Map )
+import Data.Serialize
+    ( getLazyByteString,
+      getWord64be,
+      putLazyByteString,
+      putWord64be,
+      Serialize(..) )
+import Data.Text (Text)
 import Data.Text.Encoding (decodeUtf8With)
 import Data.Text.Encoding.Error (lenientDecode)
-import Minilang.Log
-import Minilang.REPL (withInputs)
+import Minilang.Log ( LoggerEnv(logInfo) )
 import Minilang.REPL.Pure (render)
-import Minilang.REPL.Purer (purerREPL)
 import Minilang.REPL.Run (runREPL)
 import Minilang.REPL.Types
+    ( initialREPL, In(In), MonadREPL(..), Out, REPLEnv )
 import Network.Wai (Application)
-import Network.Wai.Handler.WebSockets
+import Network.Wai.Handler.WebSockets ( websocketsOr )
 import qualified Network.WebSockets as WS
-import System.Directory (getCurrentDirectory)
-import System.FilePath (takeFileName, (</>))
 
 -- | Configuration of the WS server
 data ServerConfig = ServerConfig
-- 
cgit v1.3.1