From 6020f571ef763a23384759afba7d848671255187 Mon Sep 17 00:00:00 2001 From: tslil clingman <> Date: Tue, 16 Jul 2024 18:29:19 +0200 Subject: [ghci] more improvements --- ghci.conf | 21 +++++++++++++++++---- 1 file changed, 17 insertions(+), 4 deletions(-) diff --git a/ghci.conf b/ghci.conf index 25ddd80..96e0ad4 100644 --- a/ghci.conf +++ b/ghci.conf @@ -1,11 +1,24 @@ -:m Data.Functor Control.Applicative Data.List Control.Monad Data.Maybe Control.Arrow -:set -XGADTs -XArrows -XUnicodeSyntax +import Control.Applicative +import Control.Arrow +import Control.Monad +import Control.Comonad +import Data.Array +import Data.Functor +import Data.List +import Data.Monoid +import Data.Set +import Data.String +import qualified Data.Map as Map +import qualified Data.Text as Text +:set -XGADTs -XArrows -XUnicodeSyntax :set +t -:set prompt "λ> " +:set +m +:set prompt "\ESC[1;32mλ> \ESC[m" +:set prompt-cont "\ESC[1;32mλ| \ESC[m" :def hoogle \s -> return $ ":! hoogle --count=15 " ++ show s -:def pf \s -> return $ ":! pointfree " ++ show s +:def pf \s -> return $ ":! pointfree \"" ++ s ++ "\"" :m Text.Show.Pretty :def! nopretty \_ -> return ":set -interactive-print System.IO.print" -- cgit v1.2.3