Safe Haskell	None
Language	Haskell98

HsDev.Tools.Ghc.Worker

Contents

Workers
Orphan instances

Synopsis

Workers

data SessionType Source #

Constructors

SessionGhci
SessionGhc
SessionHaddock
SessionTmp

Instances

Eq SessionType Source #
Methods (==) :: SessionType -> SessionType -> Bool # (/=) :: SessionType -> SessionType -> Bool #
Ord SessionType Source #
Methods compare :: SessionType -> SessionType -> Ordering # (<) :: SessionType -> SessionType -> Bool # (<=) :: SessionType -> SessionType -> Bool # (>) :: SessionType -> SessionType -> Bool # (>=) :: SessionType -> SessionType -> Bool # max :: SessionType -> SessionType -> SessionType # min :: SessionType -> SessionType -> SessionType #
Show SessionType Source #
Methods showsPrec :: Int -> SessionType -> ShowS # show :: SessionType -> String # showList :: [SessionType] -> ShowS #
Formattable SessionType Source #
Methods formattable :: SessionType -> FormatFlags -> Formatted #

data SessionConfig Source #

Constructors

SessionConfig SessionType PackageDbStack

Instances

Eq SessionConfig Source #
Methods (==) :: SessionConfig -> SessionConfig -> Bool # (/=) :: SessionConfig -> SessionConfig -> Bool #
Ord SessionConfig Source #
Methods compare :: SessionConfig -> SessionConfig -> Ordering # (<) :: SessionConfig -> SessionConfig -> Bool # (<=) :: SessionConfig -> SessionConfig -> Bool # (>) :: SessionConfig -> SessionConfig -> Bool # (>=) :: SessionConfig -> SessionConfig -> Bool # max :: SessionConfig -> SessionConfig -> SessionConfig # min :: SessionConfig -> SessionConfig -> SessionConfig #
Show SessionConfig Source #
Methods showsPrec :: Int -> SessionConfig -> ShowS # show :: SessionConfig -> String # showList :: [SessionConfig] -> ShowS #
Formattable SessionConfig Source #
Methods formattable :: SessionConfig -> FormatFlags -> Formatted #

type GhcM a = MGhcT SessionConfig (First DynFlags) (LogT IO) a Source #

type GhcWorker = Worker (MGhcT SessionConfig (First DynFlags) (LogT IO)) Source #

newtype MGhcT s d m a Source #

Multi-session ghc monad

Constructors

MGhcT
Fields unMGhcT :: GhcT (ReaderT (Maybe FilePath) (StateT (SessionState s d) m)) a

Instances

