| 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
 - 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
 - | Misc Text
 
 - data ServerMethod
- = WindowShowMessage
 - | WindowShowMessageRequest
 - | WindowLogMessage
 - | WindowProgressStart
 - | WindowProgressReport
 - | WindowProgressDone
 - | TelemetryEvent
 - | ClientRegisterCapability
 - | ClientUnregisterCapability
 - | WorkspaceWorkspaceFolders
 - | WorkspaceConfiguration
 - | WorkspaceApplyEdit
 - | TextDocumentPublishDiagnostics
 - | CancelRequestServer
 
 - 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 {}
 - 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 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  | |
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 | |
| HoverContentsEmpty | 
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
fileScheme :: String Source #
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 
  | |