Language.Haskell.LSP.TH.DataTypesJSON

Synopsis

• newtype List a = List [a]
• newtype Uri = Uri {
  • getUri :: Text
  }
• uriToFilePath :: Uri -> Maybe FilePath
• filePathToUri :: FilePath -> Uri
• data LspId
  • = IdInt Int
  • | IdString Text
• data LspIdRsp
  • = IdRspInt Int
  • | IdRspString Text
  • | IdRspNull
• 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
  • = WindowShowMessage
  • | WindowShowMessageRequest
  • | WindowLogMessage
  • | TelemetryEvent
  • | ClientRegisterCapability
  • | ClientUnregisterCapability
  • | WorkspaceApplyEdit
  • | TextDocumentPublishDiagnostics
• data RequestMessage m req resp = RequestMessage {
  • _jsonrpc :: Text
  • _id :: LspId
  • _method :: m
  • _params :: req
  }
• 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
  • = ParseError
  • | InvalidRequest
  • | MethodNotFound
  • | InvalidParams
  • | InternalError
• data ResponseError = ResponseError {
  • _code :: ErrorCode
  • _message :: Text
  • _xdata :: Maybe Value
  }
• 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 {
  • _jsonrpc :: Text
  • _id :: LspIdRsp
  • _result :: Maybe a
  • _error :: Maybe ResponseError
  }
• 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 {
  • _jsonrpc :: Text
  • _method :: m
  • _params :: a
  }
• data CancelParams = CancelParams {
  • _id :: LspId
  }
• 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 {
  • _start :: Position
  • _end :: Position
  }
• class HasEnd s a | s -> a where
• class HasStart s a | s -> a where
• data Location = Location {
  • _uri :: Uri
  • _range :: Range
  }
• class HasRange s a | s -> a where
• class HasUri s a | s -> a where
• data DiagnosticSeverity
  • = DsError
  • | DsWarning
  • | DsInfo
  • | DsHint
• type DiagnosticSource = Text
• data Diagnostic = Diagnostic {
  • _range :: Range
  • _severity :: Maybe DiagnosticSeverity
  • _code :: Maybe Text
  • _source :: Maybe DiagnosticSource
  • _message :: Text
  }
• class HasSeverity s a | s -> a where
• class HasSource s a | s -> a where
• data Command = Command {
  • _title :: Text
  • _command :: Text
  • _arguments :: Maybe Value
  }
• class HasArguments s a | s -> a where
• class HasCommand s a | s -> a where
• class HasTitle s a | s -> a where
• data TextEdit = TextEdit {
  • _range :: Range
  • _newText :: Text
  }
• class HasNewText s a | s -> a where
• type TextDocumentVersion = Int
• data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {
  • _uri :: Uri
  • _version :: TextDocumentVersion
  }
• class HasVersion s a | s -> a where
• data TextDocumentEdit = TextDocumentEdit {
  • _textDocument :: VersionedTextDocumentIdentifier
  • _edits :: List TextEdit
  }
• class HasEdits s a | s -> a where
• class HasTextDocument s a | s -> a where
• type WorkspaceEditMap = HashMap Uri (List TextEdit)
• data WorkspaceEdit = WorkspaceEdit {
  • _changes :: Maybe WorkspaceEditMap
  • _documentChanges :: Maybe (List TextDocumentEdit)
  }
• class HasChanges s a | s -> a where
• class HasDocumentChanges s a | s -> a where
• data TextDocumentIdentifier = TextDocumentIdentifier {
  • _uri :: Uri
  }
• data TextDocumentItem = TextDocumentItem {
  • _uri :: Uri
  • _languageId :: Text
  • _version :: Int
  • _text :: Text
  }
• class HasLanguageId s a | s -> a where
• class HasText s a | s -> a where
• data TextDocumentPositionParams = TextDocumentPositionParams {
  • _textDocument :: TextDocumentIdentifier
  • _position :: Position
  }
• class HasPosition s a | s -> a where
• data DocumentFilter = DocumentFilter {
  • _language :: Text
  • _scheme :: Text
  • _pattern :: Maybe Text
  }
• 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
  • = TraceOff
  • | TraceMessages
  • | TraceVerbose
