, getDefinitions
-- ** Renaming
, rename
+ -- ** Hover
+ , getHover
-- ** Edits
, applyEdit
) where
req = RequestMessage "" (IdInt 0) WorkspaceApplyEdit (ApplyWorkspaceEditParams wEdit)
updateState (ReqApplyWorkspaceEdit req)
+-- ^ Returns the hover information at the specified position.
+getHover :: TextDocumentIdentifier -> Position -> Session (Maybe Hover)
+getHover doc pos = do
+ let params = TextDocumentPositionParams doc pos
+ getResponseResult <$> sendRequest TextDocumentHover params
+
-- | Checks the response for errors and throws an exception if needed.
-- Returns the result if successful.
getResponseResult :: ResponseMessage a -> a