HIE.Bios.Ghc.Gap

All the CPP for GHC version compability should live in this module.

Documentation

ghcVersion :: String

Warnings, Doc Compat

type WarnFlags = EnumSet WarningFlag

emptyWarnFlags :: WarnFlags

makeUserStyle :: DynFlags -> PrintUnqualified -> PprStyle

data PprStyle

Instances

Outputable PprStyle

Defined in GHC.Utils.Outputable

Methods

ppr :: PprStyle -> SDoc

Argument parsing

parseTargetFiles :: DynFlags -> [String] -> (DynFlags, [(String, Maybe Phase)], [String])

Ghc Monad

modifySession :: GhcMonad m => (HscEnv -> HscEnv) -> m ()

Set the current session to the result of applying the current session to the argument.

reflectGhc :: Ghc a -> Session -> IO a

Reflect a computation in the Ghc monad into the IO monad.

You can use this to call functions returning an action in the Ghc monad inside an IO action. This is needed for some (too restrictive) callback arguments of some library functions:

libFunc :: String -> (Int -> IO a) -> IO a
ghcFunc :: Int -> Ghc a

ghcFuncUsingLibFunc :: String -> Ghc a -> Ghc a
ghcFuncUsingLibFunc str =
  reifyGhc $ \s ->
    libFunc $ \i -> do
      reflectGhc (ghcFunc i) s

data Session

The Session is a handle to the complete state of a compilation session. A compilation session consists of a set of modules constituting the current program or library, the context for interactive evaluation, and various caches.

Constructors

Session !(IORef HscEnv)

Hsc Monad

getHscEnv :: Hsc HscEnv

Driver compat

batchMsg :: Messager

HscEnv Compat

set_hsc_dflags :: DynFlags -> HscEnv -> HscEnv

overPkgDbRef :: (FilePath -> FilePath) -> PackageDBFlag -> PackageDBFlag

guessTarget :: GhcMonad m => String -> a -> Maybe Phase -> m Target

setNoCode :: DynFlags -> DynFlags

getModSummaries :: ModuleGraph -> [ModSummary]

mapOverIncludePaths :: (FilePath -> FilePath) -> DynFlags -> DynFlags

getLogger :: HscEnv -> Logger

AST compat

pattern RealSrcSpan :: RealSrcSpan -> SrcSpan

type LExpression = LHsExpr GhcTc

type LBinding = LHsBind GhcTc

type LPattern = LPat GhcTc

inTypes :: MatchGroup GhcTc LExpression -> [Type]

outType :: MatchGroup GhcTc LExpression -> Type

Exceptions

catch :: (MonadCatch m, Exception e) => m a -> (e -> m a) -> m a

bracket :: MonadMask m => m a -> (a -> m c) -> (a -> m b) -> m b

handle :: (MonadCatch m, Exception e) => (e -> m a) -> m a -> m a

Doc Gap functions

pageMode :: Mode

oneLineMode :: Mode

DynFlags compat

initializePluginsForModSummary :: HscEnv -> ModSummary -> IO (Int, [ModuleName], ModSummary)

setFrontEndHooks :: Maybe (ModSummary -> Hsc FrontendResult) -> HscEnv -> HscEnv

updOptLevel :: Int -> DynFlags -> DynFlags

Sets the DynFlags to be appropriate to the optimisation level

setWayDynamicIfHostIsDynamic :: DynFlags -> DynFlags

gopt_set :: DynFlags -> GeneralFlag -> DynFlags

parseDynamicFlags :: MonadIO m => Logger -> DynFlags -> [Located String] -> m (DynFlags, [Located String], [Warn])

Platform constants

hostIsDynamic :: Bool

misc

getModuleName :: (a, b) -> a

getTyThing :: (a, b, c, d, e) -> a

fixInfo :: (a, b, c, d, e) -> (a, b, c, d)

data FrontendResult

FrontendResult describes the result of running the frontend of a Haskell module. Currently one always gets a FrontendTypecheck, since running the frontend involves typechecking a program. hs-sig merges are not handled here.

This data type really should be in GHC.Driver.Env, but it needs to have a TcGblEnv which is only defined here.

Constructors

FrontendTypecheck TcGblEnv

data Hsc a

The Hsc monad: Passing an environment and warning state

Instances

MonadIO Hsc

Defined in GHC.Driver.Env.Types

Methods

liftIO :: IO a -> Hsc a

Applicative Hsc

Defined in GHC.Driver.Env.Types

Methods

pure :: a -> Hsc a

(<*>) :: Hsc (a -> b) -> Hsc a -> Hsc b

liftA2 :: (a -> b -> c) -> Hsc a -> Hsc b -> Hsc c

(*>) :: Hsc a -> Hsc b -> Hsc b

(<*) :: Hsc a -> Hsc b -> Hsc a

Functor Hsc

Defined in GHC.Driver.Env.Types

Methods

fmap :: (a -> b) -> Hsc a -> Hsc b

(<$) :: a -> Hsc b -> Hsc a

Monad Hsc

Defined in GHC.Driver.Env.Types

Methods

(>>=) :: Hsc a -> (a -> Hsc b) -> Hsc b

(>>) :: Hsc a -> Hsc b -> Hsc b

return :: a -> Hsc a

HasDynFlags Hsc

Defined in GHC.Driver.Env.Types

Methods

getDynFlags :: Hsc DynFlags

HasLogger Hsc

Defined in GHC.Driver.Env.Types

Methods

getLogger :: Hsc Logger

mapMG :: (ModSummary -> ModSummary) -> ModuleGraph -> ModuleGraph

Map a function f over all the ModSummaries. To preserve invariants f can't change the isBoot status.

mgModSummaries :: ModuleGraph -> [ModSummary]

unsetLogAction :: GhcMonad m => m ()

load' :: GhcMonad m => a -> LoadHowMuch -> Maybe Messager -> ModuleGraph -> m SuccessFlag

homeUnitId_ :: DynFlags -> UnitId

Target home unit-id

getDynFlags :: HasDynFlags m => m DynFlags