ghcide-2.9.0.0: The core of an IDE

Safe Haskell | None
Language | GHC2021

Development.IDE.LSP.HoverDefinition

Contents

- For haskell-language-server

Description

Display information on hover.

Synopsis

- data Log
  - = LogWorkspaceSymbolRequest !Text
  - | LogRequest !Text !Position !NormalizedFilePath
- hover :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (Hover |? Null)
- gotoDefinition :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (MessageResult 'Method_TextDocumentDefinition)
- gotoTypeDefinition :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (MessageResult 'Method_TextDocumentTypeDefinition)
- documentHighlight :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) ([DocumentHighlight] |? Null)
- references :: Recorder (WithPriority Log) -> PluginMethodHandler IdeState 'Method_TextDocumentReferences
- wsSymbols :: Recorder (WithPriority Log) -> PluginMethodHandler IdeState 'Method_WorkspaceSymbol

# Documentation

data Log #

Constructors

LogWorkspaceSymbolRequest !Text |
LogRequest !Text !Position !NormalizedFilePath |

#### Instances

Instances details

Show Log # |
Instance details Defined in Development.IDE.LSP.HoverDefinition Methods showsPrec :: Int -> Log -> ShowS # show :: Log -> String # showList :: [Log] -> ShowS #
Pretty Log # |
Instance details Defined in Development.IDE.LSP.HoverDefinition Methods pretty :: Log -> Doc ann # prettyList :: [Log] -> Doc ann #

# For haskell-language-server

hover :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (Hover |? Null) #

gotoDefinition :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (MessageResult 'Method_TextDocumentDefinition) #

gotoTypeDefinition :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) (MessageResult 'Method_TextDocumentTypeDefinition) #

documentHighlight :: Recorder (WithPriority Log) -> IdeState -> TextDocumentPositionParams -> ExceptT PluginError (HandlerM c) ([DocumentHighlight] |? Null) #

references :: Recorder (WithPriority Log) -> PluginMethodHandler IdeState 'Method_TextDocumentReferences #

wsSymbols :: Recorder (WithPriority Log) -> PluginMethodHandler IdeState 'Method_WorkspaceSymbol #