-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Haskell library for the Microsoft Language Server Protocol, data types
--   
--   An implementation of the types to allow language implementors to
--   support the Language Server Protocol for their specific language.
@package lsp-types
@version 1.0.0.1

module Data.IxMap
class Ord (Base f) => IxOrd f where {
    type family Base f;
}
toBase :: forall a. IxOrd f => f a -> Base f
newtype IxMap (k :: a -> Type) (f :: a -> Type)
IxMap :: Map (Base k) (Some f) -> IxMap (k :: a -> Type) (f :: a -> Type)
[getMap] :: IxMap (k :: a -> Type) (f :: a -> Type) -> Map (Base k) (Some f)
emptyIxMap :: IxMap k f
insertIxMap :: IxOrd k => k m -> f m -> IxMap k f -> Maybe (IxMap k f)
lookupIxMap :: IxOrd k => k m -> IxMap k f -> Maybe (f m)
pickFromIxMap :: IxOrd k => k m -> IxMap k f -> (Maybe (f m), IxMap k f)

module Language.LSP.Types.Lens
class HasDocumentChanges s a | s -> a
documentChanges :: HasDocumentChanges s a => Lens' s a
class HasFailureHandling s a | s -> a
failureHandling :: HasFailureHandling s a => Lens' s a
class HasResourceOperations s a | s -> a
resourceOperations :: HasResourceOperations s a => Lens' s a
class HasDynamicRegistration s a | s -> a
dynamicRegistration :: HasDynamicRegistration s a => Lens' s a
class HasApplyEdit s a | s -> a
applyEdit :: HasApplyEdit s a => Lens' s a
class HasConfiguration s a | s -> a
configuration :: HasConfiguration s a => Lens' s a
class HasDidChangeConfiguration s a | s -> a
didChangeConfiguration :: HasDidChangeConfiguration s a => Lens' s a
class HasDidChangeWatchedFiles s a | s -> a
didChangeWatchedFiles :: HasDidChangeWatchedFiles s a => Lens' s a
class HasExecuteCommand s a | s -> a
executeCommand :: HasExecuteCommand s a => Lens' s a
class HasSymbol s a | s -> a
symbol :: HasSymbol s a => Lens' s a
class HasWorkspaceEdit s a | s -> a
workspaceEdit :: HasWorkspaceEdit s a => Lens' s a
class HasWorkspaceFolders s a | s -> a
workspaceFolders :: HasWorkspaceFolders s a => Lens' s a
class HasDidSave s a | s -> a
didSave :: HasDidSave s a => Lens' s a
class HasWillSave s a | s -> a
willSave :: HasWillSave s a => Lens' s a
class HasWillSaveWaitUntil s a | s -> a
willSaveWaitUntil :: HasWillSaveWaitUntil s a => Lens' s a
class HasValueSet s a | s -> a
valueSet :: HasValueSet s a => Lens' s a
class HasCommitCharactersSupport s a | s -> a
commitCharactersSupport :: HasCommitCharactersSupport s a => Lens' s a
class HasDeprecatedSupport s a | s -> a
deprecatedSupport :: HasDeprecatedSupport s a => Lens' s a
class HasDocumentationFormat s a | s -> a
documentationFormat :: HasDocumentationFormat s a => Lens' s a
class HasPreselectSupport s a | s -> a
preselectSupport :: HasPreselectSupport s a => Lens' s a
class HasSnippetSupport s a | s -> a
snippetSupport :: HasSnippetSupport s a => Lens' s a
class HasTagSupport s a | s -> a
tagSupport :: HasTagSupport s a => Lens' s a
class HasCompletionItem s a | s -> a
completionItem :: HasCompletionItem s a => Lens' s a
class HasCompletionItemKind s a | s -> a
completionItemKind :: HasCompletionItemKind s a => Lens' s a
class HasContextSupport s a | s -> a
contextSupport :: HasContextSupport s a => Lens' s a
class HasContentFormat s a | s -> a
contentFormat :: HasContentFormat s a => Lens' s a
class HasParameterInformation s a | s -> a
parameterInformation :: HasParameterInformation s a => Lens' s a
class HasLabelOffsetSupport s a | s -> a
labelOffsetSupport :: HasLabelOffsetSupport s a => Lens' s a
class HasSignatureInformation s a | s -> a
signatureInformation :: HasSignatureInformation s a => Lens' s a
class HasLinkSupport s a | s -> a
linkSupport :: HasLinkSupport s a => Lens' s a
class HasRelatedInformation s a | s -> a
relatedInformation :: HasRelatedInformation s a => Lens' s a
class HasVersionSupport s a | s -> a
versionSupport :: HasVersionSupport s a => Lens' s a
class HasCodeAction s a | s -> a
codeAction :: HasCodeAction s a => Lens' s a
class HasCodeLens s a | s -> a
codeLens :: HasCodeLens s a => Lens' s a
class HasColorProvider s a | s -> a
colorProvider :: HasColorProvider s a => Lens' s a
class HasCompletion s a | s -> a
completion :: HasCompletion s a => Lens' s a
class HasDeclaration s a | s -> a
declaration :: HasDeclaration s a => Lens' s a
class HasDefinition s a | s -> a
definition :: HasDefinition s a => Lens' s a
class HasDocumentHighlight s a | s -> a
documentHighlight :: HasDocumentHighlight s a => Lens' s a
class HasDocumentLink s a | s -> a
documentLink :: HasDocumentLink s a => Lens' s a
class HasDocumentSymbol s a | s -> a
documentSymbol :: HasDocumentSymbol s a => Lens' s a
class HasFoldingRange s a | s -> a
foldingRange :: HasFoldingRange s a => Lens' s a
class HasFormatting s a | s -> a
formatting :: HasFormatting s a => Lens' s a
class HasHover s a | s -> a
hover :: HasHover s a => Lens' s a
class HasImplementation s a | s -> a
implementation :: HasImplementation s a => Lens' s a
class HasOnTypeFormatting s a | s -> a
onTypeFormatting :: HasOnTypeFormatting s a => Lens' s a
class HasPublishDiagnostics s a | s -> a
publishDiagnostics :: HasPublishDiagnostics s a => Lens' s a
class HasRangeFormatting s a | s -> a
rangeFormatting :: HasRangeFormatting s a => Lens' s a
class HasReferences s a | s -> a
references :: HasReferences s a => Lens' s a
class HasRename s a | s -> a
rename :: HasRename s a => Lens' s a
class HasSelectionRange s a | s -> a
selectionRange :: HasSelectionRange s a => Lens' s a
class HasSignatureHelp s a | s -> a
signatureHelp :: HasSignatureHelp s a => Lens' s a
class HasSynchronization s a | s -> a
synchronization :: HasSynchronization s a => Lens' s a
class HasTypeDefinition s a | s -> a
typeDefinition :: HasTypeDefinition s a => Lens' s a
class HasExperimental s a | s -> a
experimental :: HasExperimental s a => Lens' s a
class HasTextDocument s a | s -> a
textDocument :: HasTextDocument s a => Lens' s a
class HasWindow s a | s -> a
window :: HasWindow s a => Lens' s a
class HasWorkspace s a | s -> a
workspace :: HasWorkspace s a => Lens' s a
class HasAllCommitCharacters s a | s -> a
allCommitCharacters :: HasAllCommitCharacters s a => Lens' s a
class HasResolveProvider s a | s -> a
resolveProvider :: HasResolveProvider s a => Lens' s a
class HasTriggerCharacters s a | s -> a
triggerCharacters :: HasTriggerCharacters s a => Lens' s a
class HasWorkDoneProgress s a | s -> a
workDoneProgress :: HasWorkDoneProgress s a => Lens' s a
class HasRetriggerCharacters s a | s -> a
retriggerCharacters :: HasRetriggerCharacters s a => Lens' s a
class HasCommands s a | s -> a
commands :: HasCommands s a => Lens' s a
class HasIncludeText s a | s -> a
includeText :: HasIncludeText s a => Lens' s a
class HasChange s a | s -> a
change :: HasChange s a => Lens' s a
class HasOpenClose s a | s -> a
openClose :: HasOpenClose s a => Lens' s a
class HasSave s a | s -> a
save :: HasSave s a => Lens' s a
class HasChangeNotifications s a | s -> a
changeNotifications :: HasChangeNotifications s a => Lens' s a
class HasSupported s a | s -> a
supported :: HasSupported s a => Lens' s a
class HasCodeActionProvider s a | s -> a
codeActionProvider :: HasCodeActionProvider s a => Lens' s a
class HasCodeLensProvider s a | s -> a
codeLensProvider :: HasCodeLensProvider s a => Lens' s a
class HasCompletionProvider s a | s -> a
completionProvider :: HasCompletionProvider s a => Lens' s a
class HasDeclarationProvider s a | s -> a
declarationProvider :: HasDeclarationProvider s a => Lens' s a
class HasDefinitionProvider s a | s -> a
definitionProvider :: HasDefinitionProvider s a => Lens' s a
class HasDocumentFormattingProvider s a | s -> a
documentFormattingProvider :: HasDocumentFormattingProvider s a => Lens' s a
class HasDocumentHighlightProvider s a | s -> a
documentHighlightProvider :: HasDocumentHighlightProvider s a => Lens' s a
class HasDocumentLinkProvider s a | s -> a
documentLinkProvider :: HasDocumentLinkProvider s a => Lens' s a
class HasDocumentOnTypeFormattingProvider s a | s -> a
documentOnTypeFormattingProvider :: HasDocumentOnTypeFormattingProvider s a => Lens' s a
class HasDocumentRangeFormattingProvider s a | s -> a
documentRangeFormattingProvider :: HasDocumentRangeFormattingProvider s a => Lens' s a
class HasDocumentSymbolProvider s a | s -> a
documentSymbolProvider :: HasDocumentSymbolProvider s a => Lens' s a
class HasExecuteCommandProvider s a | s -> a
executeCommandProvider :: HasExecuteCommandProvider s a => Lens' s a
class HasFoldingRangeProvider s a | s -> a
foldingRangeProvider :: HasFoldingRangeProvider s a => Lens' s a
class HasHoverProvider s a | s -> a
hoverProvider :: HasHoverProvider s a => Lens' s a
class HasImplementationProvider s a | s -> a
implementationProvider :: HasImplementationProvider s a => Lens' s a
class HasReferencesProvider s a | s -> a
referencesProvider :: HasReferencesProvider s a => Lens' s a
class HasRenameProvider s a | s -> a
renameProvider :: HasRenameProvider s a => Lens' s a
class HasSelectionRangeProvider s a | s -> a
selectionRangeProvider :: HasSelectionRangeProvider s a => Lens' s a
class HasSignatureHelpProvider s a | s -> a
signatureHelpProvider :: HasSignatureHelpProvider s a => Lens' s a
class HasTextDocumentSync s a | s -> a
textDocumentSync :: HasTextDocumentSync s a => Lens' s a
class HasTypeDefinitionProvider s a | s -> a
typeDefinitionProvider :: HasTypeDefinitionProvider s a => Lens' s a
class HasWorkspaceSymbolProvider s a | s -> a
workspaceSymbolProvider :: HasWorkspaceSymbolProvider s a => Lens' s a
class HasId s a | s -> a
id :: HasId s a => Lens' s a
class HasMethod s a | s -> a
method :: HasMethod s a => Lens' s a
class HasRegisterOptions s a | s -> a
registerOptions :: HasRegisterOptions s a => Lens' s a
class HasRegistrations s a | s -> a
registrations :: HasRegistrations s a => Lens' s a
class HasDocumentSelector s a | s -> a
documentSelector :: HasDocumentSelector s a => Lens' s a
class HasUnregisterations s a | s -> a
unregisterations :: HasUnregisterations s a => Lens' s a
class HasSettings s a | s -> a
settings :: HasSettings s a => Lens' s a
class HasScopeUri s a | s -> a
scopeUri :: HasScopeUri s a => Lens' s a
class HasSection s a | s -> a
section :: HasSection s a => Lens' s a
class HasItems s a | s -> a
items :: HasItems s a => Lens' s a
class HasRange s a | s -> a
range :: HasRange s a => Lens' s a
class HasRangeLength s a | s -> a
rangeLength :: HasRangeLength s a => Lens' s a
class HasText s a | s -> a
text :: HasText s a => Lens' s a
class HasContentChanges s a | s -> a
contentChanges :: HasContentChanges s a => Lens' s a
class HasSyncKind s a | s -> a
syncKind :: HasSyncKind s a => Lens' s a
class HasReason s a | s -> a
reason :: HasReason s a => Lens' s a
class HasDiagnostics s a | s -> a
diagnostics :: HasDiagnostics s a => Lens' s a
class HasUri s a | s -> a
uri :: HasUri s a => Lens' s a
class HasVersion s a | s -> a
version :: HasVersion s a => Lens' s a
class HasLanguage s a | s -> a
language :: HasLanguage s a => Lens' s a
class HasValue s a | s -> a
value :: HasValue s a => Lens' s a
class HasDocumentation s a | s -> a
documentation :: HasDocumentation s a => Lens' s a
class HasLabel s a | s -> a
label :: HasLabel s a => Lens' s a
class HasParameters s a | s -> a
parameters :: HasParameters s a => Lens' s a
class HasActiveParameter s a | s -> a
activeParameter :: HasActiveParameter s a => Lens' s a
class HasActiveSignature s a | s -> a
activeSignature :: HasActiveSignature s a => Lens' s a
class HasSignatures s a | s -> a
signatures :: HasSignatures s a => Lens' s a
class HasIncludeDeclaration s a | s -> a
includeDeclaration :: HasIncludeDeclaration s a => Lens' s a
class HasContext s a | s -> a
context :: HasContext s a => Lens' s a
class HasPartialResultToken s a | s -> a
partialResultToken :: HasPartialResultToken s a => Lens' s a
class HasPosition s a | s -> a
position :: HasPosition s a => Lens' s a
class HasWorkDoneToken s a | s -> a
workDoneToken :: HasWorkDoneToken s a => Lens' s a
class HasArguments s a | s -> a
arguments :: HasArguments s a => Lens' s a
class HasCommand s a | s -> a
command :: HasCommand s a => Lens' s a
class HasEdit s a | s -> a
edit :: HasEdit s a => Lens' s a
class HasApplied s a | s -> a
applied :: HasApplied s a => Lens' s a
class HasFailureReason s a | s -> a
failureReason :: HasFailureReason s a => Lens' s a
class HasCapabilities s a | s -> a
capabilities :: HasCapabilities s a => Lens' s a
class HasClientInfo s a | s -> a
clientInfo :: HasClientInfo s a => Lens' s a
class HasInitializationOptions s a | s -> a
initializationOptions :: HasInitializationOptions s a => Lens' s a
class HasProcessId s a | s -> a
processId :: HasProcessId s a => Lens' s a
class HasRootPath s a | s -> a
rootPath :: HasRootPath s a => Lens' s a
class HasRootUri s a | s -> a
rootUri :: HasRootUri s a => Lens' s a
class HasTrace s a | s -> a
trace :: HasTrace s a => Lens' s a
class HasRetry s a | s -> a
retry :: HasRetry s a => Lens' s a
class HasServerInfo s a | s -> a
serverInfo :: HasServerInfo s a => Lens' s a
class HasName s a | s -> a
name :: HasName s a => Lens' s a
class HasWatchers s a | s -> a
watchers :: HasWatchers s a => Lens' s a
class HasGlobPattern s a | s -> a
globPattern :: HasGlobPattern s a => Lens' s a
class HasKind s a | s -> a
kind :: HasKind s a => Lens' s a
class HasWatchChange s a | s -> a
watchChange :: HasWatchChange s a => Lens' s a
class HasWatchCreate s a | s -> a
watchCreate :: HasWatchCreate s a => Lens' s a
class HasWatchDelete s a | s -> a
watchDelete :: HasWatchDelete s a => Lens' s a
class HasXtype s a | s -> a
xtype :: HasXtype s a => Lens' s a
class HasChanges s a | s -> a
changes :: HasChanges s a => Lens' s a
class HasSymbolKind s a | s -> a
symbolKind :: HasSymbolKind s a => Lens' s a
class HasQuery s a | s -> a
query :: HasQuery s a => Lens' s a
class HasCharacter s a | s -> a
character :: HasCharacter s a => Lens' s a
class HasLine s a | s -> a
line :: HasLine s a => Lens' s a
class HasEnd s a | s -> a
end :: HasEnd s a => Lens' s a
class HasStart s a | s -> a
start :: HasStart s a => Lens' s a
class HasAdditionalTextEdits s a | s -> a
additionalTextEdits :: HasAdditionalTextEdits s a => Lens' s a
class HasCommitCharacters s a | s -> a
commitCharacters :: HasCommitCharacters s a => Lens' s a
class HasDeprecated s a | s -> a
deprecated :: HasDeprecated s a => Lens' s a
class HasDetail s a | s -> a
detail :: HasDetail s a => Lens' s a
class HasFilterText s a | s -> a
filterText :: HasFilterText s a => Lens' s a
class HasInsertText s a | s -> a
insertText :: HasInsertText s a => Lens' s a
class HasInsertTextFormat s a | s -> a
insertTextFormat :: HasInsertTextFormat s a => Lens' s a
class HasPreselect s a | s -> a
preselect :: HasPreselect s a => Lens' s a
class HasSortText s a | s -> a
sortText :: HasSortText s a => Lens' s a
class HasTags s a | s -> a
tags :: HasTags s a => Lens' s a
class HasTextEdit s a | s -> a
textEdit :: HasTextEdit s a => Lens' s a
class HasXdata s a | s -> a
xdata :: HasXdata s a => Lens' s a
class HasTriggerCharacter s a | s -> a
triggerCharacter :: HasTriggerCharacter s a => Lens' s a
class HasTriggerKind s a | s -> a
triggerKind :: HasTriggerKind s a => Lens' s a
class HasIsIncomplete s a | s -> a
isIncomplete :: HasIsIncomplete s a => Lens' s a
class HasCodeActionKind s a | s -> a
codeActionKind :: HasCodeActionKind s a => Lens' s a
class HasCodeActionLiteralSupport s a | s -> a
codeActionLiteralSupport :: HasCodeActionLiteralSupport s a => Lens' s a
class HasIsPreferredSupport s a | s -> a
isPreferredSupport :: HasIsPreferredSupport s a => Lens' s a
class HasCodeActionKinds s a | s -> a
codeActionKinds :: HasCodeActionKinds s a => Lens' s a
class HasOnly s a | s -> a
only :: HasOnly s a => Lens' s a
class HasIsPreferred s a | s -> a
isPreferred :: HasIsPreferred s a => Lens' s a
class HasTitle s a | s -> a
title :: HasTitle s a => Lens' s a
class HasTooltipSupport s a | s -> a
tooltipSupport :: HasTooltipSupport s a => Lens' s a
class HasTarget s a | s -> a
target :: HasTarget s a => Lens' s a
class HasTooltip s a | s -> a
tooltip :: HasTooltip s a => Lens' s a
class HasAlpha s a | s -> a
alpha :: HasAlpha s a => Lens' s a
class HasBlue s a | s -> a
blue :: HasBlue s a => Lens' s a
class HasGreen s a | s -> a
green :: HasGreen s a => Lens' s a
class HasRed s a | s -> a
red :: HasRed s a => Lens' s a
class HasColor s a | s -> a
color :: HasColor s a => Lens' s a
class HasInsertFinalNewline s a | s -> a
insertFinalNewline :: HasInsertFinalNewline s a => Lens' s a
class HasInsertSpaces s a | s -> a
insertSpaces :: HasInsertSpaces s a => Lens' s a
class HasTabSize s a | s -> a
tabSize :: HasTabSize s a => Lens' s a
class HasTrimFinalNewlines s a | s -> a
trimFinalNewlines :: HasTrimFinalNewlines s a => Lens' s a
class HasTrimTrailingWhitespace s a | s -> a
trimTrailingWhitespace :: HasTrimTrailingWhitespace s a => Lens' s a
class HasOptions s a | s -> a
options :: HasOptions s a => Lens' s a
class HasFirstTriggerCharacter s a | s -> a
firstTriggerCharacter :: HasFirstTriggerCharacter s a => Lens' s a
class HasMoreTriggerCharacter s a | s -> a
moreTriggerCharacter :: HasMoreTriggerCharacter s a => Lens' s a
class HasCh s a | s -> a
ch :: HasCh s a => Lens' s a
class HasPrepareSupport s a | s -> a
prepareSupport :: HasPrepareSupport s a => Lens' s a
class HasPrepareProvider s a | s -> a
prepareProvider :: HasPrepareProvider s a => Lens' s a
class HasNewName s a | s -> a
newName :: HasNewName s a => Lens' s a
class HasPlaceholder s a | s -> a
placeholder :: HasPlaceholder s a => Lens' s a
class HasLineFoldingOnly s a | s -> a
lineFoldingOnly :: HasLineFoldingOnly s a => Lens' s a
class HasRangeLimit s a | s -> a
rangeLimit :: HasRangeLimit s a => Lens' s a
class HasEndCharacter s a | s -> a
endCharacter :: HasEndCharacter s a => Lens' s a
class HasEndLine s a | s -> a
endLine :: HasEndLine s a => Lens' s a
class HasStartCharacter s a | s -> a
startCharacter :: HasStartCharacter s a => Lens' s a
class HasStartLine s a | s -> a
startLine :: HasStartLine s a => Lens' s a
class HasPositions s a | s -> a
positions :: HasPositions s a => Lens' s a
class HasParent s a | s -> a
parent :: HasParent s a => Lens' s a
class HasHierarchicalDocumentSymbolSupport s a | s -> a
hierarchicalDocumentSymbolSupport :: HasHierarchicalDocumentSymbolSupport s a => Lens' s a
class HasChildren s a | s -> a
children :: HasChildren s a => Lens' s a
class HasContainerName s a | s -> a
containerName :: HasContainerName s a => Lens' s a
class HasLocation s a | s -> a
location :: HasLocation s a => Lens' s a
class HasPattern s a | s -> a
pattern :: HasPattern s a => Lens' s a
class HasScheme s a | s -> a
scheme :: HasScheme s a => Lens' s a
class HasNewText s a | s -> a
newText :: HasNewText s a => Lens' s a
class HasEdits s a | s -> a
edits :: HasEdits s a => Lens' s a
class HasAdded s a | s -> a
added :: HasAdded s a => Lens' s a
class HasRemoved s a | s -> a
removed :: HasRemoved s a => Lens' s a
class HasEvent s a | s -> a
event :: HasEvent s a => Lens' s a
class HasJsonrpc s a | s -> a
jsonrpc :: HasJsonrpc s a => Lens' s a
class HasParams s a | s -> a
params :: HasParams s a => Lens' s a
class HasCode s a | s -> a
code :: HasCode s a => Lens' s a
class HasMessage s a | s -> a
message :: HasMessage s a => Lens' s a
class HasResult s a | s -> a
result :: HasResult s a => Lens' s a
class HasLanguageId s a | s -> a
languageId :: HasLanguageId s a => Lens' s a
class HasSeverity s a | s -> a
severity :: HasSeverity s a => Lens' s a
class HasSource s a | s -> a
source :: HasSource s a => Lens' s a
class HasContents s a | s -> a
contents :: HasContents s a => Lens' s a
class HasActions s a | s -> a
actions :: HasActions s a => Lens' s a
class HasToken s a | s -> a
token :: HasToken s a => Lens' s a
class HasCancellable s a | s -> a
cancellable :: HasCancellable s a => Lens' s a
class HasPercentage s a | s -> a
percentage :: HasPercentage s a => Lens' s a
instance Language.LSP.Types.Lens.HasToken Language.LSP.Types.Progress.WorkDoneProgressCreateParams Language.LSP.Types.Progress.ProgressToken
instance Language.LSP.Types.Lens.HasToken Language.LSP.Types.Progress.WorkDoneProgressCancelParams Language.LSP.Types.Progress.ProgressToken
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Progress.WorkDoneProgressEndParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasCancellable Language.LSP.Types.Progress.WorkDoneProgressReportParams (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Progress.WorkDoneProgressReportParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasPercentage Language.LSP.Types.Progress.WorkDoneProgressReportParams (GHC.Maybe.Maybe GHC.Types.Double)
instance Language.LSP.Types.Lens.HasPercentage Language.LSP.Types.Progress.WorkDoneProgressBeginParams (GHC.Maybe.Maybe GHC.Types.Double)
instance Language.LSP.Types.Lens.HasCancellable Language.LSP.Types.Progress.WorkDoneProgressBeginParams (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Progress.WorkDoneProgressBeginParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasTitle Language.LSP.Types.Progress.WorkDoneProgressBeginParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasToken (Language.LSP.Types.Progress.ProgressParams t) Language.LSP.Types.Progress.ProgressToken
instance Language.LSP.Types.Lens.HasValue (Language.LSP.Types.Progress.ProgressParams t) t
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Window.LogMessageParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasXtype Language.LSP.Types.Window.LogMessageParams Language.LSP.Types.Window.MessageType
instance Language.LSP.Types.Lens.HasActions Language.LSP.Types.Window.ShowMessageRequestParams (GHC.Maybe.Maybe [Language.LSP.Types.Window.MessageActionItem])
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Window.ShowMessageRequestParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasXtype Language.LSP.Types.Window.ShowMessageRequestParams Language.LSP.Types.Window.MessageType
instance Language.LSP.Types.Lens.HasTitle Language.LSP.Types.Window.MessageActionItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Window.ShowMessageParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasXtype Language.LSP.Types.Window.ShowMessageParams Language.LSP.Types.Window.MessageType
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Hover.HoverRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Hover.HoverRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasContents Language.LSP.Types.Hover.Hover Language.LSP.Types.Hover.HoverContents
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.Hover.Hover (GHC.Maybe.Maybe Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasLocation Language.LSP.Types.Diagnostic.DiagnosticRelatedInformation Language.LSP.Types.Location.Location
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Diagnostic.DiagnosticRelatedInformation Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasSource Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe Language.LSP.Types.Diagnostic.DiagnosticSource)
instance Language.LSP.Types.Lens.HasSeverity Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe Language.LSP.Types.Diagnostic.DiagnosticSeverity)
instance Language.LSP.Types.Lens.HasCode Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (GHC.Types.Int Language.LSP.Types.Common.|? GHC.Base.String))
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Diagnostic.Diagnostic Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.Diagnostic.Diagnostic Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasRelatedInformation Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticRelatedInformation))
instance Language.LSP.Types.Lens.HasTags Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticTag))
instance Language.LSP.Types.Lens.HasArguments Language.LSP.Types.Command.Command (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Aeson.Types.Internal.Value))
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.Command.Command Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasTitle Language.LSP.Types.Command.Command Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.TextDocument.TextDocumentPositionParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.TextDocumentPositionParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.TextDocument.TextDocumentIdentifier Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasLanguageId Language.LSP.Types.TextDocument.TextDocumentItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasText Language.LSP.Types.TextDocument.TextDocumentItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.TextDocument.TextDocumentItem Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.TextDocument.TextDocumentItem GHC.Types.Int
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Notification). Language.LSP.Types.Lens.HasJsonrpc (Language.LSP.Types.Message.NotificationMessage m) Data.Text.Internal.Text
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Notification). Language.LSP.Types.Lens.HasMethod (Language.LSP.Types.Message.NotificationMessage m) (Language.LSP.Types.Method.SMethod m)
instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Notification). (a GHC.Types.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.NotificationMessage m) a
instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a GHC.Types.~ Data.Either.Either Language.LSP.Types.Message.ResponseError (Language.LSP.Types.Message.ResponseResult m)) => Language.LSP.Types.Lens.HasResult (Language.LSP.Types.Message.ResponseMessage m) a
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). Language.LSP.Types.Lens.HasId (Language.LSP.Types.Message.ResponseMessage m) (GHC.Maybe.Maybe (Language.LSP.Types.LspId.LspId m))
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). Language.LSP.Types.Lens.HasJsonrpc (Language.LSP.Types.Message.ResponseMessage m) Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasMessage Language.LSP.Types.Message.ResponseError Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasCode Language.LSP.Types.Message.ResponseError Language.LSP.Types.Message.ErrorCode
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.Message.ResponseError (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance forall (f :: Language.LSP.Types.Method.From) a (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). (a GHC.Types.~ Language.LSP.Types.Message.MessageParams m) => Language.LSP.Types.Lens.HasParams (Language.LSP.Types.Message.RequestMessage m) a
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). Language.LSP.Types.Lens.HasJsonrpc (Language.LSP.Types.Message.RequestMessage m) Data.Text.Internal.Text
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). Language.LSP.Types.Lens.HasId (Language.LSP.Types.Message.RequestMessage m) (Language.LSP.Types.LspId.LspId m)
instance forall (f :: Language.LSP.Types.Method.From) (m :: Language.LSP.Types.Method.Method f 'Language.LSP.Types.Method.Request). Language.LSP.Types.Lens.HasMethod (Language.LSP.Types.Message.RequestMessage m) (Language.LSP.Types.Method.SMethod m)
instance Language.LSP.Types.Lens.HasEvent Language.LSP.Types.WorkspaceFolders.DidChangeWorkspaceFoldersParams Language.LSP.Types.WorkspaceFolders.WorkspaceFoldersChangeEvent
instance Language.LSP.Types.Lens.HasRemoved Language.LSP.Types.WorkspaceFolders.WorkspaceFoldersChangeEvent (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceFolders.WorkspaceFolder)
instance Language.LSP.Types.Lens.HasAdded Language.LSP.Types.WorkspaceFolders.WorkspaceFoldersChangeEvent (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceFolders.WorkspaceFolder)
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.WorkspaceFolders.WorkspaceFolder Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.WorkspaceFolders.WorkspaceFolder Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEdit (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.WorkspaceEditMap)
instance Language.LSP.Types.Lens.HasDocumentChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEdit (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.TextDocumentEdit))
instance Language.LSP.Types.Lens.HasEdits Language.LSP.Types.WorkspaceEdit.TextDocumentEdit (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.TextEdit)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.WorkspaceEdit.TextDocumentEdit Language.LSP.Types.TextDocument.VersionedTextDocumentIdentifier
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.TextDocument.VersionedTextDocumentIdentifier Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.TextDocument.VersionedTextDocumentIdentifier Language.LSP.Types.TextDocument.TextDocumentVersion
instance Language.LSP.Types.Lens.HasNewText Language.LSP.Types.WorkspaceEdit.TextEdit Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.WorkspaceEdit.TextEdit Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasScheme Language.LSP.Types.DocumentFilter.DocumentFilter (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasPattern Language.LSP.Types.DocumentFilter.DocumentFilter (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasLanguage Language.LSP.Types.DocumentFilter.DocumentFilter (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasLocation Language.LSP.Types.DocumentSymbol.SymbolInformation Language.LSP.Types.Location.Location
instance Language.LSP.Types.Lens.HasContainerName Language.LSP.Types.DocumentSymbol.SymbolInformation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasDeprecated Language.LSP.Types.DocumentSymbol.SymbolInformation (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.DocumentSymbol.SymbolInformation Language.LSP.Types.DocumentSymbol.SymbolKind
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.DocumentSymbol.SymbolInformation Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasChildren Language.LSP.Types.DocumentSymbol.DocumentSymbol (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.DocumentSymbol))
instance Language.LSP.Types.Lens.HasDeprecated Language.LSP.Types.DocumentSymbol.DocumentSymbol (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDetail Language.LSP.Types.DocumentSymbol.DocumentSymbol (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.DocumentSymbol.DocumentSymbol Language.LSP.Types.DocumentSymbol.SymbolKind
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.DocumentSymbol.DocumentSymbol Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.DocumentSymbol.DocumentSymbol Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasSelectionRange Language.LSP.Types.DocumentSymbol.DocumentSymbol Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.DocumentSymbol.DocumentSymbolParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.DocumentSymbol.DocumentSymbolParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.DocumentSymbol.DocumentSymbolParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.DocumentSymbol.DocumentSymbolRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentSymbol.DocumentSymbolRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentSymbol.DocumentSymbolOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasHierarchicalDocumentSymbolSupport Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasSymbolKind Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentSymbol.DocumentSymbolKindClientCapabilities)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.DocumentSymbol.DocumentSymbolKindClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.SymbolKind))
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.DocumentHighlight.DocumentHighlight (GHC.Maybe.Maybe Language.LSP.Types.DocumentHighlight.DocumentHighlightKind)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.DocumentHighlight.DocumentHighlight Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.DocumentHighlight.DocumentHighlightParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.DocumentHighlight.DocumentHighlightParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.DocumentHighlight.DocumentHighlightParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.DocumentHighlight.DocumentHighlightParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.DocumentHighlight.DocumentHighlightRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentHighlight.DocumentHighlightRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentHighlight.DocumentHighlightOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.DocumentHighlight.DocumentHighlightClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasParent Language.LSP.Types.SelectionRange.SelectionRange (GHC.Maybe.Maybe Language.LSP.Types.SelectionRange.SelectionRange)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.SelectionRange.SelectionRange Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasPositions Language.LSP.Types.SelectionRange.SelectionRangeParams (Language.LSP.Types.Common.List Language.LSP.Types.Location.Position)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.SelectionRange.SelectionRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.SelectionRange.SelectionRangeParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.SelectionRange.SelectionRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.SelectionRange.SelectionRangeRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.SelectionRange.SelectionRangeRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SelectionRange.SelectionRangeRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SelectionRange.SelectionRangeOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.SelectionRange.SelectionRangeClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasStartLine Language.LSP.Types.FoldingRange.FoldingRange GHC.Types.Int
instance Language.LSP.Types.Lens.HasStartCharacter Language.LSP.Types.FoldingRange.FoldingRange (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasEndLine Language.LSP.Types.FoldingRange.FoldingRange GHC.Types.Int
instance Language.LSP.Types.Lens.HasEndCharacter Language.LSP.Types.FoldingRange.FoldingRange (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.FoldingRange.FoldingRange (GHC.Maybe.Maybe Language.LSP.Types.FoldingRange.FoldingRangeKind)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.FoldingRange.FoldingRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.FoldingRange.FoldingRangeParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.FoldingRange.FoldingRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.FoldingRange.FoldingRangeRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.FoldingRange.FoldingRangeRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.FoldingRange.FoldingRangeRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.FoldingRange.FoldingRangeOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasRangeLimit Language.LSP.Types.FoldingRange.FoldingRangeClientCapabilities (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasLineFoldingOnly Language.LSP.Types.FoldingRange.FoldingRangeClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.FoldingRange.FoldingRangeClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPlaceholder Language.LSP.Types.Rename.RangeWithPlaceholder Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.Rename.RangeWithPlaceholder Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Rename.PrepareRenameParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Rename.PrepareRenameParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasNewName Language.LSP.Types.Rename.RenameParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Rename.RenameParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Rename.RenameParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Rename.RenameParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Rename.RenameRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasPrepareProvider Language.LSP.Types.Rename.RenameRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Rename.RenameRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPrepareProvider Language.LSP.Types.Rename.RenameOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Rename.RenameOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPrepareSupport Language.LSP.Types.Rename.RenameClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Rename.RenameClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCh Language.LSP.Types.Formatting.DocumentOnTypeFormattingParams GHC.Base.String
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.Formatting.DocumentOnTypeFormattingParams Language.LSP.Types.Formatting.FormattingOptions
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Formatting.DocumentOnTypeFormattingParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Formatting.DocumentOnTypeFormattingParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Formatting.DocumentOnTypeFormattingRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasFirstTriggerCharacter Language.LSP.Types.Formatting.DocumentOnTypeFormattingRegistrationOptions Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasMoreTriggerCharacter Language.LSP.Types.Formatting.DocumentOnTypeFormattingRegistrationOptions (GHC.Maybe.Maybe [Data.Text.Internal.Text])
instance Language.LSP.Types.Lens.HasMoreTriggerCharacter Language.LSP.Types.Formatting.DocumentOnTypeFormattingOptions (GHC.Maybe.Maybe [Data.Text.Internal.Text])
instance Language.LSP.Types.Lens.HasFirstTriggerCharacter Language.LSP.Types.Formatting.DocumentOnTypeFormattingOptions Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Formatting.DocumentOnTypeFormattingClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.Formatting.DocumentRangeFormattingParams Language.LSP.Types.Formatting.FormattingOptions
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.Formatting.DocumentRangeFormattingParams Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Formatting.DocumentRangeFormattingParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Formatting.DocumentRangeFormattingParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Formatting.DocumentRangeFormattingRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Formatting.DocumentRangeFormattingRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Formatting.DocumentRangeFormattingOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Formatting.DocumentRangeFormattingClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.Formatting.DocumentFormattingParams Language.LSP.Types.Formatting.FormattingOptions
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Formatting.DocumentFormattingParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Formatting.DocumentFormattingParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTrimTrailingWhitespace Language.LSP.Types.Formatting.FormattingOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTrimFinalNewlines Language.LSP.Types.Formatting.FormattingOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTabSize Language.LSP.Types.Formatting.FormattingOptions GHC.Types.Int
instance Language.LSP.Types.Lens.HasInsertSpaces Language.LSP.Types.Formatting.FormattingOptions GHC.Types.Bool
instance Language.LSP.Types.Lens.HasInsertFinalNewline Language.LSP.Types.Formatting.FormattingOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Formatting.DocumentFormattingRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Formatting.DocumentFormattingRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Formatting.DocumentFormattingOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Formatting.DocumentFormattingClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasAdditionalTextEdits Language.LSP.Types.DocumentColor.ColorPresentation (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.TextEdit))
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.DocumentColor.ColorPresentation Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasTextEdit Language.LSP.Types.DocumentColor.ColorPresentation (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.TextEdit)
instance Language.LSP.Types.Lens.HasColor Language.LSP.Types.DocumentColor.ColorPresentationParams Language.LSP.Types.DocumentColor.Color
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.DocumentColor.ColorPresentationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.DocumentColor.ColorPresentationParams Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.DocumentColor.ColorPresentationParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.DocumentColor.ColorPresentationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasColor Language.LSP.Types.DocumentColor.ColorInformation Language.LSP.Types.DocumentColor.Color
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.DocumentColor.ColorInformation Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasRed Language.LSP.Types.DocumentColor.Color GHC.Types.Int
instance Language.LSP.Types.Lens.HasGreen Language.LSP.Types.DocumentColor.Color GHC.Types.Int
instance Language.LSP.Types.Lens.HasBlue Language.LSP.Types.DocumentColor.Color GHC.Types.Int
instance Language.LSP.Types.Lens.HasAlpha Language.LSP.Types.DocumentColor.Color GHC.Types.Int
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.DocumentColor.DocumentColorParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.DocumentColor.DocumentColorParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.DocumentColor.DocumentColorParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.DocumentColor.DocumentColorRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.DocumentColor.DocumentColorRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentColor.DocumentColorRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentColor.DocumentColorOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.DocumentColor.DocumentColorClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTooltip Language.LSP.Types.DocumentLink.DocumentLink (GHC.Maybe.Maybe GHC.Base.String)
instance Language.LSP.Types.Lens.HasTarget Language.LSP.Types.DocumentLink.DocumentLink (GHC.Maybe.Maybe Language.LSP.Types.Uri.Uri)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.DocumentLink.DocumentLink Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.DocumentLink.DocumentLink (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.DocumentLink.DocumentLinkParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.DocumentLink.DocumentLinkParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.DocumentLink.DocumentLinkParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.DocumentLink.DocumentLinkRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.DocumentLink.DocumentLinkRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentLink.DocumentLinkRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.DocumentLink.DocumentLinkOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentLink.DocumentLinkOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTooltipSupport Language.LSP.Types.DocumentLink.DocumentLinkClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.DocumentLink.DocumentLinkClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.CodeLens.CodeLens (GHC.Maybe.Maybe Language.LSP.Types.Command.Command)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.CodeLens.CodeLens Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.CodeLens.CodeLens (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.CodeLens.CodeLensParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.CodeLens.CodeLensParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.CodeLens.CodeLensParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.CodeLens.CodeLensRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.CodeLens.CodeLensRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CodeLens.CodeLensRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.CodeLens.CodeLensOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CodeLens.CodeLensOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.CodeLens.CodeLensClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTitle Language.LSP.Types.CodeAction.CodeAction Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasIsPreferred Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe Language.LSP.Types.Command.Command)
instance Language.LSP.Types.Lens.HasDiagnostics Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.Diagnostic))
instance Language.LSP.Types.Lens.HasEdit Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.WorkspaceEdit)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe Language.LSP.Types.CodeAction.CodeActionKind)
instance Language.LSP.Types.Lens.HasContext Language.LSP.Types.CodeAction.CodeActionParams Language.LSP.Types.CodeAction.CodeActionContext
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.CodeAction.CodeActionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.CodeAction.CodeActionParams Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.CodeAction.CodeActionParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.CodeAction.CodeActionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasOnly Language.LSP.Types.CodeAction.CodeActionContext (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.CodeAction.CodeActionKind))
instance Language.LSP.Types.Lens.HasDiagnostics Language.LSP.Types.CodeAction.CodeActionContext (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.Diagnostic)
instance Language.LSP.Types.Lens.HasCodeActionKinds Language.LSP.Types.CodeAction.CodeActionRegistrationOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.CodeAction.CodeActionKind))
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.CodeAction.CodeActionRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CodeAction.CodeActionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCodeActionKinds Language.LSP.Types.CodeAction.CodeActionOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.CodeAction.CodeActionKind))
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CodeAction.CodeActionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasIsPreferredSupport Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCodeActionLiteralSupport Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CodeAction.CodeActionLiteralSupport)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCodeActionKind Language.LSP.Types.CodeAction.CodeActionLiteralSupport Language.LSP.Types.CodeAction.CodeActionKindClientCapabilities
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.CodeAction.CodeActionKindClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.CodeAction.CodeActionKind)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.Declaration.DeclarationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Declaration.DeclarationParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Declaration.DeclarationParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Declaration.DeclarationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Declaration.DeclarationRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.Declaration.DeclarationRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Declaration.DeclarationRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Declaration.DeclarationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Declaration.DeclarationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLinkSupport Language.LSP.Types.Declaration.DeclarationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasAllCommitCharacters Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe [GHC.Base.String])
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe [GHC.Base.String])
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasContext Language.LSP.Types.Completion.CompletionParams (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionContext)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.Completion.CompletionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Completion.CompletionParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Completion.CompletionParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Completion.CompletionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasIsIncomplete Language.LSP.Types.Completion.CompletionList GHC.Types.Bool
instance Language.LSP.Types.Lens.HasItems Language.LSP.Types.Completion.CompletionList (Language.LSP.Types.Common.List Language.LSP.Types.Completion.CompletionItem)
instance Language.LSP.Types.Lens.HasTriggerKind Language.LSP.Types.Completion.CompletionContext Language.LSP.Types.Completion.CompletionTriggerKind
instance Language.LSP.Types.Lens.HasTriggerCharacter Language.LSP.Types.Completion.CompletionContext (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasTextEdit Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.TextEdit)
instance Language.LSP.Types.Lens.HasTags Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Completion.CompletionItemTag))
instance Language.LSP.Types.Lens.HasSortText Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasPreselect Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasInsertTextFormat Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Completion.InsertTextFormat)
instance Language.LSP.Types.Lens.HasInsertText Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasFilterText Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasDetail Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasDeprecated Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommitCharacters Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Text.Internal.Text))
instance Language.LSP.Types.Lens.HasAdditionalTextEdits Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.TextEdit))
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Command.Command)
instance Language.LSP.Types.Lens.HasDocumentation Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionDoc)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemKind)
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.Completion.CompletionItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.Location.Location Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.Location.Location Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasStart Language.LSP.Types.Location.Range Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasEnd Language.LSP.Types.Location.Range Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasLine Language.LSP.Types.Location.Position GHC.Types.Int
instance Language.LSP.Types.Lens.HasCharacter Language.LSP.Types.Location.Position GHC.Types.Int
instance Language.LSP.Types.Lens.HasQuery Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolParams GHC.Base.String
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasSymbolKind Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolKindClientCapabilities)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolKindClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.SymbolKind))
instance Language.LSP.Types.Lens.HasChanges Language.LSP.Types.WatchedFiles.DidChangeWatchedFilesParams (Language.LSP.Types.Common.List Language.LSP.Types.WatchedFiles.FileEvent)
instance Language.LSP.Types.Lens.HasXtype Language.LSP.Types.WatchedFiles.FileEvent Language.LSP.Types.WatchedFiles.FileChangeType
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.WatchedFiles.FileEvent Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasWatchDelete Language.LSP.Types.WatchedFiles.WatchKind GHC.Types.Bool
instance Language.LSP.Types.Lens.HasWatchCreate Language.LSP.Types.WatchedFiles.WatchKind GHC.Types.Bool
instance Language.LSP.Types.Lens.HasWatchChange Language.LSP.Types.WatchedFiles.WatchKind GHC.Types.Bool
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.WatchedFiles.FileSystemWatcher (GHC.Maybe.Maybe Language.LSP.Types.WatchedFiles.WatchKind)
instance Language.LSP.Types.Lens.HasGlobPattern Language.LSP.Types.WatchedFiles.FileSystemWatcher GHC.Base.String
instance Language.LSP.Types.Lens.HasWatchers Language.LSP.Types.WatchedFiles.DidChangeWatchedFilesRegistrationOptions (Language.LSP.Types.Common.List Language.LSP.Types.WatchedFiles.FileSystemWatcher)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.WatchedFiles.DidChangeWatchedFilesClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.Initialize.ServerInfo Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.Initialize.ServerInfo (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.Initialize.ClientInfo Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.Initialize.ClientInfo (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasServerInfo Language.LSP.Types.Initialize.InitializeResult (GHC.Maybe.Maybe Language.LSP.Types.Initialize.ServerInfo)
instance Language.LSP.Types.Lens.HasCapabilities Language.LSP.Types.Initialize.InitializeResult Language.LSP.Types.ServerCapabilities.ServerCapabilities
instance Language.LSP.Types.Lens.HasRetry Language.LSP.Types.Initialize.InitializeError GHC.Types.Bool
instance Language.LSP.Types.Lens.HasTrace Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Language.LSP.Types.Initialize.Trace)
instance Language.LSP.Types.Lens.HasRootUri Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Language.LSP.Types.Uri.Uri)
instance Language.LSP.Types.Lens.HasRootPath Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasProcessId Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasInitializationOptions Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasClientInfo Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Language.LSP.Types.Initialize.ClientInfo)
instance Language.LSP.Types.Lens.HasCapabilities Language.LSP.Types.Initialize.InitializeParams Language.LSP.Types.ClientCapabilities.ClientCapabilities
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkspaceFolders Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceFolders.WorkspaceFolder))
instance Language.LSP.Types.Lens.HasFailureReason Language.LSP.Types.WorkspaceEdit.ApplyWorkspaceEditResponseBody (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasApplied Language.LSP.Types.WorkspaceEdit.ApplyWorkspaceEditResponseBody GHC.Types.Bool
instance Language.LSP.Types.Lens.HasEdit Language.LSP.Types.WorkspaceEdit.ApplyWorkspaceEditParams Language.LSP.Types.WorkspaceEdit.WorkspaceEdit
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.WorkspaceEdit.ApplyWorkspaceEditParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasCommands Language.LSP.Types.Command.ExecuteCommandRegistrationOptions (Language.LSP.Types.Common.List Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Command.ExecuteCommandRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.Command.ExecuteCommandParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasArguments Language.LSP.Types.Command.ExecuteCommandParams (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Aeson.Types.Internal.Value))
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Command.ExecuteCommandParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.References.ReferenceParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.References.ReferenceParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.References.ReferenceParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasContext Language.LSP.Types.References.ReferenceParams Language.LSP.Types.References.ReferenceContext
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.References.ReferenceParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasIncludeDeclaration Language.LSP.Types.References.ReferenceContext GHC.Types.Bool
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasRetriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List GHC.Base.String))
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List GHC.Base.String))
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasSignatures Language.LSP.Types.SignatureHelp.SignatureHelp (Language.LSP.Types.Common.List Language.LSP.Types.SignatureHelp.SignatureInformation)
instance Language.LSP.Types.Lens.HasActiveSignature Language.LSP.Types.SignatureHelp.SignatureHelp (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasActiveParameter Language.LSP.Types.SignatureHelp.SignatureHelp (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasParameters Language.LSP.Types.SignatureHelp.SignatureInformation (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.SignatureHelp.ParameterInformation))
instance Language.LSP.Types.Lens.HasDocumentation Language.LSP.Types.SignatureHelp.SignatureInformation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.SignatureHelp.SignatureInformation Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.SignatureHelp.ParameterInformation Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasDocumentation Language.LSP.Types.SignatureHelp.ParameterInformation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasValue Language.LSP.Types.Hover.LanguageString Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasLanguage Language.LSP.Types.Hover.LanguageString Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.Diagnostic.PublishDiagnosticsParams (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.Diagnostic.PublishDiagnosticsParams Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasDiagnostics Language.LSP.Types.Diagnostic.PublishDiagnosticsParams (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.Diagnostic)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.DidCloseTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.TextDocument.TextDocumentSaveRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasIncludeText Language.LSP.Types.TextDocument.TextDocumentSaveRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasText Language.LSP.Types.TextDocument.DidSaveTextDocumentParams (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.DidSaveTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasReason Language.LSP.Types.TextDocument.WillSaveTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentSaveReason
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.WillSaveTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasSyncKind Language.LSP.Types.TextDocument.TextDocumentChangeRegistrationOptions Language.LSP.Types.TextDocument.TextDocumentSyncKind
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.TextDocument.TextDocumentChangeRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasContentChanges Language.LSP.Types.TextDocument.DidChangeTextDocumentParams (Language.LSP.Types.Common.List Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.DidChangeTextDocumentParams Language.LSP.Types.TextDocument.VersionedTextDocumentIdentifier
instance Language.LSP.Types.Lens.HasText Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRangeLength Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent (GHC.Maybe.Maybe GHC.Types.Int)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent (GHC.Maybe.Maybe Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.DidOpenTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentItem
instance Language.LSP.Types.Lens.HasItems Language.LSP.Types.Configuration.ConfigurationParams (Language.LSP.Types.Common.List Language.LSP.Types.Configuration.ConfigurationItem)
instance Language.LSP.Types.Lens.HasSection Language.LSP.Types.Configuration.ConfigurationItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasScopeUri Language.LSP.Types.Configuration.ConfigurationItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasSettings Language.LSP.Types.Configuration.DidChangeConfigurationParams Data.Aeson.Types.Internal.Value
instance Language.LSP.Types.Lens.HasUnregisterations Language.LSP.Types.Registration.UnregistrationParams (Language.LSP.Types.Common.List Language.LSP.Types.Registration.Unregistration)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.Registration.Unregistration Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasMethod Language.LSP.Types.Registration.Unregistration Language.LSP.Types.Method.SomeClientMethod
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.TextDocument.TextDocumentRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasRegistrations Language.LSP.Types.Registration.RegistrationParams (Language.LSP.Types.Common.List Language.LSP.Types.Registration.SomeRegistration)
instance forall (t :: Language.LSP.Types.Method.MethodType) a (m :: Language.LSP.Types.Method.Method 'Language.LSP.Types.Method.FromClient t). (a GHC.Types.~ Language.LSP.Types.Registration.RegistrationOptions m) => Language.LSP.Types.Lens.HasRegisterOptions (Language.LSP.Types.Registration.Registration m) a
instance forall (t :: Language.LSP.Types.Method.MethodType) (m :: Language.LSP.Types.Method.Method 'Language.LSP.Types.Method.FromClient t). Language.LSP.Types.Lens.HasMethod (Language.LSP.Types.Registration.Registration m) (Language.LSP.Types.Method.SClientMethod m)
instance forall (t :: Language.LSP.Types.Method.MethodType) (m :: Language.LSP.Types.Method.Method 'Language.LSP.Types.Method.FromClient t). Language.LSP.Types.Lens.HasId (Language.LSP.Types.Registration.Registration m) Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasWorkspaceSymbolProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTypeDefinitionProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.TypeDefinition.TypeDefinitionOptions Language.LSP.Types.Common.|? Language.LSP.Types.TypeDefinition.TypeDefinitionRegistrationOptions)))
instance Language.LSP.Types.Lens.HasTextDocumentSync Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.TextDocument.TextDocumentSyncOptions Language.LSP.Types.Common.|? Language.LSP.Types.TextDocument.TextDocumentSyncKind))
instance Language.LSP.Types.Lens.HasSignatureHelpProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpOptions)
instance Language.LSP.Types.Lens.HasSelectionRangeProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.SelectionRange.SelectionRangeOptions Language.LSP.Types.Common.|? Language.LSP.Types.SelectionRange.SelectionRangeRegistrationOptions)))
instance Language.LSP.Types.Lens.HasRenameProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.Rename.RenameOptions))
instance Language.LSP.Types.Lens.HasReferencesProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.References.ReferenceOptions))
instance Language.LSP.Types.Lens.HasImplementationProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.Implementation.ImplementationOptions Language.LSP.Types.Common.|? Language.LSP.Types.Implementation.ImplementationRegistrationOptions)))
instance Language.LSP.Types.Lens.HasHoverProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.Hover.HoverOptions))
instance Language.LSP.Types.Lens.HasFoldingRangeProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.FoldingRange.FoldingRangeOptions Language.LSP.Types.Common.|? Language.LSP.Types.FoldingRange.FoldingRangeRegistrationOptions)))
instance Language.LSP.Types.Lens.HasExecuteCommandProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Command.ExecuteCommandOptions)
instance Language.LSP.Types.Lens.HasDocumentSymbolProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.DocumentSymbol.DocumentSymbolOptions))
instance Language.LSP.Types.Lens.HasDocumentRangeFormattingProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.Formatting.DocumentRangeFormattingOptions))
instance Language.LSP.Types.Lens.HasDocumentOnTypeFormattingProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Formatting.DocumentOnTypeFormattingOptions)
instance Language.LSP.Types.Lens.HasDocumentLinkProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentLink.DocumentLinkOptions)
instance Language.LSP.Types.Lens.HasDocumentHighlightProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.DocumentHighlight.DocumentHighlightOptions))
instance Language.LSP.Types.Lens.HasDocumentFormattingProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.Formatting.DocumentFormattingOptions))
instance Language.LSP.Types.Lens.HasDefinitionProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.Definition.DefinitionOptions))
instance Language.LSP.Types.Lens.HasDeclarationProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.Declaration.DeclarationOptions Language.LSP.Types.Common.|? Language.LSP.Types.Declaration.DeclarationRegistrationOptions)))
instance Language.LSP.Types.Lens.HasCompletionProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionOptions)
instance Language.LSP.Types.Lens.HasCodeLensProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CodeLens.CodeLensOptions)
instance Language.LSP.Types.Lens.HasCodeActionProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.CodeAction.CodeActionOptions))
instance Language.LSP.Types.Lens.HasColorProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.DocumentColor.DocumentColorOptions Language.LSP.Types.Common.|? Language.LSP.Types.DocumentColor.DocumentColorRegistrationOptions)))
instance Language.LSP.Types.Lens.HasExperimental Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasWorkspace Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ServerCapabilities.WorkspaceServerCapabilities)
instance Language.LSP.Types.Lens.HasSupported Language.LSP.Types.ServerCapabilities.WorkspaceFoldersServerCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasChangeNotifications Language.LSP.Types.ServerCapabilities.WorkspaceFoldersServerCapabilities (GHC.Maybe.Maybe (Data.Text.Internal.Text Language.LSP.Types.Common.|? GHC.Types.Bool))
instance Language.LSP.Types.Lens.HasWorkspaceFolders Language.LSP.Types.ServerCapabilities.WorkspaceServerCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ServerCapabilities.WorkspaceFoldersServerCapabilities)
instance Language.LSP.Types.Lens.HasSave Language.LSP.Types.TextDocument.TextDocumentSyncOptions (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? Language.LSP.Types.TextDocument.SaveOptions))
instance Language.LSP.Types.Lens.HasOpenClose Language.LSP.Types.TextDocument.TextDocumentSyncOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasChange Language.LSP.Types.TextDocument.TextDocumentSyncOptions (GHC.Maybe.Maybe Language.LSP.Types.TextDocument.TextDocumentSyncKind)
instance Language.LSP.Types.Lens.HasWillSave Language.LSP.Types.TextDocument.TextDocumentSyncOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWillSaveWaitUntil Language.LSP.Types.TextDocument.TextDocumentSyncOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasIncludeText Language.LSP.Types.TextDocument.SaveOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommands Language.LSP.Types.Command.ExecuteCommandOptions (Language.LSP.Types.Common.List Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Command.ExecuteCommandOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasRetriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List GHC.Base.String))
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List GHC.Base.String))
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SignatureHelp.SignatureHelpOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe [GHC.Base.String])
instance Language.LSP.Types.Lens.HasResolveProvider Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasAllCommitCharacters Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe [GHC.Base.String])
instance Language.LSP.Types.Lens.HasWorkspace Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities)
instance Language.LSP.Types.Lens.HasWindow Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.WindowClientCapabilities)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities)
instance Language.LSP.Types.Lens.HasExperimental Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Object)
instance Language.LSP.Types.Lens.HasTypeDefinition Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.TypeDefinition.TypeDefinitionClientCapabilities)
instance Language.LSP.Types.Lens.HasSynchronization Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.TextDocument.TextDocumentSyncClientCapabilities)
instance Language.LSP.Types.Lens.HasSignatureHelp Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpClientCapabilities)
instance Language.LSP.Types.Lens.HasSelectionRange Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SelectionRange.SelectionRangeClientCapabilities)
instance Language.LSP.Types.Lens.HasRename Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Rename.RenameClientCapabilities)
instance Language.LSP.Types.Lens.HasReferences Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.References.ReferencesClientCapabilities)
instance Language.LSP.Types.Lens.HasRangeFormatting Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Formatting.DocumentRangeFormattingClientCapabilities)
instance Language.LSP.Types.Lens.HasPublishDiagnostics Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Diagnostic.PublishDiagnosticsClientCapabilities)
instance Language.LSP.Types.Lens.HasOnTypeFormatting Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Formatting.DocumentOnTypeFormattingClientCapabilities)
instance Language.LSP.Types.Lens.HasImplementation Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Implementation.ImplementationClientCapabilities)
instance Language.LSP.Types.Lens.HasHover Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Hover.HoverClientCapabilities)
instance Language.LSP.Types.Lens.HasFormatting Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Formatting.DocumentFormattingClientCapabilities)
instance Language.LSP.Types.Lens.HasFoldingRange Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.FoldingRange.FoldingRangeClientCapabilities)
instance Language.LSP.Types.Lens.HasDocumentSymbol Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities)
instance Language.LSP.Types.Lens.HasDocumentLink Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentLink.DocumentLinkClientCapabilities)
instance Language.LSP.Types.Lens.HasDocumentHighlight Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentHighlight.DocumentHighlightClientCapabilities)
instance Language.LSP.Types.Lens.HasDefinition Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Definition.DefinitionClientCapabilities)
instance Language.LSP.Types.Lens.HasDeclaration Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Declaration.DeclarationClientCapabilities)
instance Language.LSP.Types.Lens.HasCompletion Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionClientCapabilities)
instance Language.LSP.Types.Lens.HasColorProvider Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentColor.DocumentColorClientCapabilities)
instance Language.LSP.Types.Lens.HasCodeLens Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CodeLens.CodeLensClientCapabilities)
instance Language.LSP.Types.Lens.HasCodeAction Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CodeAction.CodeActionClientCapabilities)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.Diagnostic.PublishDiagnosticsTagsClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticTag)
instance Language.LSP.Types.Lens.HasVersionSupport Language.LSP.Types.Diagnostic.PublishDiagnosticsClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasRelatedInformation Language.LSP.Types.Diagnostic.PublishDiagnosticsClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTagSupport Language.LSP.Types.Diagnostic.PublishDiagnosticsClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Diagnostic.PublishDiagnosticsTagsClientCapabilities)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Implementation.ImplementationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLinkSupport Language.LSP.Types.Implementation.ImplementationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.TypeDefinition.TypeDefinitionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLinkSupport Language.LSP.Types.TypeDefinition.TypeDefinitionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLinkSupport Language.LSP.Types.Definition.DefinitionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Definition.DefinitionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.References.ReferencesClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasSignatureInformation Language.LSP.Types.SignatureHelp.SignatureHelpClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpSignatureInformation)
instance Language.LSP.Types.Lens.HasContextSupport Language.LSP.Types.SignatureHelp.SignatureHelpClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.SignatureHelp.SignatureHelpClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLabelOffsetSupport Language.LSP.Types.SignatureHelp.SignatureHelpParameterInformation (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasParameterInformation Language.LSP.Types.SignatureHelp.SignatureHelpSignatureInformation (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpParameterInformation)
instance Language.LSP.Types.Lens.HasDocumentationFormat Language.LSP.Types.SignatureHelp.SignatureHelpSignatureInformation (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.MarkupContent.MarkupKind))
instance Language.LSP.Types.Lens.HasContentFormat Language.LSP.Types.Hover.HoverClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.MarkupContent.MarkupKind))
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Hover.HoverClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasContextSupport Language.LSP.Types.Completion.CompletionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCompletionItemKind Language.LSP.Types.Completion.CompletionClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemKindClientCapabilities)
instance Language.LSP.Types.Lens.HasCompletionItem Language.LSP.Types.Completion.CompletionClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemClientCapabilities)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Completion.CompletionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.Completion.CompletionItemKindClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Completion.CompletionItemKind))
instance Language.LSP.Types.Lens.HasTagSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemTagsClientCapabilities)
instance Language.LSP.Types.Lens.HasSnippetSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPreselectSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDocumentationFormat Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.MarkupContent.MarkupKind))
instance Language.LSP.Types.Lens.HasDeprecatedSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasCommitCharactersSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.Completion.CompletionItemTagsClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.Completion.CompletionItemTag)
instance Language.LSP.Types.Lens.HasWillSaveWaitUntil Language.LSP.Types.TextDocument.TextDocumentSyncClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWillSave Language.LSP.Types.TextDocument.TextDocumentSyncClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDidSave Language.LSP.Types.TextDocument.TextDocumentSyncClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.TextDocument.TextDocumentSyncClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkspaceFolders Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkspaceEdit Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities)
instance Language.LSP.Types.Lens.HasSymbol Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolClientCapabilities)
instance Language.LSP.Types.Lens.HasExecuteCommand Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Command.ExecuteCommandClientCapabilities)
instance Language.LSP.Types.Lens.HasDidChangeWatchedFiles Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WatchedFiles.DidChangeWatchedFilesClientCapabilities)
instance Language.LSP.Types.Lens.HasDidChangeConfiguration Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Configuration.DidChangeConfigurationClientCapabilities)
instance Language.LSP.Types.Lens.HasConfiguration Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasApplyEdit Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Command.ExecuteCommandClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.Configuration.DidChangeConfigurationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasResourceOperations Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.ResourceOperationKind))
instance Language.LSP.Types.Lens.HasFailureHandling Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.FailureHandlingKind)
instance Language.LSP.Types.Lens.HasDocumentChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)

