- putStrLn "Session ended"
-
-openDocument :: FilePath -> Session ()
-openDocument path = do
- text <- liftIO $ T.readFile path
-
- let uri = LSP.filePathToUri path
-
- client <- ask
- liftIO $ Client.sendClientNotification client LSP.TextDocumentDidOpen (Just (LSP.DidOpenTextDocumentParams (LSP.TextDocumentItem uri "haskell" 1 text)))
-
-documentSymbols :: FilePath -> Session (LSP.List LSP.SymbolInformation)
-documentSymbols path = do
- let uri = LSP.filePathToUri path
-
- client <- ask
-
- liftIO $ do
- res <- Client.sendClientRequest client
- (Proxy :: Proxy LSP.DocumentSymbolRequest)
- LSP.TextDocumentDocumentSymbol (LSP.DocumentSymbolParams (LSP.TextDocumentIdentifier uri))
- return $ case res of
- Just (Right syms) -> syms
- _ -> error "Failed to get document symbols"
-
-notificationHandler :: Client.NotificationMessageHandler
-notificationHandler = Client.NotificationMessageHandler
- (\(LSP.NotificationMessage _ _ (LSP.ShowMessageParams _ msg)) -> print msg)
- (\(LSP.NotificationMessage _ _ (LSP.LogMessageParams _ msg)) -> print msg)
- (\(LSP.NotificationMessage _ _ json) -> putStrLn $ "Telemetry: " ++ show json)
- (\(LSP.NotificationMessage _ _ (LSP.PublishDiagnosticsParams uri diags)) ->
- putStrLn $ "Diagnostics at " ++ showUri uri ++ ": " ++ showDiags diags)
-
- where showDiags :: LSP.List LSP.Diagnostic -> String
- showDiags (LSP.List diags) = unlines $ map (T.unpack . (^. LSP.message)) diags
- showUri :: LSP.Uri -> String
- showUri = fromMaybe "unknown path" . LSP.uriToFilePath
-
-
-
-requestHandler :: Client.RequestMessageHandler
-requestHandler = Client.RequestMessageHandler
- (\m -> emptyRsp m <$ print m)
- (\m -> emptyRsp m <$ print m)
- (\m -> emptyRsp m <$ print m)
- (\m -> emptyRsp m <$ print m)
- where emptyRsp :: LSP.RequestMessage m req rsp -> LSP.ResponseMessage a
- emptyRsp m = LSP.ResponseMessage (m ^. LSP.jsonrpc)
- (lspIdToRspId $ m ^. LSP.id)
- Nothing
- Nothing
-
- lspIdToRspId (LSP.IdInt i) = LSP.IdRspInt i
- lspIdToRspId (LSP.IdString i) = LSP.IdRspString i
+ return ()
+
+-- | Listens to the server output, makes sure it matches the record and
+-- signals any semaphores
+listenServer :: SessionContext -> IO ()
+listenServer context = do
+ msgBytes <- getNextMessage (serverOut context)
+
+ case decode msgBytes :: Maybe LogMessageNotification of
+ -- Just print log and show messages
+ Just (NotificationMessage _ WindowLogMessage (LogMessageParams _ msg)) -> T.putStrLn msg
+ _ -> case decode msgBytes :: Maybe ShowMessageNotification of
+ Just (NotificationMessage _ WindowShowMessage (ShowMessageParams _ msg)) -> T.putStrLn msg
+ -- Give everything else for getMessage to handle
+ _ -> putMVar (messageSema context) msgBytes
+
+ listenServer context
+
+-- | Sends a request to the server.
+sendRequest
+ :: forall params resp. (ToJSON params, ToJSON resp, FromJSON resp)
+ => Proxy (RequestMessage ClientMethod params resp)
+ -> ClientMethod
+ -> params
+ -> Session LspId
+sendRequest _ method params = do
+ h <- serverIn <$> lift ask
+
+ id <- curReqId <$> get
+ get >>= \c -> put c { curReqId = nextId id }
+
+ let msg = RequestMessage "2.0" id method params :: RequestMessage ClientMethod params resp
+
+ liftIO $ B.hPut h $ addHeader (encode msg)
+
+ return id
+
+ where nextId (IdInt i) = IdInt (i + 1)
+ nextId (IdString s) = IdString $ T.pack $ show $ read (T.unpack s) + 1
+
+-- | Sends a notification to the server.
+sendNotification :: ToJSON a => ClientMethod -> a -> Session ()
+sendNotification method params = do
+ h <- serverIn <$> lift ask
+
+ let msg = NotificationMessage "2.0" method params
+ liftIO $ B.hPut h $ addHeader (encode msg)
+
+-- | Reads in a message from the server.
+getMessage :: FromJSON a => Session a
+getMessage = do
+ sema <- messageSema <$> lift ask
+ bytes <- liftIO $ takeMVar sema
+ return $ fromMaybe (error $ "Wrong type! Got: " ++ show bytes) (decode bytes)
+
+-- | Reads in a text document as the first version.
+getDocItem :: FilePath
+ -- ^ The path to the text document to read in.
+ -> String
+ -- ^ The language ID, e.g "haskell" for .hs files.
+ -> Session TextDocumentItem
+getDocItem file languageId = do
+ context <- lift ask
+ let fp = rootDir context </> file
+ contents <- liftIO $ T.readFile fp
+ return $ TextDocumentItem (filePathToUri fp) (T.pack languageId) 0 contents
+
+-- | Gets the Uri for the file corrected to the session directory.
+getDocUri :: FilePath -> Session Uri
+getDocUri file = do
+ context <- lift ask
+ let fp = rootDir context </> file
+ return $ filePathToUri fp
\ No newline at end of file