From e3ea039428545e185b38c5633fe3576ab32f1f8e Mon Sep 17 00:00:00 2001
From: Paul Oliver <contact@pauloliver.dev>
Date: Thu, 16 Jan 2025 19:22:18 -0800
Subject: Cleans excessive type annotations

---
 hsm-command/Hsm/Command/Readline.hs | 23 +++++++----------------
 1 file changed, 7 insertions(+), 16 deletions(-)

(limited to 'hsm-command/Hsm/Command/Readline.hs')

diff --git a/hsm-command/Hsm/Command/Readline.hs b/hsm-command/Hsm/Command/Readline.hs
index 428ed50..1caa562 100644
--- a/hsm-command/Hsm/Command/Readline.hs
+++ b/hsm-command/Hsm/Command/Readline.hs
@@ -22,28 +22,19 @@ type instance DispatchOf Readline = Static S.WithSideEffects
 newtype instance S.StaticRep Readline =
   Readline H.InputState
 
-readline ::
-     forall es. (Log :> es, Readline :> es)
-  => Eff es (Maybe String)
+readline :: (Log :> es, Readline :> es) => Eff es (Maybe String)
 readline = do
   flushLogger
   Readline hdl <- S.getStaticRep
-  S.unsafeEff_ $ nextLine hdl
-  where
-    nextLine :: H.InputState -> IO (Maybe String)
-    nextLine hdl =
-      H.queryInput hdl
-        $ H.handleInterrupt (return Nothing)
-        $ H.withInterrupt
-        $ H.getInputLine "% "
+  S.unsafeEff_
+    $ H.queryInput hdl
+    $ H.handleInterrupt (return Nothing)
+    $ H.withInterrupt
+    $ H.getInputLine "% "
 
 runReadline :: (IOE :> es, Resource :> es) => Eff (Readline : es) a -> Eff es a
 runReadline action = do
-  handle <- snd <$> allocate istate H.cancelInput
+  handle <- snd <$> allocate (H.initializeInput settings) H.cancelInput
   S.evalStaticRep (Readline handle) action
   where
-    settings :: H.Settings IO
     settings = H.defaultSettings {H.historyFile = Just ".hsm_command_history"}
-    --
-    istate :: IO H.InputState
-    istate = H.initializeInput settings
-- 
cgit v1.2.1