Created
April 24, 2017 17:30
-
-
Save queertypes/8c8fc60b9f7ea44cabbbbe71690c0480 to your computer and use it in GitHub Desktop.
Allele's .ghci
This file contains hidden or 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
-- my prelude | |
:set -XNoImplicitPrelude | |
import Prelude ((++), return, ($)) | |
import YNotPrelude | |
-- syntax | |
:set -XBinaryLiterals | |
:set -XLambdaCase | |
:set -XTupleSections | |
:set -XNegativeLiterals | |
:set -XOverloadedStrings | |
-- operational extensions/changes | |
:set -XApplicativeDo | |
:set -XArrows | |
:set -XBangPatterns | |
:set -XMagicHash | |
:set -XUnboxedTuples | |
-- deriving extensions | |
:set -XDeriveFoldable | |
:set -XDeriveFunctor | |
:set -XDeriveTraversable | |
:set -XGeneralizedNewtypeDeriving | |
:set -XStandaloneDeriving | |
-- record extensions | |
:set -XDisambiguateRecordFields | |
:set -XDuplicateRecordFields | |
:set -XNamedFieldPuns | |
:set -XNamedWildCards | |
:set -XRecordWildCards | |
:set -XOverloadedLabels | |
-- type class extensions | |
:set -XFlexibleInstances | |
:set -XFunctionalDependencies | |
:set -XMultiParamTypeClasses | |
-- dependent types | |
:set -XConstraintKinds | |
:set -XDataKinds | |
:set -XEmptyCase | |
:set -XEmptyDataDecls | |
:set -XGADTs | |
:set -XKindSignatures | |
:set -XPartialTypeSignatures | |
:set -XRankNTypes | |
:set -XRoleAnnotations | |
:set -XScopedTypeVariables | |
:set -XTypeApplications | |
:set -XTypeFamilies | |
:set -XTypeFamilyDependencies | |
:set -XTypeOperators | |
:set -XTypeSynonymInstances | |
-- warnings | |
:set -Wall | |
:set -fno-warn-type-defaults | |
-- aesthetics | |
:set prompt "> " | |
:set prompt2 "| " | |
-- ghci mods: stats, type-after-eval, auto-multi-line | |
:set +s | |
:set +t | |
:set +m | |
-- hoogle stuff | |
:def hoogle \x -> return $ ":!hoogle search -n 10 \"" ++ x ++ "\"" | |
:def doc \x -> return $ ":!hoogle search --info \"" ++ x ++ "\"" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment