Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.LSP.Types
Synopsis
- data CancelParams = CancelParams {}
- data CodeActionKind
- data CodeActionKindClientCapabilities = CodeActionKindClientCapabilities {}
- data CodeActionLiteralSupport = CodeActionLiteralSupport {}
- data CodeActionClientCapabilities = CodeActionClientCapabilities {}
- data CodeActionOptions = CodeActionOptions {
- _workDoneProgress :: (Maybe Bool)
- _codeActionKinds :: (Maybe (List CodeActionKind))
- data CodeActionRegistrationOptions = CodeActionRegistrationOptions {}
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- data CodeAction = CodeAction {}
- data CodeLensClientCapabilities = CodeLensClientCapabilities {}
- data CodeLensOptions = CodeLensOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- data CodeLensParams = CodeLensParams {}
- data CodeLens = CodeLens {}
- data ExecuteCommandClientCapabilities = ExecuteCommandClientCapabilities {}
- data ExecuteCommandOptions = ExecuteCommandOptions {}
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {}
- data ExecuteCommandParams = ExecuteCommandParams {
- _workDoneToken :: (Maybe ProgressToken)
- _command :: Text
- _arguments :: (Maybe (List Value))
- data Command = Command {}
- data a |? b
- toEither :: (a |? b) -> Either a b
- newtype List a = List [a]
- data Empty = Empty
- data CompletionItemKind
- data CompletionItemTag = CtDeprecated
- data CompletionItemTagsClientCapabilities = CompletionItemTagsClientCapabilities {}
- data CompletionItemClientCapabilities = CompletionItemClientCapabilities {}
- data CompletionItemKindClientCapabilities = CompletionItemKindClientCapabilities {}
- data CompletionClientCapabilities = CompletionClientCapabilities {}
- data InsertTextFormat
- data CompletionDoc
- data CompletionItem = CompletionItem {
- _label :: Text
- _kind :: Maybe CompletionItemKind
- _tags :: Maybe (List CompletionItemTag)
- _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 CompletionList = CompletionList {}
- data CompletionTriggerKind
- data CompletionOptions = CompletionOptions {
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe [String])
- _allCommitCharacters :: (Maybe [String])
- _resolveProvider :: (Maybe Bool)
- data CompletionRegistrationOptions = CompletionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe [String])
- _allCommitCharacters :: (Maybe [String])
- _resolveProvider :: (Maybe Bool)
- data CompletionContext = CompletionContext {}
- data CompletionParams = CompletionParams {}
- data DidChangeConfigurationClientCapabilities = DidChangeConfigurationClientCapabilities {}
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- data ConfigurationItem = ConfigurationItem {}
- data ConfigurationParams = ConfigurationParams {}
- data DeclarationClientCapabilities = DeclarationClientCapabilities {}
- data DeclarationOptions = DeclarationOptions {
- _workDoneProgress :: (Maybe Bool)
- data DeclarationRegistrationOptions = DeclarationRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- data DeclarationParams = DeclarationParams {}
- data DefinitionClientCapabilities = DefinitionClientCapabilities {}
- data DefinitionOptions = DefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
- data DefinitionRegistrationOptions = DefinitionRegistrationOptions {}
- data DefinitionParams = DefinitionParams {}
- data DiagnosticSeverity
- data DiagnosticTag
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- type DiagnosticSource = Text
- data Diagnostic = Diagnostic {}
- data PublishDiagnosticsTagsClientCapabilities = PublishDiagnosticsTagsClientCapabilities {}
- data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {}
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _version :: Maybe Int
- _diagnostics :: List Diagnostic
- data DocumentColorClientCapabilities = DocumentColorClientCapabilities {}
- data DocumentColorOptions = DocumentColorOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentColorRegistrationOptions = DocumentColorRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- _workDoneProgress :: (Maybe Bool)
- data DocumentColorParams = DocumentColorParams {}
- data Color = Color {}
- data ColorInformation = ColorInformation {}
- data ColorPresentationParams = ColorPresentationParams {}
- data ColorPresentation = ColorPresentation {}
- data DocumentFilter = DocumentFilter {}
- type DocumentSelector = List DocumentFilter
- data DocumentHighlightClientCapabilities = DocumentHighlightClientCapabilities {}
- data DocumentHighlightOptions = DocumentHighlightOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentHighlightRegistrationOptions = DocumentHighlightRegistrationOptions {}
- data DocumentHighlightParams = DocumentHighlightParams {}
- data DocumentHighlightKind
- data DocumentHighlight = DocumentHighlight {}
- data DocumentLinkClientCapabilities = DocumentLinkClientCapabilities {}
- data DocumentLinkOptions = DocumentLinkOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
- data DocumentLinkRegistrationOptions = DocumentLinkRegistrationOptions {}
- data DocumentLinkParams = DocumentLinkParams {}
- data DocumentLink = DocumentLink {}
- data DocumentSymbolOptions = DocumentSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {}
- 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 DocumentSymbolKindClientCapabilities = DocumentSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
- data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {}
- 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 FoldingRangeClientCapabilities = FoldingRangeClientCapabilities {}
- data FoldingRangeOptions = FoldingRangeOptions {
- _workDoneProgress :: (Maybe Bool)
- data FoldingRangeRegistrationOptions = FoldingRangeRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data FoldingRangeParams = FoldingRangeParams {}
- data FoldingRangeKind
- data FoldingRange = FoldingRange {}
- data DocumentFormattingClientCapabilities = DocumentFormattingClientCapabilities {}
- data DocumentFormattingOptions = DocumentFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentFormattingRegistrationOptions = DocumentFormattingRegistrationOptions {}
- data FormattingOptions = FormattingOptions {}
- data DocumentFormattingParams = DocumentFormattingParams {}
- data DocumentRangeFormattingClientCapabilities = DocumentRangeFormattingClientCapabilities {}
- data DocumentRangeFormattingOptions = DocumentRangeFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentRangeFormattingRegistrationOptions = DocumentRangeFormattingRegistrationOptions {}
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- data DocumentOnTypeFormattingClientCapabilities = DocumentOnTypeFormattingClientCapabilities {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- data HoverClientCapabilities = HoverClientCapabilities {}
- data HoverOptions = HoverOptions {
- _workDoneProgress :: (Maybe Bool)
- data HoverRegistrationOptions = HoverRegistrationOptions {}
- data HoverParams = HoverParams {}
- data LanguageString = LanguageString {}
- data MarkedString
- data HoverContents
- toMarkupContent :: MarkedString -> MarkupContent
- data Hover = Hover {}
- data ImplementationClientCapabilities = ImplementationClientCapabilities {}
- data ImplementationOptions = ImplementationOptions {
- _workDoneProgress :: (Maybe Bool)
- data ImplementationRegistrationOptions = ImplementationRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data ImplementationParams = ImplementationParams {}
- data Trace
- data ClientInfo = ClientInfo {}
- data InitializeParams = InitializeParams {
- _workDoneToken :: (Maybe ProgressToken)
- _processId :: (Maybe Int)
- _clientInfo :: (Maybe ClientInfo)
- _rootPath :: (Maybe Text)
- _rootUri :: (Maybe Uri)
- _initializationOptions :: (Maybe Value)
- _capabilities :: ClientCapabilities
- _trace :: (Maybe Trace)
- _workspaceFolders :: (Maybe (List WorkspaceFolder))
- data InitializeError = InitializeError {}
- data ServerInfo = ServerInfo {}
- data InitializeResult = InitializeResult {}
- data InitializedParams = InitializedParams {
- data Position = Position {
- _line :: Int
- _character :: Int
- data Range = Range {}
- data Location = Location {}
- data LocationLink = LocationLink {}
- mkRange :: Int -> Int -> Int -> Int -> Range
- data LspId (m :: Method f Request)
- data SomeLspId where
- data MarkupKind
- data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
- markedUpContent :: Text -> Text -> MarkupContent
- unmarkedUpContent :: Text -> MarkupContent
- sectionSeparator :: Text
- data From
- data MethodType
- data Method (f :: From) (t :: MethodType) where
- Initialize :: Method FromClient Request
- Initialized :: Method FromClient Notification
- Shutdown :: Method FromClient Request
- Exit :: Method FromClient Notification
- WorkspaceDidChangeWorkspaceFolders :: Method FromClient Notification
- WorkspaceDidChangeConfiguration :: Method FromClient Notification
- WorkspaceDidChangeWatchedFiles :: Method FromClient Notification
- WorkspaceSymbol :: Method FromClient Request
- WorkspaceExecuteCommand :: Method FromClient Request
- TextDocumentDidOpen :: Method FromClient Notification
- TextDocumentDidChange :: Method FromClient Notification
- TextDocumentWillSave :: Method FromClient Notification
- TextDocumentWillSaveWaitUntil :: Method FromClient Request
- TextDocumentDidSave :: Method FromClient Notification
- TextDocumentDidClose :: Method FromClient Notification
- TextDocumentCompletion :: Method FromClient Request
- CompletionItemResolve :: Method FromClient Request
- TextDocumentHover :: Method FromClient Request
- TextDocumentSignatureHelp :: Method FromClient Request
- TextDocumentDeclaration :: Method FromClient Request
- TextDocumentDefinition :: Method FromClient Request
- TextDocumentTypeDefinition :: Method FromClient Request
- TextDocumentImplementation :: Method FromClient Request
- TextDocumentReferences :: Method FromClient Request
- TextDocumentDocumentHighlight :: Method FromClient Request
- TextDocumentDocumentSymbol :: Method FromClient Request
- TextDocumentCodeAction :: Method FromClient Request
- TextDocumentCodeLens :: Method FromClient Request
- CodeLensResolve :: Method FromClient Request
- TextDocumentDocumentLink :: Method FromClient Request
- DocumentLinkResolve :: Method FromClient Request
- TextDocumentDocumentColor :: Method FromClient Request
- TextDocumentColorPresentation :: Method FromClient Request
- TextDocumentFormatting :: Method FromClient Request
- TextDocumentRangeFormatting :: Method FromClient Request
- TextDocumentOnTypeFormatting :: Method FromClient Request
- TextDocumentRename :: Method FromClient Request
- TextDocumentPrepareRename :: Method FromClient Request
- TextDocumentFoldingRange :: Method FromClient Request
- TextDocumentSelectionRange :: Method FromClient Request
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowLogMessage :: Method FromServer Notification
- WindowWorkDoneProgressCancel :: Method FromClient Notification
- WindowWorkDoneProgressCreate :: Method FromServer Request
- Progress :: Method FromServer Notification
- TelemetryEvent :: Method FromServer Notification
- ClientRegisterCapability :: Method FromServer Request
- ClientUnregisterCapability :: Method FromServer Request
- WorkspaceWorkspaceFolders :: Method FromServer Request
- WorkspaceConfiguration :: Method FromServer Request
- WorkspaceApplyEdit :: Method FromServer Request
- TextDocumentPublishDiagnostics :: Method FromServer Notification
- CancelRequest :: Method f Notification
- CustomMethod :: Method f t
- data SMethod (m :: Method f t) where
- SInitialize :: SMethod Initialize
- SInitialized :: SMethod Initialized
- SShutdown :: SMethod Shutdown
- SExit :: SMethod Exit
- SWorkspaceDidChangeWorkspaceFolders :: SMethod WorkspaceDidChangeWorkspaceFolders
- SWorkspaceDidChangeConfiguration :: SMethod WorkspaceDidChangeConfiguration
- SWorkspaceDidChangeWatchedFiles :: SMethod WorkspaceDidChangeWatchedFiles
- SWorkspaceSymbol :: SMethod WorkspaceSymbol
- SWorkspaceExecuteCommand :: SMethod WorkspaceExecuteCommand
- STextDocumentDidOpen :: SMethod TextDocumentDidOpen
- STextDocumentDidChange :: SMethod TextDocumentDidChange
- STextDocumentWillSave :: SMethod TextDocumentWillSave
- STextDocumentWillSaveWaitUntil :: SMethod TextDocumentWillSaveWaitUntil
- STextDocumentDidSave :: SMethod TextDocumentDidSave
- STextDocumentDidClose :: SMethod TextDocumentDidClose
- STextDocumentCompletion :: SMethod TextDocumentCompletion
- SCompletionItemResolve :: SMethod CompletionItemResolve
- STextDocumentHover :: SMethod TextDocumentHover
- STextDocumentSignatureHelp :: SMethod TextDocumentSignatureHelp
- STextDocumentDeclaration :: SMethod TextDocumentDeclaration
- STextDocumentDefinition :: SMethod TextDocumentDefinition
- STextDocumentTypeDefinition :: SMethod TextDocumentTypeDefinition
- STextDocumentImplementation :: SMethod TextDocumentImplementation
- STextDocumentReferences :: SMethod TextDocumentReferences
- STextDocumentDocumentHighlight :: SMethod TextDocumentDocumentHighlight
- STextDocumentDocumentSymbol :: SMethod TextDocumentDocumentSymbol
- STextDocumentCodeAction :: SMethod TextDocumentCodeAction
- STextDocumentCodeLens :: SMethod TextDocumentCodeLens
- SCodeLensResolve :: SMethod CodeLensResolve
- STextDocumentDocumentLink :: SMethod TextDocumentDocumentLink
- SDocumentLinkResolve :: SMethod DocumentLinkResolve
- STextDocumentDocumentColor :: SMethod TextDocumentDocumentColor
- STextDocumentColorPresentation :: SMethod TextDocumentColorPresentation
- STextDocumentFormatting :: SMethod TextDocumentFormatting
- STextDocumentRangeFormatting :: SMethod TextDocumentRangeFormatting
- STextDocumentOnTypeFormatting :: SMethod TextDocumentOnTypeFormatting
- STextDocumentRename :: SMethod TextDocumentRename
- STextDocumentPrepareRename :: SMethod TextDocumentPrepareRename
- STextDocumentFoldingRange :: SMethod TextDocumentFoldingRange
- STextDocumentSelectionRange :: SMethod TextDocumentSelectionRange
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowLogMessage :: SMethod WindowLogMessage
- SWindowWorkDoneProgressCreate :: SMethod WindowWorkDoneProgressCreate
- SWindowWorkDoneProgressCancel :: SMethod WindowWorkDoneProgressCancel
- SProgress :: SMethod Progress
- STelemetryEvent :: SMethod TelemetryEvent
- SClientRegisterCapability :: SMethod ClientRegisterCapability
- SClientUnregisterCapability :: SMethod ClientUnregisterCapability
- SWorkspaceWorkspaceFolders :: SMethod WorkspaceWorkspaceFolders
- SWorkspaceConfiguration :: SMethod WorkspaceConfiguration
- SWorkspaceApplyEdit :: SMethod WorkspaceApplyEdit
- STextDocumentPublishDiagnostics :: SMethod TextDocumentPublishDiagnostics
- SCancelRequest :: SMethod CancelRequest
- SCustomMethod :: Text -> SMethod CustomMethod
- type SClientMethod (m :: Method FromClient t) = SMethod m
- type SServerMethod (m :: Method FromServer t) = SMethod m
- data SomeClientMethod = SomeClientMethod (SMethod m)
- data SomeServerMethod = SomeServerMethod (SMethod m)
- data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
- type family MessageParams (m :: Method f t) :: Type where ...
- type family ResponseResult (m :: Method f Request) :: Type where ...
- data NotificationMessage (m :: Method f Notification) = NotificationMessage {}
- data RequestMessage (m :: Method f Request) = RequestMessage {}
- data CustomMessage f t where
- ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request
- NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification
- data ErrorCode
- data ResponseError = ResponseError {}
- data ResponseMessage (m :: Method f Request) = ResponseMessage {
- _jsonrpc :: Text
- _id :: Maybe (LspId m)
- _result :: Either ResponseError (ResponseResult m)
- type family Message (m :: Method f t) :: Type where ...
- type ClientMessage (m :: Method FromClient t) = Message m
- type ServerMessage (m :: Method FromServer t) = Message m
- data FromServerMessage' a where
- FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a
- FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a
- type FromServerMessage = FromServerMessage' SMethod
- fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage
- fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage
- data FromClientMessage' a where
- FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a
- FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a
- type FromClientMessage = FromClientMessage' SMethod
- fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage
- fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage
- type LookupFunc f a = forall (m :: Method f Request). LspId m -> Maybe (SMethod m, a m)
- parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a)
- parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a)
- clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x
- serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x
- clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x
- serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x
- type HasJSON a = (ToJSON a, FromJSON a, Eq a)
- data ClientNotOrReq (m :: Method FromClient t) where
- IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification)
- IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m
- IsClientEither :: ClientNotOrReq CustomMethod
- data ServerNotOrReq (m :: Method FromServer t) where
- IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification)
- IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m
- IsServerEither :: ServerNotOrReq CustomMethod
- splitClientMethod :: SClientMethod m -> ClientNotOrReq m
- splitServerMethod :: SServerMethod m -> ServerNotOrReq m
- mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2)
- mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2)
- data ProgressToken
- data ProgressParams t = ProgressParams {
- _token :: ProgressToken
- _value :: t
- data SomeProgressParams
- data WorkDoneProgressBeginParams = WorkDoneProgressBeginParams {}
- data WorkDoneProgressReportParams = WorkDoneProgressReportParams {
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe Double
- data WorkDoneProgressEndParams = WorkDoneProgressEndParams {}
- data WorkDoneProgressCancelParams = WorkDoneProgressCancelParams {}
- data WorkDoneProgressCreateParams = WorkDoneProgressCreateParams {}
- data WorkDoneProgressOptions = WorkDoneProgressOptions {}
- data WorkDoneProgressParams = WorkDoneProgressParams {}
- data PartialResultParams = PartialResultParams {}
- data ReferencesClientCapabilities = ReferencesClientCapabilities {}
- data ReferenceOptions = ReferenceOptions {
- _workDoneProgress :: (Maybe Bool)
- data ReferenceRegistrationOptions = ReferenceRegistrationOptions {}
- data ReferenceContext = ReferenceContext {}
- data ReferenceParams = ReferenceParams {}
- type family RegistrationOptions (m :: Method FromClient t) :: Type where ...
- data Registration (m :: Method FromClient t) = Registration {
- _id :: Text
- _method :: SClientMethod m
- _registerOptions :: !(RegistrationOptions m)
- regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x
- data SomeRegistration = SomeRegistration (Registration m)
- data RegistrationParams = RegistrationParams {}
- data Unregistration = Unregistration {
- _id :: Text
- _method :: SomeClientMethod
- data UnregistrationParams = UnregistrationParams {}
- data RenameClientCapabilities = RenameClientCapabilities {}
- data RenameOptions = RenameOptions {
- _workDoneProgress :: (Maybe Bool)
- _prepareProvider :: (Maybe Bool)
- data RenameRegistrationOptions = RenameRegistrationOptions {}
- data RenameParams = RenameParams {}
- data PrepareRenameParams = PrepareRenameParams {}
- data RangeWithPlaceholder = RangeWithPlaceholder {
- _range :: Range
- _placeholder :: Text
- data SignatureHelpParameterInformation = SignatureHelpParameterInformation {}
- data SignatureHelpSignatureInformation = SignatureHelpSignatureInformation {}
- data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {}
- data SignatureHelpOptions = SignatureHelpOptions {
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe (List String))
- _retriggerCharacters :: (Maybe (List String))
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe (List String))
- _retriggerCharacters :: (Maybe (List String))
- data ParameterInformation = ParameterInformation {
- _label :: Text
- _documentation :: Maybe Text
- data SignatureInformation = SignatureInformation {}
- data SignatureHelp = SignatureHelp {}
- data SignatureHelpTriggerKind
- data SignatureHelpContext = SignatureHelpContext {}
- data SignatureHelpParams = SignatureHelpParams {}
- data StaticRegistrationOptions = StaticRegistrationOptions {}
- data SelectionRangeClientCapabilities = SelectionRangeClientCapabilities {}
- data SelectionRangeOptions = SelectionRangeOptions {
- _workDoneProgress :: (Maybe Bool)
- data SelectionRangeRegistrationOptions = SelectionRangeRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- data SelectionRangeParams = SelectionRangeParams {}
- data SelectionRange = SelectionRange {}
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- type TextDocumentVersion = Maybe Int
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- data TextDocumentSyncClientCapabilities = TextDocumentSyncClientCapabilities {}
- data SaveOptions = SaveOptions {}
- data TextDocumentSyncKind
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {}
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- data TextDocumentSaveReason
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {}
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {}
- data TypeDefinitionOptions = TypeDefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
- data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data TypeDefinitionParams = TypeDefinitionParams {}
- newtype Uri = Uri {}
- uriToFilePath :: Uri -> Maybe FilePath
- filePathToUri :: FilePath -> Uri
- data NormalizedUri = NormalizedUri !Int !Text
- toNormalizedUri :: Uri -> NormalizedUri
- fromNormalizedUri :: NormalizedUri -> Uri
- data NormalizedFilePath = NormalizedFilePath NormalizedUri !FilePath
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
- uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {}
- data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {}
- data FileSystemWatcher = FileSystemWatcher {}
- data WatchKind = WatchKind {
- _watchCreate :: Bool
- _watchChange :: Bool
- _watchDelete :: Bool
- data FileChangeType
- data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- data MessageType
- data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
- data MessageActionItem = MessageActionItem {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
- data TextEdit = TextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {
- _applied :: Bool
- _failureReason :: Maybe Text
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- data WorkspaceFolder = WorkspaceFolder {}
- data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {}
- data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {}
- data WorkspaceSymbolKindClientCapabilities = WorkspaceSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
- data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {}
- data WorkspaceSymbolOptions = WorkspaceSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
Documentation
data CancelParams Source #
Constructors
CancelParams | |
Instances
Eq CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation | |
Read CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
Show CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
ToJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
FromJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation |
data CodeActionKind Source #
Constructors
CodeActionEmpty | Empty kind. |
CodeActionQuickFix | Base kind for quickfix actions: |
CodeActionRefactor | Base kind for refactoring actions: |
CodeActionRefactorExtract | Base kind for refactoring extraction actions:
|
CodeActionRefactorInline | Base kind for refactoring inline actions: Example inline actions:
|
CodeActionRefactorRewrite | Base kind for refactoring rewrite actions: Example rewrite actions:
|
CodeActionSource | Base kind for source actions: Source code actions apply to the entire file. |
CodeActionSourceOrganizeImports | Base kind for an organize imports source action: |
CodeActionUnknown Text |
Instances
data CodeActionKindClientCapabilities Source #
Constructors
CodeActionKindClientCapabilities | |
Fields
|
Instances
data CodeActionLiteralSupport Source #
Constructors
CodeActionLiteralSupport | |
Fields
|
Instances
data CodeActionClientCapabilities Source #
Constructors
CodeActionClientCapabilities | |
Fields
|
Instances
data CodeActionOptions Source #
Constructors
CodeActionOptions | |
Fields
|
Instances
data CodeActionRegistrationOptions Source #
Constructors
CodeActionRegistrationOptions | |
Fields
|
Instances
data CodeActionContext Source #
Contains additional diagnostic information about the context in which a code action is run.
Constructors
CodeActionContext | |
Fields
|
Instances
data CodeActionParams Source #
Constructors
CodeActionParams | |
Fields |
Instances
data CodeAction Source #
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 CodeAction
and/or a CodeAction
. If both are supplied,
the CodeAction
is applied first, then the CodeAction
is executed.
Constructors
CodeAction | |
Fields
|
Instances
data CodeLensClientCapabilities Source #
Constructors
CodeLensClientCapabilities | |
Fields
|
Instances
data CodeLensOptions Source #
Constructors
CodeLensOptions | |
Fields
|
Instances
data CodeLensRegistrationOptions Source #
Constructors
CodeLensRegistrationOptions | |
Fields
|
Instances
data CodeLensParams Source #
Constructors
CodeLensParams | |
Fields |
Instances
A code lens represents a command that should be shown along with source text, like the number of references, a way to run tests, etc.
A code lens is _unresolved_ when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.
Constructors
CodeLens | |
data ExecuteCommandClientCapabilities Source #
Constructors
ExecuteCommandClientCapabilities | |
Fields
|
Instances
data ExecuteCommandOptions Source #
Constructors
ExecuteCommandOptions | |
Instances
data ExecuteCommandRegistrationOptions Source #
Constructors
ExecuteCommandRegistrationOptions | |
Instances
data ExecuteCommandParams Source #
Constructors
ExecuteCommandParams | |
Fields
|
Instances
Constructors
Command | |
Instances
Eq Command Source # | |
Read Command Source # | |
Show Command Source # | |
ToJSON Command Source # | |
Defined in Language.LSP.Types.Command | |
FromJSON Command Source # | |
HasCommand Command Text Source # | |
HasTitle Command Text Source # | |
HasCommand CodeLens (Maybe Command) Source # | |
HasCommand CompletionItem (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens | |
HasCommand CodeAction (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens | |
HasArguments Command (Maybe (List Value)) Source # | |
A terser, isomorphic data type for Either
, that does not get tagged when
converting to and from JSON.
Instances
All LSP types representing a list **must** use this type rather than '[]'.
In particular this is necessary to change the FromJSON
instance to be compatible
with Elisp (where empty lists show up as null
)
Constructors
List [a] |
Instances
Constructors
Empty |
data CompletionItemKind Source #
Constructors
Instances
data CompletionItemTag Source #
Constructors
CtDeprecated | Render a completion as obsolete, usually using a strike-out. |
Instances
data CompletionItemTagsClientCapabilities Source #
Constructors
CompletionItemTagsClientCapabilities | |
Fields
|
Instances
data CompletionItemClientCapabilities Source #
Constructors
CompletionItemClientCapabilities | |
Fields
|
Instances
data CompletionItemKindClientCapabilities Source #
Constructors
CompletionItemKindClientCapabilities | |
Fields
|
Instances
data CompletionClientCapabilities Source #
Constructors
CompletionClientCapabilities | |
Fields
|
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 CompletionList Source #
Represents a collection of CompletionItem
s to be presented in the editor.
Constructors
CompletionList | |
Fields
|
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 CompletionOptions Source #
Constructors
CompletionOptions | |
Fields
|
Instances
data CompletionRegistrationOptions Source #
Constructors
CompletionRegistrationOptions | |
Fields
|
Instances
data CompletionContext Source #
Constructors
CompletionContext | |
Fields
|
Instances
data CompletionParams Source #
Constructors
CompletionParams | |
Fields |
Instances
data DidChangeConfigurationClientCapabilities Source #
Constructors
DidChangeConfigurationClientCapabilities | |
Fields
|
Instances
data DidChangeConfigurationParams Source #
Constructors
DidChangeConfigurationParams | |
Instances
data ConfigurationItem Source #
Constructors
ConfigurationItem | |
Instances
data ConfigurationParams Source #
Constructors
ConfigurationParams | |
Fields |
Instances
data DeclarationClientCapabilities Source #
Constructors
DeclarationClientCapabilities | |
Fields
|
Instances
data DeclarationOptions Source #
Constructors
DeclarationOptions | |
Fields
|
Instances
data DeclarationRegistrationOptions Source #
Constructors
DeclarationRegistrationOptions | |
Fields
|
Instances
data DeclarationParams Source #
Constructors
DeclarationParams | |
Fields |
Instances
data DefinitionClientCapabilities Source #
Constructors
DefinitionClientCapabilities | |
Fields
|
Instances
data DefinitionOptions Source #
Constructors
DefinitionOptions | |
Fields
|
Instances
data DefinitionRegistrationOptions Source #
Constructors
DefinitionRegistrationOptions | |
Fields |
Instances
Eq DefinitionRegistrationOptions Source # | |
Defined in Language.LSP.Types.Definition | |
Read DefinitionRegistrationOptions Source # | |
Show DefinitionRegistrationOptions Source # | |
Defined in Language.LSP.Types.Definition Methods showsPrec :: Int -> DefinitionRegistrationOptions -> ShowS # show :: DefinitionRegistrationOptions -> String # showList :: [DefinitionRegistrationOptions] -> ShowS # | |
ToJSON DefinitionRegistrationOptions Source # | |
Defined in Language.LSP.Types.Definition Methods toJSON :: DefinitionRegistrationOptions -> Value # toEncoding :: DefinitionRegistrationOptions -> Encoding # toJSONList :: [DefinitionRegistrationOptions] -> Value # toEncodingList :: [DefinitionRegistrationOptions] -> Encoding # | |
FromJSON DefinitionRegistrationOptions Source # | |
Defined in Language.LSP.Types.Definition Methods parseJSON :: Value -> Parser DefinitionRegistrationOptions # parseJSONList :: Value -> Parser [DefinitionRegistrationOptions] # |
data DefinitionParams Source #
Constructors
DefinitionParams | |
Fields |
Instances
Eq DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition Methods (==) :: DefinitionParams -> DefinitionParams -> Bool # (/=) :: DefinitionParams -> DefinitionParams -> Bool # | |
Read DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition Methods readsPrec :: Int -> ReadS DefinitionParams # readList :: ReadS [DefinitionParams] # | |
Show DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition Methods showsPrec :: Int -> DefinitionParams -> ShowS # show :: DefinitionParams -> String # showList :: [DefinitionParams] -> ShowS # | |
ToJSON DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition Methods toJSON :: DefinitionParams -> Value # toEncoding :: DefinitionParams -> Encoding # toJSONList :: [DefinitionParams] -> Value # toEncodingList :: [DefinitionParams] -> Encoding # | |
FromJSON DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition Methods parseJSON :: Value -> Parser DefinitionParams # parseJSONList :: Value -> Parser [DefinitionParams] # |
data DiagnosticSeverity Source #
Instances
data DiagnosticTag Source #
Constructors
DtUnnecessary | Unused or unnecessary code. Clients are allowed to render diagnostics with this tag faded out instead of having an error squiggle. |
DtDeprecated | Deprecated or obsolete code. Clients are allowed to rendered diagnostics with this tag strike through. |
Instances
data DiagnosticRelatedInformation Source #
Constructors
DiagnosticRelatedInformation | |
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Constructors
Diagnostic | |
Fields
|
Instances
data PublishDiagnosticsTagsClientCapabilities Source #
Constructors
PublishDiagnosticsTagsClientCapabilities | |
Fields
|
Instances
data PublishDiagnosticsClientCapabilities Source #
Constructors
PublishDiagnosticsClientCapabilities | |
Fields
|
Instances
data PublishDiagnosticsParams Source #
Constructors
PublishDiagnosticsParams | |
Fields
|
Instances
data DocumentColorClientCapabilities Source #
Constructors
DocumentColorClientCapabilities | |
Fields
|
Instances
data DocumentColorOptions Source #
Constructors
DocumentColorOptions | |
Fields
|
Instances
data DocumentColorRegistrationOptions Source #
Constructors
DocumentColorRegistrationOptions | |
Fields
|
Instances
data DocumentColorParams Source #
Constructors
DocumentColorParams | |
Fields |
Instances
Represents a color in RGBA space.
Constructors
Color | |
Instances
Eq Color Source # | |
Read Color Source # | |
Show Color Source # | |
ToJSON Color Source # | |
Defined in Language.LSP.Types.DocumentColor | |
FromJSON Color Source # | |
HasRed Color Int Source # | |
HasGreen Color Int Source # | |
HasBlue Color Int Source # | |
HasAlpha Color Int Source # | |
HasColor ColorInformation Color Source # | |
Defined in Language.LSP.Types.Lens | |
HasColor ColorPresentationParams Color Source # | |
Defined in Language.LSP.Types.Lens |
data ColorInformation Source #
Constructors
ColorInformation | |
Instances
data ColorPresentationParams Source #
Constructors
ColorPresentationParams | |
Fields |
Instances
data ColorPresentation Source #
Constructors
ColorPresentation | |
Fields
|
Instances
data DocumentFilter Source #
Constructors
DocumentFilter | |
Fields
|
Instances
type DocumentSelector = List DocumentFilter Source #
data DocumentHighlightClientCapabilities Source #
Constructors
DocumentHighlightClientCapabilities | |
Fields
|
Instances
data DocumentHighlightOptions Source #
Constructors
DocumentHighlightOptions | |
Fields
|
Instances
data DocumentHighlightRegistrationOptions Source #
Constructors
DocumentHighlightRegistrationOptions | |
Fields |
Instances
data DocumentHighlightParams Source #
Constructors
DocumentHighlightParams | |
Fields |
Instances
data DocumentHighlightKind Source #
Constructors
HkText | A textual occurrence. |
HkRead | Read-access of a symbol, like reading a variable. |
HkWrite | Write-access of a symbol, like writing to a variable. |
Instances
data DocumentHighlight Source #
A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
Constructors
DocumentHighlight | |
Instances
data DocumentLinkClientCapabilities Source #
Constructors
DocumentLinkClientCapabilities | |
Fields
|
Instances
data DocumentLinkOptions Source #
Constructors
DocumentLinkOptions | |
Fields
|
Instances
data DocumentLinkRegistrationOptions Source #
Constructors
DocumentLinkRegistrationOptions | |
Fields
|
Instances
data DocumentLinkParams Source #
Constructors
DocumentLinkParams | |
Fields |
Instances
data DocumentLink Source #
A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.
Constructors
DocumentLink | |
Fields
|
Instances
data DocumentSymbolOptions Source #
Constructors
DocumentSymbolOptions | |
Fields
|
Instances
data DocumentSymbolRegistrationOptions Source #
Constructors
DocumentSymbolRegistrationOptions | |
Fields |
Instances
data DocumentSymbolParams Source #
Constructors
DocumentSymbolParams | |
Fields |
Instances
data SymbolKind Source #
Constructors
Instances
data DocumentSymbolKindClientCapabilities Source #
Constructors
DocumentSymbolKindClientCapabilities | |
Fields
|
Instances
data DocumentSymbolClientCapabilities Source #
Constructors
DocumentSymbolClientCapabilities | |
Fields
|
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
data FoldingRangeClientCapabilities Source #
Constructors
FoldingRangeClientCapabilities | |
Fields
|
Instances
data FoldingRangeOptions Source #
Constructors
FoldingRangeOptions | |
Fields
|
Instances
data FoldingRangeRegistrationOptions Source #
Constructors
FoldingRangeRegistrationOptions | |
Fields
|
Instances
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
data DocumentFormattingClientCapabilities Source #
Constructors
DocumentFormattingClientCapabilities | |
Fields
|
Instances
data DocumentFormattingOptions Source #
Constructors
DocumentFormattingOptions | |
Fields
|
Instances
data DocumentFormattingRegistrationOptions Source #
Constructors
DocumentFormattingRegistrationOptions | |
Fields |
Instances
data FormattingOptions Source #
Value-object describing what options formatting should use.
Constructors
FormattingOptions | |
Fields
|
Instances
data DocumentFormattingParams Source #
Constructors
DocumentFormattingParams | |
Fields |
Instances
data DocumentRangeFormattingClientCapabilities Source #
Constructors
DocumentRangeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentRangeFormattingOptions Source #
Constructors
DocumentRangeFormattingOptions | |
Fields
|
Instances
data DocumentRangeFormattingRegistrationOptions Source #
Constructors
DocumentRangeFormattingRegistrationOptions | |
Fields |
Instances
data DocumentRangeFormattingParams Source #
Constructors
DocumentRangeFormattingParams | |
Fields |
Instances
data DocumentOnTypeFormattingClientCapabilities Source #
Constructors
DocumentOnTypeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentOnTypeFormattingOptions Source #
Constructors
DocumentOnTypeFormattingOptions | |
Fields
|
Instances
data DocumentOnTypeFormattingRegistrationOptions Source #
Constructors
DocumentOnTypeFormattingRegistrationOptions | |
Fields |
Instances
data DocumentOnTypeFormattingParams Source #
Constructors
DocumentOnTypeFormattingParams | |
Fields |
Instances
data HoverClientCapabilities Source #
Constructors
HoverClientCapabilities | |
Fields |
Instances
data HoverOptions Source #
Constructors
HoverOptions | |
Fields
|
Instances
Eq HoverOptions Source # | |
Defined in Language.LSP.Types.Hover | |
Read HoverOptions Source # | |
Defined in Language.LSP.Types.Hover Methods readsPrec :: Int -> ReadS HoverOptions # readList :: ReadS [HoverOptions] # | |
Show HoverOptions Source # | |
Defined in Language.LSP.Types.Hover Methods showsPrec :: Int -> HoverOptions -> ShowS # show :: HoverOptions -> String # showList :: [HoverOptions] -> ShowS # | |
ToJSON HoverOptions Source # | |
Defined in Language.LSP.Types.Hover Methods toJSON :: HoverOptions -> Value # toEncoding :: HoverOptions -> Encoding # toJSONList :: [HoverOptions] -> Value # toEncodingList :: [HoverOptions] -> Encoding # | |
FromJSON HoverOptions Source # | |
Defined in Language.LSP.Types.Hover | |
HasHoverProvider ServerCapabilities (Maybe (Bool |? HoverOptions)) Source # | |
Defined in Language.LSP.Types.Lens Methods hoverProvider :: Lens' ServerCapabilities (Maybe (Bool |? HoverOptions)) Source # |
data HoverRegistrationOptions Source #
Constructors
HoverRegistrationOptions | |
Fields |
Instances
data HoverParams Source #
Constructors
HoverParams | |
Fields |
Instances
Eq HoverParams Source # | |
Defined in Language.LSP.Types.Hover | |
Read HoverParams Source # | |
Defined in Language.LSP.Types.Hover Methods readsPrec :: Int -> ReadS HoverParams # readList :: ReadS [HoverParams] # readPrec :: ReadPrec HoverParams # readListPrec :: ReadPrec [HoverParams] # | |
Show HoverParams Source # | |
Defined in Language.LSP.Types.Hover Methods showsPrec :: Int -> HoverParams -> ShowS # show :: HoverParams -> String # showList :: [HoverParams] -> ShowS # | |
ToJSON HoverParams Source # | |
Defined in Language.LSP.Types.Hover Methods toJSON :: HoverParams -> Value # toEncoding :: HoverParams -> Encoding # toJSONList :: [HoverParams] -> Value # toEncodingList :: [HoverParams] -> Encoding # | |
FromJSON HoverParams Source # | |
Defined in Language.LSP.Types.Hover |
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.LSP.Types.Hover | |
Read MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods readsPrec :: Int -> ReadS MarkedString # readList :: ReadS [MarkedString] # | |
Show MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods showsPrec :: Int -> MarkedString -> ShowS # show :: MarkedString -> String # showList :: [MarkedString] -> ShowS # | |
ToJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods toJSON :: MarkedString -> Value # toEncoding :: MarkedString -> Encoding # toJSONList :: [MarkedString] -> Value # toEncodingList :: [MarkedString] -> Encoding # | |
FromJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover |
data HoverContents Source #
Constructors
HoverContentsMS (List MarkedString) | |
HoverContents MarkupContent |
Instances
data ImplementationClientCapabilities Source #
Constructors
ImplementationClientCapabilities | |
Fields
|
Instances
data ImplementationOptions Source #
Constructors
ImplementationOptions | |
Fields
|
Instances
data ImplementationRegistrationOptions Source #
Constructors
ImplementationRegistrationOptions | |
Fields
|
Instances
data ImplementationParams Source #
Constructors
ImplementationParams | |
Fields |
Instances
Constructors
TraceOff | |
TraceMessages | |
TraceVerbose |
data ClientInfo Source #
Constructors
ClientInfo | |
Instances
data InitializeParams Source #
Constructors
InitializeParams | |
Fields
|
Instances
data InitializeError Source #
Constructors
InitializeError | |
Instances
data ServerInfo Source #
Constructors
ServerInfo | |
Instances
data InitializeResult Source #
Constructors
InitializeResult | |
Fields
|
Instances
data InitializedParams Source #
Constructors
InitializedParams | |
Instances
Constructors
Position | |
Fields
|
Instances
Constructors
Range | |
Instances
Instances
Eq Location Source # | |
Ord Location Source # | |
Defined in Language.LSP.Types.Location | |
Read Location Source # | |
Show Location Source # | |
Generic Location Source # | |
ToJSON Location Source # | |
Defined in Language.LSP.Types.Location | |
FromJSON Location Source # | |
NFData Location Source # | |
Defined in Language.LSP.Types.Location | |
HasRange Location Range Source # | |
HasUri Location Uri Source # | |
HasLocation SymbolInformation Location Source # | |
Defined in Language.LSP.Types.Lens | |
HasLocation DiagnosticRelatedInformation Location Source # | |
Defined in Language.LSP.Types.Lens | |
type Rep Location Source # | |
Defined in Language.LSP.Types.Location type Rep Location = D1 (MetaData "Location" "Language.LSP.Types.Location" "lsp-types-1.0.0.0-4tl9hJ01Xf3Dwl9RCbFmlD" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "_uri") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Uri) :*: S1 (MetaSel (Just "_range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Range))) |
data LocationLink Source #
Represents a link between a source and a target location.
Constructors
LocationLink | |
Fields
|
Instances
Eq LocationLink Source # | |
Defined in Language.LSP.Types.Location | |
Read LocationLink Source # | |
Defined in Language.LSP.Types.Location Methods readsPrec :: Int -> ReadS LocationLink # readList :: ReadS [LocationLink] # | |
Show LocationLink Source # | |
Defined in Language.LSP.Types.Location Methods showsPrec :: Int -> LocationLink -> ShowS # show :: LocationLink -> String # showList :: [LocationLink] -> ShowS # | |
ToJSON LocationLink Source # | |
Defined in Language.LSP.Types.Location Methods toJSON :: LocationLink -> Value # toEncoding :: LocationLink -> Encoding # toJSONList :: [LocationLink] -> Value # toEncodingList :: [LocationLink] -> Encoding # | |
FromJSON LocationLink Source # | |
Defined in Language.LSP.Types.Location |
mkRange :: Int -> Int -> Int -> Int -> Range Source #
A helper function for creating ranges. prop> mkRange l c l' c' = Range (Position l c) (Position l' c')
data LspId (m :: Method f Request) Source #
Id used for a request, Can be either a String or an Int
Instances
Eq (LspId m) Source # | |
Ord (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
Read (LspId m) Source # | |
Show (LspId m) Source # | |
ToJSON (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
FromJSON (LspId m) Source # | |
IxOrd (LspId :: Method f Request -> Type) Source # | |
HasId (ResponseMessage m) (Maybe (LspId m)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasId (RequestMessage m) (LspId m) Source # | |
Defined in Language.LSP.Types.Lens | |
type Base (LspId :: Method f Request -> Type) Source # | |
Instances
Eq SomeLspId Source # | |
Ord SomeLspId Source # | |
Show SomeLspId Source # | |
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
Constructors
FromServer | |
FromClient |
data MethodType Source #
Constructors
Notification | |
Request |
data Method (f :: From) (t :: MethodType) where Source #
Constructors
data SMethod (m :: Method f t) where Source #
Constructors
Instances
type SClientMethod (m :: Method FromClient t) = SMethod m Source #
type SServerMethod (m :: Method FromServer t) = SMethod m Source #
data SomeClientMethod Source #
Constructors
SomeClientMethod (SMethod m) |
Instances
data SomeServerMethod Source #
Constructors
SomeServerMethod (SMethod m) |
Instances
data SomeMethod where Source #
Constructors
SomeMethod :: forall m. SMethod m -> SomeMethod |
Instances
Eq SomeMethod Source # | |
Defined in Language.LSP.Types.Method | |
Ord SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods compare :: SomeMethod -> SomeMethod -> Ordering # (<) :: SomeMethod -> SomeMethod -> Bool # (<=) :: SomeMethod -> SomeMethod -> Bool # (>) :: SomeMethod -> SomeMethod -> Bool # (>=) :: SomeMethod -> SomeMethod -> Bool # max :: SomeMethod -> SomeMethod -> SomeMethod # min :: SomeMethod -> SomeMethod -> SomeMethod # | |
Show SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods showsPrec :: Int -> SomeMethod -> ShowS # show :: SomeMethod -> String # showList :: [SomeMethod] -> ShowS # | |
ToJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods toJSON :: SomeMethod -> Value # toEncoding :: SomeMethod -> Encoding # toJSONList :: [SomeMethod] -> Value # toEncodingList :: [SomeMethod] -> Encoding # | |
FromJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method |
type family MessageParams (m :: Method f t) :: Type where ... Source #
Map a method to the message payload type
Equations
type family ResponseResult (m :: Method f Request) :: Type where ... Source #
Map a request method to the response payload type
Equations
data NotificationMessage (m :: Method f Notification) Source #
Constructors
NotificationMessage | |
Instances
data RequestMessage (m :: Method f Request) Source #
Constructors
RequestMessage | |
Instances
data CustomMessage f t where Source #
A custom message data type is needed to distinguish between notifications and requests, since a CustomMethod can be both!
Constructors
ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request | |
NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification |
Instances
Show (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message Methods showsPrec :: Int -> CustomMessage p t -> ShowS # show :: CustomMessage p t -> String # showList :: [CustomMessage p t] -> ShowS # | |
ToJSON (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message Methods toJSON :: CustomMessage p t -> Value # toEncoding :: CustomMessage p t -> Encoding # toJSONList :: [CustomMessage p t] -> Value # toEncodingList :: [CustomMessage p t] -> Encoding # | |
FromJSON (CustomMessage p Notification) Source # | |
Defined in Language.LSP.Types.Message Methods parseJSON :: Value -> Parser (CustomMessage p Notification) # parseJSONList :: Value -> Parser [CustomMessage p Notification] # | |
FromJSON (CustomMessage p Request) Source # | |
Defined in Language.LSP.Types.Message Methods parseJSON :: Value -> Parser (CustomMessage p Request) # parseJSONList :: Value -> Parser [CustomMessage p Request] # |
Constructors
ParseError | |
InvalidRequest | |
MethodNotFound | |
InvalidParams | |
InternalError | |
ServerErrorStart | |
ServerErrorEnd | |
ServerNotInitialized | |
UnknownErrorCode | |
RequestCancelled | |
ContentModified | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
data ResponseMessage (m :: Method f Request) Source #
Either result or error must be Just.
Constructors
ResponseMessage | |
Fields
|
Instances
type family Message (m :: Method f t) :: Type where ... Source #
Map a method to the Request/Notification type with the correct payload
Equations
Message (CustomMethod :: Method f t) = CustomMessage f t | |
Message (m :: Method f Request) = RequestMessage m | |
Message (m :: Method f Notification) = NotificationMessage m |
type ClientMessage (m :: Method FromClient t) = Message m Source #
type ServerMessage (m :: Method FromServer t) = Message m Source #
data FromServerMessage' a where Source #
Constructors
FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a | |
FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a |
Instances
Eq FromServerMessage Source # | |
Defined in Language.LSP.Types.Message Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # | |
Show FromServerMessage Source # | |
Defined in Language.LSP.Types.Message Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
ToJSON FromServerMessage Source # | |
Defined in Language.LSP.Types.Message Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding # |
fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage Source #
fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage Source #
data FromClientMessage' a where Source #
Constructors
FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a | |
FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a |
Instances
ToJSON FromClientMessage Source # | |
Defined in Language.LSP.Types.Message Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding # |
fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage Source #
fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage Source #
parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a) Source #
parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a) Source #
clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x Source #
serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x Source #
data ClientNotOrReq (m :: Method FromClient t) where Source #
Constructors
IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification) | |
IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m | |
IsClientEither :: ClientNotOrReq CustomMethod |
data ServerNotOrReq (m :: Method FromServer t) where Source #
Constructors
IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification) | |
IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m | |
IsServerEither :: ServerNotOrReq CustomMethod |
splitClientMethod :: SClientMethod m -> ClientNotOrReq m Source #
splitServerMethod :: SServerMethod m -> ServerNotOrReq m Source #
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2) Source #
Heterogeneous equality on singleton server methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2) Source #
Heterogeneous equality on singlton client methods
data ProgressToken Source #
A token used to report progress back or return partial results for a specific request. @since 0.17.0.0
Constructors
ProgressNumericToken Int | |
ProgressTextToken Text |
Instances
data ProgressParams t Source #
Parameters for a $/progress notification.
Constructors
ProgressParams | |
Fields
|
Instances
data SomeProgressParams Source #
Constructors
Begin WorkDoneProgressBeginParams | |
Report WorkDoneProgressReportParams | |
End WorkDoneProgressEndParams |
Instances
Eq SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods (==) :: SomeProgressParams -> SomeProgressParams -> Bool # (/=) :: SomeProgressParams -> SomeProgressParams -> Bool # | |
ToJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods toJSON :: SomeProgressParams -> Value # toEncoding :: SomeProgressParams -> Encoding # toJSONList :: [SomeProgressParams] -> Value # toEncodingList :: [SomeProgressParams] -> Encoding # | |
FromJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods parseJSON :: Value -> Parser SomeProgressParams # parseJSONList :: Value -> Parser [SomeProgressParams] # |
data WorkDoneProgressBeginParams Source #
Parameters for WorkDoneProgressBeginNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressBeginParams | |
Fields
|
Instances
data WorkDoneProgressReportParams Source #
Parameters for WorkDoneProgressReportNotification
Since: 0.10.0.0
Constructors
WorkDoneProgressReportParams | |
Fields
|
Instances
data WorkDoneProgressEndParams Source #
Parameters for WorkDoneProgressEndNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressEndParams | |
Instances
data WorkDoneProgressCancelParams Source #
Parameters for WorkDoneProgressCancelNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressCancelParams | |
Fields
|
Instances
data WorkDoneProgressCreateParams Source #
Constructors
WorkDoneProgressCreateParams | |
Fields |
Instances
data WorkDoneProgressOptions Source #
Constructors
WorkDoneProgressOptions | |
Fields |
Instances
Eq WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress Methods (==) :: WorkDoneProgressOptions -> WorkDoneProgressOptions -> Bool # (/=) :: WorkDoneProgressOptions -> WorkDoneProgressOptions -> Bool # | |
Read WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress | |
Show WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress Methods showsPrec :: Int -> WorkDoneProgressOptions -> ShowS # show :: WorkDoneProgressOptions -> String # showList :: [WorkDoneProgressOptions] -> ShowS # | |
ToJSON WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress Methods toJSON :: WorkDoneProgressOptions -> Value # toEncoding :: WorkDoneProgressOptions -> Encoding # toJSONList :: [WorkDoneProgressOptions] -> Value # | |
FromJSON WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress Methods parseJSON :: Value -> Parser WorkDoneProgressOptions # parseJSONList :: Value -> Parser [WorkDoneProgressOptions] # |
data WorkDoneProgressParams Source #
Constructors
WorkDoneProgressParams | |
Fields
|
Instances
Eq WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods (==) :: WorkDoneProgressParams -> WorkDoneProgressParams -> Bool # (/=) :: WorkDoneProgressParams -> WorkDoneProgressParams -> Bool # | |
Read WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress | |
Show WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods showsPrec :: Int -> WorkDoneProgressParams -> ShowS # show :: WorkDoneProgressParams -> String # showList :: [WorkDoneProgressParams] -> ShowS # | |
ToJSON WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods toJSON :: WorkDoneProgressParams -> Value # toEncoding :: WorkDoneProgressParams -> Encoding # toJSONList :: [WorkDoneProgressParams] -> Value # | |
FromJSON WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods parseJSON :: Value -> Parser WorkDoneProgressParams # parseJSONList :: Value -> Parser [WorkDoneProgressParams] # |
data PartialResultParams Source #
Constructors
PartialResultParams | |
Fields
|
Instances
data ReferencesClientCapabilities Source #
Constructors
ReferencesClientCapabilities | |
Fields
|
Instances
data ReferenceOptions Source #
Constructors
ReferenceOptions | |
Fields
|
Instances
data ReferenceRegistrationOptions Source #
Constructors
ReferenceRegistrationOptions | |
Fields |
Instances
data ReferenceContext Source #
Constructors
ReferenceContext | |
Fields
|
Instances
data ReferenceParams Source #
Constructors
ReferenceParams | |
Instances
type family RegistrationOptions (m :: Method FromClient t) :: Type where ... Source #
Matches up the registration options for a specific method
Equations
data Registration (m :: Method FromClient t) Source #
Constructors
Registration | |
Fields
|
Instances
regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x Source #
data SomeRegistration Source #
Constructors
SomeRegistration (Registration m) |
Instances
data RegistrationParams Source #
Constructors
RegistrationParams | |
Fields |
Instances
data Unregistration Source #
General parameters to unregister a capability.
Constructors
Unregistration | |
Fields
|
Instances
data UnregistrationParams Source #
Constructors
UnregistrationParams | |
Fields
|
Instances
data RenameClientCapabilities Source #
Constructors
RenameClientCapabilities | |
Fields
|
Instances
data RenameOptions Source #
Constructors
RenameOptions | |
Fields
|
Instances
data RenameRegistrationOptions Source #
Constructors
RenameRegistrationOptions | |
Fields
|
Instances
data RenameParams Source #
Constructors
RenameParams | |
Fields |
Instances
data PrepareRenameParams Source #
Constructors
PrepareRenameParams | |
Fields |
Instances
data RangeWithPlaceholder Source #
Constructors
RangeWithPlaceholder | |
Fields
|
Instances
Eq RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods (==) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # (/=) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # | |
ToJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods toJSON :: RangeWithPlaceholder -> Value # toEncoding :: RangeWithPlaceholder -> Encoding # toJSONList :: [RangeWithPlaceholder] -> Value # toEncodingList :: [RangeWithPlaceholder] -> Encoding # | |
FromJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods parseJSON :: Value -> Parser RangeWithPlaceholder # parseJSONList :: Value -> Parser [RangeWithPlaceholder] # | |
HasRange RangeWithPlaceholder Range Source # | |
Defined in Language.LSP.Types.Lens | |
HasPlaceholder RangeWithPlaceholder Text Source # | |
Defined in Language.LSP.Types.Lens Methods |
data SignatureHelpParameterInformation Source #
Constructors
SignatureHelpParameterInformation | |
Fields
|
Instances
data SignatureHelpSignatureInformation Source #
Constructors
SignatureHelpSignatureInformation | |
Fields
|
Instances
data SignatureHelpClientCapabilities Source #
Constructors
SignatureHelpClientCapabilities | |
Fields
|
Instances
data SignatureHelpOptions Source #
Constructors
SignatureHelpOptions | |
Fields
|
Instances
data SignatureHelpRegistrationOptions Source #
Constructors
SignatureHelpRegistrationOptions | |
Fields
|
Instances
data ParameterInformation Source #
Constructors
ParameterInformation | |
Fields
|
Instances
data SignatureInformation Source #
Constructors
SignatureInformation | |
Fields
|
Instances
data SignatureHelp Source #
Constructors
SignatureHelp | |
Fields
|
Instances
data SignatureHelpTriggerKind Source #
Constructors
SHTKInvoked | |
SHTKTriggerCharacter | |
SHTKContentChange |
Instances
data SignatureHelpContext Source #
Additional information about the context in which a signature help request was triggered.
Constructors
SignatureHelpContext | |
Fields
|
Instances
data SignatureHelpParams Source #
Constructors
SignatureHelpParams | |
Fields |
Instances
data StaticRegistrationOptions Source #
Constructors
StaticRegistrationOptions | |
Instances
data SelectionRangeClientCapabilities Source #
Constructors
SelectionRangeClientCapabilities | |
Fields
|
Instances
data SelectionRangeOptions Source #
Constructors
SelectionRangeOptions | |
Fields
|
Instances
data SelectionRangeRegistrationOptions Source #
Constructors
SelectionRangeRegistrationOptions | |
Fields
|
Instances
data SelectionRangeParams Source #
Constructors
SelectionRangeParams | |
Fields |
Instances
data SelectionRange Source #
Constructors
SelectionRange | |
Fields
|
Instances
data TextDocumentIdentifier Source #
Constructors
TextDocumentIdentifier | |
Instances
type TextDocumentVersion = Maybe Int Source #
data VersionedTextDocumentIdentifier Source #
Constructors
VersionedTextDocumentIdentifier | |
Fields
|
Instances
data TextDocumentItem Source #
Constructors
TextDocumentItem | |
Instances
data TextDocumentPositionParams Source #
Constructors
TextDocumentPositionParams | |
Fields
|
Instances
data TextDocumentSyncClientCapabilities Source #
Constructors
TextDocumentSyncClientCapabilities | |
Fields
|
Instances
data SaveOptions Source #
Constructors
SaveOptions | |
Fields
|
Instances
data TextDocumentSyncKind Source #
Defines how the host (editor) should sync document changes to the language server.
Constructors
TdSyncNone | Documents should not be synced at all. |
TdSyncFull | Documents are synced by always sending the full content of the document. |
TdSyncIncremental | Documents are synced by sending the full content on open. After that only incremental updates to the document are send. |
Instances
data TextDocumentSyncOptions Source #
Constructors
TextDocumentSyncOptions | |
Fields
|
Instances
data TextDocumentRegistrationOptions Source #
Constructors
TextDocumentRegistrationOptions | |
Fields |
Instances
data DidOpenTextDocumentParams Source #
Constructors
DidOpenTextDocumentParams | |
Fields
|
Instances
data TextDocumentChangeRegistrationOptions Source #
Constructors
TextDocumentChangeRegistrationOptions | |
Fields |
Instances
data TextDocumentContentChangeEvent Source #
Constructors
TextDocumentContentChangeEvent | |
Instances
data DidChangeTextDocumentParams Source #
Constructors
DidChangeTextDocumentParams | |
Fields
|
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 | |
Fields
|
Instances
data TextDocumentSaveRegistrationOptions Source #
Constructors
TextDocumentSaveRegistrationOptions | |
Fields
|
Instances
data DidSaveTextDocumentParams Source #
Constructors
DidSaveTextDocumentParams | |
Fields
|
Instances
data DidCloseTextDocumentParams Source #
Constructors
DidCloseTextDocumentParams | |
Fields
|
Instances
data TypeDefinitionClientCapabilities Source #
Constructors
TypeDefinitionClientCapabilities | |
Fields
|
Instances
data TypeDefinitionOptions Source #
Constructors
TypeDefinitionOptions | |
Fields
|
Instances
data TypeDefinitionRegistrationOptions Source #
Constructors
TypeDefinitionRegistrationOptions | |
Fields
|
Instances
data TypeDefinitionParams Source #
Constructors
TypeDefinitionParams | |
Fields |
Instances
Instances
filePathToUri :: FilePath -> Uri Source #
data NormalizedUri Source #
Constructors
NormalizedUri !Int !Text |
Instances
toNormalizedUri :: Uri -> NormalizedUri Source #
fromNormalizedUri :: NormalizedUri -> Uri Source #
data NormalizedFilePath Source #
Newtype wrapper around FilePath that always has normalized slashes. The NormalizedUri and hash of the FilePath are cached to avoided repeated normalisation when we need to compute them (which is a lot).
This is one of the most performance critical parts of ghcide, do not modify it without profiling.
Constructors
NormalizedFilePath NormalizedUri !FilePath |
Instances
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath Source #
Warning: This function is considered private. Use normalizedFilePathToUri instead.
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri Source #
Warning: This function is considered private. Use normalizedUriToFilePath instead.
data DidChangeWatchedFilesClientCapabilities Source #
Constructors
DidChangeWatchedFilesClientCapabilities | |
Fields
|
Instances
data DidChangeWatchedFilesRegistrationOptions Source #
Describe options to be used when registering for file system change events.
Constructors
DidChangeWatchedFilesRegistrationOptions | |
Fields
|
Instances
data FileSystemWatcher Source #
Constructors
FileSystemWatcher | |
Fields
|
Instances
Constructors
WatchKind | |
Fields
|
Instances
Eq WatchKind Source # | |
Read WatchKind Source # | |
Show WatchKind Source # | |
ToJSON WatchKind Source # | |
Defined in Language.LSP.Types.WatchedFiles | |
FromJSON WatchKind Source # | |
HasWatchDelete WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchCreate WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchChange WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasKind FileSystemWatcher (Maybe WatchKind) Source # | |
Defined in Language.LSP.Types.Lens |
data FileChangeType Source #
The file event type.
Constructors
FcCreated | The file got created. |
FcChanged | The file got changed. |
FcDeleted | The file got deleted. |
Instances
An event describing a file change.
Constructors
FileEvent | |
Fields
|
Instances
data DidChangeWatchedFilesParams Source #
Constructors
DidChangeWatchedFilesParams | |
Instances
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
Instances
data TextDocumentEdit Source #
Constructors
TextDocumentEdit | |
Fields |
Instances
data WorkspaceEdit Source #
Constructors
WorkspaceEdit | |
Fields |
Instances
data ResourceOperationKind Source #
Constructors
ResourceOperationCreate | Supports creating new files and folders. |
ResourceOperationRename | Supports renaming existing files and folders. |
ResourceOperationDelete | Supports deleting existing files and folders. |
Instances
data FailureHandlingKind Source #
Constructors
FailureHandlingAbort | Applying the workspace change is simply aborted if one of the changes provided fails. All operations executed before the failing operation stay executed. |
FailureHandlingTransactional | All operations are executed transactional. That means they either all succeed or no changes at all are applied to the workspace. |
FailureHandlingTextOnlyTransactional | If the workspace edit contains only textual file changes they are executed transactional. If resource changes (create, rename or delete file) are part of the change the failure handling strategy is abort. |
FailureHandlingUndo | The client tries to undo the operations already executed. But there is no guarantee that this is succeeding. |
Instances
data WorkspaceEditClientCapabilities Source #
Constructors
WorkspaceEditClientCapabilities | |
Fields
|
Instances
data ApplyWorkspaceEditParams Source #
Constructors
ApplyWorkspaceEditParams | |
Fields
|
Instances
data ApplyWorkspaceEditResponseBody Source #
Constructors
ApplyWorkspaceEditResponseBody | |
Fields
|
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit
outer
inner
applies inner
to the text inside outer
.
data WorkspaceFolder Source #
Constructors
WorkspaceFolder | |
Instances
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
Constructors
WorkspaceFoldersChangeEvent | |
Fields
|
Instances
data DidChangeWorkspaceFoldersParams Source #
Constructors
DidChangeWorkspaceFoldersParams | |
Fields
|
Instances
data WorkspaceSymbolKindClientCapabilities Source #
Constructors
WorkspaceSymbolKindClientCapabilities | |
Fields
|
Instances
data WorkspaceSymbolClientCapabilities Source #
Constructors
WorkspaceSymbolClientCapabilities | |
Fields
|
Instances
data WorkspaceSymbolOptions Source #
Constructors
WorkspaceSymbolOptions | |
Fields
|
Instances
data WorkspaceSymbolRegistrationOptions Source #
Constructors
WorkspaceSymbolRegistrationOptions | |
Fields
|
Instances
data WorkspaceSymbolParams Source #
Constructors
WorkspaceSymbolParams | |
Fields |