git.iko.soy/ghcide
on 1c27ffe help sign in
ghcide/src/Development/IDE/Types/Options.hs
31 lines 1.0 kB history raw
1-- Copyright (c) 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
2-- SPDX-License-Identifier: Apache-2.0
4{-# LANGUAGE RankNTypes #-}
6-- | Options
7module Development.IDE.Types.Options
8 ( IdeOptions(..)
9 ) where
11import Development.IDE.UtilGHC
12import GHC hiding (parseModule, typecheckModule)
13import GhcPlugins as GHC hiding (fst3, (<>))
16data IdeOptions = IdeOptions
17 { optPreprocessor :: GHC.ParsedSource -> ([(GHC.SrcSpan, String)], GHC.ParsedSource)
18 , optRunGhcSession :: forall a. Maybe ParsedModule -> PackageDynFlags -> Ghc a -> IO a
19 -- ^ Setup a GHC session using a given package state. If a `ParsedModule` is supplied,
20 -- the import path should be setup for that module.
21 , optWriteIface :: Bool
23 , optMbPackageName :: Maybe String
25 , optPackageDbs :: [FilePath]
26 , optHideAllPkgs :: Bool
27 , optPackageImports :: [(String, ModRenaming)]
29 , optThreads :: Int
30 , optShakeProfiling :: Maybe FilePath
31 }