Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.LSP.Types
Synopsis
- data Trace
- data InitializeParams = InitializeParams {}
- data InitializeError = InitializeError {}
- data TextDocumentSyncKind
- data CompletionOptions = CompletionOptions {}
- data SignatureHelpOptions = SignatureHelpOptions {}
- data CodeLensOptions = CodeLensOptions {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentLinkOptions = DocumentLinkOptions {}
- data ExecuteCommandOptions = ExecuteCommandOptions {}
- data SaveOptions = SaveOptions {}
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- data TDS
- data GotoOptions
- data ColorOptions
- data FoldingRangeOptions
- data WorkspaceFolderChangeNotifications
- data WorkspaceFolderOptions = WorkspaceFolderOptions {}
- data WorkspaceOptions = WorkspaceOptions {}
- data InitializeResponseCapabilitiesInner = InitializeResponseCapabilitiesInner {
- _textDocumentSync :: Maybe TDS
- _hoverProvider :: Maybe Bool
- _completionProvider :: Maybe CompletionOptions
- _signatureHelpProvider :: Maybe SignatureHelpOptions
- _definitionProvider :: Maybe Bool
- _typeDefinitionProvider :: Maybe GotoOptions
- _implementationProvider :: Maybe GotoOptions
- _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
- _colorProvider :: Maybe ColorOptions
- _foldingRangeProvider :: Maybe FoldingRangeOptions
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _workspace :: Maybe WorkspaceOptions
- _experimental :: Maybe Value
- 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)
- type TelemetryNotification = NotificationMessage ServerMethod Value
- type CustomClientNotification = NotificationMessage ClientMethod Value
- type CustomServerNotification = NotificationMessage ServerMethod Value
- type CustomClientRequest = RequestMessage ClientMethod Value Value
- type CustomServerRequest = RequestMessage ServerMethod Value Value
- type CustomResponse = ResponseMessage Value
- data Registration = Registration {
- _id :: Text
- _method :: ClientMethod
- _registerOptions :: Maybe Value
- data RegistrationParams = RegistrationParams {}
- type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams ()
- type RegisterCapabilityResponse = ResponseMessage ()
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- data Unregistration = Unregistration {}
- data UnregistrationParams = UnregistrationParams {}
- type UnregisterCapabilityRequest = RequestMessage ServerMethod UnregistrationParams ()
- type UnregisterCapabilityResponse = ResponseMessage ()
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams
- data ConfigurationItem = ConfigurationItem {}
- data ConfigurationParams = ConfigurationParams {}
- type ConfigurationRequest = RequestMessage ServerMethod ConfigurationParams (List Value)
- type ConfigurationResponse = ResponseMessage (List Value)
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams
- data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {}
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- data TextDocumentSaveReason
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- 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
- type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams
- data LanguageString = LanguageString {}
- data MarkedString
- data HoverContents
- toMarkupContent :: MarkedString -> MarkupContent
- data Hover = Hover {}
- type HoverRequest = RequestMessage ClientMethod TextDocumentPositionParams (Maybe Hover)
- type HoverResponse = ResponseMessage (Maybe Hover)
- data ParameterInformation = ParameterInformation {
- _label :: Text
- _documentation :: Maybe Text
- data SignatureInformation = SignatureInformation {}
- data SignatureHelp = SignatureHelp {}
- type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp
- type SignatureHelpResponse = ResponseMessage SignatureHelp
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- data LocationResponseParams
- type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams
- type DefinitionResponse = ResponseMessage LocationResponseParams
- type TypeDefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams
- type TypeDefinitionResponse = ResponseMessage LocationResponseParams
- type ImplementationRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams
- type ImplementationResponse = ResponseMessage LocationResponseParams
- data ReferenceContext = ReferenceContext {}
- data ReferenceParams = ReferenceParams {}
- 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 WorkspaceSymbolParams = WorkspaceSymbolParams {}
- type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation)
- type WorkspaceSymbolsResponse = ResponseMessage (List SymbolInformation)
- 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 {}
- 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
- data DocumentFormattingParams = DocumentFormattingParams {}
- 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 {}
- type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit)
- type DocumentOnTypeFormattingResponse = ResponseMessage (List TextEdit)
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data RenameParams = RenameParams {}
- 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 {}
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {}
- type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody
- type ApplyWorkspaceEditResponse = ResponseMessage ApplyWorkspaceEditResponseBody
- data TraceParams = TraceParams {}
- data TraceNotification = TraceNotification {}
- data CodeActionKind
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- data CodeAction = CodeAction {
- _title :: Text
- _kind :: Maybe CodeActionKind
- _diagnostics :: Maybe (List Diagnostic)
- _edit :: Maybe WorkspaceEdit
- _command :: Maybe Command
- data CAResult
- type CodeActionRequest = RequestMessage ClientMethod CodeActionParams (List CAResult)
- type CodeActionResponse = ResponseMessage (List CAResult)
- data Color = Color {}
- data ColorInformation = ColorInformation {}
- data DocumentColorParams = DocumentColorParams {}
- type DocumentColorRequest = RequestMessage ClientMethod DocumentColorParams (List ColorInformation)
- type DocumentColorResponse = ResponseMessage (List ColorInformation)
- data ColorPresentationParams = ColorPresentationParams {}
- data ColorPresentation = ColorPresentation {}
- type ColorPresentationRequest = RequestMessage ClientMethod ColorPresentationParams (List ColorPresentation)
- type ColorPresentationResponse = ResponseMessage (List ColorPresentation)
- data Command = Command {}
- data CompletionItemKind
- data InsertTextFormat
- data CompletionDoc
- data CompletionItem = CompletionItem {
- _label :: Text
- _kind :: Maybe CompletionItemKind
- _detail :: Maybe Text
- _documentation :: Maybe CompletionDoc
- _deprecated :: Maybe Bool
- _preselect :: Maybe Bool
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _textEdit :: Maybe TextEdit
- _additionalTextEdits :: Maybe (List TextEdit)
- _commitCharacters :: Maybe (List Text)
- _command :: Maybe Command
- _xdata :: Maybe Value
- data CompletionListType = CompletionListType {}
- data CompletionResponseResult
- data CompletionTriggerKind
- data CompletionContext = CompletionContext {}
- data CompletionParams = CompletionParams {}
- type CompletionResponse = ResponseMessage CompletionResponseResult
- type CompletionRequest = RequestMessage ClientMethod CompletionParams CompletionResponseResult
- data CompletionRegistrationOptions = CompletionRegistrationOptions {}
- type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem
- type CompletionItemResolveResponse = ResponseMessage CompletionItem
- data DiagnosticSeverity
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- type DiagnosticSource = Text
- data Diagnostic = Diagnostic {}
- data DocumentFilter = DocumentFilter {}
- type DocumentSelector = List DocumentFilter
- data FoldingRangeParams = FoldingRangeParams {}
- data FoldingRangeKind
- data FoldingRange = FoldingRange {}
- type FoldingRangeRequest = RequestMessage ClientMethod FoldingRangeParams (List FoldingRange)
- type FoldingRangeResponse = ResponseMessage (List FoldingRange)
- newtype List a = List [a]
- data Position = Position {
- _line :: Int
- _character :: Int
- data Range = Range {}
- data Location = Location {}
- data MarkupKind
- data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
- markedUpContent :: Text -> Text -> MarkupContent
- unmarkedUpContent :: Text -> MarkupContent
- sectionSeparator :: Text
- data LspId
- data LspIdRsp
- responseId :: LspId -> LspIdRsp
- requestId :: LspIdRsp -> LspId
- data ClientMethod
- = Initialize
- | Initialized
- | Shutdown
- | Exit
- | CancelRequest
- | WorkspaceDidChangeWorkspaceFolders
- | WorkspaceDidChangeConfiguration
- | WorkspaceDidChangeWatchedFiles
- | WorkspaceSymbol
- | WorkspaceExecuteCommand
- | WindowProgressCancel
- | TextDocumentDidOpen
- | TextDocumentDidChange
- | TextDocumentWillSave
- | TextDocumentWillSaveWaitUntil
- | TextDocumentDidSave
- | TextDocumentDidClose
- | TextDocumentCompletion
- | CompletionItemResolve
- | TextDocumentHover
- | TextDocumentSignatureHelp
- | TextDocumentDefinition
- | TextDocumentTypeDefinition
- | TextDocumentImplementation
- | TextDocumentReferences
- | TextDocumentDocumentHighlight
- | TextDocumentDocumentSymbol
- | TextDocumentCodeAction
- | TextDocumentCodeLens
- | CodeLensResolve
- | TextDocumentDocumentLink
- | DocumentLinkResolve
- | TextDocumentDocumentColor
- | TextDocumentColorPresentation
- | TextDocumentFormatting
- | TextDocumentRangeFormatting
- | TextDocumentOnTypeFormatting
- | TextDocumentRename
- | TextDocumentFoldingRange
- | CustomClientMethod Text
- data ServerMethod
- = WindowShowMessage
- | WindowShowMessageRequest
- | WindowLogMessage
- | WindowProgressStart
- | WindowProgressReport
- | WindowProgressDone
- | TelemetryEvent
- | ClientRegisterCapability
- | ClientUnregisterCapability
- | WorkspaceWorkspaceFolders
- | WorkspaceConfiguration
- | WorkspaceApplyEdit
- | TextDocumentPublishDiagnostics
- | CancelRequestServer
- | CustomServerMethod Text
- data RequestMessage m req resp = RequestMessage {}
- data ErrorCode
- data ResponseError = ResponseError {}
- data ResponseMessage a = ResponseMessage {}
- type ErrorResponse = ResponseMessage ()
- type BareResponseMessage = ResponseMessage Value
- data NotificationMessage m a = NotificationMessage {}
- data CancelParams = CancelParams {}
- type CancelNotification = NotificationMessage ClientMethod CancelParams
- type CancelNotificationServer = NotificationMessage ServerMethod CancelParams
- data DocumentSymbolParams = DocumentSymbolParams {}
- data SymbolKind
- = SkFile
- | SkModule
- | SkNamespace
- | SkPackage
- | SkClass
- | SkMethod
- | SkProperty
- | SkField
- | SkConstructor
- | SkEnum
- | SkInterface
- | SkFunction
- | SkVariable
- | SkConstant
- | SkString
- | SkNumber
- | SkBoolean
- | SkArray
- | SkObject
- | SkKey
- | SkNull
- | SkEnumMember
- | SkStruct
- | SkEvent
- | SkOperator
- | SkTypeParameter
- | SkUnknown Scientific
- data DocumentSymbol = DocumentSymbol {
- _name :: Text
- _detail :: Maybe Text
- _kind :: SymbolKind
- _deprecated :: Maybe Bool
- _range :: Range
- _selectionRange :: Range
- _children :: Maybe (List DocumentSymbol)
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _deprecated :: Maybe Bool
- _location :: Location
- _containerName :: Maybe Text
- data DSResult
- type DocumentSymbolRequest = RequestMessage ClientMethod DocumentSymbolParams DSResult
- type DocumentSymbolsResponse = ResponseMessage DSResult
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- newtype Uri = Uri {}
- newtype NormalizedUri = NormalizedUri Text
- toNormalizedUri :: Uri -> NormalizedUri
- fromNormalizedUri :: NormalizedUri -> Uri
- fileScheme :: String
- windowsOS :: String
- type SystemOS = String
- uriToFilePath :: Uri -> Maybe FilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAdjustFromUriPath :: SystemOS -> Maybe String -> String -> FilePath
- filePathToUri :: FilePath -> Uri
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- platformAdjustToUriPath :: SystemOS -> FilePath -> String
- data MessageType
- data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
- type ShowMessageNotification = NotificationMessage ServerMethod ShowMessageParams
- data MessageActionItem = MessageActionItem {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- type ShowMessageRequest = RequestMessage ServerMethod ShowMessageRequestParams Text
- type ShowMessageResponse = ResponseMessage Text
- data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
- type LogMessageNotification = NotificationMessage ServerMethod LogMessageParams
- data ProgressStartParams = ProgressStartParams {}
- type ProgressStartNotification = NotificationMessage ServerMethod ProgressStartParams
- data ProgressReportParams = ProgressReportParams {}
- type ProgressReportNotification = NotificationMessage ServerMethod ProgressReportParams
- data ProgressDoneParams = ProgressDoneParams {}
- type ProgressDoneNotification = NotificationMessage ServerMethod ProgressDoneParams
- data ProgressCancelParams = ProgressCancelParams {}
- type ProgressCancelNotification = NotificationMessage ClientMethod ProgressCancelParams
- data TextEdit = TextEdit {}
- type TextDocumentVersion = Maybe Int
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data TextDocumentEdit = TextDocumentEdit {}
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- data WorkspaceFolder = WorkspaceFolder {}
- type WorkspaceFoldersRequest = RequestMessage ServerMethod () (Maybe (List WorkspaceFolder))
- type WorkspaceFoldersResponse = ResponseMessage (Maybe (List WorkspaceFolder))
- data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {}
- data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {}
- type DidChangeWorkspaceFoldersNotification = NotificationMessage ClientMethod DidChangeWorkspaceFoldersParams
Documentation
Constructors
TraceOff | |
TraceMessages | |
TraceVerbose |
data InitializeParams Source #
Constructors
InitializeParams | |
Fields
|
Instances
data InitializeError Source #
Constructors
InitializeError | |
Instances
data TextDocumentSyncKind Source #
Constructors
TdSyncNone | |
TdSyncFull | |
TdSyncIncremental |
Instances
data CompletionOptions Source #
Constructors
CompletionOptions | |
Fields |
Instances
data SignatureHelpOptions Source #
Constructors
SignatureHelpOptions | |
Fields |
Instances
data CodeLensOptions Source #
Constructors
CodeLensOptions | |
Fields |
Instances
data DocumentOnTypeFormattingOptions Source #
Constructors
DocumentOnTypeFormattingOptions | |
Fields |
Instances
data DocumentLinkOptions Source #
Constructors
DocumentLinkOptions | |
Fields
|
Instances
data ExecuteCommandOptions Source #
Constructors
ExecuteCommandOptions | |
Instances
data SaveOptions Source #
Constructors
SaveOptions | |
Fields
|
Instances
data TextDocumentSyncOptions Source #
Constructors
TextDocumentSyncOptions | |
Fields
|
Instances
Wrapper for TextDocumentSyncKind fallback.
Constructors
TDSOptions TextDocumentSyncOptions | |
TDSKind TextDocumentSyncKind |
Instances
data GotoOptions Source #
Constructors
GotoOptionsStatic Bool | |
GotoOptionsDynamic | |
Fields
|
Instances
data ColorOptions Source #
Constructors
ColorOptionsStatic Bool | |
ColorOptionsDynamic | |
ColorOptionsDynamicDocument | |
Fields
|
Instances
Eq ColorOptions Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
Read ColorOptions Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods readsPrec :: Int -> ReadS ColorOptions # readList :: ReadS [ColorOptions] # | |
Show ColorOptions Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods showsPrec :: Int -> ColorOptions -> ShowS # show :: ColorOptions -> String # showList :: [ColorOptions] -> ShowS # | |
ToJSON ColorOptions Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods toJSON :: ColorOptions -> Value # toEncoding :: ColorOptions -> Encoding # toJSONList :: [ColorOptions] -> Value # toEncodingList :: [ColorOptions] -> Encoding # | |
FromJSON ColorOptions Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
HasColorProvider InitializeResponseCapabilitiesInner (Maybe ColorOptions) Source # | |
Defined in Language.Haskell.LSP.Types.Lens |
data FoldingRangeOptions Source #
Constructors
FoldingRangeOptionsStatic Bool | |
FoldingRangeOptionsDynamic | |
FoldingRangeOptionsDynamicDocument | |
Fields
|
Instances
data WorkspaceFolderChangeNotifications Source #
Constructors
WorkspaceFolderChangeNotificationsString Text | |
WorkspaceFolderChangeNotificationsBool Bool |
Instances
data WorkspaceFolderOptions Source #
Constructors
WorkspaceFolderOptions | |
Fields
|
Instances
data WorkspaceOptions Source #
Constructors
WorkspaceOptions | |
Fields
|
Instances
data InitializeResponseCapabilitiesInner Source #
Constructors
InitializeResponseCapabilitiesInner | |
Fields
|
Instances
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 | |
Instances
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
Eq ExitParams Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
Read ExitParams Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods readsPrec :: Int -> ReadS ExitParams # readList :: ReadS [ExitParams] # readPrec :: ReadPrec ExitParams # readListPrec :: ReadPrec [ExitParams] # | |
Show ExitParams Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods showsPrec :: Int -> ExitParams -> ShowS # show :: ExitParams -> String # showList :: [ExitParams] -> ShowS # | |
ToJSON ExitParams Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods toJSON :: ExitParams -> Value # toEncoding :: ExitParams -> Encoding # toJSONList :: [ExitParams] -> Value # toEncodingList :: [ExitParams] -> Encoding # | |
FromJSON ExitParams Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON |
type CustomResponse = ResponseMessage Value Source #
data Registration Source #
Constructors
Registration | |
Fields
|
Instances
data RegistrationParams Source #
Constructors
RegistrationParams | |
Fields |
Instances
type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams () Source #
Note: originates at the server
type RegisterCapabilityResponse = ResponseMessage () Source #
data TextDocumentRegistrationOptions Source #
Constructors
TextDocumentRegistrationOptions | |
Fields |
Instances
data Unregistration Source #
Constructors
Unregistration | |
Instances
data UnregistrationParams Source #
Constructors
UnregistrationParams | |
Fields |
Instances
type UnregisterCapabilityResponse = ResponseMessage () Source #
data DidChangeConfigurationParams Source #
Constructors
DidChangeConfigurationParams | |
Instances
type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams Source #
data ConfigurationItem Source #
Constructors
ConfigurationItem | |
Instances
data ConfigurationParams Source #
Constructors
ConfigurationParams | |
Fields |
Instances
type ConfigurationResponse = ResponseMessage (List Value) Source #
data DidOpenTextDocumentParams Source #
Constructors
DidOpenTextDocumentParams | |
Fields |
Instances
type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams Source #
data TextDocumentContentChangeEvent Source #
Constructors
TextDocumentContentChangeEvent | |
Instances
data DidChangeTextDocumentParams Source #
Constructors
DidChangeTextDocumentParams | |
Instances
type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams Source #
data TextDocumentChangeRegistrationOptions Source #
Constructors
TextDocumentChangeRegistrationOptions | |
Instances
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 |
Instances
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 |
Instances
type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams Source #
data DidCloseTextDocumentParams Source #
Constructors
DidCloseTextDocumentParams | |
Fields |
Instances
type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams Source #
data FileChangeType Source #
Instances
Constructors
FileEvent | |
Fields
|
Instances
data DidChangeWatchedFilesParams Source #
Constructors
DidChangeWatchedFilesParams | |
Instances
type DidChangeWatchedFilesNotification = NotificationMessage ClientMethod DidChangeWatchedFilesParams Source #
data PublishDiagnosticsParams Source #
Constructors
PublishDiagnosticsParams | |
Fields
|
Instances
type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams Source #
data LanguageString Source #
Constructors
LanguageString | |
Instances
data MarkedString Source #
Deprecated: Use MarkupContent instead, since 3.3.0 (11242017)
Constructors
PlainString Text | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
CodeString LanguageString | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
Instances
Eq MarkedString Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
Read MarkedString Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods readsPrec :: Int -> ReadS MarkedString # readList :: ReadS [MarkedString] # | |
Show MarkedString Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods showsPrec :: Int -> MarkedString -> ShowS # show :: MarkedString -> String # showList :: [MarkedString] -> ShowS # | |
ToJSON MarkedString Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods toJSON :: MarkedString -> Value # toEncoding :: MarkedString -> Encoding # toJSONList :: [MarkedString] -> Value # toEncodingList :: [MarkedString] -> Encoding # | |
FromJSON MarkedString Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON |
data HoverContents Source #
Constructors
HoverContentsMS (List MarkedString) | |
HoverContents MarkupContent |
Instances
type HoverResponse = ResponseMessage (Maybe Hover) Source #
data ParameterInformation Source #
Constructors
ParameterInformation | |
Fields
|
Instances
data SignatureInformation Source #
Constructors
SignatureInformation | |
Fields
|
Instances
data SignatureHelp Source #
Constructors
SignatureHelp | |
Fields
|
Instances
type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp Source #
data SignatureHelpRegistrationOptions Source #
Constructors
SignatureHelpRegistrationOptions | |
Fields |
Instances
data LocationResponseParams Source #
Instances
type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams Source #
type TypeDefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams Source #
type ImplementationRequest = RequestMessage ClientMethod TextDocumentPositionParams LocationResponseParams Source #
data ReferenceContext Source #
Constructors
ReferenceContext | |
Fields |
Instances
data ReferenceParams Source #
Constructors
ReferenceParams | |
Fields |
Instances
type ReferencesResponse = ResponseMessage (List Location) Source #
data DocumentHighlightKind Source #
Instances
data DocumentHighlight Source #
Constructors
DocumentHighlight | |
Fields |
Instances
type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight) Source #
data WorkspaceSymbolParams Source #
Constructors
WorkspaceSymbolParams | |
Instances
type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation) Source #
data CodeLensParams Source #
Constructors
CodeLensParams | |
Fields |
Instances
type CodeLensResponse = ResponseMessage (List CodeLens) Source #
data CodeLensRegistrationOptions Source #
Constructors
CodeLensRegistrationOptions | |
Fields |
Instances
data DocumentLinkParams Source #
Constructors
DocumentLinkParams | |
Fields |
Instances
data DocumentLink Source #
Instances
Eq DocumentLink Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
Read DocumentLink Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods readsPrec :: Int -> ReadS DocumentLink # readList :: ReadS [DocumentLink] # | |
Show DocumentLink Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods showsPrec :: Int -> DocumentLink -> ShowS # show :: DocumentLink -> String # showList :: [DocumentLink] -> ShowS # | |
ToJSON DocumentLink Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON Methods toJSON :: DocumentLink -> Value # toEncoding :: DocumentLink -> Encoding # toJSONList :: [DocumentLink] -> Value # toEncodingList :: [DocumentLink] -> Encoding # | |
FromJSON DocumentLink Source # | |
Defined in Language.Haskell.LSP.Types.DataTypesJSON | |
HasRange DocumentLink Range Source # | |
Defined in Language.Haskell.LSP.Types.Lens | |
HasTarget DocumentLink (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.Types.Lens |
type DocumentLinkRequest = RequestMessage ClientMethod DocumentLinkParams (List DocumentLink) Source #
data FormattingOptions Source #
Constructors
FormattingOptions | |
Fields
|
Instances
data DocumentFormattingParams Source #
Constructors
DocumentFormattingParams | |
Fields |
Instances
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 |
Instances
data ExecuteCommandParams Source #
Constructors
ExecuteCommandParams | |
Instances
data ExecuteCommandRegistrationOptions Source #
Constructors
ExecuteCommandRegistrationOptions | |
Instances
data ApplyWorkspaceEditParams Source #
Constructors
ApplyWorkspaceEditParams | |
Fields |
Instances
data ApplyWorkspaceEditResponseBody Source #
Constructors
ApplyWorkspaceEditResponseBody | |
Instances
type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody Source #
Sent from the server to the client
data TraceParams Source #
Constructors
TraceParams | |
Instances
data TraceNotification Source #
Constructors
TraceNotification | |
Fields |
Instances
data CodeActionKind Source #
Constructors
CodeActionQuickFix | |
CodeActionRefactor | |
CodeActionRefactorExtract | |
CodeActionRefactorInline | |
CodeActionRefactorRewrite | |
CodeActionSource | |
CodeActionSourceOrganizeImports | |
CodeActionUnknown Text |
Instances
data CodeActionContext Source #
Constructors
CodeActionContext | |
Fields
|
Instances
data CodeActionParams Source #
Constructors
CodeActionParams | |
Fields |
Instances
data CodeAction Source #
Constructors
CodeAction | A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code. A CodeAction must set either |
Fields
|
Instances
Constructors
CACommand Command | |
CACodeAction CodeAction |
type CodeActionResponse = ResponseMessage (List CAResult) Source #
Represents a color in RGBA space.
Constructors
Color | |
Instances
data ColorInformation Source #
Constructors
ColorInformation | |
Instances
data DocumentColorParams Source #
Constructors
DocumentColorParams | |
Fields
|
Instances
type DocumentColorRequest = RequestMessage ClientMethod DocumentColorParams (List ColorInformation) Source #
data ColorPresentationParams Source #
Constructors
ColorPresentationParams | |
Fields
|
Instances
data ColorPresentation Source #
Constructors
ColorPresentation | |
Fields
|
Instances
type ColorPresentationRequest = RequestMessage ClientMethod ColorPresentationParams (List ColorPresentation) Source #
Instances
data CompletionItemKind Source #
Constructors
Instances
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 |
Instances
data CompletionDoc Source #
Constructors
CompletionDocString Text | |
CompletionDocMarkup MarkupContent |
Instances
data CompletionItem Source #
Constructors
CompletionItem | |
Fields
|
Instances
data CompletionListType Source #
Constructors
CompletionListType | |
Fields |
Instances
data CompletionResponseResult Source #
Constructors
CompletionList CompletionListType | |
Completions (List CompletionItem) |
Instances
data CompletionTriggerKind Source #
How a completion was triggered
Constructors
CtInvoked | Completion was triggered by typing an identifier (24x7 code complete), manual invocation (e.g Ctrl+Space) or via API. |
CtTriggerCharacter | Completion was triggered by a trigger character specified by
the |
CtTriggerForIncompleteCompletions | Completion was re-triggered as the current completion list is incomplete. |
CtUnknown Scientific | An unknown |
Instances
data CompletionContext Source #
Constructors
CompletionContext | |
Fields
|
Instances
data CompletionParams Source #
Constructors
CompletionParams | |
Fields
|
Instances
type CompletionRequest = RequestMessage ClientMethod CompletionParams CompletionResponseResult Source #
data CompletionRegistrationOptions Source #
Constructors
CompletionRegistrationOptions | |
Fields |
Instances
type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem Source #
data DiagnosticSeverity Source #
Instances
data DiagnosticRelatedInformation Source #
Constructors
DiagnosticRelatedInformation | |
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Constructors
Diagnostic | |
Fields |
Instances
data DocumentFilter Source #
Constructors
DocumentFilter | |
Instances
type DocumentSelector = List DocumentFilter Source #
data FoldingRangeParams Source #
Constructors
FoldingRangeParams | |
Fields
|
Instances
data FoldingRangeKind Source #
Enum of known range kinds
Constructors
FoldingRangeComment | Folding range for a comment |
FoldingRangeImports | Folding range for a imports or includes |
FoldingRangeRegion | Folding range for a region (e.g. #region) |
FoldingRangeUnknown Text | Folding range that haskell-lsp-types does not yet support |
Instances
data FoldingRange Source #
Represents a folding range.
Constructors
FoldingRange | |
Fields
|
Instances
type FoldingRangeRequest = RequestMessage ClientMethod FoldingRangeParams (List FoldingRange) Source #
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
Constructors
Position | |
Fields
|
Instances
Instances
Instances
data MarkupKind Source #
Describes the content type that a client supports in various
result literals like Hover
, ParameterInfo
or CompletionItem
.
Constructors
MkPlainText | Plain text is supported as a content format |
MkMarkdown | Markdown is supported as a content format |
Instances
data MarkupContent Source #
A MarkupContent
literal represents a string value which content is interpreted base on its
| kind flag. Currently the protocol supports plaintext
and markdown
as markup kinds.
|
| If the kind is markdown
then the value can contain fenced code blocks like in GitHub issues.
| See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting
|
| Here is an example how such a string can be constructed using JavaScript / TypeScript:
| ```ts
| let markdown: MarkdownContent = {
| kind: MarkupKind.Markdown,
| value: [
| '# Header',
| 'Some text',
| '``typescript
,
| 'someCode();',
| '```'
| ].join('\n')
| };
| ```
|
| *Please Note* that clients might sanitize the return markdown. A client could decide to
| remove HTML from the markdown to avoid script execution.
Constructors
MarkupContent | |
Fields
|
Instances
markedUpContent :: Text -> Text -> MarkupContent Source #
Create a MarkupContent
containing a quoted language string only.
unmarkedUpContent :: Text -> MarkupContent Source #
Create a MarkupContent
containing unquoted text
sectionSeparator :: Text Source #
Markdown for a section separator in Markdown, being a horizontal line
Id used for a request, Can be either a String or an Int
Instances
Eq LspId Source # | |
Ord LspId Source # | |
Read LspId Source # | |
Show LspId Source # | |
Hashable LspId Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
ToJSON LspId Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
FromJSON LspId Source # | |
HasId CancelParams LspId Source # | |
Defined in Language.Haskell.LSP.Types.Lens | |
HasId (RequestMessage m req resp) LspId Source # | |
Defined in Language.Haskell.LSP.Types.Lens |
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 |
Instances
Eq LspIdRsp Source # | |
Read LspIdRsp Source # | |
Show LspIdRsp Source # | |
Hashable LspIdRsp Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
ToJSON LspIdRsp Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
FromJSON LspIdRsp Source # | |
HasId (ResponseMessage a) LspIdRsp Source # | |
Defined in Language.Haskell.LSP.Types.Lens |
responseId :: LspId -> LspIdRsp Source #
Converts an LspId to its LspIdRsp counterpart.
data ClientMethod Source #
Constructors
Instances
data ServerMethod Source #
Constructors
Instances
data RequestMessage m req resp Source #
Instances
Constructors
ParseError | |
InvalidRequest | |
MethodNotFound | |
InvalidParams | |
InternalError | |
ServerErrorStart | |
ServerErrorEnd | |
ServerNotInitialized | |
UnknownErrorCode | |
RequestCancelled | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
data ResponseMessage a Source #
Constructors
ResponseMessage | |
Instances
type ErrorResponse = ResponseMessage () Source #
data NotificationMessage m a Source #
Constructors
NotificationMessage | |
Instances
data CancelParams Source #
Constructors
CancelParams | |
Instances
Eq CancelParams Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
Read CancelParams Source # | |
Defined in Language.Haskell.LSP.Types.Message Methods readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
Show CancelParams Source # | |
Defined in Language.Haskell.LSP.Types.Message Methods showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
ToJSON CancelParams Source # | |
Defined in Language.Haskell.LSP.Types.Message Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
FromJSON CancelParams Source # | |
Defined in Language.Haskell.LSP.Types.Message | |
HasId CancelParams LspId Source # | |
Defined in Language.Haskell.LSP.Types.Lens |
data DocumentSymbolParams Source #
Constructors
DocumentSymbolParams | |
Fields |
Instances
data SymbolKind Source #
Constructors
Instances
data DocumentSymbol Source #
Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.
Constructors
DocumentSymbol | |
Fields
|
Instances
data SymbolInformation Source #
Represents information about programming constructs like variables, classes, interfaces etc.
Constructors
SymbolInformation | |
Fields
|
Instances
Constructors
DSDocumentSymbols (List DocumentSymbol) | |
DSSymbolInformation (List SymbolInformation) |
data TextDocumentIdentifier Source #
Constructors
TextDocumentIdentifier | |
Instances
data TextDocumentItem Source #
Constructors
TextDocumentItem | |
Instances
data TextDocumentPositionParams Source #
Constructors
TextDocumentPositionParams | |
Fields |
Instances
Instances
newtype NormalizedUri Source #
When URIs are supposed to be used as keys, it is important to normalize the percent encoding in the URI since URIs that only differ when it comes to the percent-encoding should be treated as equivalent.
Constructors
NormalizedUri Text |
Instances
toNormalizedUri :: Uri -> NormalizedUri Source #
fromNormalizedUri :: NormalizedUri -> Uri Source #
fileScheme :: String Source #
platformAdjustFromUriPath Source #
We pull in the authority because in relative file paths the Uri likes to put everything before the slash into the authority field
filePathToUri :: FilePath -> Uri Source #
data MessageType Source #
Instances
data ShowMessageParams Source #
Constructors
ShowMessageParams | |
Fields
|
Instances
data MessageActionItem Source #
Constructors
MessageActionItem | |
Instances
data ShowMessageRequestParams Source #
Constructors
ShowMessageRequestParams | |
Fields
|
Instances
data LogMessageParams Source #
Constructors
LogMessageParams | |
Fields
|
Instances
data ProgressStartParams Source #
Parameters for ProgressStartNotification
.
Since: 0.10.0.0
Constructors
ProgressStartParams | |
Fields
|
Instances
type ProgressStartNotification = NotificationMessage ServerMethod ProgressStartParams Source #
The windowprogressstart notification is sent from the server to the client to ask the client to start progress.
Since: 0.10.0.0
data ProgressReportParams Source #
Parameters for ProgressReportNotification
Since: 0.10.0.0
Constructors
ProgressReportParams | |
Fields
|
Instances
type ProgressReportNotification = NotificationMessage ServerMethod ProgressReportParams Source #
The windowprogressreport notification is sent from the server to the client to report progress for a previously started progress.
Since: 0.10.0.0
data ProgressDoneParams Source #
Parameters for ProgressDoneNotification
.
Since: 0.10.0.0
Constructors
ProgressDoneParams | |
Instances
type ProgressDoneNotification = NotificationMessage ServerMethod ProgressDoneParams Source #
The windowprogressdone notification is sent from the server to the client to stop a previously started progress.
Since: 0.10.0.0
data ProgressCancelParams Source #
Parameters for ProgressCancelNotification
.
Since: 0.10.0.0
Constructors
ProgressCancelParams | |
Instances
type ProgressCancelNotification = NotificationMessage ClientMethod ProgressCancelParams Source #
The windowprogresscancel notification is sent from the client to the server to inform the server that the user has pressed the cancel button on the progress UX. A server receiving a cancel request must still close a progress using the done notification.
Since: 0.10.0.0
Instances
type TextDocumentVersion = Maybe Int Source #
data VersionedTextDocumentIdentifier Source #
Constructors
VersionedTextDocumentIdentifier | |
Fields
|
Instances
data TextDocumentEdit Source #
Constructors
TextDocumentEdit | |
Fields |
Instances
data WorkspaceEdit Source #
Constructors
WorkspaceEdit | |
Fields |
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit
outer
inner
applies inner
to the text inside outer
.
data WorkspaceFolder Source #
Constructors
WorkspaceFolder | |
Instances
type WorkspaceFoldersRequest = RequestMessage ServerMethod () (Maybe (List WorkspaceFolder)) Source #
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
Constructors
WorkspaceFoldersChangeEvent | |
Fields
|
Instances
data DidChangeWorkspaceFoldersParams Source #
Constructors
DidChangeWorkspaceFoldersParams | |
Fields
|