Language.Haskell.GhcMod.Internal

Low level access to the ghc-mod library.

Types

type LogReader = IO [String]

A means to read the log.

type GHCOption = String

A single GHC command line option.

type Package = String

A package name.

type IncludeDir = FilePath

An include directory for modules.

data CompilerOptions

Option information for GHC

Constructors

CompilerOptions

Fields

ghcOptions :: [GHCOption]

Command line options

includeDirs :: [IncludeDir]

Include directories for modules

depPackages :: [Package]

Dependent package names

Instances

Eq CompilerOptions

Show CompilerOptions

Cabal API

parseCabalFile :: FilePath -> IO PackageDescription

Parsing a cabal file and returns PackageDescription. IOException is thrown if parsing fails.

getCompilerOptions :: [GHCOption] -> Cradle -> PackageDescription -> IO CompilerOptions

Getting necessary CompilerOptions from three information sources.

cabalAllBuildInfo :: PackageDescription -> [BuildInfo]

Extracting all BuildInfo for libraries, executables, tests and benchmarks.

cabalDependPackages :: [BuildInfo] -> [Package]

Extracting package names of dependency.

cabalSourceDirs :: [BuildInfo] -> [IncludeDir]

Extracting include directories for modules.

cabalAllTargets :: PackageDescription -> IO ([String], [String], [String], [String])

Extracting all Module FilePaths for libraries, executables, tests and benchmarks.

GHC API

canCheckFast :: ModuleGraph -> Bool

Checking if Template Haskell or quasi quotes are used. If not, the process can be faster.

Getting DynFlags

getDynamicFlags :: IO DynFlags

Return the DynFlags currently in use in the GHC session.

Initializing DynFlags

initializeFlags :: GhcMonad m => Options -> m ()

Initialize the DynFlags relating to the compilation of a single file or GHC session.

initializeFlagsWithCradle :: GhcMonad m => Options -> Cradle -> [GHCOption] -> Bool -> m (LogReader, Maybe PackageDescription)

Initialize the DynFlags relating to the compilation of a single file or GHC session according to the Cradle and Options provided.

GhcMonad

setTargetFiles :: GhcMonad m => [FilePath] -> m ()

Set the files that GHC will load / compile.

checkSlowAndSet :: GhcMonad m => m ()

To check TH, a session module graph is necessary. load sets a session module graph using depanal. But we have to set -fno-code to DynFlags before load. So, this is necessary redundancy.

Ghc Choice

(||>) :: Ghc a -> Ghc a -> Ghc a

Try the left Ghc action. If IOException occurs, try the right Ghc action.

goNext :: Ghc a

Go to the next Ghc monad by throwing AltGhcgoNext.

runAnyOne :: [Ghc a] -> Ghc a

Run any one Ghc monad.

GhcMonad Choice

(|||>) :: GhcMonad m => m a -> m a -> m a

Try the left GhcMonad action. If IOException occurs, try the right GhcMonad action.