• data InitializeParams = InitializeParams {
  • _processId :: Maybe Int
  • _rootPath :: Maybe Text
  • _rootUri :: Maybe Uri
  • _initializationOptions :: Maybe Value
  • _capabilities :: ClientCapabilities
  • _trace :: Maybe Trace
  }
• 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 {
  • _retry :: Bool
  }
• class HasRetry s a | s -> a where
• data TextDocumentSyncKind
  • = TdSyncNone
  • | TdSyncFull
  • | TdSyncIncremental
• data CompletionOptions = CompletionOptions {
  • _resolveProvider :: Maybe Bool
  • _triggerCharacters :: Maybe [String]
  }
• class HasResolveProvider s a | s -> a where
• class HasTriggerCharacters s a | s -> a where
• data SignatureHelpOptions = SignatureHelpOptions {
  • _triggerCharacters :: Maybe [String]
  }
• data CodeLensOptions = CodeLensOptions {
  • _resolveProvider :: Maybe Bool
  }
• data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {
  • _firstTriggerCharacter :: Text
  • _moreTriggerCharacter :: Maybe [String]
  }
• class HasFirstTriggerCharacter s a | s -> a where
• class HasMoreTriggerCharacter s a | s -> a where
• data DocumentLinkOptions = DocumentLinkOptions {
  • _resolveProvider :: Maybe Bool
  }
• data ExecuteCommandOptions = ExecuteCommandOptions {
  • _commands :: List Text
  }
• class HasCommands s a | s -> a where
• data SaveOptions = SaveOptions {
  • _includeText :: Maybe Bool
  }
• class HasIncludeText s a | s -> a where
• data TextDocumentSyncOptions = TextDocumentSyncOptions {
  • _openClose :: Maybe Bool
  • _change :: Maybe TextDocumentSyncKind
  • _willSave :: Maybe Bool
  • _willSaveWaitUntil :: Maybe Bool
  • _save :: Maybe SaveOptions
  }
• 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 {
  • _capabilities :: InitializeResponseCapabilitiesInner
  }
• 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
  • = MtError
  • | MtWarning
  • | MtInfo
  • | MtLog
• data ShowMessageParams = ShowMessageParams {
  • _xtype :: MessageType
  • _message :: Text
  }
• class HasXtype s a | s -> a where
• type ShowMessageNotification = NotificationMessage ServerMethod ShowMessageParams
• data MessageActionItem = MessageActionItem {
  • _title :: Text
  }
• 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 {
  • _registrations :: List Registration
  }
• class HasRegistrations s a | s -> a where
• type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams ()
• data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {
  • _documentSelector :: Maybe DocumentSelector
  }
• class HasDocumentSelector s a | s -> a where
• data Unregistration = Unregistration {
  • _id :: Text
  • _method :: Text
  }
• data UnregistrationParams = UnregistrationParams {
  • _unregistrations :: List Unregistration
  }
• class HasUnregistrations s a | s -> a where
• type UnregisterCapabilityRequest = RequestMessage ServerMethod UnregistrationParams ()
• data DidChangeConfigurationParams = DidChangeConfigurationParams {
  • _settings :: Value
  }
• class HasSettings s a | s -> a where
• type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams
• data DidOpenTextDocumentParams = DidOpenTextDocumentParams {
  • _textDocument :: TextDocumentItem
  }
• type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams
• data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {
  • _range :: Maybe Range
  • _rangeLength :: Maybe Int
  • _text :: Text
  }
• class HasRangeLength s a | s -> a where
• data DidChangeTextDocumentParams = DidChangeTextDocumentParams {
  • _textDocument :: VersionedTextDocumentIdentifier
  • _contentChanges :: List TextDocumentContentChangeEvent
  }
• class HasContentChanges s a | s -> a where
• type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams
• data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {
  • _documentSelector :: Maybe DocumentSelector
  • _syncKind :: TextDocumentSyncKind
  }
• class HasSyncKind s a | s -> a where
• data TextDocumentSaveReason
  • = SaveManual
  • | SaveAfterDelay
  • | SaveFocusOut
• data WillSaveTextDocumentParams = WillSaveTextDocumentParams {
  • _textDocument :: TextDocumentIdentifier
  • _reason :: TextDocumentSaveReason
  }