Monad m => MonadReader (Maybe FilePath) (MGhcT s d m) Source #
Methods ask :: MGhcT s d m (Maybe FilePath) # local :: (Maybe FilePath -> Maybe FilePath) -> MGhcT s d m a -> MGhcT s d m a # reader :: (Maybe FilePath -> a) -> MGhcT s d m a #
Monad m => MonadState (SessionState s d) (MGhcT s d m) Source #
Methods get :: MGhcT s d m (SessionState s d) # put :: SessionState s d -> MGhcT s d m () # state :: (SessionState s d -> (a, SessionState s d)) -> MGhcT s d m a #
Monad m => Monad (MGhcT s d m) Source #
Methods (>>=) :: MGhcT s d m a -> (a -> MGhcT s d m b) -> MGhcT s d m b # (>>) :: MGhcT s d m a -> MGhcT s d m b -> MGhcT s d m b # return :: a -> MGhcT s d m a # fail :: String -> MGhcT s d m a #
Functor m => Functor (MGhcT s d m) Source #
Methods fmap :: (a -> b) -> MGhcT s d m a -> MGhcT s d m b # (<$) :: a -> MGhcT s d m b -> MGhcT s d m a #
Monad m => Applicative (MGhcT s d m) Source #
Methods pure :: a -> MGhcT s d m a # (<>) :: MGhcT s d m (a -> b) -> MGhcT s d m a -> MGhcT s d m b # liftA2 :: (a -> b -> c) -> MGhcT s d m a -> MGhcT s d m b -> MGhcT s d m c # (>) :: MGhcT s d m a -> MGhcT s d m b -> MGhcT s d m b # (<*) :: MGhcT s d m a -> MGhcT s d m b -> MGhcT s d m a #
MonadIO m => MonadIO (MGhcT s d m) Source #
Methods liftIO :: IO a -> MGhcT s d m a #
MonadThrow m => MonadThrow (MGhcT s d m) Source #
Methods throwM :: Exception e => e -> MGhcT s d m a #
MonadCatch m => MonadCatch (MGhcT s d m) Source #
Methods catch :: Exception e => MGhcT s d m a -> (e -> MGhcT s d m a) -> MGhcT s d m a #
MonadMask m => MonadMask (MGhcT s d m) Source #
Methods mask :: ((forall a. MGhcT s d m a -> MGhcT s d m a) -> MGhcT s d m b) -> MGhcT s d m b # uninterruptibleMask :: ((forall a. MGhcT s d m a -> MGhcT s d m a) -> MGhcT s d m b) -> MGhcT s d m b #
ExceptionMonad m => GhcMonad (MGhcT s d m) Source #
Methods getSession :: MGhcT s d m HscEnv # setSession :: HscEnv -> MGhcT s d m () #
MonadIO m => HasDynFlags (MGhcT s d m) Source #
Methods getDynFlags :: MGhcT s d m DynFlags #
ExceptionMonad m => ExceptionMonad (MGhcT s d m) Source #
Methods gcatch :: Exception e => MGhcT s d m a -> (e -> MGhcT s d m a) -> MGhcT s d m a # gmask :: ((MGhcT s d m a -> MGhcT s d m a) -> MGhcT s d m b) -> MGhcT s d m b # gbracket :: MGhcT s d m a -> (a -> MGhcT s d m b) -> (a -> MGhcT s d m c) -> MGhcT s d m c # gfinally :: MGhcT s d m a -> MGhcT s d m b -> MGhcT s d m a #
MonadLog m => MonadLog (MGhcT s d m) Source #
Methods askLog :: MGhcT s d m Log # localLog :: (Log -> Log) -> MGhcT s d m a -> MGhcT s d m a #

runGhcM :: MonadLog m => Maybe FilePath -> GhcM a -> m a Source #

ghcWorker :: MonadLog m => m GhcWorker Source #

Multi-session ghc worker

workerSession :: SessionType -> PackageDbStack -> [String] -> GhcM () Source #

Create session with options

ghcSession :: PackageDbStack -> [String] -> GhcM () Source #

Get ghc session

ghciSession :: GhcM () Source #

Get ghci session

haddockSession :: PackageDbStack -> [String] -> GhcM () Source #

Get haddock session with flags

tmpSession :: PackageDbStack -> [String] -> GhcM () Source #

Get haddock session with flags

data Ghc a :: * -> * #

A minimal implementation of a GhcMonad. If you need a custom monad, e.g., to maintain additional state consider wrapping this monad or using GhcT.

Instances

