From b596f4066644e8c4f432b753425aa9fbcf21a256 Mon Sep 17 00:00:00 2001 From: Michal Idziorek Date: Wed, 18 May 2022 13:45:30 +0200 Subject: some tuning --- haskell/dot-ghci | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 haskell/dot-ghci (limited to 'haskell/dot-ghci') diff --git a/haskell/dot-ghci b/haskell/dot-ghci new file mode 100644 index 0000000..a4f7e1d --- /dev/null +++ b/haskell/dot-ghci @@ -0,0 +1,21 @@ +import qualified Data.Text as T +import qualified Data.List as L + +:seti -XOverloadedStrings + +:set prompt "\ESC[0;36m\STX%s\n\ESC[0;34m\STXλ> \ESC[m\STX" +:set prompt-cont "\ESC[0;33m\STX|> \ESC[m\STX" + +:{ +dotGHCI_myPrint :: (Show a) => a -> IO () +dotGHCI_myPrint a = putStrLn $ "\n\ESC[0;33m\STX" <> show a <> "\ESC[m\STX" +:} + +:seti -interactive-print dotGHCI_myPrint + +-- :def hoogle \s -> return $ ":! hoogle --count=15 \"" ++ s ++ "\"" + +:set +t +:set +m +:set +s + -- cgit v1.2.3