Skip to content

Instantly share code, notes, and snippets.

@DKurilo

DKurilo/ghci.conf

Created January 20, 2020 02:32
Show Gist options
  • Save DKurilo/b7d340dbdab3c4ac104e2641413416dc to your computer and use it in GitHub Desktop.
Save DKurilo/b7d340dbdab3c4ac104e2641413416dc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ghci.conf
:set prompt "\ESC[1;34m\x03BB> \ESC[m"
:set prompt-cont "\ESC[1;34m > \ESC[m"
:seti -XGADTSyntax
:seti -XGeneralizedNewtypeDeriving
:seti -XInstanceSigs
:seti -XLambdaCase
:seti -XPartialTypeSignatures
:seti -XScopedTypeVariables
:seti -XTypeApplications
:seti -XOverloadedStrings
:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
:def doc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment