| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Daemon
Contents
- runDaemonCLI :: IO ()
- runDaemon :: [String] -> IO ()
- defaultArgs :: [String]
- clientLoop :: Bool -> Socket -> IO ()
- serverLoop :: Bool -> Session -> MVar DaemonSessionState -> Socket -> IO ()
- respondTo :: Session -> MVar DaemonSessionState -> (ByteString -> IO ()) -> ByteString -> IO Bool
- updateClient :: (ResponseMsg -> IO ()) -> ClientMessage -> StateT DaemonSessionState Ghc Bool
- initGhcSession :: IO Session
- usePackageDB :: GhcMonad m => [FilePath] -> m ()
- getProblems :: RefactorException -> Either String [(SrcSpan, String)]
- data ClientMessage
- = KeepAlive
- | SetPackageDB { }
- | AddPackages {
- addedPathes :: [FilePath]
- | RemovePackages {
- removedPathes :: [FilePath]
- | PerformRefactoring {
- refactoring :: String
- modulePath :: FilePath
- editorSelection :: String
- details :: [String]
- | Stop
- | Disconnect
- | ReLoad {
- changedModules :: [FilePath]
- removedModules :: [FilePath]
- data ResponseMsg
- = KeepAliveResponse
- | ErrorMessage { }
- | CompilationProblem {
- errorMarkers :: [(SrcSpan, String)]
- | ModulesChanged {
- moduleChanges :: [FilePath]
- | LoadedModules {
- loadedModules :: [FilePath]
- | Disconnected
Documentation
runDaemonCLI :: IO () Source #
defaultArgs :: [String] Source #
serverLoop :: Bool -> Session -> MVar DaemonSessionState -> Socket -> IO () Source #
respondTo :: Session -> MVar DaemonSessionState -> (ByteString -> IO ()) -> ByteString -> IO Bool Source #
updateClient :: (ResponseMsg -> IO ()) -> ClientMessage -> StateT DaemonSessionState Ghc Bool Source #
This function does the real job of acting upon client messages in a stateful environment of a client
usePackageDB :: GhcMonad m => [FilePath] -> m () Source #
getProblems :: RefactorException -> Either String [(SrcSpan, String)] Source #
data ClientMessage Source #
Constructors
| KeepAlive | |
| SetPackageDB | |
| AddPackages | |
Fields
| |
| RemovePackages | |
Fields
| |
| PerformRefactoring | |
Fields
| |
| Stop | |
| Disconnect | |
| ReLoad | |
Fields
| |
Instances
data ResponseMsg Source #
Constructors
| KeepAliveResponse | |
| ErrorMessage | |
| CompilationProblem | |
Fields
| |
| ModulesChanged | |
Fields
| |
| LoadedModules | |
Fields
| |
| Disconnected | |
Instances