+
+ where processor :: SessionProcessor ()
+ processor = awaitForever $ \msg -> do
+ processTextChanges msg
+ yield msg
+
+
+processTextChanges :: FromServerMessage -> SessionProcessor ()
+processTextChanges (ReqApplyWorkspaceEdit r) = do
+
+ allChangeParams <- case r ^. params . edit . documentChanges of
+ Just (List cs) -> do
+ mapM_ (checkIfNeedsOpened . (^. textDocument . uri)) cs
+ return $ map getParams cs
+ Nothing -> case r ^. params . edit . changes of
+ Just cs -> do
+ mapM_ checkIfNeedsOpened (HashMap.keys cs)
+ return $ concatMap (uncurry getChangeParams) (HashMap.toList cs)
+ Nothing -> error "No changes!"
+
+ oldVFS <- vfs <$> lift State.get
+ newVFS <- liftIO $ changeFromServerVFS oldVFS r
+ lift $ State.modify (\s -> s { vfs = newVFS })
+
+ let groupedParams = groupBy (\a b -> (a ^. textDocument == b ^. textDocument)) allChangeParams
+ mergedParams = map mergeParams groupedParams
+
+ ctx <- lift $ lift Reader.ask
+
+ -- TODO: Don't do this when replaying a session
+ forM_ mergedParams $ \p -> do
+ let h = serverIn ctx
+ msg = NotificationMessage "2.0" TextDocumentDidChange p
+ liftIO $ B.hPut h $ addHeader (encode msg)
+
+ where checkIfNeedsOpened uri = do
+ oldVFS <- vfs <$> lift State.get
+ ctx <- lift $ lift Reader.ask
+
+ -- if its not open, open it
+ unless (uri `Map.member` oldVFS) $ do
+ let fp = fromJust $ uriToFilePath uri
+ contents <- liftIO $ T.readFile fp
+ let item = TextDocumentItem (filePathToUri fp) "" 0 contents
+ msg = NotificationMessage "2.0" TextDocumentDidOpen (DidOpenTextDocumentParams item)
+ liftIO $ B.hPut (serverIn ctx) $ addHeader (encode msg)
+
+ oldVFS <- vfs <$> lift State.get
+ newVFS <- liftIO $ openVFS oldVFS msg
+ lift $ State.modify (\s -> s { vfs = newVFS })
+
+ getParams (TextDocumentEdit docId (List edits)) =
+ let changeEvents = map (\e -> TextDocumentContentChangeEvent (Just (e ^. range)) Nothing (e ^. newText)) edits
+ in DidChangeTextDocumentParams docId (List changeEvents)
+
+ textDocumentVersions uri = map (VersionedTextDocumentIdentifier uri) [0..]
+
+ textDocumentEdits uri edits = map (\(v, e) -> TextDocumentEdit v (List [e])) $ zip (textDocumentVersions uri) edits
+
+ getChangeParams uri (List edits) = map getParams (textDocumentEdits uri (reverse edits))
+
+ mergeParams :: [DidChangeTextDocumentParams] -> DidChangeTextDocumentParams
+ mergeParams params = let events = concat (toList (map (toList . (^. contentChanges)) params))
+ in DidChangeTextDocumentParams (head params ^. textDocument) (List events)
+processTextChanges _ = return ()