module Language.LSP.Types
data CancelParams
CancelParams :: LspId m -> CancelParams

-- | The request id to cancel.
[$sel:_id:CancelParams] :: CancelParams -> LspId m
data CodeActionKind

-- | Empty kind.
CodeActionEmpty :: CodeActionKind

-- | Base kind for quickfix actions: <tt>quickfix</tt>.
CodeActionQuickFix :: CodeActionKind

-- | Base kind for refactoring actions: <tt>refactor</tt>.
CodeActionRefactor :: CodeActionKind

-- | Base kind for refactoring extraction actions:
--   <tt>refactor.extract</tt>. Example extract actions:
--   
--   <ul>
--   <li>Extract method</li>
--   <li>Extract function</li>
--   <li>Extract variable</li>
--   <li>Extract interface from class</li>
--   <li>...</li>
--   </ul>
CodeActionRefactorExtract :: CodeActionKind

-- | Base kind for refactoring inline actions: <tt>refactor.inline</tt>.
--   
--   Example inline actions:
--   
--   <ul>
--   <li>Inline function</li>
--   <li>Inline variable</li>
--   <li>Inline constant</li>
--   <li>...</li>
--   </ul>
CodeActionRefactorInline :: CodeActionKind

-- | Base kind for refactoring rewrite actions: <tt>refactor.rewrite</tt>.
--   
--   Example rewrite actions:
--   
--   <ul>
--   <li>Convert JavaScript function to class</li>
--   <li>Add or remove parameter</li>
--   <li>Encapsulate field</li>
--   <li>Make method static</li>
--   <li>Move method to base class</li>
--   <li>...</li>
--   </ul>
CodeActionRefactorRewrite :: CodeActionKind

