-
-
Save Kiwi/767051af019fb5d5bb51ee09f7501c7a to your computer and use it in GitHub Desktop.
My modest ghci.conf
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:set -XRankNTypes | |
:set -XGADTs | |
:set -XTypeFamilies | |
:set -XTypeApplications | |
:set -XBangPatterns | |
:set -XMagicHash | |
:set -XMultiParamTypeClasses | |
:set -XPatternSynonyms | |
:set -XDataKinds | |
:set -XConstraintKinds | |
:set -XOverloadedStrings | |
:set -XNumericUnderscores | |
:set -XFlexibleContexts | |
:set -XScopedTypeVariables | |
:set prompt "П> " | |
:def hlint const . return $ ":! hlint \"src\"" | |
:def hoogle \s -> return $ ":! hoogle --color --count=15 " ++ show s | |
:def rg \s -> return $ ":! rg " ++ s | |
:def fzf const . pure $ ":! cat $HOME/.ghc/ghci_history | fzf --height 25" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment