diff options
| author | William Carroll <wpcarro@gmail.com> | 2018-06-20T15·46-0400 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2018-07-19T16·00-0400 |
| commit | b147b5fbd02440b602710bb86340bfe33ba21895 (patch) | |
| tree | 92aaac40f89b22e92867ed34bff9f5630a21c835 /configs | |
| parent | 014b53003767d673082f730642717ff6c6b83b56 (diff) | |
Support default ghci config
What I deem as currently sensible defaults for my ghci sessions. Expect this to change over time.
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/shared/ghci | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configs/shared/ghci b/configs/shared/ghci new file mode 100644 index 000000000000..844a8901010f --- /dev/null +++ b/configs/shared/ghci @@ -0,0 +1,13 @@ +-- Useful Typeclasses +import Control.Applicative +import Data.Monoid + +-- Data Structures +import qualified Data.Map.Internal as Map + +-- Lenses +import qualified Control.Lens as Lens +import qualified Control.Lens.Traversal as Lens + +-- Friendly prompt +:set prompt "\ESC[34mλ> \ESC[m" |