From 8fe62292f18f4577303a868a8557b0486b218bcb Mon Sep 17 00:00:00 2001
From: Paul Oliver <contact@pauloliver.dev>
Date: Wed, 2 Jul 2025 15:06:35 +0200
Subject: Code now uses `effectful` to manage side-effects

---
 hsm-repl/Test/Repl.hs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 hsm-repl/Test/Repl.hs

(limited to 'hsm-repl/Test/Repl.hs')

diff --git a/hsm-repl/Test/Repl.hs b/hsm-repl/Test/Repl.hs
new file mode 100644
index 0000000..9052ef1
--- /dev/null
+++ b/hsm-repl/Test/Repl.hs
@@ -0,0 +1,15 @@
+import Control.Monad (void)
+import Control.Monad.Loops (whileJust_)
+import Data.Function ((&))
+import Effectful (runEff)
+import Effectful.Resource (runResource)
+import Hsm.Log (Severity (Trace), runLog)
+import Hsm.Repl (repl, runRepl)
+
+main :: IO ()
+main =
+  void (whileJust_ repl return)
+    & runRepl @"exec-repl λ " @'["Prelude"] @[Bool]
+    & runLog @"repl" Trace
+    & runResource
+    & runEff
-- 
cgit v1.2.1