Language.Haskell.GhcMod.Internal

Contents

• Types
• Various Paths
• Logging
• Environment, state and logging
• Monad utilities
  • Accessing GhcModEnv and GhcModState
• GhcModError
• World
• Cabal Helper
• Misc stuff

Description

Synopsis

• type GHCOption = String
• type Package = (PackageBaseName, PackageVersion, PackageId)
• type PackageBaseName = String
• type PackageVersion = String
• type PackageId = String
• type IncludeDir = FilePath
• newtype GmlT m a = GmlT {
  • unGmlT :: GhcModT m a
  }
• class MonadIOC m => MonadIO m where
  • liftIO :: IO a -> m a
• class Monad m => GmEnv m where
  • gmeAsk :: m GhcModEnv
  • gmeReader :: (GhcModEnv -> a) -> m a
  • gmeLocal :: (GhcModEnv -> GhcModEnv) -> m a -> m a
• ghcLibDir :: FilePath
• ghcModExecutable :: IO FilePath
• withLogger :: (GmGhc m, GmEnv m) => (DynFlags -> DynFlags) -> m a -> m (Either String (String, a))
• setNoWarningFlags :: DynFlags -> DynFlags
• setAllWarningFlags :: DynFlags -> DynFlags
• data GhcModEnv = GhcModEnv {
  • gmOptions :: Options
  • gmCradle :: Cradle
  • gmOutput :: GmOutput
  }
• data GhcModState
• data CompilerMode
  • = Simple
  • | Intelligent
• data GhcModLog
• class Monad m => GmLog m where
  • gmlJournal :: GhcModLog -> m ()
  • gmlHistory :: m GhcModLog
  • gmlClear :: m ()
• data GmLogLevel
  • = GmSilent
  • | GmPanic
  • | GmException
  • | GmError
  • | GmWarning
  • | GmInfo
  • | GmDebug
  • | GmVomit
• gmSetLogLevel :: GmLog m => GmLogLevel -> m ()
• runGhcModT' :: IOish m => FilePath -> Options -> GhcModT m a -> m (Either GhcModError a, GhcModLog)
• hoistGhcModT :: IOish m => (Either GhcModError a, GhcModLog) -> GhcModT m a
• runGmlT :: IOish m => [Either FilePath ModuleName] -> GmlT m a -> GhcModT m a
• runGmlT' :: IOish m => [Either FilePath ModuleName] -> (DynFlags -> Ghc DynFlags) -> GmlT m a -> GhcModT m a
• gmlGetSession :: (MonadIO m, MonadBaseControl IO m) => GmlT m HscEnv
• gmlSetSession :: (MonadIO m, MonadBaseControl IO m) => HscEnv -> GmlT m ()
• loadTargets :: IOish m => [String] -> GmlT m ()
• cabalResolvedComponents :: IOish m => GhcModT m (Map ChComponentName (GmComponent GMCResolved (Set ModulePath)))
• options :: GmEnv m => m Options
• cradle :: GmEnv m => m Cradle
• getCompilerMode :: GmState m => m CompilerMode
• setCompilerMode :: GmState m => CompilerMode -> m ()
• withOptions :: GmEnv m => (Options -> Options) -> m a -> m a
• gmeDoc :: GhcModError -> Doc
• data World
• getCurrentWorld :: IOish m => GhcModT m World
• didWorldChange :: IOish m => World -> GhcModT m Bool
• data ModulePath = ModulePath {
  • mpModule :: ModuleName
  • mpPath :: FilePath
  }
• data GmComponent t eps = GmComponent {
  • gmcHomeModuleGraph :: GmModuleGraph
  • gmcName :: ChComponentName
  • gmcGhcOpts :: [GHCOption]
  • gmcGhcPkgOpts :: [GHCOption]
  • gmcGhcSrcOpts :: [GHCOption]
  • gmcGhcLangOpts :: [GHCOption]
  • gmcRawEntrypoints :: ChEntrypoint
  • gmcEntrypoints :: eps
  • gmcSourceDirs :: [FilePath]
  }
• data GmComponentType
  • = GMCRaw
  • | GMCResolved
• data GmModuleGraph = GmModuleGraph {
  • gmgGraph :: Map ModulePath (Set ModulePath)
  }
• prepareCabalHelper :: (IOish m, GmEnv m, GmLog m) => m ()
• data GHandler m a = forall e . Exception e => GHandler (e -> m a)
• gcatches :: (MonadIO m, ExceptionMonad m) => m a -> [GHandler m a] -> m a

Types

Various Paths

Logging

Environment, state and logging

Monad utilities

Accessing GhcModEnv and GhcModState

GhcModError

World

Cabal Helper

Misc stuff