| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.LSP.TH.DataTypesJSON
- newtype List a = List [a]
- newtype Uri = Uri {}
- fileScheme :: String
- windowsOS :: String
- type SystemOS = String
- uriToFilePath :: Uri -> Maybe FilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAdjustFromUriPath :: SystemOS -> String -> FilePath
- filePathToUri :: FilePath -> Uri
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- platformAdjustToUriPath :: SystemOS -> FilePath -> String
- data LspId
- data LspIdRsp
- responseId :: LspId -> LspIdRsp
- data ClientMethod
- = Initialize
- | Initialized
- | Shutdown
- | Exit
- | CancelRequest
- | WorkspaceDidChangeConfiguration
- | WorkspaceDidChangeWatchedFiles
- | WorkspaceSymbol
- | WorkspaceExecuteCommand
- | TextDocumentDidOpen
- | TextDocumentDidChange
- | TextDocumentWillSave
- | TextDocumentWillSaveWaitUntil
- | TextDocumentDidSave
- | TextDocumentDidClose
- | TextDocumentCompletion
- | CompletionItemResolve
- | TextDocumentHover
- | TextDocumentSignatureHelp
- | TextDocumentReferences
- | TextDocumentDocumentHighlight
- | TextDocumentDocumentSymbol
- | TextDocumentFormatting
- | TextDocumentRangeFormatting
- | TextDocumentOnTypeFormatting
- | TextDocumentDefinition
- | TextDocumentCodeAction
- | TextDocumentCodeLens
- | CodeLensResolve
- | TextDocumentDocumentLink
- | DocumentLinkResolve
- | TextDocumentRename
- | Misc Text
- data ServerMethod
- data RequestMessage m req resp = RequestMessage {}
- class HasId s a | s -> a where
- class HasJsonrpc s a | s -> a where
- class HasMethod s a | s -> a where
- class HasParams s a | s -> a where
- data ErrorCode
- data ResponseError = ResponseError {}
- class HasCode s a | s -> a where
- class HasMessage s a | s -> a where
- class HasXdata s a | s -> a where
- data ResponseMessage a = ResponseMessage {}
- class HasError s a | s -> a where
- class HasResult s a | s -> a where
- type ErrorResponse = ResponseMessage ()
- type BareResponseMessage = ResponseMessage Value
- data NotificationMessage m a = NotificationMessage {}
- data CancelParams = CancelParams {}
- type CancelNotification = NotificationMessage ClientMethod CancelParams
- data Position = Position {
- _line :: Int
- _character :: Int
- class HasCharacter s a | s -> a where
- class HasLine s a | s -> a where
- data Range = Range {}
- class HasEnd s a | s -> a where
- class HasStart s a | s -> a where
- data Location = Location {}
- class HasRange s a | s -> a where
- class HasUri s a | s -> a where
- data DiagnosticSeverity
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- class HasLocation s a | s -> a where
- type DiagnosticSource = Text
- data Diagnostic = Diagnostic {}
- class HasRelatedInformation s a | s -> a where
- class HasSeverity s a | s -> a where
- class HasSource s a | s -> a where
- data Command = Command {}
- class HasArguments s a | s -> a where
- class HasCommand s a | s -> a where
- class HasTitle s a | s -> a where
- data TextEdit = TextEdit {}
- class HasNewText s a | s -> a where
- type TextDocumentVersion = Int
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- class HasVersion s a | s -> a where
- data TextDocumentEdit = TextDocumentEdit {}
- class HasEdits s a | s -> a where
- class HasTextDocument s a | s -> a where
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
- class HasChanges s a | s -> a where
- class HasDocumentChanges s a | s -> a where
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {}
- class HasLanguageId s a | s -> a where
- class HasText s a | s -> a where
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- class HasPosition s a | s -> a where
- data DocumentFilter = DocumentFilter {}
- class HasLanguage s a | s -> a where
- class HasPattern s a | s -> a where
- class HasScheme s a | s -> a where
- type DocumentSelector = List DocumentFilter
- data Trace
- data InitializeParams = InitializeParams {}
- class HasCapabilities s a | s -> a where
- class HasInitializationOptions s a | s -> a where
- class HasProcessId s a | s -> a where
- class HasRootPath s a | s -> a where
- class HasRootUri s a | s -> a where
- class HasTrace s a | s -> a where
- data InitializeError = InitializeError {}
- class HasRetry s a | s -> a where
- data TextDocumentSyncKind
- data CompletionOptions = CompletionOptions {}
- class HasResolveProvider s a | s -> a where
- class HasTriggerCharacters s a | s -> a where
- data SignatureHelpOptions = SignatureHelpOptions {}
- data CodeLensOptions = CodeLensOptions {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- class HasFirstTriggerCharacter s a | s -> a where
- class HasMoreTriggerCharacter s a | s -> a where
- data DocumentLinkOptions = DocumentLinkOptions {}
- data ExecuteCommandOptions = ExecuteCommandOptions {}
- class HasCommands s a | s -> a where
- data SaveOptions = SaveOptions {}
- class HasIncludeText s a | s -> a where
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- class HasChange s a | s -> a where
- class HasOpenClose s a | s -> a where
- class HasSave s a | s -> a where
- class HasWillSave s a | s -> a where
- class HasWillSaveWaitUntil s a | s -> a where
- data InitializeResponseCapabilitiesInner = InitializeResponseCapabilitiesInner {
- _textDocumentSync :: Maybe TextDocumentSyncOptions
- _hoverProvider :: Maybe Bool
- _completionProvider :: Maybe CompletionOptions
- _signatureHelpProvider :: Maybe SignatureHelpOptions
- _definitionProvider :: Maybe Bool
- _referencesProvider :: Maybe Bool
- _documentHighlightProvider :: Maybe Bool
- _documentSymbolProvider :: Maybe Bool
- _workspaceSymbolProvider :: Maybe Bool
- _codeActionProvider :: Maybe Bool
- _codeLensProvider :: Maybe CodeLensOptions
- _documentFormattingProvider :: Maybe Bool
- _documentRangeFormattingProvider :: Maybe Bool
- _documentOnTypeFormattingProvider :: Maybe DocumentOnTypeFormattingOptions
- _renameProvider :: Maybe Bool
- _documentLinkProvider :: Maybe DocumentLinkOptions
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _experimental :: Maybe Value
- class HasCodeActionProvider s a | s -> a where
- class HasCodeLensProvider s a | s -> a where
- class HasCompletionProvider s a | s -> a where
- class HasDefinitionProvider s a | s -> a where
- class HasDocumentFormattingProvider s a | s -> a where
- class HasDocumentHighlightProvider s a | s -> a where
- class HasDocumentLinkProvider s a | s -> a where
- class HasDocumentOnTypeFormattingProvider s a | s -> a where
- class HasDocumentRangeFormattingProvider s a | s -> a where
- class HasDocumentSymbolProvider s a | s -> a where
- class HasExecuteCommandProvider s a | s -> a where
- class HasExperimental s a | s -> a where
- class HasHoverProvider s a | s -> a where
- class HasReferencesProvider s a | s -> a where
- class HasRenameProvider s a | s -> a where
- class HasSignatureHelpProvider s a | s -> a where
- class HasTextDocumentSync s a | s -> a where
- class HasWorkspaceSymbolProvider s a | s -> a where
- data InitializeResponseCapabilities = InitializeResponseCapabilities {}
- type InitializeResponse = ResponseMessage InitializeResponseCapabilities
- type InitializeRequest = RequestMessage ClientMethod InitializeParams InitializeResponseCapabilities
- data InitializedParams = InitializedParams {
- type InitializedNotification = NotificationMessage ClientMethod (Maybe InitializedParams)
- type ShutdownRequest = RequestMessage ClientMethod (Maybe Value) Text
- type ShutdownResponse = ResponseMessage Text
- data ExitParams = ExitParams {
- type ExitNotification = NotificationMessage ClientMethod (Maybe ExitParams)
- data MessageType
- data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
- class HasXtype s a | s -> a where
- type ShowMessageNotification = NotificationMessage ServerMethod ShowMessageParams
- data MessageActionItem = MessageActionItem {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- class HasActions s a | s -> a where
- type ShowMessageRequest = RequestMessage ServerMethod ShowMessageRequestParams Text
- type ShowMessageResponse = ResponseMessage Text
- data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
- type LogMessageNotification = NotificationMessage ServerMethod LogMessageParams
- type TelemetryNotification = NotificationMessage ServerMethod Value
- data Registration = Registration {
- _id :: Text
- _method :: ClientMethod
- _registerOptions :: Maybe Value
- class HasRegisterOptions s a | s -> a where
- data RegistrationParams = RegistrationParams {}
- class HasRegistrations s a | s -> a where
- type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams ()
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- class HasDocumentSelector s a | s -> a where
- data Unregistration = Unregistration {}
- data UnregistrationParams = UnregistrationParams {}
- class HasUnregistrations s a | s -> a where
- type UnregisterCapabilityRequest = RequestMessage ServerMethod UnregistrationParams ()
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- class HasSettings s a | s -> a where
- type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams
- data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {}
- class HasRangeLength s a | s -> a where
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- class HasContentChanges s a | s -> a where
- type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- class HasSyncKind s a | s -> a where
- data TextDocumentSaveReason
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- class HasReason s a | s -> a where
- type WillSaveTextDocumentNotification = NotificationMessage ClientMethod WillSaveTextDocumentParams
- type WillSaveWaitUntilTextDocumentRequest = RequestMessage ClientMethod WillSaveTextDocumentParams (List TextEdit)
- type WillSaveWaitUntilTextDocumentResponse = ResponseMessage (List TextEdit)
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams
- data FileChangeType
- data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- type DidChangeWatchedFilesNotification = NotificationMessage ClientMethod DidChangeWatchedFilesParams
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _diagnostics :: List Diagnostic
- class HasDiagnostics s a | s -> a where
- type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams
- data InsertTextFormat
- data CompletionItemKind
- data CompletionItem = CompletionItem {
- _label :: Text
- _kind :: Maybe CompletionItemKind
- _detail :: Maybe Text
- _documentation :: Maybe Text
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _textEdit :: Maybe TextEdit
- _additionalTextEdits :: Maybe (List TextEdit)
- _command :: Maybe Command
- _xdata :: Maybe Value
- class HasAdditionalTextEdits s a | s -> a where
- class HasDetail s a | s -> a where
- class HasDocumentation s a | s -> a where
- class HasFilterText s a | s -> a where
- class HasInsertText s a | s -> a where
- class HasInsertTextFormat s a | s -> a where
- class HasKind s a | s -> a where
- class HasLabel s a | s -> a where
- class HasSortText s a | s -> a where
- class HasTextEdit s a | s -> a where
- data CompletionListType = CompletionListType {}
- class HasIsIncomplete s a | s -> a where
- class HasItems s a | s -> a where
- data CompletionResponseResult
- type CompletionResponse = ResponseMessage CompletionResponseResult
- type CompletionRequest = RequestMessage ClientMethod TextDocumentPositionParams CompletionResponseResult
- data CompletionRegistrationOptions = CompletionRegistrationOptions {}
- type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem
- type CompletionItemResolveResponse = ResponseMessage CompletionItem
- data LanguageString = LanguageString {}
- class HasValue s a | s -> a where
- data MarkedString
- data Hover = Hover {}
- class HasContents s a | s -> a where
- type HoverRequest = RequestMessage ClientMethod TextDocumentPositionParams Hover
- type HoverResponse = ResponseMessage Hover
- data ParameterInformation = ParameterInformation {
- _label :: Text
- _documentation :: Maybe Text
- data SignatureInformation = SignatureInformation {}
- class HasParameters s a | s -> a where
- data SignatureHelp = SignatureHelp {}
- class HasActiveParameter s a | s -> a where
- class HasActiveSignature s a | s -> a where
- class HasSignatures s a | s -> a where
- type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp
- type SignatureHelpResponse = ResponseMessage SignatureHelp
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- data DefinitionResponseParams
- type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams DefinitionResponseParams
- type DefinitionResponse = ResponseMessage DefinitionResponseParams
- data ReferenceContext = ReferenceContext {}
- class HasIncludeDeclaration s a | s -> a where
- data ReferenceParams = ReferenceParams {}
- class HasContext s a | s -> a where
- type ReferencesRequest = RequestMessage ClientMethod ReferenceParams (List Location)
- type ReferencesResponse = ResponseMessage (List Location)
- data DocumentHighlightKind
- data DocumentHighlight = DocumentHighlight {}
- type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight)
- type DocumentHighlightsResponse = ResponseMessage (List DocumentHighlight)
- data DocumentSymbolParams = DocumentSymbolParams {}
- data SymbolKind
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _location :: Location
- _containerName :: Maybe Text
- class HasContainerName s a | s -> a where
- class HasName s a | s -> a where
- type DocumentSymbolRequest = RequestMessage ClientMethod DocumentSymbolParams (List SymbolInformation)
- type DocumentSymbolsResponse = ResponseMessage (List SymbolInformation)
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
- class HasQuery s a | s -> a where
- type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation)
- type WorkspaceSymbolsResponse = ResponseMessage (List SymbolInformation)
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- type CodeActionRequest = RequestMessage ClientMethod CodeActionParams (List Command)
- type CodeActionResponse = ResponseMessage (List Command)
- data CodeLensParams = CodeLensParams {}
- data CodeLens = CodeLens {}
- type CodeLensRequest = RequestMessage ClientMethod CodeLensParams (List CodeLens)
- type CodeLensResponse = ResponseMessage (List CodeLens)
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- type CodeLensResolveRequest = RequestMessage ClientMethod CodeLens (List CodeLens)
- type CodeLensResolveResponse = ResponseMessage (List CodeLens)
- data DocumentLinkParams = DocumentLinkParams {}
- data DocumentLink = DocumentLink {}
- class HasTarget s a | s -> a where
- type DocumentLinkRequest = RequestMessage ClientMethod DocumentLinkParams (List DocumentLink)
- type DocumentLinkResponse = ResponseMessage (List DocumentLink)
- type DocumentLinkResolveRequest = RequestMessage ClientMethod DocumentLink DocumentLink
- type DocumentLinkResolveResponse = ResponseMessage DocumentLink
- data FormattingOptions = FormattingOptions {
- _tabSize :: Int
- _insertSpaces :: Bool
- class HasInsertSpaces s a | s -> a where
- class HasTabSize s a | s -> a where
- data DocumentFormattingParams = DocumentFormattingParams {}
- class HasOptions s a | s -> a where
- type DocumentFormattingRequest = RequestMessage ClientMethod DocumentFormattingParams (List TextEdit)
- type DocumentFormattingResponse = ResponseMessage (List TextEdit)
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- type DocumentRangeFormattingRequest = RequestMessage ClientMethod DocumentRangeFormattingParams (List TextEdit)
- type DocumentRangeFormattingResponse = ResponseMessage (List TextEdit)
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- class HasCh s a | s -> a where
- type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit)
- type DocumentOnTypeFormattingResponse = ResponseMessage (List TextEdit)
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data RenameParams = RenameParams {}
- class HasNewName s a | s -> a where
- type RenameRequest = RequestMessage ClientMethod RenameParams WorkspaceEdit
- type RenameResponse = ResponseMessage WorkspaceEdit
- data ExecuteCommandParams = ExecuteCommandParams {}
- type ExecuteCommandRequest = RequestMessage ClientMethod ExecuteCommandParams Value
- type ExecuteCommandResponse = ResponseMessage Value
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {}
- class HasEdit s a | s -> a where
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {}
- class HasApplied s a | s -> a where
- type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody
- type ApplyWorkspaceEditResponse = ResponseMessage ApplyWorkspaceEditResponseBody
- data TraceParams = TraceParams {}
- data TraceNotification = TraceNotification {}
Documentation
This data type is used to host a FromJSON instance for the encoding used by elisp, where an empty list shows up as "null"
Constructors
| List [a] |
Instances
Instances
fileScheme :: String Source #
filePathToUri :: FilePath -> Uri Source #
Id used for a request, Can be either a String or an Int
Id used for a response, Can be either a String or an Int, or Null. If a request doesn't provide a result value the receiver of a request still needs to return a response message to conform to the JSON RPC specification. The result property of the ResponseMessage should be set to null in this case to signal a successful request.
Constructors
| IdRspInt Int | |
| IdRspString Text | |
| IdRspNull |
responseId :: LspId -> LspIdRsp Source #
data ClientMethod Source #
Constructors
data ServerMethod Source #
data RequestMessage m req resp Source #
Instances
| (Eq req, Eq m) => Eq (RequestMessage m req resp) Source # | |
| (Read req, Read m) => Read (RequestMessage m req resp) Source # | |
| (Show req, Show m) => Show (RequestMessage m req resp) Source # | |
| (ToJSON m, ToJSON req, ToJSON resp) => ToJSON (RequestMessage m req resp) Source # | |
| (FromJSON m, FromJSON req, FromJSON resp) => FromJSON (RequestMessage m req resp) Source # | |
| HasParams (RequestMessage m req resp) req Source # | |
| HasMethod (RequestMessage m req resp) m Source # | |
| HasJsonrpc (RequestMessage m req resp) Text Source # | |
| HasId (RequestMessage m req resp) LspId Source # | |
class HasId s a | s -> a where Source #
Minimal complete definition
Instances
| HasId CancelParams LspId Source # | |
| HasId Registration Text Source # | |
| HasId Unregistration Text Source # | |
| HasId (ResponseMessage a) LspIdRsp Source # | |
| HasId (RequestMessage m req resp) LspId Source # | |
class HasJsonrpc s a | s -> a where Source #
Minimal complete definition
Instances
| HasJsonrpc (ResponseMessage a) Text Source # | |
| HasJsonrpc (NotificationMessage m a) Text Source # | |
| HasJsonrpc (RequestMessage m req resp) Text Source # | |
class HasMethod s a | s -> a where Source #
Minimal complete definition
Instances
| HasMethod Registration ClientMethod Source # | |
| HasMethod Unregistration Text Source # | |
| HasMethod (NotificationMessage m a) m Source # | |
| HasMethod (RequestMessage m req resp) m Source # | |
class HasParams s a | s -> a where Source #
Minimal complete definition
Instances
| HasParams TraceNotification TraceParams Source # | |
| HasParams (NotificationMessage m a) a Source # | |
| HasParams (RequestMessage m req resp) req Source # | |
Constructors
| ParseError | |
| InvalidRequest | |
| MethodNotFound | |
| InvalidParams | |
| InternalError | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
class HasMessage s a | s -> a where Source #
Minimal complete definition
data ResponseMessage a Source #
Constructors
| ResponseMessage | |
Instances
| Eq a => Eq (ResponseMessage a) Source # | |
| Read a => Read (ResponseMessage a) Source # | |
| Show a => Show (ResponseMessage a) Source # | |
| ToJSON a => ToJSON (ResponseMessage a) Source # | |
| FromJSON a => FromJSON (ResponseMessage a) Source # | |
| HasJsonrpc (ResponseMessage a) Text Source # | |
| HasId (ResponseMessage a) LspIdRsp Source # | |
| HasResult (ResponseMessage a) (Maybe a) Source # | |
| HasError (ResponseMessage a) (Maybe ResponseError) Source # | |
class HasResult s a | s -> a where Source #
Minimal complete definition
Instances
| HasResult (ResponseMessage a) (Maybe a) Source # | |
type ErrorResponse = ResponseMessage () Source #
data NotificationMessage m a Source #
Constructors
| NotificationMessage | |
Instances
| (Eq a, Eq m) => Eq (NotificationMessage m a) Source # | |
| (Read a, Read m) => Read (NotificationMessage m a) Source # | |
| (Show a, Show m) => Show (NotificationMessage m a) Source # | |
| (ToJSON m, ToJSON a) => ToJSON (NotificationMessage m a) Source # | |
| (FromJSON m, FromJSON a) => FromJSON (NotificationMessage m a) Source # | |
| HasParams (NotificationMessage m a) a Source # | |
| HasMethod (NotificationMessage m a) m Source # | |
| HasJsonrpc (NotificationMessage m a) Text Source # | |
data CancelParams Source #
Constructors
| CancelParams | |
Constructors
| Position | |
Fields
| |
Instances
Instances
Instances
class HasRange s a | s -> a where Source #
Minimal complete definition
Instances
data DiagnosticSeverity Source #
data DiagnosticRelatedInformation Source #
Constructors
| DiagnosticRelatedInformation | |
Instances
class HasLocation s a | s -> a where Source #
Minimal complete definition
type DiagnosticSource = Text Source #
data Diagnostic Source #
Constructors
| Diagnostic | |
Fields | |
Instances
class HasRelatedInformation s a | s -> a where Source #
Minimal complete definition
Methods
relatedInformation :: Lens' s a Source #
Instances
Instances
class HasCommand s a | s -> a where Source #
Minimal complete definition
Instances
type TextDocumentVersion = Int Source #
data VersionedTextDocumentIdentifier Source #
Constructors
| VersionedTextDocumentIdentifier | |
Fields
| |
Instances
class HasVersion s a | s -> a where Source #
Minimal complete definition
data TextDocumentEdit Source #
Constructors
| TextDocumentEdit | |
Fields | |
Instances
class HasTextDocument s a | s -> a where Source #
Minimal complete definition
Methods
textDocument :: Lens' s a Source #
Instances
data WorkspaceEdit Source #
Constructors
| WorkspaceEdit | |
Fields | |
Instances
class HasChanges s a | s -> a where Source #
Minimal complete definition
class HasDocumentChanges s a | s -> a where Source #
Minimal complete definition
Methods
documentChanges :: Lens' s a Source #
Instances
data TextDocumentIdentifier Source #
Constructors
| TextDocumentIdentifier | |
Instances
data TextDocumentItem Source #
Constructors
| TextDocumentItem | |
Instances
class HasLanguageId s a | s -> a where Source #
Minimal complete definition
Methods
languageId :: Lens' s a Source #
Instances
data TextDocumentPositionParams Source #
Constructors
| TextDocumentPositionParams | |
Fields | |
Instances
class HasPosition s a | s -> a where Source #
Minimal complete definition
data DocumentFilter Source #
Instances
type DocumentSelector = List DocumentFilter Source #
Constructors
| TraceOff | |
| TraceMessages | |
| TraceVerbose |
data InitializeParams Source #
Constructors
| InitializeParams | |
Fields
| |
Instances
class HasCapabilities s a | s -> a where Source #
Minimal complete definition
Methods
capabilities :: Lens' s a Source #
class HasInitializationOptions s a | s -> a where Source #
Minimal complete definition
Methods
initializationOptions :: Lens' s a Source #
Instances
data InitializeError Source #
Constructors
| InitializeError | |
Instances
| Eq InitializeError Source # | |
| Read InitializeError Source # | |
| Show InitializeError Source # | |
| ToJSON InitializeError Source # | |
| FromJSON InitializeError Source # | |
| HasRetry InitializeError Bool Source # | Note: Omitting this parameter from the capabilities is effectively a fourth state, where DidSave events are generated without sending document contents. |
class HasRetry s a | s -> a where Source #
Minimal complete definition
Instances
| HasRetry InitializeError Bool Source # | Note: Omitting this parameter from the capabilities is effectively a fourth state, where DidSave events are generated without sending document contents. |
data TextDocumentSyncKind Source #
Constructors
| TdSyncNone | |
| TdSyncFull | |
| TdSyncIncremental |
Instances
data CompletionOptions Source #
Constructors
| CompletionOptions | |
Fields | |
Instances
class HasResolveProvider s a | s -> a where Source #
Minimal complete definition
Methods
resolveProvider :: Lens' s a Source #
Instances
class HasTriggerCharacters s a | s -> a where Source #
Minimal complete definition
Methods
triggerCharacters :: Lens' s a Source #
Instances
data SignatureHelpOptions Source #
Constructors
| SignatureHelpOptions | |
Fields | |
Instances
data DocumentOnTypeFormattingOptions Source #
Constructors
| DocumentOnTypeFormattingOptions | |
Fields | |
Instances
class HasFirstTriggerCharacter s a | s -> a where Source #
Minimal complete definition
Methods
firstTriggerCharacter :: Lens' s a Source #
class HasMoreTriggerCharacter s a | s -> a where Source #
Minimal complete definition
Methods
moreTriggerCharacter :: Lens' s a Source #
Instances
data DocumentLinkOptions Source #
Constructors
| DocumentLinkOptions | |
Fields
| |
Instances
data ExecuteCommandOptions Source #
Constructors
| ExecuteCommandOptions | |
Instances
class HasCommands s a | s -> a where Source #
Minimal complete definition
data SaveOptions Source #
Constructors
| SaveOptions | |
Fields
| |
class HasIncludeText s a | s -> a where Source #
Minimal complete definition
Methods
includeText :: Lens' s a Source #
Instances
data TextDocumentSyncOptions Source #
Constructors
| TextDocumentSyncOptions | |
Fields
| |
Instances
class HasWillSaveWaitUntil s a | s -> a where Source #
Minimal complete definition
Methods
willSaveWaitUntil :: Lens' s a Source #
Instances
data InitializeResponseCapabilitiesInner Source #
Constructors
Instances
class HasCodeActionProvider s a | s -> a where Source #
Minimal complete definition
Methods
codeActionProvider :: Lens' s a Source #
class HasCodeLensProvider s a | s -> a where Source #
Minimal complete definition
Methods
codeLensProvider :: Lens' s a Source #
class HasCompletionProvider s a | s -> a where Source #
Minimal complete definition
Methods
completionProvider :: Lens' s a Source #
class HasDefinitionProvider s a | s -> a where Source #
Minimal complete definition
Methods
definitionProvider :: Lens' s a Source #
class HasDocumentFormattingProvider s a | s -> a where Source #
Minimal complete definition
Methods
documentFormattingProvider :: Lens' s a Source #
class HasDocumentHighlightProvider s a | s -> a where Source #
Minimal complete definition
Methods
documentHighlightProvider :: Lens' s a Source #
class HasDocumentLinkProvider s a | s -> a where Source #
Minimal complete definition
Methods
documentLinkProvider :: Lens' s a Source #
class HasDocumentOnTypeFormattingProvider s a | s -> a where Source #
Minimal complete definition
Methods
class HasDocumentRangeFormattingProvider s a | s -> a where Source #
Minimal complete definition
Methods
class HasDocumentSymbolProvider s a | s -> a where Source #
Minimal complete definition
Methods
documentSymbolProvider :: Lens' s a Source #
class HasExecuteCommandProvider s a | s -> a where Source #
Minimal complete definition
Methods
executeCommandProvider :: Lens' s a Source #
class HasExperimental s a | s -> a where Source #
Minimal complete definition
Methods
experimental :: Lens' s a Source #
Instances
class HasHoverProvider s a | s -> a where Source #
Minimal complete definition
Methods
hoverProvider :: Lens' s a Source #
Instances
class HasReferencesProvider s a | s -> a where Source #
Minimal complete definition
Methods
referencesProvider :: Lens' s a Source #
class HasRenameProvider s a | s -> a where Source #
Minimal complete definition
Methods
renameProvider :: Lens' s a Source #
Instances
class HasSignatureHelpProvider s a | s -> a where Source #
Minimal complete definition
Methods
signatureHelpProvider :: Lens' s a Source #
class HasTextDocumentSync s a | s -> a where Source #
Minimal complete definition
Methods
textDocumentSync :: Lens' s a Source #
class HasWorkspaceSymbolProvider s a | s -> a where Source #
Minimal complete definition
Methods
workspaceSymbolProvider :: Lens' s a Source #
data InitializeResponseCapabilities Source #
Information about the capabilities of a language server
Constructors
| InitializeResponseCapabilities | |
Instances
type InitializeRequest = RequestMessage ClientMethod InitializeParams InitializeResponseCapabilities Source #
data InitializedParams Source #
Constructors
| InitializedParams | |
type ShutdownRequest = RequestMessage ClientMethod (Maybe Value) Text Source #
type ShutdownResponse = ResponseMessage Text Source #
data ExitParams Source #
Notification from the server to actually exit now, after shutdown acked
Constructors
| ExitParams | |
Instances
data MessageType Source #
Instances
data ShowMessageParams Source #
Constructors
| ShowMessageParams | |
Fields
| |
data MessageActionItem Source #
Constructors
| MessageActionItem | |
data ShowMessageRequestParams Source #
Constructors
| ShowMessageRequestParams | |
Fields
| |
Instances
data LogMessageParams Source #
Constructors
| LogMessageParams | |
Fields
| |
data Registration Source #
Constructors
| Registration | |
Fields
| |
Instances
class HasRegisterOptions s a | s -> a where Source #
Minimal complete definition
Methods
registerOptions :: Lens' s a Source #
Instances
data RegistrationParams Source #
Constructors
| RegistrationParams | |
Fields | |
class HasRegistrations s a | s -> a where Source #
Minimal complete definition
Methods
registrations :: Lens' s a Source #
Instances
type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams () Source #
Note: originates at the server
data TextDocumentRegistrationOptions Source #
Constructors
| TextDocumentRegistrationOptions | |
Fields | |
Instances
class HasDocumentSelector s a | s -> a where Source #
Minimal complete definition
Methods
documentSelector :: Lens' s a Source #
Instances
data UnregistrationParams Source #
Constructors
| UnregistrationParams | |
Fields | |
class HasUnregistrations s a | s -> a where Source #
Minimal complete definition
Methods
unregistrations :: Lens' s a Source #
Instances
data DidChangeConfigurationParams Source #
Constructors
| DidChangeConfigurationParams | |
type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams Source #
data DidOpenTextDocumentParams Source #
Constructors
| DidOpenTextDocumentParams | |
Fields | |
type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams Source #
data TextDocumentContentChangeEvent Source #
Constructors
| TextDocumentContentChangeEvent | |
Instances
class HasRangeLength s a | s -> a where Source #
Minimal complete definition
Methods
rangeLength :: Lens' s a Source #
Instances
data DidChangeTextDocumentParams Source #
Constructors
| DidChangeTextDocumentParams | |
Instances
class HasContentChanges s a | s -> a where Source #
Minimal complete definition
Methods
contentChanges :: Lens' s a Source #
type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams Source #
data TextDocumentChangeRegistrationOptions Source #
Constructors
| TextDocumentChangeRegistrationOptions | |
Instances
class HasSyncKind s a | s -> a where Source #
Minimal complete definition
data TextDocumentSaveReason Source #
Constructors
| SaveManual | Manually triggered, e.g. by the user pressing save, by starting debugging, or by an API call. |
| SaveAfterDelay | Automatic after a delay |
| SaveFocusOut | When the editor lost focus |
data WillSaveTextDocumentParams Source #
Constructors
| WillSaveTextDocumentParams | |
Instances
type WillSaveTextDocumentNotification = NotificationMessage ClientMethod WillSaveTextDocumentParams Source #
type WillSaveWaitUntilTextDocumentRequest = RequestMessage ClientMethod WillSaveTextDocumentParams (List TextEdit) Source #
data DidSaveTextDocumentParams Source #
Constructors
| DidSaveTextDocumentParams | |
Fields | |
type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams Source #
data DidCloseTextDocumentParams Source #
Constructors
| DidCloseTextDocumentParams | |
Fields | |
type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams Source #
data FileChangeType Source #
Constructors
| FileEvent | |
Fields
| |
data DidChangeWatchedFilesParams Source #
Constructors
| DidChangeWatchedFilesParams | |
type DidChangeWatchedFilesNotification = NotificationMessage ClientMethod DidChangeWatchedFilesParams Source #
data PublishDiagnosticsParams Source #
Constructors
| PublishDiagnosticsParams | |
Fields
| |
Instances
class HasDiagnostics s a | s -> a where Source #
Minimal complete definition
Methods
diagnostics :: Lens' s a Source #
type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams Source #
data InsertTextFormat Source #
Constructors
| PlainText | The primary text to be inserted is treated as a plain string. |
| Snippet | The primary text to be inserted is treated as a snippet. A snippet can define tab stops and placeholders with `$1`, `$2` and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end of the snippet. Placeholders with equal identifiers are linked, that is typing in one will update others too. See also: https://github.com/Microsoft/vscode/blob/master/src/vs/editor/contrib/snippet/common/snippet.md |
data CompletionItemKind Source #
data CompletionItem Source #
Constructors
| CompletionItem | |
Fields
| |
Instances
class HasAdditionalTextEdits s a | s -> a where Source #
Minimal complete definition
Methods
additionalTextEdits :: Lens' s a Source #
Instances
class HasDocumentation s a | s -> a where Source #
Minimal complete definition
Methods
documentation :: Lens' s a Source #
class HasFilterText s a | s -> a where Source #
Minimal complete definition
Methods
filterText :: Lens' s a Source #
Instances
class HasInsertText s a | s -> a where Source #
Minimal complete definition
Methods
insertText :: Lens' s a Source #
Instances
class HasInsertTextFormat s a | s -> a where Source #
Minimal complete definition
Methods
insertTextFormat :: Lens' s a Source #
Instances
data CompletionListType Source #
Constructors
| CompletionListType | |
Fields | |
class HasIsIncomplete s a | s -> a where Source #
Minimal complete definition
Methods
isIncomplete :: Lens' s a Source #
Instances
data CompletionResponseResult Source #
Constructors
| CompletionList CompletionListType | |
| Completions (List CompletionItem) |
type CompletionRequest = RequestMessage ClientMethod TextDocumentPositionParams CompletionResponseResult Source #
data CompletionRegistrationOptions Source #
Constructors
| CompletionRegistrationOptions | |
Fields | |
Instances
type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem Source #
data LanguageString Source #
Constructors
| LanguageString | |
data MarkedString Source #
Constructors
| PlainString Text | |
| CodeString LanguageString |
type HoverResponse = ResponseMessage Hover Source #
data ParameterInformation Source #
Constructors
| ParameterInformation | |
Fields
| |
Instances
data SignatureInformation Source #
Constructors
| SignatureInformation | |
Fields
| |
Instances
class HasParameters s a | s -> a where Source #
Minimal complete definition
Methods
parameters :: Lens' s a Source #
Instances
data SignatureHelp Source #
Constructors
| SignatureHelp | |
Fields
| |
Instances
class HasActiveParameter s a | s -> a where Source #
Minimal complete definition
Methods
activeParameter :: Lens' s a Source #
Instances
class HasActiveSignature s a | s -> a where Source #
Minimal complete definition
Methods
activeSignature :: Lens' s a Source #
Instances
class HasSignatures s a | s -> a where Source #
Minimal complete definition
Methods
signatures :: Lens' s a Source #
Instances
type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp Source #
data SignatureHelpRegistrationOptions Source #
Constructors
| SignatureHelpRegistrationOptions | |
Fields | |
Instances
type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams DefinitionResponseParams Source #
data ReferenceContext Source #
Constructors
| ReferenceContext | |
Fields | |
class HasIncludeDeclaration s a | s -> a where Source #
Minimal complete definition
Methods
includeDeclaration :: Lens' s a Source #
Instances
data ReferenceParams Source #
Constructors
| ReferenceParams | |
Fields | |
Instances
class HasContext s a | s -> a where Source #
Minimal complete definition
type ReferencesResponse = ResponseMessage (List Location) Source #
data DocumentHighlightKind Source #
data DocumentHighlight Source #
Constructors
| DocumentHighlight | |
Fields | |
type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight) Source #
data DocumentSymbolParams Source #
Constructors
| DocumentSymbolParams | |
Fields | |
data SymbolKind Source #
data SymbolInformation Source #
Constructors
| SymbolInformation | |
Fields
| |
Instances
class HasContainerName s a | s -> a where Source #
Minimal complete definition
Methods
containerName :: Lens' s a Source #
Instances
type DocumentSymbolRequest = RequestMessage ClientMethod DocumentSymbolParams (List SymbolInformation) Source #
data WorkspaceSymbolParams Source #
Constructors
| WorkspaceSymbolParams | |
type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation) Source #
data CodeActionContext Source #
Constructors
| CodeActionContext | |
Fields | |
data CodeActionParams Source #
Constructors
| CodeActionParams | |
Fields | |
Instances
type CodeActionResponse = ResponseMessage (List Command) Source #
data CodeLensParams Source #
Constructors
| CodeLensParams | |
Fields | |
type CodeLensResponse = ResponseMessage (List CodeLens) Source #
data CodeLensRegistrationOptions Source #
Constructors
| CodeLensRegistrationOptions | |
Fields | |
Instances
data DocumentLinkParams Source #
Constructors
| DocumentLinkParams | |
Fields | |
data DocumentLink Source #
type DocumentLinkRequest = RequestMessage ClientMethod DocumentLinkParams (List DocumentLink) Source #
data FormattingOptions Source #
Constructors
| FormattingOptions | |
Fields
| |
Instances
class HasInsertSpaces s a | s -> a where Source #
Minimal complete definition
Methods
insertSpaces :: Lens' s a Source #
Instances
data DocumentFormattingParams Source #
Constructors
| DocumentFormattingParams | |
Fields | |
Instances
class HasOptions s a | s -> a where Source #
Minimal complete definition
type DocumentFormattingRequest = RequestMessage ClientMethod DocumentFormattingParams (List TextEdit) Source #
data DocumentRangeFormattingParams Source #
Constructors
| DocumentRangeFormattingParams | |
Fields | |
Instances
type DocumentRangeFormattingRequest = RequestMessage ClientMethod DocumentRangeFormattingParams (List TextEdit) Source #
data DocumentOnTypeFormattingParams Source #
Constructors
| DocumentOnTypeFormattingParams | |
Fields | |
Instances
type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit) Source #
data DocumentOnTypeFormattingRegistrationOptions Source #
Constructors
| DocumentOnTypeFormattingRegistrationOptions | |
Fields | |
Instances
data RenameParams Source #
Constructors
| RenameParams | |
Fields | |
data ExecuteCommandParams Source #
Constructors
| ExecuteCommandParams | |
data ExecuteCommandRegistrationOptions Source #
Constructors
| ExecuteCommandRegistrationOptions | |
Instances
data ApplyWorkspaceEditParams Source #
Constructors
| ApplyWorkspaceEditParams | |
Fields | |
data ApplyWorkspaceEditResponseBody Source #
Constructors
| ApplyWorkspaceEditResponseBody | |
type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody Source #
Sent from the server to the client
data TraceParams Source #
Constructors
| TraceParams | |
data TraceNotification Source #
Constructors
| TraceNotification | |
Fields | |