• 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 {
  • _textDocument :: TextDocumentIdentifier
  }
• type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams
• data DidCloseTextDocumentParams = DidCloseTextDocumentParams {
  • _textDocument :: TextDocumentIdentifier
  }
• type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams
• data FileChangeType
  • = FcCreated
  • | FcChanged
  • | FcDeleted
• data FileEvent = FileEvent {
  • _uri :: Uri
  • _xtype :: FileChangeType
  }
• data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {
  • _params :: List FileEvent
  }
• 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
  • = PlainText
  • | Snippet
• data CompletionItemKind
  • = CiText
  • | CiMethod
  • | CiFunction
  • | CiConstructor
  • | CiField
  • | CiVariable
  • | CiClass
  • | CiInterface
  • | CiModule
  • | CiProperty
  • | CiUnit
  • | CiValue
  • | CiEnum
  • | CiKeyword
  • | CiSnippet
  • | CiColor
  • | CiFile
  • | CiReference
• 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 {
  • _isIncomplete :: Bool
  • _items :: List CompletionItem
  }
• class HasIsIncomplete s a | s -> a where
• class HasItems s a | s -> a where
• data CompletionResponseResult
  • = CompletionList CompletionListType
  • | Completions (List CompletionItem)
• type CompletionResponse = ResponseMessage CompletionResponseResult
• type CompletionRequest = RequestMessage ClientMethod TextDocumentPositionParams CompletionResponseResult
• data CompletionRegistrationOptions = CompletionRegistrationOptions {
  • _documentSelector :: Maybe DocumentSelector
  • _triggerCharacters :: Maybe (List String)
  • _resolveProvider :: Maybe Bool
  }
• type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem
• type CompletionItemResolveResponse = ResponseMessage CompletionItem
• data LanguageString = LanguageString {
  • _language :: Text
  • _value :: Text
  }
• class HasValue s a | s -> a where
• data MarkedString
  • = PlainString Text
  • | CodeString LanguageString
• data Hover = Hover {
  • _contents :: List MarkedString
  • _range :: Maybe Range
  }
• 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 {
  • _label :: Text
  • _documentation :: Maybe Text
  • _parameters :: Maybe [ParameterInformation]
  }
• class HasParameters s a | s -> a where
• data SignatureHelp = SignatureHelp {
  • _signatures :: List SignatureInformation
  • _activeSignature :: Maybe Int
  • _activeParameter :: Maybe Int
  }
• 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 {
  • _documentSelector :: Maybe DocumentSelector
  • _triggerCharacters :: Maybe (List String)
  }
• data DefinitionResponseParams
  • = SingleLoc Location
  • | MultiLoc [Location]
• type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams DefinitionResponseParams
• type DefinitionResponse = ResponseMessage DefinitionResponseParams
• data ReferenceContext = ReferenceContext {
  • _includeDeclaration :: Bool
  }
• class HasIncludeDeclaration s a | s -> a where
• data ReferenceParams = ReferenceParams {
  • _textDocument :: TextDocumentIdentifier
  • _position :: Position
  • _context :: ReferenceContext
  }
• class HasContext s a | s -> a where
• type ReferencesRequest = RequestMessage ClientMethod ReferenceParams (List Location)
• type ReferencesResponse = ResponseMessage (List Location)
• data DocumentHighlightKind
  • = HkText
  • | HkRead
  • | HkWrite
• data DocumentHighlight = DocumentHighlight {
  • _range :: Range
  • _kind :: Maybe DocumentHighlightKind
  }
• type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight)
• type DocumentHighlightsResponse = ResponseMessage (List DocumentHighlight)
• data DocumentSymbolParams = DocumentSymbolParams {
  • _textDocument :: TextDocumentIdentifier
  }
• data SymbolKind
  • = SkFile
  • | SkModule
  • | SkNamespace
  • | SkPackage
  • | SkClass
  • | SkMethod
  • | SkProperty
  • | SkField
  • | SkConstructor
  • | SkEnum
  • | SkInterface
  • | SkFunction
  • | SkVariable
  • | SkConstant
  • | SkString
  • | SkNumber
  • | SkBoolean
  • | SkArray
