Language.Haskell.Session.Session

Session

type SessionMonad m = (GhcMonad m, MonadMask m, MonadCatch m)

run :: (MonadIO m, MonadMask m, Functor m) => GhcT m a -> m a

Run a session with default config.

runWith :: Config -> Ghc a -> IO a

Run a session with custom GHC config.

Flags

setStrFlags :: GhcMonad m => [String] -> m ()

Set ghc command line arguments.

Imports

type Import = String

setImports :: GhcMonad m => [Import] -> m ()

Set imports and replace existing ones.

withImports :: (MonadMask m, GhcMonad m) => [Import] -> m a -> m a

Run a code with temporary imports.

GHC extensions

setFlags :: GhcMonad m => [ExtensionFlag] -> m ()

Set GHC extension flags.

unsetFlags :: GhcMonad m => [ExtensionFlag] -> m ()

Unset GHC extension flags.

withExtensionFlags :: (MonadMask m, GhcMonad m) => [ExtensionFlag] -> [ExtensionFlag] -> m a -> m a

Run a code with temporary GHC extension flags.

Expression evaluation

runStmt :: (MonadCatch m, GhcMonad m) => String -> m ()

Run a statement as in ghci.

runDecls :: (MonadCatch m, GhcMonad m) => String -> m ()

Run declarations as in Haskell source file.

runAssignment :: (MonadCatch m, GhcMonad m) => String -> String -> m ()

Bind an expression to a variable using `let` syntax.

runAssignment' :: (MonadCatch m, GhcMonad m) => String -> String -> m ()

Bind an expression to a variable using bind syntax. Expression must have type `IO a`.

interpret :: (MonadCatch m, GhcMonad m) => Typeable a => String -> m a

Evaluate an expression.

Context and DynFlags protection

sandboxDynFlags :: (MonadMask m, GhcMonad m) => m a -> m a

Run a code which can safely modify DynFlags - it will be restored on exit.

sandboxContext :: (MonadMask m, GhcMonad m) => m a -> m a

Run a code which can safely modify Context - it will be restored on exit.

interceptErrors :: (MonadCatch m, GhcMonad m) => m a -> m a

Restore session when exception will be raised.