-- | Base kind for source actions: <tt>source</tt>.
--   
--   Source code actions apply to the entire file.
CodeActionSource :: CodeActionKind

-- | Base kind for an organize imports source action:
--   <tt>source.organizeImports</tt>.
CodeActionSourceOrganizeImports :: CodeActionKind
CodeActionUnknown :: Text -> CodeActionKind
data CodeActionKindClientCapabilities
CodeActionKindClientCapabilities :: List CodeActionKind -> CodeActionKindClientCapabilities

-- | The code action kind values the client supports. When this property
--   exists the client also guarantees that it will handle values outside
--   its set gracefully and falls back to a default value when unknown.
[$sel:_valueSet:CodeActionKindClientCapabilities] :: CodeActionKindClientCapabilities -> List CodeActionKind
data CodeActionLiteralSupport
CodeActionLiteralSupport :: CodeActionKindClientCapabilities -> CodeActionLiteralSupport

-- | The code action kind is support with the following value set.
[$sel:_codeActionKind:CodeActionLiteralSupport] :: CodeActionLiteralSupport -> CodeActionKindClientCapabilities
data CodeActionClientCapabilities
CodeActionClientCapabilities :: Maybe Bool -> Maybe CodeActionLiteralSupport -> Maybe Bool -> CodeActionClientCapabilities