• data SymbolInformation = SymbolInformation {
  • _name :: Text
  • _kind :: SymbolKind
  • _location :: Location
  • _containerName :: Maybe Text
  }
• class HasContainerName s a | s -> a where
• class HasLocation 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 {
  • _query :: Text
  }
• class HasQuery s a | s -> a where
• type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation)
• type WorkspaceSymbolsResponse = ResponseMessage (List SymbolInformation)
• data CodeActionContext = CodeActionContext {
  • _diagnostics :: List Diagnostic
  }
• data CodeActionParams = CodeActionParams {
  • _textDocument :: TextDocumentIdentifier
  • _range :: Range
  • _context :: CodeActionContext
  }
• type CodeActionRequest = RequestMessage ClientMethod CodeActionParams (List Command)
• type CodeActionResponse = ResponseMessage (List Command)
• data CodeLensParams = CodeLensParams {
  • _textDocument :: TextDocumentIdentifier
  }
• data CodeLens = CodeLens {
  • _range :: Range
  • _command :: Maybe Command
  • _xdata :: Maybe Value
  }
• type CodeLensRequest = RequestMessage ClientMethod CodeLensParams (List CodeLens)
• type CodeLensResponse = ResponseMessage (List CodeLens)
• data CodeLensRegistrationOptions = CodeLensRegistrationOptions {
  • _documentSelector :: Maybe DocumentSelector
  • _resolveProvider :: Maybe Bool
  }
• type CodeLensResolveRequest = RequestMessage ClientMethod CodeLens (List CodeLens)
• type CodeLensResolveResponse = ResponseMessage (List CodeLens)
• data DocumentLinkParams = DocumentLinkParams {
  • _textDocument :: TextDocumentIdentifier
  }
• data DocumentLink = DocumentLink {
  • _range :: Range
  • _target :: Maybe Text
  }
• 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 {
  • _textDocument :: TextDocumentIdentifier
  • _options :: FormattingOptions
  }
• class HasOptions s a | s -> a where
• type DocumentFormattingRequest = RequestMessage ClientMethod DocumentFormattingParams (List TextEdit)
• type DocumentFormattingResponse = ResponseMessage (List TextEdit)
• data DocumentRangeFormattingParams = DocumentRangeFormattingParams {
  • _textDocument :: TextDocumentIdentifier
  • _range :: Range
  • _options :: FormattingOptions
  }
• type DocumentRangeFormattingRequest = RequestMessage ClientMethod DocumentRangeFormattingParams (List TextEdit)
• type DocumentRangeFormattingResponse = ResponseMessage (List TextEdit)
• data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {
  • _textDocument :: TextDocumentIdentifier
  • _position :: Position
  • _ch :: Text
  • _options :: FormattingOptions
  }
• class HasCh s a | s -> a where
• type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit)
• type DocumentOnTypeFormattingResponse = ResponseMessage (List TextEdit)
• data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {
  • _firstTriggerCharacter :: Text
  • _moreTriggerCharacter :: Maybe (List String)
  }
• data RenameParams = RenameParams {
  • _textDocument :: TextDocumentIdentifier
  • _position :: Position
  • _newName :: Text
  }
• class HasNewName s a | s -> a where
• type RenameRequest = RequestMessage ClientMethod RenameParams WorkspaceEdit
• type RenameResponse = ResponseMessage WorkspaceEdit
• data ExecuteCommandParams = ExecuteCommandParams {
  • _command :: Text
  • _arguments :: Maybe (List Value)
  }
• type ExecuteCommandRequest = RequestMessage ClientMethod ExecuteCommandParams Value
• type ExecuteCommandResponse = ResponseMessage Value
• data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {
  • _commands :: List Text
  }
• data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
  • _edit :: WorkspaceEdit
  }
• class HasEdit s a | s -> a where
• data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {
  • _applied :: Bool
  }
• class HasApplied s a | s -> a where
• type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody
• type ApplyWorkspaceEditResponse = ResponseMessage ApplyWorkspaceEditResponseBody
• data TraceParams = TraceParams {
  • _value :: Text
  }
• data TraceNotification = TraceNotification {
  • _params :: TraceParams
  }

Documentation