HsDev.Tools.Ghc.Worker

Workers

data SessionType

Constructors

SessionGhci

SessionGhc

SessionHaddock

SessionTmp

Instances

Eq SessionType

Defined in HsDev.Tools.Ghc.Worker

Methods

(==) :: SessionType -> SessionType -> Bool

(/=) :: SessionType -> SessionType -> Bool

Ord SessionType

Defined in HsDev.Tools.Ghc.Worker

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

Defined in HsDev.Tools.Ghc.Worker

Methods

showsPrec :: Int -> SessionType -> ShowS

show :: SessionType -> String

showList :: [SessionType] -> ShowS

Formattable SessionType

Defined in HsDev.Tools.Ghc.Worker

Methods

formattable :: SessionType -> FormatFlags -> Formatted

data SessionConfig

Constructors

SessionConfig SessionType PackageDbStack

Instances

Eq SessionConfig

Defined in HsDev.Tools.Ghc.Worker

Methods

(==) :: SessionConfig -> SessionConfig -> Bool

(/=) :: SessionConfig -> SessionConfig -> Bool

Ord SessionConfig

Defined in HsDev.Tools.Ghc.Worker

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

Defined in HsDev.Tools.Ghc.Worker

Methods

showsPrec :: Int -> SessionConfig -> ShowS

show :: SessionConfig -> String

showList :: [SessionConfig] -> ShowS

Formattable SessionConfig

Defined in HsDev.Tools.Ghc.Worker

Methods

formattable :: SessionConfig -> FormatFlags -> Formatted

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

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

newtype MGhcT s d m a

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)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

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

MonadFail m => MonadFail (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

Methods

fail :: String -> MGhcT s d m a

Monad m => Applicative (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

Methods

liftIO :: IO a -> MGhcT s d m a

MonadThrow m => MonadThrow (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

Methods

throwM :: Exception e => e -> MGhcT s d m a

MonadCatch m => MonadCatch (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

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

generalBracket :: MGhcT s d m a -> (a -> ExitCase b -> MGhcT s d m c) -> (a -> MGhcT s d m b) -> MGhcT s d m (b, c)

ExceptionMonad m => GhcMonad (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

Methods

getSession :: MGhcT s d m HscEnv

setSession :: HscEnv -> MGhcT s d m ()

MonadIO m => HasDynFlags (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

Methods

getDynFlags :: MGhcT s d m DynFlags

ExceptionMonad m => ExceptionMonad (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

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)

Defined in HsDev.Tools.Ghc.MGhc

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

ghcWorker :: MonadLog m => m GhcWorker

Multi-session ghc worker

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

Create session with options

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

Get ghc session

ghciSession :: GhcM ()

Get ghci session

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

Get haddock session with flags

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

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

Defined in GhcMonad

Methods

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

(>>) :: Ghc a -> Ghc b -> Ghc b

return :: a -> Ghc a

fail :: String -> Ghc a

Functor Ghc

Defined in GhcMonad

Methods

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

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

MonadFix Ghc

Defined in GhcMonad

Methods

mfix :: (a -> Ghc a) -> Ghc a

Applicative Ghc

Defined in GhcMonad

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

Defined in GhcMonad

Methods

liftIO :: IO a -> Ghc a

MonadThrow Ghc

Defined in HsDev.Tools.Ghc.Worker

Methods

throwM :: Exception e => e -> Ghc a

GhcMonad Ghc

Defined in GhcMonad

Methods

getSession :: Ghc HscEnv

setSession :: HscEnv -> Ghc ()

HasDynFlags Ghc

Defined in GhcMonad

Methods

getDynFlags :: Ghc DynFlags

ExceptionMonad Ghc

Defined in GhcMonad

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 :: Type -> Type) a

Constructors

LogT

Fields

• runLogT :: ReaderT Log m a

Instances

MonadTrans LogT

Defined in System.Log.Simple.Monad

Methods

lift :: Monad m => m a -> LogT m a

Monad m => MonadReader Log (LogT m)

Defined in System.Log.Simple.Monad

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)

Defined in System.Log.Simple.Monad

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)

Defined in System.Log.Simple.Monad

Methods

fmap :: (a -> b) -> LogT m a -> LogT m b

(<$) :: a -> LogT m b -> LogT m a

MonadFail m => MonadFail (LogT m)

Defined in System.Log.Simple.Monad

Methods

fail :: String -> LogT m a

Applicative m => Applicative (LogT m)

Defined in System.Log.Simple.Monad

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)

Defined in System.Log.Simple.Monad

Methods

liftIO :: IO a -> LogT m a

MonadThrow m => MonadThrow (LogT m)

Defined in System.Log.Simple.Monad

Methods

throwM :: Exception e => e -> LogT m a

MonadCatch m => MonadCatch (LogT m)

Defined in System.Log.Simple.Monad

Methods

catch :: Exception e => LogT m a -> (e -> LogT m a) -> LogT m a

MonadMask m => MonadMask (LogT m)

Defined in System.Log.Simple.Monad

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

generalBracket :: LogT m a -> (a -> ExitCase b -> LogT m c) -> (a -> LogT m b) -> LogT m (b, c)

ExceptionMonad m => ExceptionMonad (LogT m)

Defined in HsDev.Tools.Ghc.Worker

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

(MonadIO m, MonadMask m) => MonadLog (LogT m)

Defined in System.Log.Simple.Monad

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

Methods

throwM :: Exception e => e -> Ghc a

ExceptionMonad m => ExceptionMonad (LogT m)

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)

Methods

getSession :: ReaderT r m HscEnv

setSession :: HscEnv -> ReaderT r m ()