2017-01-12 16:36:47 +01:00
|
|
|
module GhcMod.Boot where
|
2014-04-21 11:57:14 +09:00
|
|
|
|
2014-07-11 03:10:37 +02:00
|
|
|
import Control.Applicative
|
2015-08-03 03:09:56 +02:00
|
|
|
import Prelude
|
2017-01-12 16:36:47 +01:00
|
|
|
|
|
|
|
|
import GhcMod.Browse
|
|
|
|
|
import GhcMod.Flag
|
|
|
|
|
import GhcMod.Lang
|
|
|
|
|
import GhcMod.Modules
|
2014-05-10 13:51:35 +02:00
|
|
|
import Language.Haskell.GhcMod.Monad
|
2016-03-14 21:16:20 +03:00
|
|
|
import Language.Haskell.GhcMod.Types (defaultBrowseOpts)
|
2014-04-21 11:57:14 +09:00
|
|
|
|
2014-04-30 10:51:34 +09:00
|
|
|
-- | Printing necessary information for front-end booting.
|
2014-07-12 11:16:16 +02:00
|
|
|
boot :: IOish m => GhcModT m String
|
2015-06-01 17:54:50 +03:00
|
|
|
boot = concat <$> sequence ms
|
|
|
|
|
where
|
2016-03-14 21:16:20 +03:00
|
|
|
ms = [modules False, languages, flags, concat <$> mapM (browse defaultBrowseOpts) preBrowsedModules]
|
2014-04-21 16:30:31 +09:00
|
|
|
|
2014-04-21 11:57:14 +09:00
|
|
|
preBrowsedModules :: [String]
|
|
|
|
|
preBrowsedModules = [
|
|
|
|
|
"Prelude"
|
|
|
|
|
, "Control.Applicative"
|
|
|
|
|
, "Control.Exception"
|
|
|
|
|
, "Control.Monad"
|
|
|
|
|
, "Data.Char"
|
|
|
|
|
, "Data.List"
|
|
|
|
|
, "Data.Maybe"
|
|
|
|
|
, "System.IO"
|
|
|
|
|
]
|