-- | Whether code action supports dynamic registration.
[$sel:_dynamicRegistration:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe Bool

-- | The client support code action literals as a valid response of the
--   `textDocument/codeAction` request. Since 3.8.0
[$sel:_codeActionLiteralSupport:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe CodeActionLiteralSupport

-- | Whether code action supports the <tt>isPreferred</tt> property. Since
--   LSP 3.15.0
[$sel:_isPreferredSupport:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe Bool
data CodeActionOptions
CodeActionOptions :: Maybe Bool -> Maybe (List CodeActionKind) -> CodeActionOptions
[$sel:_workDoneProgress:CodeActionOptions] :: CodeActionOptions -> Maybe Bool
[$sel:_codeActionKinds:CodeActionOptions] :: CodeActionOptions -> Maybe (List CodeActionKind)
data CodeActionRegistrationOptions
CodeActionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe (List CodeActionKind) -> CodeActionRegistrationOptions
[$sel:_documentSelector:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe Bool
[$sel:_codeActionKinds:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe (List CodeActionKind)

-- | Contains additional diagnostic information about the context in which
--   a code action is run.
data CodeActionContext
CodeActionContext :: List Diagnostic -> Maybe (List CodeActionKind) -> CodeActionContext

-- | An array of diagnostics known on the client side overlapping the range
--   provided to the <tt>textDocument/codeAction</tt> request. They are
--   provided so that the server knows which errors are currently presented
--   to the user for the given range. There is no guarantee that these
--   accurately reflect the error state of the resource. The primary
--   parameter to compute code actions is the provided range.
[$sel:_diagnostics:CodeActionContext] :: CodeActionContext -> List Diagnostic

-- | Requested kind of actions to return.
--   
--   Actions not of this kind are filtered out by the client before being
--   shown. So servers can omit computing them.
[$sel:_only:CodeActionContext] :: CodeActionContext -> Maybe (List CodeActionKind)
data CodeActionParams
CodeActionParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Range -> CodeActionContext -> CodeActionParams
[$sel:_workDoneToken:CodeActionParams] :: CodeActionParams -> Maybe ProgressToken
[$sel:_partialResultToken:CodeActionParams] :: CodeActionParams -> Maybe ProgressToken
[$sel:_textDocument:CodeActionParams] :: CodeActionParams -> TextDocumentIdentifier
[$sel:_range:CodeActionParams] :: CodeActionParams -> Range
[$sel:_context:CodeActionParams] :: CodeActionParams -> CodeActionContext

-- | 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 <a>$sel:_edit:CodeAction</a> and/or a
--   <a>$sel:_command:CodeAction</a>. If both are supplied, the
--   <a>$sel:_edit:CodeAction</a> is applied first, then the
--   <a>$sel:_command:CodeAction</a> is executed.
data CodeAction
CodeAction :: Text -> Maybe CodeActionKind -> Maybe (List Diagnostic) -> Maybe Bool -> Maybe WorkspaceEdit -> Maybe Command -> CodeAction

-- | A short, human-readable, title for this code action.
[$sel:_title:CodeAction] :: CodeAction -> Text

-- | The kind of the code action. Used to filter code actions.
[$sel:_kind:CodeAction] :: CodeAction -> Maybe CodeActionKind

-- | The diagnostics that this code action resolves.
[$sel:_diagnostics:CodeAction] :: CodeAction -> Maybe (List Diagnostic)

-- | Marks this as a preferred action. Preferred actions are used by the
--   `auto fix` command and can be targeted by keybindings.
--   
--   A quick fix should be marked preferred if it properly addresses the
--   underlying error. A refactoring should be marked preferred if it is
--   the most reasonable choice of actions to take.
--   
--   Since LSP 3.15.0
[$sel:_isPreferred:CodeAction] :: CodeAction -> Maybe Bool

-- | The workspace edit this code action performs.
[$sel:_edit:CodeAction] :: CodeAction -> Maybe WorkspaceEdit

-- | A command this code action executes. If a code action provides an edit
--   and a command, first the edit is executed and then the command.
[$sel:_command:CodeAction] :: CodeAction -> Maybe Command
data CodeLensClientCapabilities
CodeLensClientCapabilities :: Maybe Bool -> CodeLensClientCapabilities

-- | Whether code lens supports dynamic registration.
[$sel:_dynamicRegistration:CodeLensClientCapabilities] :: CodeLensClientCapabilities -> Maybe Bool
data CodeLensOptions
CodeLensOptions :: Maybe Bool -> Maybe Bool -> CodeLensOptions
[$sel:_workDoneProgress:CodeLensOptions] :: CodeLensOptions -> Maybe Bool
[$sel:_resolveProvider:CodeLensOptions] :: CodeLensOptions -> Maybe Bool
data CodeLensRegistrationOptions
CodeLensRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Bool -> CodeLensRegistrationOptions
[$sel:_documentSelector:CodeLensRegistrationOptions] :: CodeLensRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CodeLensRegistrationOptions] :: CodeLensRegistrationOptions -> Maybe Bool
[$sel:_resolveProvider:CodeLensRegistrationOptions] :: CodeLensRegistrationOptions -> Maybe Bool
data CodeLensParams
CodeLensParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> CodeLensParams
[$sel:_workDoneToken:CodeLensParams] :: CodeLensParams -> Maybe ProgressToken
[$sel:_partialResultToken:CodeLensParams] :: CodeLensParams -> Maybe ProgressToken
[$sel:_textDocument:CodeLensParams] :: CodeLensParams -> TextDocumentIdentifier

-- | 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.
data CodeLens
CodeLens :: Range -> Maybe Command -> Maybe Value -> CodeLens

-- | The range in which this code lens is valid. Should only span a single
--   line.
[$sel:_range:CodeLens] :: CodeLens -> Range

-- | The command this code lens represents.
[$sel:_command:CodeLens] :: CodeLens -> Maybe Command

-- | A data entry field that is preserved on a code lens item between a
--   code lens and a code lens resolve request.
[$sel:_xdata:CodeLens] :: CodeLens -> Maybe Value
data ExecuteCommandClientCapabilities
ExecuteCommandClientCapabilities :: Maybe Bool -> ExecuteCommandClientCapabilities

-- | Execute command supports dynamic registration.
[$sel:_dynamicRegistration:ExecuteCommandClientCapabilities] :: ExecuteCommandClientCapabilities -> Maybe Bool
data ExecuteCommandOptions
ExecuteCommandOptions :: Maybe Bool -> List Text -> ExecuteCommandOptions
[$sel:_workDoneProgress:ExecuteCommandOptions] :: ExecuteCommandOptions -> Maybe Bool
[$sel:_commands:ExecuteCommandOptions] :: ExecuteCommandOptions -> List Text
data ExecuteCommandRegistrationOptions
ExecuteCommandRegistrationOptions :: Maybe Bool -> List Text -> ExecuteCommandRegistrationOptions
[$sel:_workDoneProgress:ExecuteCommandRegistrationOptions] :: ExecuteCommandRegistrationOptions -> Maybe Bool
[$sel:_commands:ExecuteCommandRegistrationOptions] :: ExecuteCommandRegistrationOptions -> List Text
data ExecuteCommandParams
ExecuteCommandParams :: Maybe ProgressToken -> Text -> Maybe (List Value) -> ExecuteCommandParams
[$sel:_workDoneToken:ExecuteCommandParams] :: ExecuteCommandParams -> Maybe ProgressToken
[$sel:_command:ExecuteCommandParams] :: ExecuteCommandParams -> Text
[$sel:_arguments:ExecuteCommandParams] :: ExecuteCommandParams -> Maybe (List Value)
data Command
Command :: Text -> Text -> Maybe (List Value) -> Command

-- | Title of the command, like <tt>save</tt>.
[$sel:_title:Command] :: Command -> Text

-- | The identifier of the actual command handler.
[$sel:_command:Command] :: Command -> Text

-- | Arguments that the command handler should be invoked with.
[$sel:_arguments:Command] :: Command -> Maybe (List Value)

-- | A terser, isomorphic data type for <a>Either</a>, that does not get
--   tagged when converting to and from JSON.
data a |? b
InL :: a -> (|?) a b
InR :: b -> (|?) a b
infixr 9 |?
toEither :: (a |? b) -> Either a b

-- | All LSP types representing a list **must** use this type rather than
--   '[]'. In particular this is necessary to change the <a>FromJSON</a>
--   instance to be compatible with Elisp (where empty lists show up as
--   <a>null</a>)
newtype List a
List :: [a] -> List a
data Empty
Empty :: Empty
data CompletionItemKind
CiText :: CompletionItemKind
CiMethod :: CompletionItemKind
CiFunction :: CompletionItemKind
CiConstructor :: CompletionItemKind
CiField :: CompletionItemKind
CiVariable :: CompletionItemKind
CiClass :: CompletionItemKind
CiInterface :: CompletionItemKind
CiModule :: CompletionItemKind
CiProperty :: CompletionItemKind
CiUnit :: CompletionItemKind
CiValue :: CompletionItemKind
CiEnum :: CompletionItemKind
CiKeyword :: CompletionItemKind
CiSnippet :: CompletionItemKind
CiColor :: CompletionItemKind
CiFile :: CompletionItemKind
CiReference :: CompletionItemKind
CiFolder :: CompletionItemKind
CiEnumMember :: CompletionItemKind
CiConstant :: CompletionItemKind
CiStruct :: CompletionItemKind
CiEvent :: CompletionItemKind
CiOperator :: CompletionItemKind
CiTypeParameter :: CompletionItemKind
data CompletionItemTag

-- | Render a completion as obsolete, usually using a strike-out.
CtDeprecated :: CompletionItemTag
data CompletionItemTagsClientCapabilities
CompletionItemTagsClientCapabilities :: List CompletionItemTag -> CompletionItemTagsClientCapabilities

-- | The tag supported by the client.
[$sel:_valueSet:CompletionItemTagsClientCapabilities] :: CompletionItemTagsClientCapabilities -> List CompletionItemTag
data CompletionItemClientCapabilities
CompletionItemClientCapabilities :: Maybe Bool -> Maybe Bool -> Maybe (List MarkupKind) -> Maybe Bool -> Maybe Bool -> Maybe CompletionItemTagsClientCapabilities -> CompletionItemClientCapabilities

-- | Client supports snippets as insert text.
--   
--   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.
[$sel:_snippetSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe Bool

-- | Client supports commit characters on a completion item.
[$sel:_commitCharactersSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe Bool

-- | Client supports the follow content formats for the documentation
--   property. The order describes the preferred format of the client.
[$sel:_documentationFormat:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe (List MarkupKind)

-- | Client supports the deprecated property on a completion item.
[$sel:_deprecatedSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe Bool

-- | Client supports the preselect property on a completion item.
[$sel:_preselectSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe Bool

-- | Client supports the tag property on a completion item. Clients
--   supporting tags have to handle unknown tags gracefully. Clients
--   especially need to preserve unknown tags when sending a completion
--   item back to the server in a resolve call.
[$sel:_tagSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe CompletionItemTagsClientCapabilities
data CompletionItemKindClientCapabilities
CompletionItemKindClientCapabilities :: Maybe (List CompletionItemKind) -> CompletionItemKindClientCapabilities

-- | The completion item kind values the client supports. When this
--   property exists the client also guarantees that it will handle values
--   outside its set gracefully and falls back to a default value when
--   unknown.
[$sel:_valueSet:CompletionItemKindClientCapabilities] :: CompletionItemKindClientCapabilities -> Maybe (List CompletionItemKind)
data CompletionClientCapabilities
CompletionClientCapabilities :: Maybe Bool -> Maybe CompletionItemClientCapabilities -> Maybe CompletionItemKindClientCapabilities -> Maybe Bool -> CompletionClientCapabilities

-- | Whether completion supports dynamic registration.
[$sel:_dynamicRegistration:CompletionClientCapabilities] :: CompletionClientCapabilities -> Maybe Bool
[$sel:_completionItem:CompletionClientCapabilities] :: CompletionClientCapabilities -> Maybe CompletionItemClientCapabilities
[$sel:_completionItemKind:CompletionClientCapabilities] :: CompletionClientCapabilities -> Maybe CompletionItemKindClientCapabilities
[$sel:_contextSupport:CompletionClientCapabilities] :: CompletionClientCapabilities -> Maybe Bool
data InsertTextFormat

-- | The primary text to be inserted is treated as a plain string.
PlainText :: InsertTextFormat

-- | 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:
--   <a>https://github.com/Microsoft/vscode/blob/master/src/vs/editor/contrib/snippet/common/snippet.md</a>
Snippet :: InsertTextFormat
data CompletionDoc
CompletionDocString :: Text -> CompletionDoc
CompletionDocMarkup :: MarkupContent -> CompletionDoc
data CompletionItem
CompletionItem :: Text -> Maybe CompletionItemKind -> Maybe (List CompletionItemTag) -> Maybe Text -> Maybe CompletionDoc -> Maybe Bool -> Maybe Bool -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe InsertTextFormat -> Maybe TextEdit -> Maybe (List TextEdit) -> Maybe (List Text) -> Maybe Command -> Maybe Value -> CompletionItem

-- | The label of this completion item. By default also the text that is
--   inserted when selecting this completion.
[$sel:_label:CompletionItem] :: CompletionItem -> Text
[$sel:_kind:CompletionItem] :: CompletionItem -> Maybe CompletionItemKind

-- | Tags for this completion item.
[$sel:_tags:CompletionItem] :: CompletionItem -> Maybe (List CompletionItemTag)

-- | A human-readable string with additional information about this item,
--   like type or symbol information.
[$sel:_detail:CompletionItem] :: CompletionItem -> Maybe Text

-- | A human-readable string that represents a doc-comment.
[$sel:_documentation:CompletionItem] :: CompletionItem -> Maybe CompletionDoc

-- | Indicates if this item is deprecated.
[$sel:_deprecated:CompletionItem] :: CompletionItem -> Maybe Bool

-- | Select this item when showing. *Note* that only one completion item
--   can be selected and that the tool / client decides which item that is.
--   The rule is that the *first* item of those that match best is
--   selected.
[$sel:_preselect:CompletionItem] :: CompletionItem -> Maybe Bool

-- | A string that should be used when filtering a set of completion items.
--   When <tt>falsy</tt> the label is used.
[$sel:_sortText:CompletionItem] :: CompletionItem -> Maybe Text

-- | A string that should be used when filtering a set of completion items.
--   When <tt>falsy</tt> the label is used.
[$sel:_filterText:CompletionItem] :: CompletionItem -> Maybe Text

-- | A string that should be inserted a document when selecting this
--   completion. When <tt>falsy</tt> the label is used.
[$sel:_insertText:CompletionItem] :: CompletionItem -> Maybe Text

-- | The format of the insert text. The format applies to both the
--   <tt>insertText</tt> property and the <tt>newText</tt> property of a
--   provided <tt>textEdit</tt>.
[$sel:_insertTextFormat:CompletionItem] :: CompletionItem -> Maybe InsertTextFormat

-- | An edit which is applied to a document when selecting this completion.
--   When an edit is provided the value of <tt>insertText</tt> is ignored.
--   
--   <ul>
--   <li>Note:* The range of the edit must be a single line range and it
--   must contain the position at which completion has been requested.</li>
--   </ul>
[$sel:_textEdit:CompletionItem] :: CompletionItem -> Maybe TextEdit

-- | An optional array of additional text edits that are applied when
--   selecting this completion. Edits must not overlap with the main edit
--   nor with themselves.
[$sel:_additionalTextEdits:CompletionItem] :: CompletionItem -> Maybe (List TextEdit)

-- | An optional set of characters that when pressed while this completion
--   is active will accept it first and then type that character. *Note*
--   that all commit characters should have `length=1` and that superfluous
--   characters will be ignored.
[$sel:_commitCharacters:CompletionItem] :: CompletionItem -> Maybe (List Text)

-- | An optional command that is executed *after* inserting this
--   completion. *Note* that additional modifications to the current
--   document should be described with the additionalTextEdits-property.
[$sel:_command:CompletionItem] :: CompletionItem -> Maybe Command

-- | An data entry field that is preserved on a completion item between a
--   completion and a completion resolve request.
[$sel:_xdata:CompletionItem] :: CompletionItem -> Maybe Value

-- | Represents a collection of <a>CompletionItem</a>s to be presented in
--   the editor.
data CompletionList
CompletionList :: Bool -> List CompletionItem -> CompletionList

-- | This list it not complete. Further typing should result in recomputing
--   this list.
[$sel:_isIncomplete:CompletionList] :: CompletionList -> Bool

-- | The completion items.
[$sel:_items:CompletionList] :: CompletionList -> List CompletionItem

-- | How a completion was triggered
data CompletionTriggerKind

-- | Completion was triggered by typing an identifier (24x7 code complete),
--   manual invocation (e.g Ctrl+Space) or via API.
CtInvoked :: CompletionTriggerKind

-- | Completion was triggered by a trigger character specified by the
--   <tt>triggerCharacters</tt> properties of the
--   <a>CompletionRegistrationOptions</a>.
CtTriggerCharacter :: CompletionTriggerKind

-- | Completion was re-triggered as the current completion list is
--   incomplete.
CtTriggerForIncompleteCompletions :: CompletionTriggerKind

-- | An unknown <a>CompletionTriggerKind</a> not yet supported in
--   haskell-lsp.
CtUnknown :: Scientific -> CompletionTriggerKind
data CompletionOptions
CompletionOptions :: Maybe Bool -> Maybe [String] -> Maybe [String] -> Maybe Bool -> CompletionOptions
[$sel:_workDoneProgress:CompletionOptions] :: CompletionOptions -> Maybe Bool
[$sel:_triggerCharacters:CompletionOptions] :: CompletionOptions -> Maybe [String]
[$sel:_allCommitCharacters:CompletionOptions] :: CompletionOptions -> Maybe [String]
[$sel:_resolveProvider:CompletionOptions] :: CompletionOptions -> Maybe Bool
data CompletionRegistrationOptions
CompletionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe [String] -> Maybe [String] -> Maybe Bool -> CompletionRegistrationOptions
[$sel:_documentSelector:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe Bool
[$sel:_triggerCharacters:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe [String]
[$sel:_allCommitCharacters:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe [String]
[$sel:_resolveProvider:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe Bool
data CompletionContext
CompletionContext :: CompletionTriggerKind -> Maybe Text -> CompletionContext

-- | How the completion was triggered.
[$sel:_triggerKind:CompletionContext] :: CompletionContext -> CompletionTriggerKind

-- | The trigger character (a single character) that has trigger code
--   complete. Is undefined if `triggerKind !==
--   CompletionTriggerKind.TriggerCharacter`
[$sel:_triggerCharacter:CompletionContext] :: CompletionContext -> Maybe Text
data CompletionParams
CompletionParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> Maybe CompletionContext -> CompletionParams
[$sel:_textDocument:CompletionParams] :: CompletionParams -> TextDocumentIdentifier
[$sel:_position:CompletionParams] :: CompletionParams -> Position
[$sel:_workDoneToken:CompletionParams] :: CompletionParams -> Maybe ProgressToken
[$sel:_partialResultToken:CompletionParams] :: CompletionParams -> Maybe ProgressToken
[$sel:_context:CompletionParams] :: CompletionParams -> Maybe CompletionContext
data DidChangeConfigurationClientCapabilities
DidChangeConfigurationClientCapabilities :: Maybe Bool -> DidChangeConfigurationClientCapabilities

-- | Did change configuration notification supports dynamic registration.
[_dynamicRegistration] :: DidChangeConfigurationClientCapabilities -> Maybe Bool
data DidChangeConfigurationParams
DidChangeConfigurationParams :: Value -> DidChangeConfigurationParams

-- | The actual changed settings
[_settings] :: DidChangeConfigurationParams -> Value
data ConfigurationItem
ConfigurationItem :: Maybe Text -> Maybe Text -> ConfigurationItem

-- | The scope to get the configuration section for.
[_scopeUri] :: ConfigurationItem -> Maybe Text

-- | The configuration section asked for.
[_section] :: ConfigurationItem -> Maybe Text
data ConfigurationParams
ConfigurationParams :: List ConfigurationItem -> ConfigurationParams
[_items] :: ConfigurationParams -> List ConfigurationItem
data DeclarationClientCapabilities
DeclarationClientCapabilities :: Maybe Bool -> Maybe Bool -> DeclarationClientCapabilities

-- | Whether declaration supports dynamic registration. If this is set to
--   <tt>true</tt> the client supports the new
--   <a>DeclarationRegistrationOptions</a> return value for the
--   corresponding server capability as well.
[$sel:_dynamicRegistration:DeclarationClientCapabilities] :: DeclarationClientCapabilities -> Maybe Bool

-- | The client supports additional metadata in the form of declaration
--   links.
[$sel:_linkSupport:DeclarationClientCapabilities] :: DeclarationClientCapabilities -> Maybe Bool
data DeclarationOptions
DeclarationOptions :: Maybe Bool -> DeclarationOptions
[$sel:_workDoneProgress:DeclarationOptions] :: DeclarationOptions -> Maybe Bool
data DeclarationRegistrationOptions
DeclarationRegistrationOptions :: Maybe Bool -> Maybe DocumentSelector -> Maybe Text -> DeclarationRegistrationOptions
[$sel:_workDoneProgress:DeclarationRegistrationOptions] :: DeclarationRegistrationOptions -> Maybe Bool
[$sel:_documentSelector:DeclarationRegistrationOptions] :: DeclarationRegistrationOptions -> Maybe DocumentSelector
[$sel:_id:DeclarationRegistrationOptions] :: DeclarationRegistrationOptions -> Maybe Text
data DeclarationParams
DeclarationParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> DeclarationParams
[$sel:_textDocument:DeclarationParams] :: DeclarationParams -> TextDocumentIdentifier
[$sel:_position:DeclarationParams] :: DeclarationParams -> Position
[$sel:_workDoneToken:DeclarationParams] :: DeclarationParams -> Maybe ProgressToken
[$sel:_partialResultToken:DeclarationParams] :: DeclarationParams -> Maybe ProgressToken
data DefinitionClientCapabilities
DefinitionClientCapabilities :: Maybe Bool -> Maybe Bool -> DefinitionClientCapabilities

-- | Whether definition supports dynamic registration.
[$sel:_dynamicRegistration:DefinitionClientCapabilities] :: DefinitionClientCapabilities -> Maybe Bool

-- | The client supports additional metadata in the form of definition
--   links. Since LSP 3.14.0
[$sel:_linkSupport:DefinitionClientCapabilities] :: DefinitionClientCapabilities -> Maybe Bool
data DefinitionOptions
DefinitionOptions :: Maybe Bool -> DefinitionOptions
[$sel:_workDoneProgress:DefinitionOptions] :: DefinitionOptions -> Maybe Bool
data DefinitionRegistrationOptions
DefinitionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> DefinitionRegistrationOptions
[$sel:_documentSelector:DefinitionRegistrationOptions] :: DefinitionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DefinitionRegistrationOptions] :: DefinitionRegistrationOptions -> Maybe Bool
data DefinitionParams
DefinitionParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> DefinitionParams
[$sel:_textDocument:DefinitionParams] :: DefinitionParams -> TextDocumentIdentifier
[$sel:_position:DefinitionParams] :: DefinitionParams -> Position
[$sel:_workDoneToken:DefinitionParams] :: DefinitionParams -> Maybe ProgressToken
[$sel:_partialResultToken:DefinitionParams] :: DefinitionParams -> Maybe ProgressToken
data DiagnosticSeverity

-- | Error = 1,
DsError :: DiagnosticSeverity

-- | Warning = 2,
DsWarning :: DiagnosticSeverity

-- | Info = 3,
DsInfo :: DiagnosticSeverity

-- | Hint = 4
DsHint :: DiagnosticSeverity
data DiagnosticTag

-- | Unused or unnecessary code.
--   
--   Clients are allowed to render diagnostics with this tag faded out
--   instead of having an error squiggle.
DtUnnecessary :: DiagnosticTag

-- | Deprecated or obsolete code.
--   
--   Clients are allowed to rendered diagnostics with this tag strike
--   through.
DtDeprecated :: DiagnosticTag
data DiagnosticRelatedInformation
DiagnosticRelatedInformation :: Location -> Text -> DiagnosticRelatedInformation
[$sel:_location:DiagnosticRelatedInformation] :: DiagnosticRelatedInformation -> Location
[$sel:_message:DiagnosticRelatedInformation] :: DiagnosticRelatedInformation -> Text
type DiagnosticSource = Text
data Diagnostic
Diagnostic :: Range -> Maybe DiagnosticSeverity -> Maybe (Int |? String) -> Maybe DiagnosticSource -> Text -> Maybe (List DiagnosticTag) -> Maybe (List DiagnosticRelatedInformation) -> Diagnostic
[$sel:_range:Diagnostic] :: Diagnostic -> Range
[$sel:_severity:Diagnostic] :: Diagnostic -> Maybe DiagnosticSeverity
[$sel:_code:Diagnostic] :: Diagnostic -> Maybe (Int |? String)
[$sel:_source:Diagnostic] :: Diagnostic -> Maybe DiagnosticSource
[$sel:_message:Diagnostic] :: Diagnostic -> Text
[$sel:_tags:Diagnostic] :: Diagnostic -> Maybe (List DiagnosticTag)
[$sel:_relatedInformation:Diagnostic] :: Diagnostic -> Maybe (List DiagnosticRelatedInformation)
data PublishDiagnosticsTagsClientCapabilities
PublishDiagnosticsTagsClientCapabilities :: List DiagnosticTag -> PublishDiagnosticsTagsClientCapabilities

-- | The tags supported by the client.
[$sel:_valueSet:PublishDiagnosticsTagsClientCapabilities] :: PublishDiagnosticsTagsClientCapabilities -> List DiagnosticTag
data PublishDiagnosticsClientCapabilities
PublishDiagnosticsClientCapabilities :: Maybe Bool -> Maybe PublishDiagnosticsTagsClientCapabilities -> Maybe Bool -> PublishDiagnosticsClientCapabilities

-- | Whether the clients accepts diagnostics with related information.
[$sel:_relatedInformation:PublishDiagnosticsClientCapabilities] :: PublishDiagnosticsClientCapabilities -> Maybe Bool

-- | Client supports the tag property to provide metadata about a
--   diagnostic.
--   
--   Clients supporting tags have to handle unknown tags gracefully.
--   
--   Since LSP 3.15.0
[$sel:_tagSupport:PublishDiagnosticsClientCapabilities] :: PublishDiagnosticsClientCapabilities -> Maybe PublishDiagnosticsTagsClientCapabilities

-- | Whether the client interprets the version property of the
--   <tt>textDocument/publishDiagnostics</tt> notification's parameter.
--   
--   Since LSP 3.15.0
[$sel:_versionSupport:PublishDiagnosticsClientCapabilities] :: PublishDiagnosticsClientCapabilities -> Maybe Bool
data PublishDiagnosticsParams
PublishDiagnosticsParams :: Uri -> Maybe Int -> List Diagnostic -> PublishDiagnosticsParams

-- | The URI for which diagnostic information is reported.
[$sel:_uri:PublishDiagnosticsParams] :: PublishDiagnosticsParams -> Uri

-- | Optional the version number of the document the diagnostics are
--   published for.
--   
--   Since LSP 3.15.0
[$sel:_version:PublishDiagnosticsParams] :: PublishDiagnosticsParams -> Maybe Int

-- | An array of diagnostic information items.
[$sel:_diagnostics:PublishDiagnosticsParams] :: PublishDiagnosticsParams -> List Diagnostic
data DocumentColorClientCapabilities
DocumentColorClientCapabilities :: Maybe Bool -> DocumentColorClientCapabilities

-- | Whether document color supports dynamic registration.
[$sel:_dynamicRegistration:DocumentColorClientCapabilities] :: DocumentColorClientCapabilities -> Maybe Bool
data DocumentColorOptions
DocumentColorOptions :: Maybe Bool -> DocumentColorOptions
[$sel:_workDoneProgress:DocumentColorOptions] :: DocumentColorOptions -> Maybe Bool
data DocumentColorRegistrationOptions
DocumentColorRegistrationOptions :: Maybe DocumentSelector -> Maybe Text -> Maybe Bool -> DocumentColorRegistrationOptions
[$sel:_documentSelector:DocumentColorRegistrationOptions] :: DocumentColorRegistrationOptions -> Maybe DocumentSelector
[$sel:_id:DocumentColorRegistrationOptions] :: DocumentColorRegistrationOptions -> Maybe Text
[$sel:_workDoneProgress:DocumentColorRegistrationOptions] :: DocumentColorRegistrationOptions -> Maybe Bool
data DocumentColorParams
DocumentColorParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> DocumentColorParams
[$sel:_workDoneToken:DocumentColorParams] :: DocumentColorParams -> Maybe ProgressToken
[$sel:_partialResultToken:DocumentColorParams] :: DocumentColorParams -> Maybe ProgressToken
[$sel:_textDocument:DocumentColorParams] :: DocumentColorParams -> TextDocumentIdentifier

-- | Represents a color in RGBA space.
data Color
Color :: Int -> Int -> Int -> Int -> Color

-- | The red component of this color in the range [0-1].
[$sel:_red:Color] :: Color -> Int

-- | The green component of this color in the range [0-1].
[$sel:_green:Color] :: Color -> Int

-- | The blue component of this color in the range [0-1].
[$sel:_blue:Color] :: Color -> Int

-- | The alpha component of this color in the range [0-1].
[$sel:_alpha:Color] :: Color -> Int
data ColorInformation
ColorInformation :: Range -> Color -> ColorInformation

-- | The range in the document where this color appears.
[$sel:_range:ColorInformation] :: ColorInformation -> Range

-- | The actual color value for this color range.
[$sel:_color:ColorInformation] :: ColorInformation -> Color
data ColorPresentationParams
ColorPresentationParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Color -> Range -> ColorPresentationParams
[$sel:_workDoneToken:ColorPresentationParams] :: ColorPresentationParams -> Maybe ProgressToken
[$sel:_partialResultToken:ColorPresentationParams] :: ColorPresentationParams -> Maybe ProgressToken
[$sel:_textDocument:ColorPresentationParams] :: ColorPresentationParams -> TextDocumentIdentifier
[$sel:_color:ColorPresentationParams] :: ColorPresentationParams -> Color
[$sel:_range:ColorPresentationParams] :: ColorPresentationParams -> Range
data ColorPresentation
ColorPresentation :: Text -> Maybe TextEdit -> Maybe (List TextEdit) -> ColorPresentation

-- | The label of this color presentation. It will be shown on the color
--   picker header. By default this is also the text that is inserted when
--   selecting this color presentation.
[$sel:_label:ColorPresentation] :: ColorPresentation -> Text

-- | A <a>TextEdit</a> which is applied to a document when selecting this
--   presentation for the color. When <tt>falsy</tt> the
--   <a>$sel:_label:ColorPresentation</a> is used.
[$sel:_textEdit:ColorPresentation] :: ColorPresentation -> Maybe TextEdit

-- | An optional array of additional <a>TextEdit</a>s that are applied when
--   selecting this color presentation. Edits must not overlap with the
--   main <a>$sel:_textEdit:ColorPresentation</a> nor with themselves.
[$sel:_additionalTextEdits:ColorPresentation] :: ColorPresentation -> Maybe (List TextEdit)
data DocumentFilter
DocumentFilter :: Maybe Text -> Maybe Text -> Maybe Text -> DocumentFilter

-- | A language id, like <tt>typescript</tt>.
[_language] :: DocumentFilter -> Maybe Text

-- | A Uri scheme, like <tt>file</tt> or <tt>untitled</tt>.
[_scheme] :: DocumentFilter -> Maybe Text

-- | A glob pattern, like `*.{ts,js}`.
--   
--   Glob patterns can have the following syntax: - <tt>*</tt> to match one
--   or more characters in a path segment - <tt>?</tt> to match on one
--   character in a path segment - <tt>**</tt> to match any number of path
--   segments, including none - <tt>{}</tt> to group conditions (e.g.
--   <tt>**​/*.{ts,js}</tt> matches all TypeScript and JavaScript files) -
--   <tt>[]</tt> to declare a range of characters to match in a path
--   segment (e.g., <tt>example.[0-9]</tt> to match on <tt>example.0</tt>,
--   <tt>example.1</tt>, …) - <tt>[!...]</tt> to negate a range of
--   characters to match in a path segment (e.g., <tt>example.[!0-9]</tt>
--   to match on <tt>example.a</tt>, <tt>example.b</tt>, but not
--   <tt>example.0</tt>)
[_pattern] :: DocumentFilter -> Maybe Text
type DocumentSelector = List DocumentFilter
data DocumentHighlightClientCapabilities
DocumentHighlightClientCapabilities :: Maybe Bool -> DocumentHighlightClientCapabilities

-- | Whether document highlight supports dynamic registration.
[$sel:_dynamicRegistration:DocumentHighlightClientCapabilities] :: DocumentHighlightClientCapabilities -> Maybe Bool
data DocumentHighlightOptions
DocumentHighlightOptions :: Maybe Bool -> DocumentHighlightOptions
[$sel:_workDoneProgress:DocumentHighlightOptions] :: DocumentHighlightOptions -> Maybe Bool
data DocumentHighlightRegistrationOptions
DocumentHighlightRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> DocumentHighlightRegistrationOptions
[$sel:_documentSelector:DocumentHighlightRegistrationOptions] :: DocumentHighlightRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentHighlightRegistrationOptions] :: DocumentHighlightRegistrationOptions -> Maybe Bool
data DocumentHighlightParams
DocumentHighlightParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> DocumentHighlightParams
[$sel:_textDocument:DocumentHighlightParams] :: DocumentHighlightParams -> TextDocumentIdentifier
[$sel:_position:DocumentHighlightParams] :: DocumentHighlightParams -> Position
[$sel:_workDoneToken:DocumentHighlightParams] :: DocumentHighlightParams -> Maybe ProgressToken
[$sel:_partialResultToken:DocumentHighlightParams] :: DocumentHighlightParams -> Maybe ProgressToken
data DocumentHighlightKind

-- | A textual occurrence.
HkText :: DocumentHighlightKind

-- | Read-access of a symbol, like reading a variable.
HkRead :: DocumentHighlightKind

-- | Write-access of a symbol, like writing to a variable.
HkWrite :: DocumentHighlightKind

-- | 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.
data DocumentHighlight
DocumentHighlight :: Range -> Maybe DocumentHighlightKind -> DocumentHighlight

-- | The range this highlight applies to.
[$sel:_range:DocumentHighlight] :: DocumentHighlight -> Range

-- | The highlight kind, default is <a>HkText</a>.
[$sel:_kind:DocumentHighlight] :: DocumentHighlight -> Maybe DocumentHighlightKind
data DocumentLinkClientCapabilities
DocumentLinkClientCapabilities :: Maybe Bool -> Maybe Bool -> DocumentLinkClientCapabilities

-- | Whether document link supports dynamic registration.
[$sel:_dynamicRegistration:DocumentLinkClientCapabilities] :: DocumentLinkClientCapabilities -> Maybe Bool

-- | Whether the client supports the <tt>tooltip</tt> property on
--   <a>DocumentLink</a>.
--   
--   Since LSP 3.15.0
[$sel:_tooltipSupport:DocumentLinkClientCapabilities] :: DocumentLinkClientCapabilities -> Maybe Bool
data DocumentLinkOptions
DocumentLinkOptions :: Maybe Bool -> Maybe Bool -> DocumentLinkOptions
[$sel:_workDoneProgress:DocumentLinkOptions] :: DocumentLinkOptions -> Maybe Bool
[$sel:_resolveProvider:DocumentLinkOptions] :: DocumentLinkOptions -> Maybe Bool
data DocumentLinkRegistrationOptions
DocumentLinkRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Bool -> DocumentLinkRegistrationOptions
[$sel:_documentSelector:DocumentLinkRegistrationOptions] :: DocumentLinkRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentLinkRegistrationOptions] :: DocumentLinkRegistrationOptions -> Maybe Bool
[$sel:_resolveProvider:DocumentLinkRegistrationOptions] :: DocumentLinkRegistrationOptions -> Maybe Bool
data DocumentLinkParams
DocumentLinkParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> DocumentLinkParams
[$sel:_workDoneToken:DocumentLinkParams] :: DocumentLinkParams -> Maybe ProgressToken
[$sel:_partialResultToken:DocumentLinkParams] :: DocumentLinkParams -> Maybe ProgressToken
[$sel:_textDocument:DocumentLinkParams] :: DocumentLinkParams -> TextDocumentIdentifier

-- | 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.
data DocumentLink
DocumentLink :: Range -> Maybe Uri -> Maybe String -> Maybe Value -> DocumentLink

-- | The range this link applies to.
[$sel:_range:DocumentLink] :: DocumentLink -> Range

-- | The uri this link points to. If missing a resolve request is sent
--   later.
[$sel:_target:DocumentLink] :: DocumentLink -> Maybe Uri

-- | The tooltip text when you hover over this link.
--   
--   If a tooltip is provided, is will be displayed in a string that
--   includes instructions on how to trigger the link, such as <tt>{0}
--   (ctrl + click)</tt>. The specific instructions vary depending on OS,
--   user settings, and localization.
--   
--   Since LSP 3.15.0
[$sel:_tooltip:DocumentLink] :: DocumentLink -> Maybe String

-- | A data entry field that is preserved on a document link between a
--   DocumentLinkRequest and a DocumentLinkResolveRequest.
[$sel:_xdata:DocumentLink] :: DocumentLink -> Maybe Value
data DocumentSymbolOptions
DocumentSymbolOptions :: Maybe Bool -> DocumentSymbolOptions
[$sel:_workDoneProgress:DocumentSymbolOptions] :: DocumentSymbolOptions -> Maybe Bool
data DocumentSymbolRegistrationOptions
DocumentSymbolRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> DocumentSymbolRegistrationOptions
[$sel:_documentSelector:DocumentSymbolRegistrationOptions] :: DocumentSymbolRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentSymbolRegistrationOptions] :: DocumentSymbolRegistrationOptions -> Maybe Bool
data DocumentSymbolParams
DocumentSymbolParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> DocumentSymbolParams
[$sel:_workDoneToken:DocumentSymbolParams] :: DocumentSymbolParams -> Maybe ProgressToken
[$sel:_partialResultToken:DocumentSymbolParams] :: DocumentSymbolParams -> Maybe ProgressToken
[$sel:_textDocument:DocumentSymbolParams] :: DocumentSymbolParams -> TextDocumentIdentifier
data SymbolKind
SkFile :: SymbolKind
SkModule :: SymbolKind
SkNamespace :: SymbolKind
SkPackage :: SymbolKind
SkClass :: SymbolKind
SkMethod :: SymbolKind
SkProperty :: SymbolKind
SkField :: SymbolKind
SkConstructor :: SymbolKind
SkEnum :: SymbolKind
SkInterface :: SymbolKind
SkFunction :: SymbolKind
SkVariable :: SymbolKind
SkConstant :: SymbolKind
SkString :: SymbolKind
SkNumber :: SymbolKind
SkBoolean :: SymbolKind
SkArray :: SymbolKind
SkObject :: SymbolKind
SkKey :: SymbolKind
SkNull :: SymbolKind
SkEnumMember :: SymbolKind
SkStruct :: SymbolKind
SkEvent :: SymbolKind
SkOperator :: SymbolKind
SkTypeParameter :: SymbolKind
SkUnknown :: Scientific -> SymbolKind
data DocumentSymbolKindClientCapabilities
DocumentSymbolKindClientCapabilities :: Maybe (List SymbolKind) -> DocumentSymbolKindClientCapabilities

-- | The symbol kind values the client supports. When this property exists
--   the client also guarantees that it will handle values outside its set
--   gracefully and falls back to a default value when unknown.
--   
--   If this property is not present the client only supports the symbol
--   kinds from <tt>File</tt> to <a>Array</a> as defined in the initial
--   version of the protocol.
[$sel:_valueSet:DocumentSymbolKindClientCapabilities] :: DocumentSymbolKindClientCapabilities -> Maybe (List SymbolKind)
data DocumentSymbolClientCapabilities
DocumentSymbolClientCapabilities :: Maybe Bool -> Maybe DocumentSymbolKindClientCapabilities -> Maybe Bool -> DocumentSymbolClientCapabilities

-- | Whether document symbol supports dynamic registration.
[$sel:_dynamicRegistration:DocumentSymbolClientCapabilities] :: DocumentSymbolClientCapabilities -> Maybe Bool

-- | Specific capabilities for the <a>SymbolKind</a>.
[$sel:_symbolKind:DocumentSymbolClientCapabilities] :: DocumentSymbolClientCapabilities -> Maybe DocumentSymbolKindClientCapabilities
[$sel:_hierarchicalDocumentSymbolSupport:DocumentSymbolClientCapabilities] :: DocumentSymbolClientCapabilities -> Maybe Bool

-- | 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.
data DocumentSymbol
DocumentSymbol :: Text -> Maybe Text -> SymbolKind -> Maybe Bool -> Range -> Range -> Maybe (List DocumentSymbol) -> DocumentSymbol

-- | The name of this symbol. | More detail for this symbol, e.g the
--   signature of a function. If not provided the name is used.
[$sel:_name:DocumentSymbol] :: DocumentSymbol -> Text
[$sel:_detail:DocumentSymbol] :: DocumentSymbol -> Maybe Text

-- | The kind of this symbol.
[$sel:_kind:DocumentSymbol] :: DocumentSymbol -> SymbolKind

-- | Indicates if this symbol is deprecated. | The range enclosing this
--   symbol not including leading/trailing whitespace but everything else
--   like comments. This information is typically used to determine if the
--   the clients cursor is inside the symbol to reveal in the symbol in the
--   UI.
[$sel:_deprecated:DocumentSymbol] :: DocumentSymbol -> Maybe Bool
[$sel:_range:DocumentSymbol] :: DocumentSymbol -> Range

-- | The range that should be selected and revealed when this symbol is
--   being picked, e.g the name of a function. Must be contained by the the
--   <a>$sel:_range:DocumentSymbol</a>.
[$sel:_selectionRange:DocumentSymbol] :: DocumentSymbol -> Range

-- | Children of this symbol, e.g. properties of a class.
[$sel:_children:DocumentSymbol] :: DocumentSymbol -> Maybe (List DocumentSymbol)

-- | Represents information about programming constructs like variables,
--   classes, interfaces etc.
data SymbolInformation
SymbolInformation :: Text -> SymbolKind -> Maybe Bool -> Location -> Maybe Text -> SymbolInformation

-- | The name of this symbol.
[$sel:_name:SymbolInformation] :: SymbolInformation -> Text

-- | The kind of this symbol.
[$sel:_kind:SymbolInformation] :: SymbolInformation -> SymbolKind

-- | Indicates if this symbol is deprecated. | The location of this symbol.
--   The location's range is used by a tool to reveal the location in the
--   editor. If the symbol is selected in the tool the range's start
--   information is used to position the cursor. So the range usually spans
--   more then the actual symbol's name and does normally include things
--   like visibility modifiers.
--   
--   The range doesn't have to denote a node range in the sense of a
--   abstract syntax tree. It can therefore not be used to re-construct a
--   hierarchy of the symbols.
[$sel:_deprecated:SymbolInformation] :: SymbolInformation -> Maybe Bool
[$sel:_location:SymbolInformation] :: SymbolInformation -> Location

-- | The name of the symbol containing this symbol. This information is for
--   user interface purposes (e.g. to render a qualifier in the user
--   interface if necessary). It can't be used to re-infer a hierarchy for
--   the document symbols.
[$sel:_containerName:SymbolInformation] :: SymbolInformation -> Maybe Text
data FoldingRangeClientCapabilities
FoldingRangeClientCapabilities :: Maybe Bool -> Maybe Int -> Maybe Bool -> FoldingRangeClientCapabilities

-- | Whether implementation supports dynamic registration for folding range
--   providers. If this is set to <tt>true</tt> the client supports the new
--   `(FoldingRangeProviderOptions &amp; TextDocumentRegistrationOptions
--   &amp; StaticRegistrationOptions)` return value for the corresponding
--   server capability as well.
[$sel:_dynamicRegistration:FoldingRangeClientCapabilities] :: FoldingRangeClientCapabilities -> Maybe Bool

-- | The maximum number of folding ranges that the client prefers to
--   receive per document. The value serves as a hint, servers are free to
--   follow the limit.
[$sel:_rangeLimit:FoldingRangeClientCapabilities] :: FoldingRangeClientCapabilities -> Maybe Int

-- | If set, the client signals that it only supports folding complete
--   lines. If set, client will ignore specified <tt>startCharacter</tt>
--   and <tt>endCharacter</tt> properties in a FoldingRange.
[$sel:_lineFoldingOnly:FoldingRangeClientCapabilities] :: FoldingRangeClientCapabilities -> Maybe Bool
data FoldingRangeOptions
FoldingRangeOptions :: Maybe Bool -> FoldingRangeOptions
[$sel:_workDoneProgress:FoldingRangeOptions] :: FoldingRangeOptions -> Maybe Bool
data FoldingRangeRegistrationOptions
FoldingRangeRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Text -> FoldingRangeRegistrationOptions
[$sel:_documentSelector:FoldingRangeRegistrationOptions] :: FoldingRangeRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:FoldingRangeRegistrationOptions] :: FoldingRangeRegistrationOptions -> Maybe Bool
[$sel:_id:FoldingRangeRegistrationOptions] :: FoldingRangeRegistrationOptions -> Maybe Text
data FoldingRangeParams
FoldingRangeParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> FoldingRangeParams
[$sel:_workDoneToken:FoldingRangeParams] :: FoldingRangeParams -> Maybe ProgressToken
[$sel:_partialResultToken:FoldingRangeParams] :: FoldingRangeParams -> Maybe ProgressToken
[$sel:_textDocument:FoldingRangeParams] :: FoldingRangeParams -> TextDocumentIdentifier

-- | Enum of known range kinds
data FoldingRangeKind

-- | Folding range for a comment
FoldingRangeComment :: FoldingRangeKind

-- | Folding range for a imports or includes
FoldingRangeImports :: FoldingRangeKind

-- | Folding range for a region (e.g. #region)
FoldingRangeRegion :: FoldingRangeKind

-- | Folding range that haskell-lsp-types does not yet support
FoldingRangeUnknown :: Text -> FoldingRangeKind

-- | Represents a folding range.
data FoldingRange
FoldingRange :: Int -> Maybe Int -> Int -> Maybe Int -> Maybe FoldingRangeKind -> FoldingRange

-- | The zero-based line number from where the folded range starts.
[$sel:_startLine:FoldingRange] :: FoldingRange -> Int

-- | The zero-based character offset from where the folded range starts. If
--   not defined, defaults to the length of the start line.
[$sel:_startCharacter:FoldingRange] :: FoldingRange -> Maybe Int

-- | The zero-based line number where the folded range ends.
[$sel:_endLine:FoldingRange] :: FoldingRange -> Int

-- | The zero-based character offset before the folded range ends. If not
--   defined, defaults to the length of the end line.
[$sel:_endCharacter:FoldingRange] :: FoldingRange -> Maybe Int

-- | Describes the kind of the folding range such as <tt>comment</tt> or
--   <tt>region</tt>. The kind is used to categorize folding ranges and
--   used by commands like 'Fold all comments'. See <a>FoldingRangeKind</a>
--   for an enumeration of standardized kinds.
[$sel:_kind:FoldingRange] :: FoldingRange -> Maybe FoldingRangeKind
data DocumentFormattingClientCapabilities
DocumentFormattingClientCapabilities :: Maybe Bool -> DocumentFormattingClientCapabilities

-- | Whether formatting supports dynamic registration.
[$sel:_dynamicRegistration:DocumentFormattingClientCapabilities] :: DocumentFormattingClientCapabilities -> Maybe Bool
data DocumentFormattingOptions
DocumentFormattingOptions :: Maybe Bool -> DocumentFormattingOptions
[$sel:_workDoneProgress:DocumentFormattingOptions] :: DocumentFormattingOptions -> Maybe Bool
data DocumentFormattingRegistrationOptions
DocumentFormattingRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> DocumentFormattingRegistrationOptions
[$sel:_documentSelector:DocumentFormattingRegistrationOptions] :: DocumentFormattingRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentFormattingRegistrationOptions] :: DocumentFormattingRegistrationOptions -> Maybe Bool

-- | Value-object describing what options formatting should use.
data FormattingOptions
FormattingOptions :: Int -> Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> FormattingOptions

-- | Size of a tab in spaces.
[$sel:_tabSize:FormattingOptions] :: FormattingOptions -> Int

-- | Prefer spaces over tabs
[$sel:_insertSpaces:FormattingOptions] :: FormattingOptions -> Bool

-- | Trim trailing whitespace on a line.
--   
--   Since LSP 3.15.0
[$sel:_trimTrailingWhitespace:FormattingOptions] :: FormattingOptions -> Maybe Bool

-- | Insert a newline character at the end of the file if one does not
--   exist.
--   
--   Since LSP 3.15.0
[$sel:_insertFinalNewline:FormattingOptions] :: FormattingOptions -> Maybe Bool

-- | Trim all newlines after the final newline at the end of the file.
--   
--   Since LSP 3.15.0
[$sel:_trimFinalNewlines:FormattingOptions] :: FormattingOptions -> Maybe Bool
data DocumentFormattingParams
DocumentFormattingParams :: Maybe ProgressToken -> TextDocumentIdentifier -> FormattingOptions -> DocumentFormattingParams
[$sel:_workDoneToken:DocumentFormattingParams] :: DocumentFormattingParams -> Maybe ProgressToken
[$sel:_textDocument:DocumentFormattingParams] :: DocumentFormattingParams -> TextDocumentIdentifier
[$sel:_options:DocumentFormattingParams] :: DocumentFormattingParams -> FormattingOptions
data DocumentRangeFormattingClientCapabilities
DocumentRangeFormattingClientCapabilities :: Maybe Bool -> DocumentRangeFormattingClientCapabilities

-- | Whether formatting supports dynamic registration.
[$sel:_dynamicRegistration:DocumentRangeFormattingClientCapabilities] :: DocumentRangeFormattingClientCapabilities -> Maybe Bool
data DocumentRangeFormattingOptions
DocumentRangeFormattingOptions :: Maybe Bool -> DocumentRangeFormattingOptions
[$sel:_workDoneProgress:DocumentRangeFormattingOptions] :: DocumentRangeFormattingOptions -> Maybe Bool
data DocumentRangeFormattingRegistrationOptions
DocumentRangeFormattingRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> DocumentRangeFormattingRegistrationOptions
[$sel:_documentSelector:DocumentRangeFormattingRegistrationOptions] :: DocumentRangeFormattingRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentRangeFormattingRegistrationOptions] :: DocumentRangeFormattingRegistrationOptions -> Maybe Bool
data DocumentRangeFormattingParams
DocumentRangeFormattingParams :: Maybe ProgressToken -> TextDocumentIdentifier -> Range -> FormattingOptions -> DocumentRangeFormattingParams
[$sel:_workDoneToken:DocumentRangeFormattingParams] :: DocumentRangeFormattingParams -> Maybe ProgressToken
[$sel:_textDocument:DocumentRangeFormattingParams] :: DocumentRangeFormattingParams -> TextDocumentIdentifier
[$sel:_range:DocumentRangeFormattingParams] :: DocumentRangeFormattingParams -> Range
[$sel:_options:DocumentRangeFormattingParams] :: DocumentRangeFormattingParams -> FormattingOptions
data DocumentOnTypeFormattingClientCapabilities
DocumentOnTypeFormattingClientCapabilities :: Maybe Bool -> DocumentOnTypeFormattingClientCapabilities

-- | Whether formatting supports dynamic registration.
[$sel:_dynamicRegistration:DocumentOnTypeFormattingClientCapabilities] :: DocumentOnTypeFormattingClientCapabilities -> Maybe Bool
data DocumentOnTypeFormattingOptions
DocumentOnTypeFormattingOptions :: Text -> Maybe [Text] -> DocumentOnTypeFormattingOptions

-- | A character on which formatting should be triggered, like <tt>}</tt>.
[$sel:_firstTriggerCharacter:DocumentOnTypeFormattingOptions] :: DocumentOnTypeFormattingOptions -> Text

-- | More trigger characters.
[$sel:_moreTriggerCharacter:DocumentOnTypeFormattingOptions] :: DocumentOnTypeFormattingOptions -> Maybe [Text]
data DocumentOnTypeFormattingRegistrationOptions
DocumentOnTypeFormattingRegistrationOptions :: Maybe DocumentSelector -> Text -> Maybe [Text] -> DocumentOnTypeFormattingRegistrationOptions
[$sel:_documentSelector:DocumentOnTypeFormattingRegistrationOptions] :: DocumentOnTypeFormattingRegistrationOptions -> Maybe DocumentSelector
[$sel:_firstTriggerCharacter:DocumentOnTypeFormattingRegistrationOptions] :: DocumentOnTypeFormattingRegistrationOptions -> Text
[$sel:_moreTriggerCharacter:DocumentOnTypeFormattingRegistrationOptions] :: DocumentOnTypeFormattingRegistrationOptions -> Maybe [Text]
data DocumentOnTypeFormattingParams
DocumentOnTypeFormattingParams :: TextDocumentIdentifier -> Position -> String -> FormattingOptions -> DocumentOnTypeFormattingParams
[$sel:_textDocument:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> TextDocumentIdentifier
[$sel:_position:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> Position
[$sel:_ch:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> String
[$sel:_options:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> FormattingOptions
data HoverClientCapabilities
HoverClientCapabilities :: Maybe Bool -> Maybe (List MarkupKind) -> HoverClientCapabilities
[$sel:_dynamicRegistration:HoverClientCapabilities] :: HoverClientCapabilities -> Maybe Bool
[$sel:_contentFormat:HoverClientCapabilities] :: HoverClientCapabilities -> Maybe (List MarkupKind)
data HoverOptions
HoverOptions :: Maybe Bool -> HoverOptions
[$sel:_workDoneProgress:HoverOptions] :: HoverOptions -> Maybe Bool
data HoverRegistrationOptions
HoverRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> HoverRegistrationOptions
[$sel:_documentSelector:HoverRegistrationOptions] :: HoverRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:HoverRegistrationOptions] :: HoverRegistrationOptions -> Maybe Bool
data HoverParams
HoverParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> HoverParams
[$sel:_textDocument:HoverParams] :: HoverParams -> TextDocumentIdentifier
[$sel:_position:HoverParams] :: HoverParams -> Position
[$sel:_workDoneToken:HoverParams] :: HoverParams -> Maybe ProgressToken
data LanguageString
LanguageString :: Text -> Text -> LanguageString
[$sel:_language:LanguageString] :: LanguageString -> Text
[$sel:_value:LanguageString] :: LanguageString -> Text

-- | <i>Deprecated: Use MarkupContent instead, since 3.3.0
--   (11<i>24</i>2017)</i>
data MarkedString

-- | <i>Deprecated: Use MarkupContent instead, since 3.3.0
--   (11<i>24</i>2017)</i>
PlainString :: Text -> MarkedString

-- | <i>Deprecated: Use MarkupContent instead, since 3.3.0
--   (11<i>24</i>2017)</i>
CodeString :: LanguageString -> MarkedString
data HoverContents
HoverContentsMS :: List MarkedString -> HoverContents
HoverContents :: MarkupContent -> HoverContents
toMarkupContent :: MarkedString -> MarkupContent
data Hover
Hover :: HoverContents -> Maybe Range -> Hover
[$sel:_contents:Hover] :: Hover -> HoverContents
[$sel:_range:Hover] :: Hover -> Maybe Range
data ImplementationClientCapabilities
ImplementationClientCapabilities :: Maybe Bool -> Maybe Bool -> ImplementationClientCapabilities

-- | Whether implementation supports dynamic registration. If this is set
--   to <a>True</a> the client supports the new
--   <a>ImplementationRegistrationOptions</a> return value for the
--   corresponding server capability as well.
[$sel:_dynamicRegistration:ImplementationClientCapabilities] :: ImplementationClientCapabilities -> Maybe Bool

-- | The client supports additional metadata in the form of definition
--   links.
--   
--   Since LSP 3.14.0
[$sel:_linkSupport:ImplementationClientCapabilities] :: ImplementationClientCapabilities -> Maybe Bool
data ImplementationOptions
ImplementationOptions :: Maybe Bool -> ImplementationOptions
[$sel:_workDoneProgress:ImplementationOptions] :: ImplementationOptions -> Maybe Bool
data ImplementationRegistrationOptions
ImplementationRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Text -> ImplementationRegistrationOptions
[$sel:_documentSelector:ImplementationRegistrationOptions] :: ImplementationRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:ImplementationRegistrationOptions] :: ImplementationRegistrationOptions -> Maybe Bool
[$sel:_id:ImplementationRegistrationOptions] :: ImplementationRegistrationOptions -> Maybe Text
data ImplementationParams
ImplementationParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> ImplementationParams
[$sel:_textDocument:ImplementationParams] :: ImplementationParams -> TextDocumentIdentifier
[$sel:_position:ImplementationParams] :: ImplementationParams -> Position
[$sel:_workDoneToken:ImplementationParams] :: ImplementationParams -> Maybe ProgressToken
[$sel:_partialResultToken:ImplementationParams] :: ImplementationParams -> Maybe ProgressToken
data Trace
TraceOff :: Trace
TraceMessages :: Trace
TraceVerbose :: Trace
data ClientInfo
ClientInfo :: Text -> Maybe Text -> ClientInfo

-- | The name of the client as defined by the client.
[$sel:_name:ClientInfo] :: ClientInfo -> Text

-- | The client's version as defined by the client.
[$sel:_version:ClientInfo] :: ClientInfo -> Maybe Text
data InitializeParams
InitializeParams :: Maybe ProgressToken -> Maybe Int -> Maybe ClientInfo -> Maybe Text -> Maybe Uri -> Maybe Value -> ClientCapabilities -> Maybe Trace -> Maybe (List WorkspaceFolder) -> InitializeParams
[$sel:_workDoneToken:InitializeParams] :: InitializeParams -> Maybe ProgressToken
[$sel:_processId:InitializeParams] :: InitializeParams -> Maybe Int
[$sel:_clientInfo:InitializeParams] :: InitializeParams -> Maybe ClientInfo

-- | <i>Deprecated: Use _rootUri</i>
[$sel:_rootPath:InitializeParams] :: InitializeParams -> Maybe Text
[$sel:_rootUri:InitializeParams] :: InitializeParams -> Maybe Uri
[$sel:_initializationOptions:InitializeParams] :: InitializeParams -> Maybe Value
[$sel:_capabilities:InitializeParams] :: InitializeParams -> ClientCapabilities
[$sel:_trace:InitializeParams] :: InitializeParams -> Maybe Trace
[$sel:_workspaceFolders:InitializeParams] :: InitializeParams -> Maybe (List WorkspaceFolder)
data InitializeError
InitializeError :: Bool -> InitializeError
[$sel:_retry:InitializeError] :: InitializeError -> Bool
data ServerInfo
ServerInfo :: Text -> Maybe Text -> ServerInfo

-- | The name of the server as defined by the server.
[$sel:_name:ServerInfo] :: ServerInfo -> Text

-- | The server's version as defined by the server.
[$sel:_version:ServerInfo] :: ServerInfo -> Maybe Text
data InitializeResult
InitializeResult :: ServerCapabilities -> Maybe ServerInfo -> InitializeResult

-- | The capabilities the language server provides.
[$sel:_capabilities:InitializeResult] :: InitializeResult -> ServerCapabilities

-- | Information about the server. Since LSP 3.15.0
[$sel:_serverInfo:InitializeResult] :: InitializeResult -> Maybe ServerInfo
data InitializedParams
InitializedParams :: InitializedParams
data Position
Position :: Int -> Int -> Position

-- | Line position in a document (zero-based).
[_line] :: Position -> Int

-- | Character offset on a line in a document (zero-based). Assuming that
--   the line is represented as a string, the <tt>character</tt> value
--   represents the gap between the <tt>character</tt> and <tt>character +
--   1</tt>.
[_character] :: Position -> Int
data Range
Range :: Position -> Position -> Range

-- | The range's start position.
[_start] :: Range -> Position

-- | The range's end position.
[_end] :: Range -> Position
data Location
Location :: Uri -> Range -> Location
[_uri] :: Location -> Uri
[_range] :: Location -> Range

-- | Represents a link between a source and a target location.
data LocationLink
LocationLink :: Maybe Range -> Uri -> Range -> Range -> LocationLink

-- | Span of the origin of this link. Used as the underlined span for mouse
--   interaction. Defaults to the word range at the mouse position.
[_originSelectionRange] :: LocationLink -> Maybe Range

-- | The target resource identifier of this link.
[_targetUri] :: LocationLink -> Uri

-- | The full target range of this link. If the target for example is a
--   symbol then target range is the range enclosing this symbol not
--   including leading/trailing whitespace but everything else like
--   comments. This information is typically used to highlight the range in
--   the editor.
[_targetRange] :: LocationLink -> Range

-- | The range that should be selected and revealed when this link is being
--   followed, e.g the name of a function. Must be contained by the the
--   <tt>targetRange</tt>. See also <tt>DocumentSymbol._range</tt>
[_targetSelectionRange] :: LocationLink -> Range

-- | A helper function for creating ranges. prop&gt; mkRange l c l' c' =
--   Range (Position l c) (Position l' c')
mkRange :: Int -> Int -> Int -> Int -> Range

-- | Id used for a request, Can be either a String or an Int
data LspId (m :: Method f Request)
IdInt :: Int -> LspId (m :: Method f Request)
IdString :: Text -> LspId (m :: Method f Request)
data SomeLspId
[SomeLspId] :: LspId m -> SomeLspId

-- | Describes the content type that a client supports in various result
--   literals like <tt>Hover</tt>, <tt>ParameterInfo</tt> or
--   <tt>CompletionItem</tt>.
data MarkupKind

-- | Plain text is supported as a content format
MkPlainText :: MarkupKind

-- | Markdown is supported as a content format
MkMarkdown :: MarkupKind

-- | A <a>MarkupContent</a> literal represents a string value which content
--   is interpreted base on its | kind flag. Currently the protocol
--   supports <tt>plaintext</tt> and <tt>markdown</tt> as markup kinds. | |
--   If the kind is <tt>markdown</tt> then the value can contain fenced
--   code blocks like in GitHub issues. | See
--   <a>https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting</a>
--   | | 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', |
--   '``<tt>typescript</tt>, | '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.
data MarkupContent
MarkupContent :: MarkupKind -> Text -> MarkupContent

-- | The type of the Markup
[$sel:_kind:MarkupContent] :: MarkupContent -> MarkupKind

-- | The content itself
[$sel:_value:MarkupContent] :: MarkupContent -> Text

-- | Create a <a>MarkupContent</a> containing a quoted language string
--   only.
markedUpContent :: Text -> Text -> MarkupContent

-- | Create a <a>MarkupContent</a> containing unquoted text
unmarkedUpContent :: Text -> MarkupContent

-- | Markdown for a section separator in Markdown, being a horizontal line
sectionSeparator :: Text
data From
FromServer :: From
FromClient :: From
data MethodType
Notification :: MethodType
Request :: MethodType
data Method (f :: From) (t :: MethodType)
[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)
[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 -> SomeClientMethod
data SomeServerMethod
SomeServerMethod :: SMethod m -> SomeServerMethod
data SomeMethod
[SomeMethod] :: forall m. SMethod m -> SomeMethod

-- | Map a method to the message payload type
type family MessageParams (m :: Method f t) :: Type

-- | Map a request method to the response payload type
type family ResponseResult (m :: Method f Request) :: Type
data NotificationMessage (m :: Method f Notification)
NotificationMessage :: Text -> SMethod m -> MessageParams m -> NotificationMessage (m :: Method f Notification)
[$sel:_jsonrpc:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> Text
[$sel:_method:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> SMethod m
[$sel:_params:NotificationMessage] :: NotificationMessage (m :: Method f Notification) -> MessageParams m
data RequestMessage (m :: Method f Request)
RequestMessage :: Text -> LspId m -> SMethod m -> MessageParams m -> RequestMessage (m :: Method f Request)
[$sel:_jsonrpc:RequestMessage] :: RequestMessage (m :: Method f Request) -> Text
[$sel:_id:RequestMessage] :: RequestMessage (m :: Method f Request) -> LspId m
[$sel:_method:RequestMessage] :: RequestMessage (m :: Method f Request) -> SMethod m
[$sel:_params:RequestMessage] :: RequestMessage (m :: Method f Request) -> MessageParams m

-- | A custom message data type is needed to distinguish between
--   notifications and requests, since a CustomMethod can be both!
data CustomMessage f t
[ReqMess] :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request
[NotMess] :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification
data ErrorCode
ParseError :: ErrorCode
InvalidRequest :: ErrorCode
MethodNotFound :: ErrorCode
InvalidParams :: ErrorCode
InternalError :: ErrorCode
ServerErrorStart :: ErrorCode
ServerErrorEnd :: ErrorCode
ServerNotInitialized :: ErrorCode
UnknownErrorCode :: ErrorCode
RequestCancelled :: ErrorCode

-- | Note: server error codes are reserved from -32099 to -32000
ContentModified :: ErrorCode
data ResponseError
ResponseError :: ErrorCode -> Text -> Maybe Value -> ResponseError
[$sel:_code:ResponseError] :: ResponseError -> ErrorCode
[$sel:_message:ResponseError] :: ResponseError -> Text
[$sel:_xdata:ResponseError] :: ResponseError -> Maybe Value

-- | Either result or error must be Just.
data ResponseMessage (m :: Method f Request)
ResponseMessage :: Text -> Maybe (LspId m) -> Either ResponseError (ResponseResult m) -> ResponseMessage (m :: Method f Request)
[$sel:_jsonrpc:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Text
[$sel:_id:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Maybe (LspId m)
[$sel:_result:ResponseMessage] :: ResponseMessage (m :: Method f Request) -> Either ResponseError (ResponseResult m)

-- | Map a method to the Request/Notification type with the correct payload
type family Message (m :: Method f t) :: Type
type ClientMessage (m :: Method FromClient t) = Message m
type ServerMessage (m :: Method FromServer t) = Message m
data FromServerMessage' a
[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
[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)
[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)
[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

-- | Heterogeneous equality on singleton server methods
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2)

-- | Heterogeneous equality on singlton client methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2)

-- | A token used to report progress back or return partial results for a
--   specific request. @since 0.17.0.0
data ProgressToken
ProgressNumericToken :: Int -> ProgressToken
ProgressTextToken :: Text -> ProgressToken

-- | Parameters for a $/progress notification.
data ProgressParams t
ProgressParams :: ProgressToken -> t -> ProgressParams t
[$sel:_token:ProgressParams] :: ProgressParams t -> ProgressToken
[$sel:_value:ProgressParams] :: ProgressParams t -> t
data SomeProgressParams
Begin :: WorkDoneProgressBeginParams -> SomeProgressParams
Report :: WorkDoneProgressReportParams -> SomeProgressParams
End :: WorkDoneProgressEndParams -> SomeProgressParams

-- | Parameters for <tt>WorkDoneProgressBeginNotification</tt>.
data WorkDoneProgressBeginParams
WorkDoneProgressBeginParams :: Text -> Maybe Bool -> Maybe Text -> Maybe Double -> WorkDoneProgressBeginParams

-- | Mandatory title of the progress operation. Used to briefly inform
--   about the kind of operation being performed. Examples: <a>Indexing</a>
--   or "Linking dependencies".
[$sel:_title:WorkDoneProgressBeginParams] :: WorkDoneProgressBeginParams -> Text

-- | Controls if a cancel button should show to allow the user to cancel
--   the long running operation. Clients that don't support cancellation
--   are allowed to ignore the setting.
[$sel:_cancellable:WorkDoneProgressBeginParams] :: WorkDoneProgressBeginParams -> Maybe Bool

-- | Optional, more detailed associated progress message. Contains
--   complementary information to the
--   <a>$sel:_title:WorkDoneProgressBeginParams</a>. Examples: "3/25
--   files", "project<i>src</i>module2", "node_modules/some_dep". If unset,
--   the previous progress message (if any) is still valid.
[$sel:_message:WorkDoneProgressBeginParams] :: WorkDoneProgressBeginParams -> Maybe Text

-- | Optional progress percentage to display (value 100 is considered
--   100%). If not provided infinite progress is assumed and clients are
--   allowed to ignore the
--   <a>$sel:_percentage:WorkDoneProgressBeginParams</a> value in
--   subsequent in report notifications.
--   
--   The value should be steadily rising. Clients are free to ignore values
--   that are not following this rule.
[$sel:_percentage:WorkDoneProgressBeginParams] :: WorkDoneProgressBeginParams -> Maybe Double

-- | Parameters for <tt>WorkDoneProgressReportNotification</tt>
data WorkDoneProgressReportParams
WorkDoneProgressReportParams :: Maybe Bool -> Maybe Text -> Maybe Double -> WorkDoneProgressReportParams
[$sel:_cancellable:WorkDoneProgressReportParams] :: WorkDoneProgressReportParams -> Maybe Bool

-- | Optional, more detailed associated progress message. Contains
--   complementary information to the
--   <a>$sel:_title:WorkDoneProgressBeginParams</a>. Examples: "3/25
--   files", "project<i>src</i>module2", "node_modules/some_dep". If unset,
--   the previous progress message (if any) is still valid.
[$sel:_message:WorkDoneProgressReportParams] :: WorkDoneProgressReportParams -> Maybe Text

-- | Optional progress percentage to display (value 100 is considered
--   100%). If infinite progress was indicated in the start notification
--   client are allowed to ignore the value. In addition the value should
--   be steadily rising. Clients are free to ignore values that are not
--   following this rule.
[$sel:_percentage:WorkDoneProgressReportParams] :: WorkDoneProgressReportParams -> Maybe Double

-- | Parameters for <tt>WorkDoneProgressEndNotification</tt>.
data WorkDoneProgressEndParams
WorkDoneProgressEndParams :: Maybe Text -> WorkDoneProgressEndParams
[$sel:_message:WorkDoneProgressEndParams] :: WorkDoneProgressEndParams -> Maybe Text

-- | Parameters for <tt>WorkDoneProgressCancelNotification</tt>.
data WorkDoneProgressCancelParams
WorkDoneProgressCancelParams :: ProgressToken -> WorkDoneProgressCancelParams

-- | A unique identifier to associate multiple progress notifications with
--   the same progress.
[$sel:_token:WorkDoneProgressCancelParams] :: WorkDoneProgressCancelParams -> ProgressToken
data WorkDoneProgressCreateParams
WorkDoneProgressCreateParams :: ProgressToken -> WorkDoneProgressCreateParams
[$sel:_token:WorkDoneProgressCreateParams] :: WorkDoneProgressCreateParams -> ProgressToken
data WorkDoneProgressOptions
WorkDoneProgressOptions :: Maybe Bool -> WorkDoneProgressOptions
[$sel:_workDoneProgress:WorkDoneProgressOptions] :: WorkDoneProgressOptions -> Maybe Bool
data WorkDoneProgressParams
WorkDoneProgressParams :: Maybe ProgressToken -> WorkDoneProgressParams

-- | An optional token that a server can use to report work done progress
[$sel:_workDoneToken:WorkDoneProgressParams] :: WorkDoneProgressParams -> Maybe ProgressToken
data PartialResultParams
PartialResultParams :: Maybe ProgressToken -> PartialResultParams

-- | An optional token that a server can use to report partial results
--   (e.g. streaming) to the client.
[$sel:_partialResultToken:PartialResultParams] :: PartialResultParams -> Maybe ProgressToken
data ReferencesClientCapabilities
ReferencesClientCapabilities :: Maybe Bool -> ReferencesClientCapabilities

-- | Whether references supports dynamic registration.
[$sel:_dynamicRegistration:ReferencesClientCapabilities] :: ReferencesClientCapabilities -> Maybe Bool
data ReferenceOptions
ReferenceOptions :: Maybe Bool -> ReferenceOptions
[$sel:_workDoneProgress:ReferenceOptions] :: ReferenceOptions -> Maybe Bool
data ReferenceRegistrationOptions
ReferenceRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> ReferenceRegistrationOptions
[$sel:_documentSelector:ReferenceRegistrationOptions] :: ReferenceRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:ReferenceRegistrationOptions] :: ReferenceRegistrationOptions -> Maybe Bool
data ReferenceContext
ReferenceContext :: Bool -> ReferenceContext

-- | Include the declaration of the current symbol.
[$sel:_includeDeclaration:ReferenceContext] :: ReferenceContext -> Bool
data ReferenceParams
ReferenceParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> ReferenceContext -> ReferenceParams
[$sel:_textDocument:ReferenceParams] :: ReferenceParams -> TextDocumentIdentifier
[$sel:_position:ReferenceParams] :: ReferenceParams -> Position
[$sel:_workDoneToken:ReferenceParams] :: ReferenceParams -> Maybe ProgressToken
[$sel:_partialResultToken:ReferenceParams] :: ReferenceParams -> Maybe ProgressToken
[$sel:_context:ReferenceParams] :: ReferenceParams -> ReferenceContext

-- | Matches up the registration options for a specific method
type family RegistrationOptions (m :: Method FromClient t) :: Type
data Registration (m :: Method FromClient t)
Registration :: Text -> SClientMethod m -> !RegistrationOptions m -> Registration (m :: Method FromClient t)

-- | The id used to register the request. The id can be used to deregister
--   the request again.
[$sel:_id:Registration] :: Registration (m :: Method FromClient t) -> Text

-- | The method / capability to register for.
[$sel:_method:Registration] :: Registration (m :: Method FromClient t) -> SClientMethod m

-- | Options necessary for the registration. Make this strict to aid the
--   pattern matching exhaustiveness checker
[$sel:_registerOptions:Registration] :: Registration (m :: Method FromClient t) -> !RegistrationOptions m
regHelper :: forall m_a4ARj x_a4ARk. SMethod m_a4ARj -> (Show (RegistrationOptions m_a4ARj) => ToJSON (RegistrationOptions m_a4ARj) => FromJSON (RegistrationOptions m_a4ARj) => x_a4ARk) -> x_a4ARk
data SomeRegistration
SomeRegistration :: Registration m -> SomeRegistration
data RegistrationParams
RegistrationParams :: List SomeRegistration -> RegistrationParams
[$sel:_registrations:RegistrationParams] :: RegistrationParams -> List SomeRegistration

-- | General parameters to unregister a capability.
data Unregistration
Unregistration :: Text -> SomeClientMethod -> Unregistration

-- | The id used to unregister the request or notification. Usually an id
--   provided during the register request.
[$sel:_id:Unregistration] :: Unregistration -> Text

-- | The method / capability to unregister for.
[$sel:_method:Unregistration] :: Unregistration -> SomeClientMethod
data UnregistrationParams
UnregistrationParams :: List Unregistration -> UnregistrationParams

-- | This should correctly be named <tt>unregistrations</tt>. However
--   changing this is a breaking change and needs to wait until we deliver
--   a 4.x version of the specification.
[$sel:_unregisterations:UnregistrationParams] :: UnregistrationParams -> List Unregistration
data RenameClientCapabilities
RenameClientCapabilities :: Maybe Bool -> Maybe Bool -> RenameClientCapabilities

-- | Whether rename supports dynamic registration.
[$sel:_dynamicRegistration:RenameClientCapabilities] :: RenameClientCapabilities -> Maybe Bool

-- | Client supports testing for validity of rename operations before
--   execution.
--   
--   Since LSP 3.12.0
[$sel:_prepareSupport:RenameClientCapabilities] :: RenameClientCapabilities -> Maybe Bool
data RenameOptions
RenameOptions :: Maybe Bool -> Maybe Bool -> RenameOptions
[$sel:_workDoneProgress:RenameOptions] :: RenameOptions -> Maybe Bool
[$sel:_prepareProvider:RenameOptions] :: RenameOptions -> Maybe Bool
data RenameRegistrationOptions
RenameRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Bool -> RenameRegistrationOptions
[$sel:_documentSelector:RenameRegistrationOptions] :: RenameRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:RenameRegistrationOptions] :: RenameRegistrationOptions -> Maybe Bool
[$sel:_prepareProvider:RenameRegistrationOptions] :: RenameRegistrationOptions -> Maybe Bool
data RenameParams
RenameParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Text -> RenameParams
[$sel:_textDocument:RenameParams] :: RenameParams -> TextDocumentIdentifier
[$sel:_position:RenameParams] :: RenameParams -> Position
[$sel:_workDoneToken:RenameParams] :: RenameParams -> Maybe ProgressToken
[$sel:_newName:RenameParams] :: RenameParams -> Text
data PrepareRenameParams
PrepareRenameParams :: TextDocumentIdentifier -> Position -> PrepareRenameParams
[$sel:_textDocument:PrepareRenameParams] :: PrepareRenameParams -> TextDocumentIdentifier
[$sel:_position:PrepareRenameParams] :: PrepareRenameParams -> Position
data RangeWithPlaceholder
RangeWithPlaceholder :: Range -> Text -> RangeWithPlaceholder
[$sel:_range:RangeWithPlaceholder] :: RangeWithPlaceholder -> Range
[$sel:_placeholder:RangeWithPlaceholder] :: RangeWithPlaceholder -> Text
data SignatureHelpParameterInformation
SignatureHelpParameterInformation :: Maybe Bool -> SignatureHelpParameterInformation

-- | The client supports processing label offsets instead of a simple label
--   string.
[$sel:_labelOffsetSupport:SignatureHelpParameterInformation] :: SignatureHelpParameterInformation -> Maybe Bool
data SignatureHelpSignatureInformation
SignatureHelpSignatureInformation :: Maybe (List MarkupKind) -> Maybe SignatureHelpParameterInformation -> SignatureHelpSignatureInformation

-- | Client supports the follow content formats for the documentation
--   property. The order describes the preferred format of the client.
[$sel:_documentationFormat:SignatureHelpSignatureInformation] :: SignatureHelpSignatureInformation -> Maybe (List MarkupKind)

-- | Client capabilities specific to parameter information.
[$sel:_parameterInformation:SignatureHelpSignatureInformation] :: SignatureHelpSignatureInformation -> Maybe SignatureHelpParameterInformation
data SignatureHelpClientCapabilities
SignatureHelpClientCapabilities :: Maybe Bool -> Maybe SignatureHelpSignatureInformation -> Maybe Bool -> SignatureHelpClientCapabilities

-- | Whether signature help supports dynamic registration.
[$sel:_dynamicRegistration:SignatureHelpClientCapabilities] :: SignatureHelpClientCapabilities -> Maybe Bool

-- | The client supports the following <a>SignatureInformation</a> specific
--   properties.
[$sel:_signatureInformation:SignatureHelpClientCapabilities] :: SignatureHelpClientCapabilities -> Maybe SignatureHelpSignatureInformation

-- | The client supports to send additional context information for a
--   <tt>textDocument/signatureHelp</tt> request. A client that opts into
--   contextSupport will also support the
--   <a>$sel:_retriggerCharacters:SignatureHelpRegistrationOptions</a> on
--   <a>SignatureHelpOptions</a>.
[$sel:_contextSupport:SignatureHelpClientCapabilities] :: SignatureHelpClientCapabilities -> Maybe Bool
data SignatureHelpOptions
SignatureHelpOptions :: Maybe Bool -> Maybe (List String) -> Maybe (List String) -> SignatureHelpOptions
[$sel:_workDoneProgress:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe Bool
[$sel:_triggerCharacters:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe (List String)
[$sel:_retriggerCharacters:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe (List String)
data SignatureHelpRegistrationOptions
SignatureHelpRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe (List String) -> Maybe (List String) -> SignatureHelpRegistrationOptions
[$sel:_documentSelector:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe Bool
[$sel:_triggerCharacters:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe (List String)
[$sel:_retriggerCharacters:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe (List String)
data ParameterInformation
ParameterInformation :: Text -> Maybe Text -> ParameterInformation
[$sel:_label:ParameterInformation] :: ParameterInformation -> Text
[$sel:_documentation:ParameterInformation] :: ParameterInformation -> Maybe Text
data SignatureInformation
SignatureInformation :: Text -> Maybe Text -> Maybe (List ParameterInformation) -> SignatureInformation
[$sel:_label:SignatureInformation] :: SignatureInformation -> Text
[$sel:_documentation:SignatureInformation] :: SignatureInformation -> Maybe Text
[$sel:_parameters:SignatureInformation] :: SignatureInformation -> Maybe (List ParameterInformation)
data SignatureHelp
SignatureHelp :: List SignatureInformation -> Maybe Int -> Maybe Int -> SignatureHelp
[$sel:_signatures:SignatureHelp] :: SignatureHelp -> List SignatureInformation

-- | The active signature
[$sel:_activeSignature:SignatureHelp] :: SignatureHelp -> Maybe Int

-- | The active parameter of the active signature
[$sel:_activeParameter:SignatureHelp] :: SignatureHelp -> Maybe Int
data SignatureHelpTriggerKind
SHTKInvoked :: SignatureHelpTriggerKind
SHTKTriggerCharacter :: SignatureHelpTriggerKind
SHTKContentChange :: SignatureHelpTriggerKind

-- | Additional information about the context in which a signature help
--   request was triggered.
data SignatureHelpContext
SignatureHelpContext :: SignatureHelpTriggerKind -> Maybe String -> Bool -> Maybe SignatureHelp -> SignatureHelpContext

-- | Action that caused signature help to be triggered.
[$sel:_triggerKind:SignatureHelpContext] :: SignatureHelpContext -> SignatureHelpTriggerKind

-- | Character that caused signature help to be triggered. This is
--   undefined when <tt>triggerKind !==
--   SignatureHelpTriggerKind.TriggerCharacter</tt>
[$sel:_triggerCharacter:SignatureHelpContext] :: SignatureHelpContext -> Maybe String

-- | <a>True</a> if signature help was already showing when it was
--   triggered.
--   
--   Retriggers occur when the signature help is already active and can be
--   caused by actions such as typing a trigger character, a cursor move,
--   or document content changes.
[$sel:_isRetrigger:SignatureHelpContext] :: SignatureHelpContext -> Bool

-- | The currently active <a>SignatureHelp</a>.
--   
--   The <a>$sel:_activeSignatureHelp:SignatureHelpContext</a> has its
--   <tt>SignatureHelp.activeSignature</tt> field updated based on the user
--   navigating through available signatures.
[$sel:_activeSignatureHelp:SignatureHelpContext] :: SignatureHelpContext -> Maybe SignatureHelp
data SignatureHelpParams
SignatureHelpParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe SignatureHelpContext -> SignatureHelpParams
[$sel:_textDocument:SignatureHelpParams] :: SignatureHelpParams -> TextDocumentIdentifier
[$sel:_position:SignatureHelpParams] :: SignatureHelpParams -> Position
[$sel:_workDoneToken:SignatureHelpParams] :: SignatureHelpParams -> Maybe ProgressToken
[$sel:_context:SignatureHelpParams] :: SignatureHelpParams -> Maybe SignatureHelpContext
data StaticRegistrationOptions
StaticRegistrationOptions :: Maybe Text -> StaticRegistrationOptions
[_id] :: StaticRegistrationOptions -> Maybe Text
data SelectionRangeClientCapabilities
SelectionRangeClientCapabilities :: Maybe Bool -> SelectionRangeClientCapabilities

-- | Whether implementation supports dynamic registration for selection
--   range providers. If this is set to <a>True</a> the client supports the
--   new <a>SelectionRangeRegistrationOptions</a> return value for the
--   corresponding server capability as well.
[$sel:_dynamicRegistration:SelectionRangeClientCapabilities] :: SelectionRangeClientCapabilities -> Maybe Bool
data SelectionRangeOptions
SelectionRangeOptions :: Maybe Bool -> SelectionRangeOptions
[$sel:_workDoneProgress:SelectionRangeOptions] :: SelectionRangeOptions -> Maybe Bool
data SelectionRangeRegistrationOptions
SelectionRangeRegistrationOptions :: Maybe Bool -> Maybe DocumentSelector -> Maybe Text -> SelectionRangeRegistrationOptions
[$sel:_workDoneProgress:SelectionRangeRegistrationOptions] :: SelectionRangeRegistrationOptions -> Maybe Bool
[$sel:_documentSelector:SelectionRangeRegistrationOptions] :: SelectionRangeRegistrationOptions -> Maybe DocumentSelector
[$sel:_id:SelectionRangeRegistrationOptions] :: SelectionRangeRegistrationOptions -> Maybe Text
data SelectionRangeParams
SelectionRangeParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> List Position -> SelectionRangeParams
[$sel:_workDoneToken:SelectionRangeParams] :: SelectionRangeParams -> Maybe ProgressToken
[$sel:_partialResultToken:SelectionRangeParams] :: SelectionRangeParams -> Maybe ProgressToken
[$sel:_textDocument:SelectionRangeParams] :: SelectionRangeParams -> TextDocumentIdentifier
[$sel:_positions:SelectionRangeParams] :: SelectionRangeParams -> List Position
data SelectionRange
SelectionRange :: Range -> Maybe SelectionRange -> SelectionRange

-- | The <tt>range</tt> of this selection range.
[$sel:_range:SelectionRange] :: SelectionRange -> Range

-- | The parent selection range containing this range. Therefore
--   <tt>parent.range</tt> must contain <tt>this.range</tt>.
[$sel:_parent:SelectionRange] :: SelectionRange -> Maybe SelectionRange
data TextDocumentIdentifier
TextDocumentIdentifier :: Uri -> TextDocumentIdentifier
[$sel:_uri:TextDocumentIdentifier] :: TextDocumentIdentifier -> Uri
type TextDocumentVersion = Maybe Int
data VersionedTextDocumentIdentifier
VersionedTextDocumentIdentifier :: Uri -> TextDocumentVersion -> VersionedTextDocumentIdentifier
[$sel:_uri:VersionedTextDocumentIdentifier] :: VersionedTextDocumentIdentifier -> Uri
[$sel:_version:VersionedTextDocumentIdentifier] :: VersionedTextDocumentIdentifier -> TextDocumentVersion
data TextDocumentItem
TextDocumentItem :: Uri -> Text -> Int -> Text -> TextDocumentItem
[$sel:_uri:TextDocumentItem] :: TextDocumentItem -> Uri
[$sel:_languageId:TextDocumentItem] :: TextDocumentItem -> Text
[$sel:_version:TextDocumentItem] :: TextDocumentItem -> Int
[$sel:_text:TextDocumentItem] :: TextDocumentItem -> Text
data TextDocumentPositionParams
TextDocumentPositionParams :: TextDocumentIdentifier -> Position -> TextDocumentPositionParams

-- | The text document.
[$sel:_textDocument:TextDocumentPositionParams] :: TextDocumentPositionParams -> TextDocumentIdentifier

-- | The position inside the text document.
[$sel:_position:TextDocumentPositionParams] :: TextDocumentPositionParams -> Position
data TextDocumentSyncClientCapabilities
TextDocumentSyncClientCapabilities :: Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> TextDocumentSyncClientCapabilities

-- | Whether text document synchronization supports dynamic registration.
[$sel:_dynamicRegistration:TextDocumentSyncClientCapabilities] :: TextDocumentSyncClientCapabilities -> Maybe Bool

-- | The client supports sending will save notifications.
[$sel:_willSave:TextDocumentSyncClientCapabilities] :: TextDocumentSyncClientCapabilities -> Maybe Bool

-- | The client supports sending a will save request and waits for a
--   response providing text edits which will be applied to the document
--   before it is saved.
[$sel:_willSaveWaitUntil:TextDocumentSyncClientCapabilities] :: TextDocumentSyncClientCapabilities -> Maybe Bool

-- | The client supports did save notifications.
[$sel:_didSave:TextDocumentSyncClientCapabilities] :: TextDocumentSyncClientCapabilities -> Maybe Bool
data SaveOptions
SaveOptions :: Maybe Bool -> SaveOptions

-- | The client is supposed to include the content on save.
[$sel:_includeText:SaveOptions] :: SaveOptions -> Maybe Bool

-- | Defines how the host (editor) should sync document changes to the
--   language server.
data TextDocumentSyncKind

-- | Documents should not be synced at all.
TdSyncNone :: TextDocumentSyncKind

-- | Documents are synced by always sending the full content of the
--   document.
TdSyncFull :: TextDocumentSyncKind

-- | Documents are synced by sending the full content on open. After that
--   only incremental updates to the document are send.
TdSyncIncremental :: TextDocumentSyncKind
data TextDocumentSyncOptions
TextDocumentSyncOptions :: Maybe Bool -> Maybe TextDocumentSyncKind -> Maybe Bool -> Maybe Bool -> Maybe (Bool |? SaveOptions) -> TextDocumentSyncOptions

-- | Open and close notifications are sent to the server. If omitted open
--   close notification should not be sent.
[$sel:_openClose:TextDocumentSyncOptions] :: TextDocumentSyncOptions -> Maybe Bool

-- | Change notifications are sent to the server. See
--   TextDocumentSyncKind.None, TextDocumentSyncKind.Full and
--   TextDocumentSyncKind.Incremental. If omitted it defaults to
--   TextDocumentSyncKind.None.
[$sel:_change:TextDocumentSyncOptions] :: TextDocumentSyncOptions -> Maybe TextDocumentSyncKind

-- | If present will save notifications are sent to the server. If omitted
--   the notification should not be sent.
[$sel:_willSave:TextDocumentSyncOptions] :: TextDocumentSyncOptions -> Maybe Bool

-- | If present will save wait until requests are sent to the server. If
--   omitted the request should not be sent.
[$sel:_willSaveWaitUntil:TextDocumentSyncOptions] :: TextDocumentSyncOptions -> Maybe Bool

-- | If present save notifications are sent to the server. If omitted the
--   notification should not be sent.
[$sel:_save:TextDocumentSyncOptions] :: TextDocumentSyncOptions -> Maybe (Bool |? SaveOptions)
data TextDocumentRegistrationOptions
TextDocumentRegistrationOptions :: Maybe DocumentSelector -> TextDocumentRegistrationOptions
[$sel:_documentSelector:TextDocumentRegistrationOptions] :: TextDocumentRegistrationOptions -> Maybe DocumentSelector
data DidOpenTextDocumentParams
DidOpenTextDocumentParams :: TextDocumentItem -> DidOpenTextDocumentParams

-- | The document that was opened.
[$sel:_textDocument:DidOpenTextDocumentParams] :: DidOpenTextDocumentParams -> TextDocumentItem
data TextDocumentChangeRegistrationOptions
TextDocumentChangeRegistrationOptions :: Maybe DocumentSelector -> TextDocumentSyncKind -> TextDocumentChangeRegistrationOptions
[$sel:_documentSelector:TextDocumentChangeRegistrationOptions] :: TextDocumentChangeRegistrationOptions -> Maybe DocumentSelector
[$sel:_syncKind:TextDocumentChangeRegistrationOptions] :: TextDocumentChangeRegistrationOptions -> TextDocumentSyncKind
data TextDocumentContentChangeEvent
TextDocumentContentChangeEvent :: Maybe Range -> Maybe Int -> Text -> TextDocumentContentChangeEvent

-- | The range of the document that changed.
[$sel:_range:TextDocumentContentChangeEvent] :: TextDocumentContentChangeEvent -> Maybe Range

-- | The optional length of the range that got replaced.

-- | <i>Deprecated: Use _range instead</i>
[$sel:_rangeLength:TextDocumentContentChangeEvent] :: TextDocumentContentChangeEvent -> Maybe Int

-- | The new text for the provided range, if provided. Otherwise the new
--   text of the whole document.
[$sel:_text:TextDocumentContentChangeEvent] :: TextDocumentContentChangeEvent -> Text
data DidChangeTextDocumentParams
DidChangeTextDocumentParams :: VersionedTextDocumentIdentifier -> List TextDocumentContentChangeEvent -> DidChangeTextDocumentParams

-- | The document that did change. The version number points to the version
--   after all provided content changes have been applied.
[$sel:_textDocument:DidChangeTextDocumentParams] :: DidChangeTextDocumentParams -> VersionedTextDocumentIdentifier

-- | The actual content changes. The content changes describe single state
--   changes to the document. So if there are two content changes c1 (at
--   array index 0) and c2 (at array index 1) for a document in state S
--   then c1 moves the document from S to S' and c2 from S' to S''. So c1
--   is computed on the state S and c2 is computed on the state S'.
--   
--   To mirror the content of a document using change events use the
--   following approach: - start with the same initial content - apply the
--   'textDocument/didChange' notifications in the order you recevie them.
--   - apply the <a>TextDocumentContentChangeEvent</a>s in a single
--   notification in the order you receive them.
[$sel:_contentChanges:DidChangeTextDocumentParams] :: DidChangeTextDocumentParams -> List TextDocumentContentChangeEvent
data TextDocumentSaveReason

-- | Manually triggered, e.g. by the user pressing save, by starting
--   debugging, or by an API call.
SaveManual :: TextDocumentSaveReason

-- | Automatic after a delay
SaveAfterDelay :: TextDocumentSaveReason

-- | When the editor lost focus
SaveFocusOut :: TextDocumentSaveReason
data WillSaveTextDocumentParams
WillSaveTextDocumentParams :: TextDocumentIdentifier -> TextDocumentSaveReason -> WillSaveTextDocumentParams

-- | The document that will be saved.
[$sel:_textDocument:WillSaveTextDocumentParams] :: WillSaveTextDocumentParams -> TextDocumentIdentifier

-- | The <a>TextDocumentSaveReason</a>.
[$sel:_reason:WillSaveTextDocumentParams] :: WillSaveTextDocumentParams -> TextDocumentSaveReason
data TextDocumentSaveRegistrationOptions
TextDocumentSaveRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> TextDocumentSaveRegistrationOptions
[$sel:_documentSelector:TextDocumentSaveRegistrationOptions] :: TextDocumentSaveRegistrationOptions -> Maybe DocumentSelector
[$sel:_includeText:TextDocumentSaveRegistrationOptions] :: TextDocumentSaveRegistrationOptions -> Maybe Bool
data DidSaveTextDocumentParams
DidSaveTextDocumentParams :: TextDocumentIdentifier -> Maybe Text -> DidSaveTextDocumentParams

-- | The document that was saved.
[$sel:_textDocument:DidSaveTextDocumentParams] :: DidSaveTextDocumentParams -> TextDocumentIdentifier

-- | Optional the content when saved. Depends on the includeText value when
--   the save notification was requested.
[$sel:_text:DidSaveTextDocumentParams] :: DidSaveTextDocumentParams -> Maybe Text
data DidCloseTextDocumentParams
DidCloseTextDocumentParams :: TextDocumentIdentifier -> DidCloseTextDocumentParams

-- | The document that was closed.
[$sel:_textDocument:DidCloseTextDocumentParams] :: DidCloseTextDocumentParams -> TextDocumentIdentifier
data TypeDefinitionClientCapabilities
TypeDefinitionClientCapabilities :: Maybe Bool -> Maybe Bool -> TypeDefinitionClientCapabilities

-- | Whether implementation supports dynamic registration. If this is set
--   to <a>True</a> the client supports the new
--   <a>TypeDefinitionRegistrationOptions</a> return value for the
--   corresponding server capability as well.
[$sel:_dynamicRegistration:TypeDefinitionClientCapabilities] :: TypeDefinitionClientCapabilities -> Maybe Bool

-- | The client supports additional metadata in the form of definition
--   links.
--   
--   Since LSP 3.14.0
[$sel:_linkSupport:TypeDefinitionClientCapabilities] :: TypeDefinitionClientCapabilities -> Maybe Bool
data TypeDefinitionOptions
TypeDefinitionOptions :: Maybe Bool -> TypeDefinitionOptions
[$sel:_workDoneProgress:TypeDefinitionOptions] :: TypeDefinitionOptions -> Maybe Bool
data TypeDefinitionRegistrationOptions
TypeDefinitionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Text -> TypeDefinitionRegistrationOptions
[$sel:_documentSelector:TypeDefinitionRegistrationOptions] :: TypeDefinitionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:TypeDefinitionRegistrationOptions] :: TypeDefinitionRegistrationOptions -> Maybe Bool
[$sel:_id:TypeDefinitionRegistrationOptions] :: TypeDefinitionRegistrationOptions -> Maybe Text
data TypeDefinitionParams
TypeDefinitionParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> Maybe ProgressToken -> TypeDefinitionParams
[$sel:_textDocument:TypeDefinitionParams] :: TypeDefinitionParams -> TextDocumentIdentifier
[$sel:_position:TypeDefinitionParams] :: TypeDefinitionParams -> Position
[$sel:_workDoneToken:TypeDefinitionParams] :: TypeDefinitionParams -> Maybe ProgressToken
[$sel:_partialResultToken:TypeDefinitionParams] :: TypeDefinitionParams -> Maybe ProgressToken
newtype Uri
Uri :: Text -> Uri
[getUri] :: Uri -> Text
uriToFilePath :: Uri -> Maybe FilePath
filePathToUri :: FilePath -> Uri
data NormalizedUri
NormalizedUri :: !Int -> !Text -> NormalizedUri
toNormalizedUri :: Uri -> NormalizedUri
fromNormalizedUri :: NormalizedUri -> Uri

-- | 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.
data NormalizedFilePath
NormalizedFilePath :: NormalizedUri -> !FilePath -> NormalizedFilePath
toNormalizedFilePath :: FilePath -> NormalizedFilePath
fromNormalizedFilePath :: NormalizedFilePath -> FilePath
normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath

-- | <i>Warning: This function is considered private. Use
--   normalizedFilePathToUri instead.</i>
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath

-- | <i>Warning: This function is considered private. Use
--   normalizedUriToFilePath instead.</i>
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
data DidChangeWatchedFilesClientCapabilities
DidChangeWatchedFilesClientCapabilities :: Maybe Bool -> DidChangeWatchedFilesClientCapabilities

-- | Did change watched files notification supports dynamic registration.
[$sel:_dynamicRegistration:DidChangeWatchedFilesClientCapabilities] :: DidChangeWatchedFilesClientCapabilities -> Maybe Bool

-- | Describe options to be used when registering for file system change
--   events.
data DidChangeWatchedFilesRegistrationOptions
DidChangeWatchedFilesRegistrationOptions :: List FileSystemWatcher -> DidChangeWatchedFilesRegistrationOptions

-- | The watchers to register.
[$sel:_watchers:DidChangeWatchedFilesRegistrationOptions] :: DidChangeWatchedFilesRegistrationOptions -> List FileSystemWatcher
data FileSystemWatcher
FileSystemWatcher :: String -> Maybe WatchKind -> FileSystemWatcher

-- | The glob pattern to watch. Glob patterns can have the following
--   syntax: - <tt>*</tt> to match one or more characters in a path segment
--   - <tt>?</tt> to match on one character in a path segment - <tt>**</tt>
--   to match any number of path segments, including none - <tt>{}</tt> to
--   group conditions (e.g. <tt>**​/*.{ts,js}</tt> matches all TypeScript
--   and JavaScript files) - <tt>[]</tt> to declare a range of characters
--   to match in a path segment (e.g., <tt>example.[0-9]</tt> to match on
--   <tt>example.0</tt>, <tt>example.1</tt>, …) - <tt>[!...]</tt> to negate
--   a range of characters to match in a path segment (e.g.,
--   <tt>example.[!0-9]</tt> to match on <tt>example.a</tt>,
--   <tt>example.b</tt>, but not <tt>example.0</tt>)
[$sel:_globPattern:FileSystemWatcher] :: FileSystemWatcher -> String

-- | The kind of events of interest. If omitted it defaults to
--   WatchKind.Create | WatchKind.Change | WatchKind.Delete which is 7.
[$sel:_kind:FileSystemWatcher] :: FileSystemWatcher -> Maybe WatchKind
data WatchKind
WatchKind :: Bool -> Bool -> Bool -> WatchKind

-- | Watch for create events
[$sel:_watchCreate:WatchKind] :: WatchKind -> Bool

-- | Watch for change events
[$sel:_watchChange:WatchKind] :: WatchKind -> Bool

-- | Watch for delete events
[$sel:_watchDelete:WatchKind] :: WatchKind -> Bool

-- | The file event type.
data FileChangeType

-- | The file got created.
FcCreated :: FileChangeType

-- | The file got changed.
FcChanged :: FileChangeType

-- | The file got deleted.
FcDeleted :: FileChangeType

-- | An event describing a file change.
data FileEvent
FileEvent :: Uri -> FileChangeType -> FileEvent

-- | The file's URI.
[$sel:_uri:FileEvent] :: FileEvent -> Uri

-- | The change type.
[$sel:_xtype:FileEvent] :: FileEvent -> FileChangeType
data DidChangeWatchedFilesParams
DidChangeWatchedFilesParams :: List FileEvent -> DidChangeWatchedFilesParams

-- | The actual file events.
[$sel:_changes:DidChangeWatchedFilesParams] :: DidChangeWatchedFilesParams -> List FileEvent
data MessageType

-- | Error = 1,
MtError :: MessageType

-- | Warning = 2,
MtWarning :: MessageType

-- | Info = 3,
MtInfo :: MessageType

-- | Log = 4
MtLog :: MessageType
data ShowMessageParams
ShowMessageParams :: MessageType -> Text -> ShowMessageParams
[$sel:_xtype:ShowMessageParams] :: ShowMessageParams -> MessageType
[$sel:_message:ShowMessageParams] :: ShowMessageParams -> Text
data MessageActionItem
MessageActionItem :: Text -> MessageActionItem
[$sel:_title:MessageActionItem] :: MessageActionItem -> Text
data ShowMessageRequestParams
ShowMessageRequestParams :: MessageType -> Text -> Maybe [MessageActionItem] -> ShowMessageRequestParams
[$sel:_xtype:ShowMessageRequestParams] :: ShowMessageRequestParams -> MessageType
[$sel:_message:ShowMessageRequestParams] :: ShowMessageRequestParams -> Text
[$sel:_actions:ShowMessageRequestParams] :: ShowMessageRequestParams -> Maybe [MessageActionItem]
data LogMessageParams
LogMessageParams :: MessageType -> Text -> LogMessageParams
[$sel:_xtype:LogMessageParams] :: LogMessageParams -> MessageType
[$sel:_message:LogMessageParams] :: LogMessageParams -> Text
data TextEdit
TextEdit :: Range -> Text -> TextEdit
[$sel:_range:TextEdit] :: TextEdit -> Range
[$sel:_newText:TextEdit] :: TextEdit -> Text
data TextDocumentEdit
TextDocumentEdit :: VersionedTextDocumentIdentifier -> List TextEdit -> TextDocumentEdit
[$sel:_textDocument:TextDocumentEdit] :: TextDocumentEdit -> VersionedTextDocumentIdentifier
[$sel:_edits:TextDocumentEdit] :: TextDocumentEdit -> List TextEdit
type WorkspaceEditMap = HashMap Uri (List TextEdit)
data WorkspaceEdit
WorkspaceEdit :: Maybe WorkspaceEditMap -> Maybe (List TextDocumentEdit) -> WorkspaceEdit
[$sel:_changes:WorkspaceEdit] :: WorkspaceEdit -> Maybe WorkspaceEditMap
[$sel:_documentChanges:WorkspaceEdit] :: WorkspaceEdit -> Maybe (List TextDocumentEdit)
data ResourceOperationKind

-- | Supports creating new files and folders.
ResourceOperationCreate :: ResourceOperationKind

-- | Supports renaming existing files and folders.
ResourceOperationRename :: ResourceOperationKind

-- | Supports deleting existing files and folders.
ResourceOperationDelete :: ResourceOperationKind
data FailureHandlingKind

-- | Applying the workspace change is simply aborted if one of the changes
--   provided fails. All operations executed before the failing operation
--   stay executed.
FailureHandlingAbort :: FailureHandlingKind

-- | All operations are executed transactional. That means they either all
--   succeed or no changes at all are applied to the workspace.
FailureHandlingTransactional :: FailureHandlingKind

-- | 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.
FailureHandlingTextOnlyTransactional :: FailureHandlingKind

-- | The client tries to undo the operations already executed. But there is
--   no guarantee that this is succeeding.
FailureHandlingUndo :: FailureHandlingKind
data WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities :: Maybe Bool -> Maybe (List ResourceOperationKind) -> Maybe FailureHandlingKind -> WorkspaceEditClientCapabilities

-- | The client supports versioned document changes in
--   <a>WorkspaceEdit</a>s | The resource operations the client supports.
--   Clients should at least support <tt>create</tt>, <tt>rename</tt> and
--   <tt>delete</tt> files and folders.
[$sel:_documentChanges:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe Bool
[$sel:_resourceOperations:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe (List ResourceOperationKind)

-- | The failure handling strategy of a client if applying the workspace
--   edit fails.
[$sel:_failureHandling:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe FailureHandlingKind
data ApplyWorkspaceEditParams
ApplyWorkspaceEditParams :: Maybe Text -> WorkspaceEdit -> ApplyWorkspaceEditParams

-- | An optional label of the workspace edit. This label is presented in
--   the user interface for example on an undo stack to undo the workspace
--   edit.
[$sel:_label:ApplyWorkspaceEditParams] :: ApplyWorkspaceEditParams -> Maybe Text

-- | The edits to apply
[$sel:_edit:ApplyWorkspaceEditParams] :: ApplyWorkspaceEditParams -> WorkspaceEdit
data ApplyWorkspaceEditResponseBody
ApplyWorkspaceEditResponseBody :: Bool -> Maybe Text -> ApplyWorkspaceEditResponseBody

-- | Indicates whether the edit was applied or not.
[$sel:_applied:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Bool

-- | An optional textual description for why the edit was not applied. This
--   may be used may be used by the server for diagnostic logging or to
--   provide a suitable error for a request that triggered the edit.
[$sel:_failureReason:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Maybe Text

-- | Applies a <a>TextEdit</a> to some <a>Text</a>. &gt;&gt;&gt;
--   applyTextEdit (TextEdit (Range (Position 0 1) (Position 0 2)) "i")
--   "foo" "fio"
applyTextEdit :: TextEdit -> Text -> Text

-- | <a>editTextEdit</a> <tt>outer</tt> <tt>inner</tt> applies
--   <tt>inner</tt> to the text inside <tt>outer</tt>.
editTextEdit :: TextEdit -> TextEdit -> TextEdit
data WorkspaceFolder
WorkspaceFolder :: Text -> Text -> WorkspaceFolder

-- | The name of the workspace folder. Defaults to the uri's basename.
[$sel:_uri:WorkspaceFolder] :: WorkspaceFolder -> Text

-- | The name of the workspace folder. Defaults to the uri's basename.
[$sel:_name:WorkspaceFolder] :: WorkspaceFolder -> Text

-- | The workspace folder change event.
data WorkspaceFoldersChangeEvent
WorkspaceFoldersChangeEvent :: List WorkspaceFolder -> List WorkspaceFolder -> WorkspaceFoldersChangeEvent

-- | The array of added workspace folders
[$sel:_added:WorkspaceFoldersChangeEvent] :: WorkspaceFoldersChangeEvent -> List WorkspaceFolder

-- | The array of the removed workspace folders
[$sel:_removed:WorkspaceFoldersChangeEvent] :: WorkspaceFoldersChangeEvent -> List WorkspaceFolder
data DidChangeWorkspaceFoldersParams
DidChangeWorkspaceFoldersParams :: WorkspaceFoldersChangeEvent -> DidChangeWorkspaceFoldersParams

-- | The actual workspace folder change event.
[$sel:_event:DidChangeWorkspaceFoldersParams] :: DidChangeWorkspaceFoldersParams -> WorkspaceFoldersChangeEvent
data WorkspaceSymbolKindClientCapabilities
WorkspaceSymbolKindClientCapabilities :: Maybe (List SymbolKind) -> WorkspaceSymbolKindClientCapabilities

-- | The symbol kind values the client supports. When this property exists
--   the client also guarantees that it will handle values outside its set
--   gracefully and falls back to a default value when unknown.
--   
--   If this property is not present the client only supports the symbol
--   kinds from <tt>File</tt> to <tt>Array</tt> as defined in the initial
--   version of the protocol.
[$sel:_valueSet:WorkspaceSymbolKindClientCapabilities] :: WorkspaceSymbolKindClientCapabilities -> Maybe (List SymbolKind)
data WorkspaceSymbolClientCapabilities
WorkspaceSymbolClientCapabilities :: Maybe Bool -> Maybe WorkspaceSymbolKindClientCapabilities -> WorkspaceSymbolClientCapabilities

-- | Symbol request supports dynamic registration.
[$sel:_dynamicRegistration:WorkspaceSymbolClientCapabilities] :: WorkspaceSymbolClientCapabilities -> Maybe Bool

-- | Specific capabilities for the <a>SymbolKind</a>.
[$sel:_symbolKind:WorkspaceSymbolClientCapabilities] :: WorkspaceSymbolClientCapabilities -> Maybe WorkspaceSymbolKindClientCapabilities
data WorkspaceSymbolOptions
WorkspaceSymbolOptions :: Maybe Bool -> WorkspaceSymbolOptions
[$sel:_workDoneProgress:WorkspaceSymbolOptions] :: WorkspaceSymbolOptions -> Maybe Bool
data WorkspaceSymbolRegistrationOptions
WorkspaceSymbolRegistrationOptions :: Maybe Bool -> WorkspaceSymbolRegistrationOptions
[$sel:_workDoneProgress:WorkspaceSymbolRegistrationOptions] :: WorkspaceSymbolRegistrationOptions -> Maybe Bool
data WorkspaceSymbolParams
WorkspaceSymbolParams :: Maybe ProgressToken -> Maybe ProgressToken -> String -> WorkspaceSymbolParams
[$sel:_workDoneToken:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> Maybe ProgressToken
[$sel:_partialResultToken:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> Maybe ProgressToken
[$sel:_query:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> String

module Language.LSP.Types.Capabilities
data WorkspaceClientCapabilities
WorkspaceClientCapabilities :: Maybe Bool -> Maybe WorkspaceEditClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities -> Maybe ExecuteCommandClientCapabilities -> Maybe Bool -> Maybe Bool -> WorkspaceClientCapabilities

-- | The client supports applying batch edits to the workspace by
--   supporting the request 'workspace/applyEdit'
[$sel:_applyEdit:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe Bool

-- | Capabilities specific to <a>WorkspaceEdit</a>s
[$sel:_workspaceEdit:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe WorkspaceEditClientCapabilities

-- | Capabilities specific to the `workspace/didChangeConfiguration`
--   notification.
[$sel:_didChangeConfiguration:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities

-- | Capabilities specific to the `workspace/didChangeWatchedFiles`
--   notification.
[$sel:_didChangeWatchedFiles:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities

-- | Capabilities specific to the `workspace/symbol` request.
[$sel:_symbol:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities

-- | Capabilities specific to the `workspace/executeCommand` request.
[$sel:_executeCommand:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe ExecuteCommandClientCapabilities

-- | The client has support for workspace folders.
[$sel:_workspaceFolders:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe Bool

-- | The client supports `workspace/configuration` requests.
[$sel:_configuration:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe Bool
data TextDocumentClientCapabilities
TextDocumentClientCapabilities :: Maybe TextDocumentSyncClientCapabilities -> Maybe CompletionClientCapabilities -> Maybe HoverClientCapabilities -> Maybe SignatureHelpClientCapabilities -> Maybe ReferencesClientCapabilities -> Maybe DocumentHighlightClientCapabilities -> Maybe DocumentSymbolClientCapabilities -> Maybe DocumentFormattingClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities -> Maybe DeclarationClientCapabilities -> Maybe DefinitionClientCapabilities -> Maybe TypeDefinitionClientCapabilities -> Maybe ImplementationClientCapabilities -> Maybe CodeActionClientCapabilities -> Maybe CodeLensClientCapabilities -> Maybe DocumentLinkClientCapabilities -> Maybe DocumentColorClientCapabilities -> Maybe RenameClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities -> Maybe FoldingRangeClientCapabilities -> Maybe SelectionRangeClientCapabilities -> TextDocumentClientCapabilities
[$sel:_synchronization:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe TextDocumentSyncClientCapabilities

-- | Capabilities specific to the `textDocument/completion`
[$sel:_completion:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe CompletionClientCapabilities

-- | Capabilities specific to the `textDocument/hover`
[$sel:_hover:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe HoverClientCapabilities

-- | Capabilities specific to the `textDocument/signatureHelp`
[$sel:_signatureHelp:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe SignatureHelpClientCapabilities

-- | Capabilities specific to the `textDocument/references`
[$sel:_references:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe ReferencesClientCapabilities

-- | Capabilities specific to the `textDocument/documentHighlight`
[$sel:_documentHighlight:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentHighlightClientCapabilities

-- | Capabilities specific to the `textDocument/documentSymbol`
[$sel:_documentSymbol:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentSymbolClientCapabilities

-- | Capabilities specific to the `textDocument/formatting`
[$sel:_formatting:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentFormattingClientCapabilities

-- | Capabilities specific to the `textDocument/rangeFormatting`
[$sel:_rangeFormatting:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities

-- | Capabilities specific to the `textDocument/onTypeFormatting`
[$sel:_onTypeFormatting:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities

-- | Capabilities specific to the `textDocument/declaration` request.
--   
--   Since LSP 3.14.0
[$sel:_declaration:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DeclarationClientCapabilities

-- | Capabilities specific to the `textDocument/definition`
[$sel:_definition:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DefinitionClientCapabilities

-- | Capabilities specific to the `textDocument/typeDefinition`
[$sel:_typeDefinition:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe TypeDefinitionClientCapabilities

-- | Capabilities specific to the `textDocument/implementation`
[$sel:_implementation:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe ImplementationClientCapabilities

-- | Capabilities specific to the `textDocument/codeAction`
[$sel:_codeAction:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe CodeActionClientCapabilities

-- | Capabilities specific to the `textDocument/codeLens`
[$sel:_codeLens:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe CodeLensClientCapabilities

-- | Capabilities specific to the `textDocument/documentLink`
[$sel:_documentLink:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentLinkClientCapabilities

-- | Capabilities specific to the `textDocument/documentColor` and the
--   `textDocument/colorPresentation` request
[$sel:_colorProvider:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe DocumentColorClientCapabilities

-- | Capabilities specific to the `textDocument/rename`
[$sel:_rename:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe RenameClientCapabilities

-- | Capabilities specific to `textDocument/publishDiagnostics`
[$sel:_publishDiagnostics:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities

-- | Capabilities specific to the `textDocument/foldingRange` request.
--   Since LSP 3.10.
[$sel:_foldingRange:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe FoldingRangeClientCapabilities

-- | Capabilities specific to the `textDocument/selectionRange` request.
--   Since LSP 3.15.0
[$sel:_selectionRange:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe SelectionRangeClientCapabilities

-- | Window specific client capabilities.
data WindowClientCapabilities
WindowClientCapabilities :: Maybe Bool -> WindowClientCapabilities

-- | Whether client supports handling progress notifications.
[$sel:_workDoneProgress:WindowClientCapabilities] :: WindowClientCapabilities -> Maybe Bool
data ClientCapabilities
ClientCapabilities :: Maybe WorkspaceClientCapabilities -> Maybe TextDocumentClientCapabilities -> Maybe WindowClientCapabilities -> Maybe Object -> ClientCapabilities
[$sel:_workspace:ClientCapabilities] :: ClientCapabilities -> Maybe WorkspaceClientCapabilities
[$sel:_textDocument:ClientCapabilities] :: ClientCapabilities -> Maybe TextDocumentClientCapabilities

-- | Capabilities specific to `window/progress` requests. Experimental.
[$sel:_window:ClientCapabilities] :: ClientCapabilities -> Maybe WindowClientCapabilities
[$sel:_experimental:ClientCapabilities] :: ClientCapabilities -> Maybe Object
data WorkspaceFoldersServerCapabilities
WorkspaceFoldersServerCapabilities :: Maybe Bool -> Maybe (Text |? Bool) -> WorkspaceFoldersServerCapabilities

-- | The server has support for workspace folders
[$sel:_supported:WorkspaceFoldersServerCapabilities] :: WorkspaceFoldersServerCapabilities -> Maybe Bool

-- | Whether the server wants to receive workspace folder change
--   notifications. If a strings is provided the string is treated as a ID
--   under which the notification is registered on the client side. The ID
--   can be used to unregister for these events using the
--   `client/unregisterCapability` request.
[$sel:_changeNotifications:WorkspaceFoldersServerCapabilities] :: WorkspaceFoldersServerCapabilities -> Maybe (Text |? Bool)
data WorkspaceServerCapabilities
WorkspaceServerCapabilities :: Maybe WorkspaceFoldersServerCapabilities -> WorkspaceServerCapabilities

-- | The server supports workspace folder. Since LSP 3.6
[$sel:_workspaceFolders:WorkspaceServerCapabilities] :: WorkspaceServerCapabilities -> Maybe WorkspaceFoldersServerCapabilities
data ServerCapabilities
ServerCapabilities :: Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind) -> Maybe (Bool |? HoverOptions) -> Maybe CompletionOptions -> Maybe SignatureHelpOptions -> Maybe (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions)) -> Maybe (Bool |? DefinitionOptions) -> Maybe (Bool |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions)) -> Maybe (Bool |? (ImplementationOptions |? ImplementationRegistrationOptions)) -> Maybe (Bool |? ReferenceOptions) -> Maybe (Bool |? DocumentHighlightOptions) -> Maybe (Bool |? DocumentSymbolOptions) -> Maybe (Bool |? CodeActionOptions) -> Maybe CodeLensOptions -> Maybe DocumentLinkOptions -> Maybe (Bool |? (DocumentColorOptions |? DocumentColorRegistrationOptions)) -> Maybe (Bool |? DocumentFormattingOptions) -> Maybe (Bool |? DocumentRangeFormattingOptions) -> Maybe DocumentOnTypeFormattingOptions -> Maybe (Bool |? RenameOptions) -> Maybe (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions)) -> Maybe ExecuteCommandOptions -> Maybe (Bool |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions)) -> Maybe Bool -> Maybe WorkspaceServerCapabilities -> Maybe Value -> ServerCapabilities

-- | Defines how text documents are synced. Is either a detailed structure
--   defining each notification or for backwards compatibility the
--   <a>TextDocumentSyncKind</a> number. If omitted it defaults to
--   <a>TdSyncNone</a>.
[$sel:_textDocumentSync:ServerCapabilities] :: ServerCapabilities -> Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)

-- | The server provides hover support.
[$sel:_hoverProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? HoverOptions)

-- | The server provides completion support.
[$sel:_completionProvider:ServerCapabilities] :: ServerCapabilities -> Maybe CompletionOptions

-- | The server provides signature help support.
[$sel:_signatureHelpProvider:ServerCapabilities] :: ServerCapabilities -> Maybe SignatureHelpOptions

-- | The server provides go to declaration support.
--   
--   Since LSP 3.14.0
[$sel:_declarationProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))

-- | The server provides goto definition support.
[$sel:_definitionProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? DefinitionOptions)

-- | The server provides Goto Type Definition support. Since LSP 3.6
[$sel:_typeDefinitionProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))

-- | The server provides Goto Implementation support. Since LSP 3.6
[$sel:_implementationProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (ImplementationOptions |? ImplementationRegistrationOptions))

-- | The server provides find references support.
[$sel:_referencesProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? ReferenceOptions)

-- | The server provides document highlight support.
[$sel:_documentHighlightProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? DocumentHighlightOptions)

-- | The server provides document symbol support.
[$sel:_documentSymbolProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? DocumentSymbolOptions)

-- | The server provides code actions.
[$sel:_codeActionProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? CodeActionOptions)

-- | The server provides code lens.
[$sel:_codeLensProvider:ServerCapabilities] :: ServerCapabilities -> Maybe CodeLensOptions

-- | The server provides document link support.
[$sel:_documentLinkProvider:ServerCapabilities] :: ServerCapabilities -> Maybe DocumentLinkOptions

-- | The server provides color provider support. Since LSP 3.6
[$sel:_colorProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (DocumentColorOptions |? DocumentColorRegistrationOptions))

-- | The server provides document formatting.
[$sel:_documentFormattingProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? DocumentFormattingOptions)

-- | The server provides document range formatting.
[$sel:_documentRangeFormattingProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? DocumentRangeFormattingOptions)

-- | The server provides document formatting on typing.
[$sel:_documentOnTypeFormattingProvider:ServerCapabilities] :: ServerCapabilities -> Maybe DocumentOnTypeFormattingOptions

-- | The server provides rename support.
[$sel:_renameProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? RenameOptions)

-- | The server provides folding provider support. Since LSP 3.10
[$sel:_foldingRangeProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))

-- | The server provides execute command support.
[$sel:_executeCommandProvider:ServerCapabilities] :: ServerCapabilities -> Maybe ExecuteCommandOptions

-- | The server provides selection range support. Since LSP 3.15
[$sel:_selectionRangeProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))

-- | The server provides workspace symbol support.
[$sel:_workspaceSymbolProvider:ServerCapabilities] :: ServerCapabilities -> Maybe Bool

-- | Workspace specific server capabilities
[$sel:_workspace:ServerCapabilities] :: ServerCapabilities -> Maybe WorkspaceServerCapabilities

-- | Experimental server capabilities.
[$sel:_experimental:ServerCapabilities] :: ServerCapabilities -> Maybe Value
data TextEdit
TextEdit :: Range -> Text -> TextEdit
[$sel:_range:TextEdit] :: TextEdit -> Range
[$sel:_newText:TextEdit] :: TextEdit -> Text
data TextDocumentEdit
TextDocumentEdit :: VersionedTextDocumentIdentifier -> List TextEdit -> TextDocumentEdit
[$sel:_textDocument:TextDocumentEdit] :: TextDocumentEdit -> VersionedTextDocumentIdentifier
[$sel:_edits:TextDocumentEdit] :: TextDocumentEdit -> List TextEdit
type WorkspaceEditMap = HashMap Uri (List TextEdit)
data WorkspaceEdit
WorkspaceEdit :: Maybe WorkspaceEditMap -> Maybe (List TextDocumentEdit) -> WorkspaceEdit
[$sel:_changes:WorkspaceEdit] :: WorkspaceEdit -> Maybe WorkspaceEditMap
[$sel:_documentChanges:WorkspaceEdit] :: WorkspaceEdit -> Maybe (List TextDocumentEdit)
data ResourceOperationKind

-- | Supports creating new files and folders.
ResourceOperationCreate :: ResourceOperationKind

-- | Supports renaming existing files and folders.
ResourceOperationRename :: ResourceOperationKind

-- | Supports deleting existing files and folders.
ResourceOperationDelete :: ResourceOperationKind
data FailureHandlingKind

-- | Applying the workspace change is simply aborted if one of the changes
--   provided fails. All operations executed before the failing operation
--   stay executed.
FailureHandlingAbort :: FailureHandlingKind

-- | All operations are executed transactional. That means they either all
--   succeed or no changes at all are applied to the workspace.
FailureHandlingTransactional :: FailureHandlingKind

-- | 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.
FailureHandlingTextOnlyTransactional :: FailureHandlingKind

-- | The client tries to undo the operations already executed. But there is
--   no guarantee that this is succeeding.
FailureHandlingUndo :: FailureHandlingKind
data WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities :: Maybe Bool -> Maybe (List ResourceOperationKind) -> Maybe FailureHandlingKind -> WorkspaceEditClientCapabilities

-- | The client supports versioned document changes in
--   <a>WorkspaceEdit</a>s | The resource operations the client supports.
--   Clients should at least support <tt>create</tt>, <tt>rename</tt> and
--   <tt>delete</tt> files and folders.
[$sel:_documentChanges:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe Bool
[$sel:_resourceOperations:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe (List ResourceOperationKind)

-- | The failure handling strategy of a client if applying the workspace
--   edit fails.
[$sel:_failureHandling:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe FailureHandlingKind
data ApplyWorkspaceEditParams
ApplyWorkspaceEditParams :: Maybe Text -> WorkspaceEdit -> ApplyWorkspaceEditParams

-- | An optional label of the workspace edit. This label is presented in
--   the user interface for example on an undo stack to undo the workspace
--   edit.
[$sel:_label:ApplyWorkspaceEditParams] :: ApplyWorkspaceEditParams -> Maybe Text

-- | The edits to apply
[$sel:_edit:ApplyWorkspaceEditParams] :: ApplyWorkspaceEditParams -> WorkspaceEdit
data ApplyWorkspaceEditResponseBody
ApplyWorkspaceEditResponseBody :: Bool -> Maybe Text -> ApplyWorkspaceEditResponseBody

-- | Indicates whether the edit was applied or not.
[$sel:_applied:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Bool

-- | An optional textual description for why the edit was not applied. This
--   may be used may be used by the server for diagnostic logging or to
--   provide a suitable error for a request that triggered the edit.
[$sel:_failureReason:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Maybe Text

-- | Applies a <a>TextEdit</a> to some <a>Text</a>. &gt;&gt;&gt;
--   applyTextEdit (TextEdit (Range (Position 0 1) (Position 0 2)) "i")
--   "foo" "fio"
applyTextEdit :: TextEdit -> Text -> Text

-- | <a>editTextEdit</a> <tt>outer</tt> <tt>inner</tt> applies
--   <tt>inner</tt> to the text inside <tt>outer</tt>.
editTextEdit :: TextEdit -> TextEdit -> TextEdit

-- | Capabilities for full conformance to the current (v3.15) LSP
--   specification.
fullCaps :: ClientCapabilities

-- | A specific version of the LSP specification.
data LSPVersion

-- | Construct a major.minor version
LSPVersion :: Int -> Int -> LSPVersion

-- | Capabilities for full conformance to the LSP specification up until a
--   version. Some important milestones:
--   
--   <ul>
--   <li>3.12 textDocument/prepareRename request</li>
--   <li>3.11 CodeActionOptions provided by the server</li>
--   <li>3.10 hierarchical document symbols, folding ranges</li>
--   <li>3.9 completion item preselect</li>
--   <li>3.8 codeAction literals</li>
--   <li>3.7 related information in diagnostics</li>
--   <li>3.6 workspace folders, colors, goto type/implementation</li>
--   <li>3.4 extended completion item and symbol item kinds</li>
--   <li>3.0 dynamic registration</li>
--   </ul>
capsForVersion :: LSPVersion -> ClientCapabilities


-- | Handles the <a>Language.LSP.Types.TextDocumentDidChange</a> /
--   <a>Language.LSP.Types.TextDocumentDidOpen</a> /
--   <a>Language.LSP.Types.TextDocumentDidClose</a> messages to keep an
--   in-memory <tt>filesystem</tt> of the current client workspace. The
--   server can access and edit files in the client workspace by operating
--   on the <a>VFS</a> in <a>LspFuncs</a>.
module Language.LSP.VFS
data VFS
VFS :: Map NormalizedUri VirtualFile -> FilePath -> VFS
[$sel:vfsMap:VFS] :: VFS -> Map NormalizedUri VirtualFile

-- | This is where all the temporary files will be written to
[$sel:vfsTempDir:VFS] :: VFS -> FilePath
data VirtualFile
VirtualFile :: !Int -> !Int -> Rope -> VirtualFile

-- | The LSP version of the document
[$sel:_lsp_version:VirtualFile] :: VirtualFile -> !Int

-- | This number is only incremented whilst the file remains in the map.
[$sel:_file_version:VirtualFile] :: VirtualFile -> !Int

-- | The full contents of the document
[$sel:_text:VirtualFile] :: VirtualFile -> Rope
virtualFileText :: VirtualFile -> Text
virtualFileVersion :: VirtualFile -> Int
initVFS :: (VFS -> IO r) -> IO r

-- | Applies a <tt>DidChangeTextDocumentNotification</tt> to the <a>VFS</a>
--   
--   Applies the changes from a <a>DidOpenTextDocument</a> to the
--   <a>VFS</a>
openVFS :: VFS -> Message 'TextDocumentDidOpen -> (VFS, [String])
changeFromClientVFS :: VFS -> Message 'TextDocumentDidChange -> (VFS, [String])
changeFromServerVFS :: VFS -> Message 'WorkspaceApplyEdit -> IO VFS

-- | Write a virtual file to a temporary file if it exists in the VFS.
persistFileVFS :: VFS -> NormalizedUri -> Maybe (FilePath, IO ())
closeVFS :: VFS -> Message 'TextDocumentDidClose -> (VFS, [String])

-- | Applies the changes from a <tt>ApplyWorkspaceEditRequest</tt> to the
--   <a>VFS</a>
updateVFS :: (VFSMap -> VFSMap) -> VFS -> VFS
rangeLinesFromVfs :: VirtualFile -> Range -> Text

-- | Describes the line at the current cursor position
data PosPrefixInfo
PosPrefixInfo :: Text -> Text -> Text -> Position -> PosPrefixInfo

-- | The full contents of the line the cursor is at
[$sel:fullLine:PosPrefixInfo] :: PosPrefixInfo -> Text

-- | If any, the module name that was typed right before the cursor
--   position. For example, if the user has typed "Data.Maybe.from", then
--   this property will be <a>Data.Maybe</a>
[$sel:prefixModule:PosPrefixInfo] :: PosPrefixInfo -> Text

-- | The word right before the cursor position, after removing the module
--   part. For example if the user has typed "Data.Maybe.from", then this
--   property will be "from"
[$sel:prefixText:PosPrefixInfo] :: PosPrefixInfo -> Text

-- | The cursor position
[$sel:cursorPos:PosPrefixInfo] :: PosPrefixInfo -> Position
getCompletionPrefix :: Monad m => Position -> VirtualFile -> m (Maybe PosPrefixInfo)

-- | Apply the list of changes. Changes should be applied in the order that
--   they are received from the client.
applyChanges :: Rope -> [TextDocumentContentChangeEvent] -> Rope
applyChange :: Rope -> TextDocumentContentChangeEvent -> Rope
changeChars :: Rope -> Int -> Int -> Text -> Rope
instance GHC.Show.Show Language.LSP.VFS.VirtualFile
instance GHC.Show.Show Language.LSP.VFS.VFS
instance GHC.Classes.Eq Language.LSP.VFS.PosPrefixInfo
instance GHC.Show.Show Language.LSP.VFS.PosPrefixInfo