Language.Haskell.Tools.Demo

Synopsis

• type ClientId = Int
• data RefactorSessionState = RefactorSessionState {
  • _refSessMods :: Map (String, String, IsBoot) (UnnamedModule IdDom)
  • _actualMod :: Maybe (String, String, IsBoot)
  • _isDisconnecting :: Bool
  }
• refSessMods :: Lens RefactorSessionState RefactorSessionState (Map (String, String, IsBoot) (UnnamedModule IdDom)) (Map (String, String, IsBoot) (UnnamedModule IdDom))
• isDisconnecting :: Lens RefactorSessionState RefactorSessionState Bool Bool
• actualMod :: Lens RefactorSessionState RefactorSessionState (Maybe (String, String, IsBoot)) (Maybe (String, String, IsBoot))
• initSession :: RefactorSessionState
• runFromCLI :: IO ()
• runDemo :: [String] -> IO ()
• app :: MVar [Int] -> FilePath -> Application
• respondTo :: FilePath -> Int -> Session -> MVar RefactorSessionState -> (ByteString -> IO ()) -> ByteString -> IO ()
• updateClient :: FilePath -> ClientMessage -> StateT RefactorSessionState Ghc (Maybe ResponseMsg)
• createFileForModule :: FilePath -> String -> String -> IO ()
• removeDirectoryIfPresent :: FilePath -> IO ()
• moduleNameAndContent :: ((String, String, IsBoot), mod) -> (SourceFileKey, mod)
• dataDirs :: FilePath -> FilePath
• userDir :: FilePath -> ClientId -> FilePath
• initGhcSession :: FilePath -> IO Session
• handleErrors :: FilePath -> ClientMessage -> (ResponseMsg -> IO ()) -> IO () -> IO ()
• logToFile :: FilePath -> String -> ClientMessage -> IO ()
• data ClientMessage
  • = KeepAlive
  • | InitialProject {
    • initialModules :: [(String, String)]
    }
  • | PerformRefactoring {
    • refactoring :: String
    • moduleName :: String
    • editorSelection :: String
    • details :: [String]
    }
  • | ModuleChanged {
    • moduleName :: String
    • newContent :: String
    }
  • | ModuleDeleted {
    • moduleName :: String
    }
  • | Disconnect
• data ResponseMsg
  • = RefactorChanges {
    • moduleChanges :: [(String, Maybe String)]
    }
  • | ASTViewContent {
    • astContent :: String
    }
  • | ErrorMessage {
    • errorMsg :: String
    }
  • | CompilationProblem {
    • errorMsg :: String
    }
  • | Disconnected

Documentation