diff options
| author | Paul Oliver <contact@pauloliver.dev> | 2025-08-25 02:42:03 +0000 |
|---|---|---|
| committer | Paul Oliver <contact@pauloliver.dev> | 2025-08-25 02:42:03 +0000 |
| commit | f1f62e00559d5c68a5e7b1246208391835a13d0d (patch) | |
| tree | b90eb1fb77645aee7fcde5bde43b3f39ed2b376c /hsm-repl/Hsm | |
| parent | 6f80d2d579d0be8773829ee277086af087e85862 (diff) | |
Adds color to `hsm-repl` prompt
Diffstat (limited to 'hsm-repl/Hsm')
| -rw-r--r-- | hsm-repl/Hsm/Repl.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hsm-repl/Hsm/Repl.hs b/hsm-repl/Hsm/Repl.hs index 46261d6..45a2cf2 100644 --- a/hsm-repl/Hsm/Repl.hs +++ b/hsm-repl/Hsm/Repl.hs @@ -15,6 +15,7 @@ import GHC.TypeLits (KnownSymbol, Symbol, symbolVal) import Generic.Data.Function.Common.Generic.Meta (KnownSymbols, symbolVals) import Hsm.Log (Log, Severity(Attention, Info, Trace), logBlock, logMsg) import Language.Haskell.Interpreter (GhcError(errMsg), InterpreterError(WontCompile), as, interpret, runInterpreter, setImports) +import String.ANSI (blue) import System.Console.Haskeline (defaultSettings, getInputLine, handleInterrupt, withInterrupt) import System.Console.Haskeline.IO (InputState, cancelInput, initializeInput, queryInput) @@ -33,7 +34,7 @@ repl = query >>= maybe (return Nothing) parse query = do Repl inputState <- getStaticRep logMsg Trace $ "Expecting a value of type: " <> show (typeRep $ Proxy @t) - unsafeEff_ . queryInput inputState . handleInterrupt (return Nothing) . withInterrupt . getInputLine $ symbolVal (Proxy @p) + unsafeEff_ . queryInput inputState . handleInterrupt (return Nothing) . withInterrupt . getInputLine . blue $ symbolVal (Proxy @p) parse string = do logMsg Trace $ "Parsing string: " <> string eitherValue <- |