Monad Ghc
Methods (>>=) :: Ghc a -> (a -> Ghc b) -> Ghc b # (>>) :: Ghc a -> Ghc b -> Ghc b # return :: a -> Ghc a # fail :: String -> Ghc a #
Functor Ghc
Methods fmap :: (a -> b) -> Ghc a -> Ghc b # (<$) :: a -> Ghc b -> Ghc a #
MonadFix Ghc
Methods mfix :: (a -> Ghc a) -> Ghc a #
Applicative Ghc
Methods pure :: a -> Ghc a # (<>) :: Ghc (a -> b) -> Ghc a -> Ghc b # liftA2 :: (a -> b -> c) -> Ghc a -> Ghc b -> Ghc c # (>) :: Ghc a -> Ghc b -> Ghc b # (<*) :: Ghc a -> Ghc b -> Ghc a #
MonadIO Ghc
Methods liftIO :: IO a -> Ghc a #
GhcMonad Ghc
Methods getSession :: Ghc HscEnv # setSession :: HscEnv -> Ghc () #
HasDynFlags Ghc
Methods getDynFlags :: Ghc DynFlags #
ExceptionMonad Ghc
Methods gcatch :: Exception e => Ghc a -> (e -> Ghc a) -> Ghc a # gmask :: ((Ghc a -> Ghc a) -> Ghc b) -> Ghc b # gbracket :: Ghc a -> (a -> Ghc b) -> (a -> Ghc c) -> Ghc c # gfinally :: Ghc a -> Ghc b -> Ghc a #

newtype LogT (m :: * -> *) a :: (* -> *) -> * -> * #

Constructors

LogT
Fields runLogT :: ReaderT * Log m a

Instances

MonadTrans LogT
Methods lift :: Monad m => m a -> LogT m a #
Monad m => MonadReader Log (LogT m)
Methods ask :: LogT m Log # local :: (Log -> Log) -> LogT m a -> LogT m a # reader :: (Log -> a) -> LogT m a #
Monad m => Monad (LogT m)
Methods (>>=) :: LogT m a -> (a -> LogT m b) -> LogT m b # (>>) :: LogT m a -> LogT m b -> LogT m b # return :: a -> LogT m a # fail :: String -> LogT m a #
Functor m => Functor (LogT m)
Methods fmap :: (a -> b) -> LogT m a -> LogT m b # (<$) :: a -> LogT m b -> LogT m a #
Applicative m => Applicative (LogT m)
Methods pure :: a -> LogT m a # (<>) :: LogT m (a -> b) -> LogT m a -> LogT m b # liftA2 :: (a -> b -> c) -> LogT m a -> LogT m b -> LogT m c # (>) :: LogT m a -> LogT m b -> LogT m b # (<*) :: LogT m a -> LogT m b -> LogT m a #
MonadIO m => MonadIO (LogT m)
Methods liftIO :: IO a -> LogT m a #
MonadThrow m => MonadThrow (LogT m)
Methods throwM :: Exception e => e -> LogT m a #
MonadCatch m => MonadCatch (LogT m)
Methods catch :: Exception e => LogT m a -> (e -> LogT m a) -> LogT m a #
MonadMask m => MonadMask (LogT m)
Methods mask :: ((forall a. LogT m a -> LogT m a) -> LogT m b) -> LogT m b # uninterruptibleMask :: ((forall a. LogT m a -> LogT m a) -> LogT m b) -> LogT m b #
(MonadIO m, MonadMask m) => MonadLog (LogT m)
Methods askLog :: LogT m Log # localLog :: (Log -> Log) -> LogT m a -> LogT m a #

module HsDev.Tools.Ghc.Base

module HsDev.Tools.Ghc.Repl

module HsDev.Tools.Ghc.MGhc

module Control.Concurrent.Worker

Orphan instances

MonadThrow Ghc Source #
Methods throwM :: Exception e => e -> Ghc a #
ExceptionMonad m => ExceptionMonad (LogT m) Source #
Methods gcatch :: Exception e => LogT m a -> (e -> LogT m a) -> LogT m a # gmask :: ((LogT m a -> LogT m a) -> LogT m b) -> LogT m b # gbracket :: LogT m a -> (a -> LogT m b) -> (a -> LogT m c) -> LogT m c # gfinally :: LogT m a -> LogT m b -> LogT m a #
(Monad m, GhcMonad m) => GhcMonad (ReaderT * r m) Source #
Methods getSession :: ReaderT * r m HscEnv # setSession :: HscEnv -> ReaderT * r m () #