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 Outputable

Methods

ppr :: PprStyle -> SDoc

pprPrec :: Rational -> 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 -> 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 :: ExceptionMonad m => m a -> (a -> m c) -> (a -> m b) -> m b

handle :: (ExceptionMonad 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. Usually, you'll get a FrontendTypecheck, since running the frontend involves typechecking a program, but for an hs-boot merge you'll just get a ModIface, since no actual typechecking occurred.

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

Constructors

FrontendTypecheck TcGblEnv

data Hsc a

Instances

Monad Hsc

Defined in HscTypes

Methods

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

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

return :: a -> Hsc a

Functor Hsc

Defined in HscTypes

Methods

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

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

Applicative Hsc

Defined in HscTypes

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

MonadIO Hsc

Defined in HscTypes

Methods

liftIO :: IO a -> Hsc a

HasDynFlags Hsc

Defined in HscTypes

Methods

getDynFlags :: Hsc DynFlags

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 ()