-- 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.5.0.0

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.SMethodMap

-- | A specialized alternative to a full dependent map for use with
--   <a>SMethod</a>.
data SMethodMap (v :: Method f t -> Type)
singleton :: SMethod a -> v a -> SMethodMap v
insert :: SMethod a -> v a -> SMethodMap v -> SMethodMap v
delete :: SMethod a -> SMethodMap v -> SMethodMap v
member :: SMethod a -> SMethodMap v -> Bool
lookup :: SMethod a -> SMethodMap v -> Maybe (v a)
map :: (forall a. u a -> v a) -> SMethodMap u -> SMethodMap v
instance forall (f :: Language.LSP.Types.Method.From) (t :: Language.LSP.Types.Method.MethodType) (v :: Language.LSP.Types.Method.Method f t -> *). GHC.Base.Semigroup (Language.LSP.Types.SMethodMap.SMethodMap v)
instance forall (f :: Language.LSP.Types.Method.From) (t :: Language.LSP.Types.Method.MethodType) (v :: Language.LSP.Types.Method.Method f t -> *). GHC.Base.Monoid (Language.LSP.Types.SMethodMap.SMethodMap v)

module Language.LSP.Types.Lens
class HasAdditionalPropertiesSupport s a | s -> a
additionalPropertiesSupport :: HasAdditionalPropertiesSupport s a => Lens' s a
class HasMessageActionItem s a | s -> a
messageActionItem :: HasMessageActionItem s a => Lens' s a
class HasSupport s a | s -> a
support :: HasSupport s a => Lens' s a
class HasCancel s a | s -> a
cancel :: HasCancel s a => Lens' s a
class HasRetryOnContentModified s a | s -> a
retryOnContentModified :: HasRetryOnContentModified s a => Lens' s a
class HasEngine s a | s -> a
engine :: HasEngine s a => Lens' s a
class HasVersion s a | s -> a
version :: HasVersion s a => Lens' s a
class HasMarkdown s a | s -> a
markdown :: HasMarkdown s a => Lens' s a
class HasRegularExpressions s a | s -> a
regularExpressions :: HasRegularExpressions s a => Lens' s a
class HasStaleRequestSupport s a | s -> a
staleRequestSupport :: HasStaleRequestSupport 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 HasSemanticTokens s a | s -> a
semanticTokens :: HasSemanticTokens 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 HasShowDocument s a | s -> a
showDocument :: HasShowDocument s a => Lens' s a
class HasShowMessage s a | s -> a
showMessage :: HasShowMessage s a => Lens' s a
class HasWorkDoneProgress s a | s -> a
workDoneProgress :: HasWorkDoneProgress s a => Lens' s a
class HasExperimental s a | s -> a
experimental :: HasExperimental s a => Lens' s a
class HasGeneral s a | s -> a
general :: HasGeneral 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 HasIncludeText s a | s -> a
includeText :: HasIncludeText 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 HasCallHierarchyProvider s a | s -> a
callHierarchyProvider :: HasCallHierarchyProvider 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 HasColorProvider s a | s -> a
colorProvider :: HasColorProvider 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 HasSemanticTokensProvider s a | s -> a
semanticTokensProvider :: HasSemanticTokensProvider 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 HasUnregisterations s a | s -> a
unregisterations :: HasUnregisterations 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 HasActiveParameter s a | s -> a
activeParameter :: HasActiveParameter s a => Lens' s a
class HasParameters s a | s -> a
parameters :: HasParameters 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 HasFailedChange s a | s -> a
failedChange :: HasFailedChange 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 HasWorkDoneToken s a | s -> a
workDoneToken :: HasWorkDoneToken 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 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 HasDynamicRegistration s a | s -> a
dynamicRegistration :: HasDynamicRegistration 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 HasUri s a | s -> a
uri :: HasUri 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 HasValueSet s a | s -> a
valueSet :: HasValueSet s a => Lens' s a
class HasSymbolKind s a | s -> a
symbolKind :: HasSymbolKind s a => Lens' s a
class HasTagSupport s a | s -> a
tagSupport :: HasTagSupport s a => Lens' s a
class HasPartialResultToken s a | s -> a
partialResultToken :: HasPartialResultToken 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 HasRange s a | s -> a
range :: HasRange s a => Lens' s a
class HasOriginSelectionRange s a | s -> a
originSelectionRange :: HasOriginSelectionRange s a => Lens' s a
class HasTargetRange s a | s -> a
targetRange :: HasTargetRange s a => Lens' s a
class HasTargetSelectionRange s a | s -> a
targetSelectionRange :: HasTargetSelectionRange s a => Lens' s a
class HasTargetUri s a | s -> a
targetUri :: HasTargetUri s a => Lens' s a
class HasValue s a | s -> a
value :: HasValue s a => Lens' s a
class HasParser s a | s -> a
parser :: HasParser s a => Lens' s a
class HasAdditionalTextEdits s a | s -> a
additionalTextEdits :: HasAdditionalTextEdits s a => Lens' s a
class HasCommand s a | s -> a
command :: HasCommand 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 HasInsertTextMode s a | s -> a
insertTextMode :: HasInsertTextMode 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 HasContext s a | s -> a
context :: HasContext s a => Lens' s a
class HasPosition s a | s -> a
position :: HasPosition 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 HasDocumentSelector s a | s -> a
documentSelector :: HasDocumentSelector s a => Lens' s a
class HasProperties s a | s -> a
properties :: HasProperties 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 HasInsertReplaceSupport s a | s -> a
insertReplaceSupport :: HasInsertReplaceSupport s a => Lens' s a
class HasInsertTextModeSupport s a | s -> a
insertTextModeSupport :: HasInsertTextModeSupport s a => Lens' s a
class HasPreselectSupport s a | s -> a
preselectSupport :: HasPreselectSupport s a => Lens' s a
class HasResolveSupport s a | s -> a
resolveSupport :: HasResolveSupport s a => Lens' s a
class HasSnippetSupport s a | s -> a
snippetSupport :: HasSnippetSupport 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 HasInsert s a | s -> a
insert :: HasInsert s a => Lens' s a
class HasNewText s a | s -> a
newText :: HasNewText s a => Lens' s a
class HasRepalce s a | s -> a
repalce :: HasRepalce s a => Lens' s a
class HasLinkSupport s a | s -> a
linkSupport :: HasLinkSupport 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 HasDataSupport s a | s -> a
dataSupport :: HasDataSupport s a => Lens' s a
class HasDisabledSupport s a | s -> a
disabledSupport :: HasDisabledSupport s a => Lens' s a
class HasHonorsChangeAnnotations s a | s -> a
honorsChangeAnnotations :: HasHonorsChangeAnnotations 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 HasDiagnostics s a | s -> a
diagnostics :: HasDiagnostics s a => Lens' s a
class HasOnly s a | s -> a
only :: HasOnly s a => Lens' s a
class HasDisabled s a | s -> a
disabled :: HasDisabled 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 HasIncludeDeclaration s a | s -> a
includeDeclaration :: HasIncludeDeclaration 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 HasLabelSupport s a | s -> a
labelSupport :: HasLabelSupport s a => Lens' s a
class HasChildren s a | s -> a
children :: HasChildren s a => Lens' s a
class HasSelectionRange s a | s -> a
selectionRange :: HasSelectionRange 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 HasLanguage s a | s -> a
language :: HasLanguage 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 HasDescription s a | s -> a
description :: HasDescription s a => Lens' s a
class HasNeedsConfirmation s a | s -> a
needsConfirmation :: HasNeedsConfirmation s a => Lens' s a
class HasAnnotationId s a | s -> a
annotationId :: HasAnnotationId s a => Lens' s a
class HasEdits s a | s -> a
edits :: HasEdits s a => Lens' s a
class HasIgnoreIfExists s a | s -> a
ignoreIfExists :: HasIgnoreIfExists s a => Lens' s a
class HasOverwrite s a | s -> a
overwrite :: HasOverwrite s a => Lens' s a
class HasNewUri s a | s -> a
newUri :: HasNewUri s a => Lens' s a
class HasOldUri s a | s -> a
oldUri :: HasOldUri s a => Lens' s a
class HasIgnoreIfNotExists s a | s -> a
ignoreIfNotExists :: HasIgnoreIfNotExists s a => Lens' s a
class HasRecursive s a | s -> a
recursive :: HasRecursive s a => Lens' s a
class HasChangeAnnotations s a | s -> a
changeAnnotations :: HasChangeAnnotations s a => Lens' s a
class HasDocumentChanges s a | s -> a
documentChanges :: HasDocumentChanges s a => Lens' s a
class HasChangeAnnotationSupport s a | s -> a
changeAnnotationSupport :: HasChangeAnnotationSupport s a => Lens' s a
class HasFailureHandling s a | s -> a
failureHandling :: HasFailureHandling s a => Lens' s a
class HasNormalizesLineEndings s a | s -> a
normalizesLineEndings :: HasNormalizesLineEndings s a => Lens' s a
class HasResourceOperations s a | s -> a
resourceOperations :: HasResourceOperations 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 HasText s a | s -> a
text :: HasText 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 HasCallHierarchy s a | s -> a
callHierarchy :: HasCallHierarchy 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 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 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 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 HasRangeLength s a | s -> a
rangeLength :: HasRangeLength 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 HasArguments s a | s -> a
arguments :: HasArguments s a => Lens' s a
class HasCommands s a | s -> a
commands :: HasCommands s a => Lens' s a
class HasRelatedInformation s a | s -> a
relatedInformation :: HasRelatedInformation 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 HasVersionSupport s a | s -> a
versionSupport :: HasVersionSupport s a => Lens' s a
class HasContentFormat s a | s -> a
contentFormat :: HasContentFormat 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 HasExternal s a | s -> a
external :: HasExternal s a => Lens' s a
class HasSelection s a | s -> a
selection :: HasSelection s a => Lens' s a
class HasTakeFocus s a | s -> a
takeFocus :: HasTakeFocus s a => Lens' s a
class HasSuccess s a | s -> a
success :: HasSuccess 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
class HasActiveParameterSuport s a | s -> a
activeParameterSuport :: HasActiveParameterSuport 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 HasRetriggerCharacters s a | s -> a
retriggerCharacters :: HasRetriggerCharacters 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 HasItem s a | s -> a
item :: HasItem s a => Lens' s a
class HasFrom s a | s -> a
from :: HasFrom s a => Lens' s a
class HasFromRanges s a | s -> a
fromRanges :: HasFromRanges s a => Lens' s a
class HasTo s a | s -> a
to :: HasTo s a => Lens' s a
class HasTokenModifiers s a | s -> a
tokenModifiers :: HasTokenModifiers s a => Lens' s a
class HasTokenTypes s a | s -> a
tokenTypes :: HasTokenTypes s a => Lens' s a
class HasDelta s a | s -> a
delta :: HasDelta s a => Lens' s a
class HasFull s a | s -> a
full :: HasFull s a => Lens' s a
class HasFormats s a | s -> a
formats :: HasFormats s a => Lens' s a
class HasMultilineTokenSupport s a | s -> a
multilineTokenSupport :: HasMultilineTokenSupport s a => Lens' s a
class HasOverlappingTokenSupport s a | s -> a
overlappingTokenSupport :: HasOverlappingTokenSupport s a => Lens' s a
class HasRequests s a | s -> a
requests :: HasRequests s a => Lens' s a
class HasPreviousResultId s a | s -> a
previousResultId :: HasPreviousResultId s a => Lens' s a
class HasResultId s a | s -> a
resultId :: HasResultId s a => Lens' s a
class HasDeleteCount s a | s -> a
deleteCount :: HasDeleteCount s a => Lens' s a
class HasRefreshSupport s a | s -> a
refreshSupport :: HasRefreshSupport s a => Lens' s a
_InR :: forall a_aarV b_a6XhY b_aarW. Prism ((|?) a_aarV b_a6XhY) ((|?) a_aarV b_aarW) b_a6XhY b_aarW
_InL :: forall a_a6XhT b_aarW a_aarV. Prism ((|?) a_a6XhT b_aarW) ((|?) a_aarV b_aarW) a_a6XhT a_aarV
instance Language.LSP.Types.Lens.HasRefreshSupport Language.LSP.Types.SemanticTokens.SemanticTokensWorkspaceClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasEdits Language.LSP.Types.SemanticTokens.SemanticTokensDeltaPartialResult (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokensEdit)
instance Language.LSP.Types.Lens.HasEdits Language.LSP.Types.SemanticTokens.SemanticTokensDelta (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokensEdit)
instance Language.LSP.Types.Lens.HasResultId Language.LSP.Types.SemanticTokens.SemanticTokensDelta (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasDeleteCount Language.LSP.Types.SemanticTokens.SemanticTokensEdit Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasStart Language.LSP.Types.SemanticTokens.SemanticTokensEdit Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.SemanticTokens.SemanticTokensEdit (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Common.UInt))
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.SemanticTokens.SemanticTokensPartialResult (Language.LSP.Types.Common.List Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasResultId Language.LSP.Types.SemanticTokens.SemanticTokens (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.SemanticTokens.SemanticTokens (Language.LSP.Types.Common.List Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.SemanticTokens.SemanticTokensRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.SemanticTokens.SemanticTokensRangeParams Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.SemanticTokens.SemanticTokensRangeParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.SemanticTokens.SemanticTokensRangeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPreviousResultId Language.LSP.Types.SemanticTokens.SemanticTokensDeltaParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.SemanticTokens.SemanticTokensDeltaParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.SemanticTokens.SemanticTokensDeltaParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.SemanticTokens.SemanticTokensDeltaParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.SemanticTokens.SemanticTokensParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.SemanticTokens.SemanticTokensParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.SemanticTokens.SemanticTokensParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasRequests Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities Language.LSP.Types.SemanticTokens.SemanticTokensRequestsClientCapabilities
instance Language.LSP.Types.Lens.HasOverlappingTokenSupport Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasMultilineTokenSupport Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasFormats Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.TokenFormat)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTokenModifiers Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokenModifiers)
instance Language.LSP.Types.Lens.HasTokenTypes Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokenTypes)
instance Language.LSP.Types.Lens.HasFull Language.LSP.Types.SemanticTokens.SemanticTokensRequestsClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SemanticTokens.SemanticTokensFullClientCapabilities)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.SemanticTokens.SemanticTokensRequestsClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SemanticTokens.SemanticTokensRangeClientCapabilities)
instance Language.LSP.Types.Lens.HasDelta Language.LSP.Types.SemanticTokens.SemanticTokensDeltaClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTokenTypes Language.LSP.Types.SemanticTokens.SemanticTokensLegend (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokenTypes)
instance Language.LSP.Types.Lens.HasTokenModifiers Language.LSP.Types.SemanticTokens.SemanticTokensLegend (Language.LSP.Types.Common.List Language.LSP.Types.SemanticTokens.SemanticTokenModifiers)
instance Language.LSP.Types.Lens.HasDetail Language.LSP.Types.CallHierarchy.CallHierarchyItem (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.CallHierarchy.CallHierarchyItem Language.LSP.Types.DocumentSymbol.SymbolKind
instance Language.LSP.Types.Lens.HasName Language.LSP.Types.CallHierarchy.CallHierarchyItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.CallHierarchy.CallHierarchyItem Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasSelectionRange Language.LSP.Types.CallHierarchy.CallHierarchyItem Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTags Language.LSP.Types.CallHierarchy.CallHierarchyItem (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.SymbolTag))
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.CallHierarchy.CallHierarchyItem Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasXdata Language.LSP.Types.CallHierarchy.CallHierarchyItem (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Language.LSP.Types.Lens.HasTo Language.LSP.Types.CallHierarchy.CallHierarchyOutgoingCall Language.LSP.Types.CallHierarchy.CallHierarchyItem
instance Language.LSP.Types.Lens.HasFromRanges Language.LSP.Types.CallHierarchy.CallHierarchyOutgoingCall (Language.LSP.Types.Common.List Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasItem Language.LSP.Types.CallHierarchy.CallHierarchyOutgoingCallsParams Language.LSP.Types.CallHierarchy.CallHierarchyItem
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.CallHierarchy.CallHierarchyOutgoingCallsParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.CallHierarchy.CallHierarchyOutgoingCallsParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasFromRanges Language.LSP.Types.CallHierarchy.CallHierarchyIncomingCall (Language.LSP.Types.Common.List Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasFrom Language.LSP.Types.CallHierarchy.CallHierarchyIncomingCall Language.LSP.Types.CallHierarchy.CallHierarchyItem
instance Language.LSP.Types.Lens.HasItem Language.LSP.Types.CallHierarchy.CallHierarchyIncomingCallsParams Language.LSP.Types.CallHierarchy.CallHierarchyItem
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.CallHierarchy.CallHierarchyIncomingCallsParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.CallHierarchy.CallHierarchyIncomingCallsParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.CallHierarchy.CallHierarchyPrepareParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.CallHierarchy.CallHierarchyPrepareParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.CallHierarchy.CallHierarchyPrepareParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.CallHierarchy.CallHierarchyRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.CallHierarchy.CallHierarchyRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CallHierarchy.CallHierarchyRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CallHierarchy.CallHierarchyOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDynamicRegistration Language.LSP.Types.CallHierarchy.CallHierarchyClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.StaticRegistrationOptions.StaticRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
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 Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasActiveParameter Language.LSP.Types.SignatureHelp.SignatureHelp (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
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 Data.Text.Internal.Text))
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Text.Internal.Text))
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SignatureHelp.SignatureHelpRegistrationOptions (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 Data.Text.Internal.Text))
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.SignatureHelp.SignatureHelpOptions (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Text.Internal.Text))
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.SignatureHelp.SignatureHelpOptions (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.HasContext Language.LSP.Types.SignatureHelp.SignatureHelpParams (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpContext)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.SignatureHelp.SignatureHelpParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.SignatureHelp.SignatureHelpParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.SignatureHelp.SignatureHelpParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
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.HasActiveParameterSuport Language.LSP.Types.SignatureHelp.SignatureHelpSignatureInformation (GHC.Maybe.Maybe GHC.Types.Bool)
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.HasPartialResultToken Language.LSP.Types.Progress.PartialResultParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Progress.WorkDoneProgressParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Progress.WorkDoneProgressOptions (GHC.Maybe.Maybe GHC.Types.Bool)
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 Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasPercentage Language.LSP.Types.Progress.WorkDoneProgressBeginParams (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
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.HasSuccess Language.LSP.Types.Window.ShowDocumentResult GHC.Types.Bool
instance Language.LSP.Types.Lens.HasTakeFocus Language.LSP.Types.Window.ShowDocumentParams (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasSelection Language.LSP.Types.Window.ShowDocumentParams (GHC.Maybe.Maybe Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasExternal Language.LSP.Types.Window.ShowDocumentParams (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.Window.ShowDocumentParams Language.LSP.Types.Uri.Uri
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.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.HasPartialResultToken Language.LSP.Types.TypeDefinition.TypeDefinitionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.TypeDefinition.TypeDefinitionParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TypeDefinition.TypeDefinitionParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.TypeDefinition.TypeDefinitionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.TypeDefinition.TypeDefinitionRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.TypeDefinition.TypeDefinitionRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.TypeDefinition.TypeDefinitionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.TypeDefinition.TypeDefinitionOptions (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.HasLinkSupport Language.LSP.Types.Definition.DefinitionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.Definition.DefinitionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Definition.DefinitionParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Definition.DefinitionParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Definition.DefinitionParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Definition.DefinitionRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Definition.DefinitionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Definition.DefinitionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPartialResultToken Language.LSP.Types.Implementation.ImplementationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Implementation.ImplementationParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Implementation.ImplementationParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Implementation.ImplementationParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.Implementation.ImplementationRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasId Language.LSP.Types.Implementation.ImplementationRegistrationOptions (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Implementation.ImplementationRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Implementation.ImplementationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
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.HasLanguage Language.LSP.Types.Hover.LanguageString Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasValue Language.LSP.Types.Hover.LanguageString Data.Text.Internal.Text
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.HasWorkDoneProgress Language.LSP.Types.Hover.HoverOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Hover.HoverParams Language.LSP.Types.Location.Position
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.Hover.HoverParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Hover.HoverParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
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.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.HasDiagnostics Language.LSP.Types.Diagnostic.PublishDiagnosticsParams (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.Diagnostic)
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.Diagnostic.PublishDiagnosticsParams Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.Diagnostic.PublishDiagnosticsParams (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
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.HasValueSet Language.LSP.Types.Diagnostic.PublishDiagnosticsTagsClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticTag)
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.HasRelatedInformation Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticRelatedInformation))
instance Language.LSP.Types.Lens.HasCode Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (GHC.Int.Int32 Language.LSP.Types.Common.|? Data.Text.Internal.Text))
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.HasTags Language.LSP.Types.Diagnostic.Diagnostic (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.Diagnostic.DiagnosticTag))
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.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.HasDynamicRegistration Language.LSP.Types.Command.ExecuteCommandClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
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.HasArguments Language.LSP.Types.Command.ExecuteCommandParams (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Data.Aeson.Types.Internal.Value))
instance Language.LSP.Types.Lens.HasCommand Language.LSP.Types.Command.ExecuteCommandParams Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.Command.ExecuteCommandParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
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.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.HasRangeLength Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent (GHC.Maybe.Maybe Language.LSP.Types.Location.Range)
instance Language.LSP.Types.Lens.HasText Language.LSP.Types.TextDocument.TextDocumentContentChangeEvent Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasTextDocument Language.LSP.Types.TextDocument.DidOpenTextDocumentParams Language.LSP.Types.TextDocument.TextDocumentItem
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.HasDocumentSelector Language.LSP.Types.TextDocument.TextDocumentRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
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.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.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.HasCallHierarchy Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CallHierarchy.CallHierarchyClientCapabilities)
instance Language.LSP.Types.Lens.HasColorProvider Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentColor.DocumentColorClientCapabilities)
instance Language.LSP.Types.Lens.HasSelectionRange Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SelectionRange.SelectionRangeClientCapabilities)
instance Language.LSP.Types.Lens.HasSemanticTokens Language.LSP.Types.ClientCapabilities.TextDocumentClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SemanticTokens.SemanticTokensClientCapabilities)
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.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.HasText Language.LSP.Types.TextDocument.TextDocumentItem Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasLanguageId 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.Int.Int32
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 a (f :: Language.LSP.Types.Method.From) (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 a (f :: Language.LSP.Types.Method.From) (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 a (f :: Language.LSP.Types.Method.From) (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.HasResourceOperations Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.ResourceOperationKind))
instance Language.LSP.Types.Lens.HasNormalizesLineEndings Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasFailureHandling Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.FailureHandlingKind)
instance Language.LSP.Types.Lens.HasChangeAnnotationSupport Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.WorkspaceEditChangeAnnotationClientCapabilities)
instance Language.LSP.Types.Lens.HasDocumentChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEditClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDocumentChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEdit (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.WorkspaceEdit.DocumentChange))
instance Language.LSP.Types.Lens.HasChangeAnnotations Language.LSP.Types.WorkspaceEdit.WorkspaceEdit (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.ChangeAnnotationMap)
instance Language.LSP.Types.Lens.HasChanges Language.LSP.Types.WorkspaceEdit.WorkspaceEdit (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.WorkspaceEditMap)
instance Language.LSP.Types.Lens.HasAnnotationId Language.LSP.Types.WorkspaceEdit.DeleteFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.ChangeAnnotationIdentifier)
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.WorkspaceEdit.DeleteFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.DeleteFileOptions)
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.WorkspaceEdit.DeleteFile Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasRecursive Language.LSP.Types.WorkspaceEdit.DeleteFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasIgnoreIfNotExists Language.LSP.Types.WorkspaceEdit.DeleteFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasOldUri Language.LSP.Types.WorkspaceEdit.RenameFile Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasNewUri Language.LSP.Types.WorkspaceEdit.RenameFile Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasAnnotationId Language.LSP.Types.WorkspaceEdit.RenameFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.ChangeAnnotationIdentifier)
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.WorkspaceEdit.RenameFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.RenameFileOptions)
instance Language.LSP.Types.Lens.HasIgnoreIfExists Language.LSP.Types.WorkspaceEdit.RenameFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasOverwrite Language.LSP.Types.WorkspaceEdit.RenameFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasAnnotationId Language.LSP.Types.WorkspaceEdit.CreateFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.ChangeAnnotationIdentifier)
instance Language.LSP.Types.Lens.HasOptions Language.LSP.Types.WorkspaceEdit.CreateFile (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceEdit.CreateFileOptions)
instance Language.LSP.Types.Lens.HasUri Language.LSP.Types.WorkspaceEdit.CreateFile Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasOverwrite Language.LSP.Types.WorkspaceEdit.CreateFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasIgnoreIfExists Language.LSP.Types.WorkspaceEdit.CreateFileOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasEdits Language.LSP.Types.WorkspaceEdit.TextDocumentEdit (Language.LSP.Types.Common.List (Language.LSP.Types.WorkspaceEdit.TextEdit Language.LSP.Types.Common.|? Language.LSP.Types.WorkspaceEdit.AnnotatedTextEdit))
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.HasAnnotationId Language.LSP.Types.WorkspaceEdit.AnnotatedTextEdit Language.LSP.Types.WorkspaceEdit.ChangeAnnotationIdentifier
instance Language.LSP.Types.Lens.HasNewText Language.LSP.Types.WorkspaceEdit.AnnotatedTextEdit Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRange Language.LSP.Types.WorkspaceEdit.AnnotatedTextEdit Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasNeedsConfirmation Language.LSP.Types.WorkspaceEdit.ChangeAnnotation (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDescription Language.LSP.Types.WorkspaceEdit.ChangeAnnotation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.WorkspaceEdit.ChangeAnnotation Data.Text.Internal.Text
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.HasTags Language.LSP.Types.DocumentSymbol.SymbolInformation (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.SymbolTag))
instance Language.LSP.Types.Lens.HasSelectionRange Language.LSP.Types.DocumentSymbol.DocumentSymbol Language.LSP.Types.Location.Range
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.HasTags Language.LSP.Types.DocumentSymbol.DocumentSymbol (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.DocumentSymbol.SymbolTag))
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.HasLabel Language.LSP.Types.DocumentSymbol.DocumentSymbolRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.DocumentSymbol.DocumentSymbolRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasLabel Language.LSP.Types.DocumentSymbol.DocumentSymbolOptions (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.HasLabelSupport Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities (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.HasTagSupport Language.LSP.Types.DocumentSymbol.DocumentSymbolClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.DocumentSymbol.DocumentSymbolTagClientCapabilities)
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 Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasStartCharacter Language.LSP.Types.FoldingRange.FoldingRange (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasEndLine Language.LSP.Types.FoldingRange.FoldingRange Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasEndCharacter Language.LSP.Types.FoldingRange.FoldingRange (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
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 Language.LSP.Types.Common.UInt)
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.HasContext Language.LSP.Types.References.ReferenceParams Language.LSP.Types.References.ReferenceContext
instance Language.LSP.Types.Lens.HasPartialResultToken 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.HasTextDocument Language.LSP.Types.References.ReferenceParams Language.LSP.Types.TextDocument.TextDocumentIdentifier
instance Language.LSP.Types.Lens.HasWorkDoneToken Language.LSP.Types.References.ReferenceParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
instance Language.LSP.Types.Lens.HasIncludeDeclaration Language.LSP.Types.References.ReferenceContext GHC.Types.Bool
instance Language.LSP.Types.Lens.HasDocumentSelector Language.LSP.Types.References.ReferenceRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.References.ReferenceRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.References.ReferenceOptions (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.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 Data.Text.Internal.Text
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 Language.LSP.Types.Common.UInt
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.Float
instance Language.LSP.Types.Lens.HasGreen Language.LSP.Types.DocumentColor.Color GHC.Types.Float
instance Language.LSP.Types.Lens.HasBlue Language.LSP.Types.DocumentColor.Color GHC.Types.Float
instance Language.LSP.Types.Lens.HasAlpha Language.LSP.Types.DocumentColor.Color GHC.Types.Float
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 Data.Text.Internal.Text)
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.HasDisabled Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe Language.LSP.Types.CodeAction.Reason)
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.HasXdata Language.LSP.Types.CodeAction.CodeAction (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
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.HasResolveProvider Language.LSP.Types.CodeAction.CodeActionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
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.HasResolveProvider Language.LSP.Types.CodeAction.CodeActionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.CodeAction.CodeActionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasProperties Language.LSP.Types.CodeAction.CodeActionResolveClientCapabilities (Language.LSP.Types.Common.List Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasIsPreferredSupport Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasHonorsChangeAnnotations Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDisabledSupport Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasDataSupport 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.HasResolveSupport Language.LSP.Types.CodeAction.CodeActionClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.CodeAction.CodeActionResolveClientCapabilities)
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.HasLinkSupport Language.LSP.Types.Declaration.DeclarationClientCapabilities (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.HasRepalce Language.LSP.Types.Completion.InsertReplaceEdit Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasNewText Language.LSP.Types.Completion.InsertReplaceEdit Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasInsert Language.LSP.Types.Completion.InsertReplaceEdit Language.LSP.Types.Location.Range
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.HasSnippetSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasResolveSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemResolveClientCapabilities)
instance Language.LSP.Types.Lens.HasPreselectSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasInsertTextModeSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemInsertTextModeClientCapabilities)
instance Language.LSP.Types.Lens.HasInsertReplaceSupport 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.HasTagSupport Language.LSP.Types.Completion.CompletionItemClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.Completion.CompletionItemTagsClientCapabilities)
instance Language.LSP.Types.Lens.HasValueSet Language.LSP.Types.Completion.CompletionItemInsertTextModeClientCapabilities (Language.LSP.Types.Common.List Language.LSP.Types.Completion.InsertTextMode)
instance Language.LSP.Types.Lens.HasProperties Language.LSP.Types.Completion.CompletionItemResolveClientCapabilities (Language.LSP.Types.Common.List Data.Text.Internal.Text)
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.HasDocumentSelector Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe Language.LSP.Types.DocumentFilter.DocumentSelector)
instance Language.LSP.Types.Lens.HasAllCommitCharacters Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe [Data.Text.Internal.Text])
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 [Data.Text.Internal.Text])
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Completion.CompletionRegistrationOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasTriggerCharacters Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe [Data.Text.Internal.Text])
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 [Data.Text.Internal.Text])
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.Completion.CompletionOptions (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasPosition Language.LSP.Types.Completion.CompletionParams Language.LSP.Types.Location.Position
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.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.Completion.CompletionEdit)
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.HasInsertTextMode Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Completion.InsertTextMode)
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.HasCommand Language.LSP.Types.Completion.CompletionItem (GHC.Maybe.Maybe Language.LSP.Types.Command.Command)
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.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.HasParser Language.LSP.Types.MarkupContent.MarkdownClientCapabilities Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.MarkupContent.MarkdownClientCapabilities (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasValue Language.LSP.Types.MarkupContent.MarkupContent Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasKind Language.LSP.Types.MarkupContent.MarkupContent Language.LSP.Types.MarkupContent.MarkupKind
instance Language.LSP.Types.Lens.HasTargetUri Language.LSP.Types.Location.LocationLink Language.LSP.Types.Uri.Uri
instance Language.LSP.Types.Lens.HasTargetSelectionRange Language.LSP.Types.Location.LocationLink Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasTargetRange Language.LSP.Types.Location.LocationLink Language.LSP.Types.Location.Range
instance Language.LSP.Types.Lens.HasOriginSelectionRange Language.LSP.Types.Location.LocationLink (GHC.Maybe.Maybe Language.LSP.Types.Location.Range)
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 Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasCharacter Language.LSP.Types.Location.Position Language.LSP.Types.Common.UInt
instance Language.LSP.Types.Lens.HasQuery Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolParams Data.Text.Internal.Text
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.HasTagSupport Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolTagClientCapabilities)
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 Data.Text.Internal.Text
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.HasDynamicRegistration Language.LSP.Types.Configuration.DidChangeConfigurationClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
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.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.HasWorkDoneToken Language.LSP.Types.Initialize.InitializeParams (GHC.Maybe.Maybe Language.LSP.Types.Progress.ProgressToken)
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.Int.Int32)
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.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.HasFailedChange Language.LSP.Types.WorkspaceEdit.ApplyWorkspaceEditResponseBody (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
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.HasParameters Language.LSP.Types.SignatureHelp.SignatureInformation (GHC.Maybe.Maybe (Language.LSP.Types.Common.List Language.LSP.Types.SignatureHelp.ParameterInformation))
instance Language.LSP.Types.Lens.HasActiveParameter Language.LSP.Types.SignatureHelp.SignatureInformation (GHC.Maybe.Maybe Language.LSP.Types.Common.UInt)
instance Language.LSP.Types.Lens.HasDocumentation Language.LSP.Types.SignatureHelp.SignatureInformation (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpDoc)
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 Language.LSP.Types.SignatureHelp.ParameterLabel
instance Language.LSP.Types.Lens.HasDocumentation Language.LSP.Types.SignatureHelp.ParameterInformation (GHC.Maybe.Maybe Language.LSP.Types.SignatureHelp.SignatureHelpDoc)
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.HasRegistrations Language.LSP.Types.Registration.RegistrationParams (Language.LSP.Types.Common.List Language.LSP.Types.Registration.SomeRegistration)
instance forall a (t :: Language.LSP.Types.Method.MethodType) (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 Language.LSP.Types.Common.|? Language.LSP.Types.WorkspaceSymbol.WorkspaceSymbolOptions))
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.HasSemanticTokensProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (Language.LSP.Types.SemanticTokens.SemanticTokensOptions Language.LSP.Types.Common.|? Language.LSP.Types.SemanticTokens.SemanticTokensRegistrationOptions))
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.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.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.HasCallHierarchyProvider Language.LSP.Types.ServerCapabilities.ServerCapabilities (GHC.Maybe.Maybe (GHC.Types.Bool Language.LSP.Types.Common.|? (Language.LSP.Types.CallHierarchy.CallHierarchyOptions Language.LSP.Types.Common.|? Language.LSP.Types.CallHierarchy.CallHierarchyRegistrationOptions)))
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.HasIncludeText Language.LSP.Types.TextDocument.SaveOptions (GHC.Maybe.Maybe GHC.Types.Bool)
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.HasGeneral Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.GeneralClientCapabilities)
instance Language.LSP.Types.Lens.HasExperimental Language.LSP.Types.ClientCapabilities.ClientCapabilities (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Object)
instance Language.LSP.Types.Lens.HasWorkDoneProgress Language.LSP.Types.ClientCapabilities.WindowClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)
instance Language.LSP.Types.Lens.HasShowMessage Language.LSP.Types.ClientCapabilities.WindowClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.ShowMessageRequestClientCapabilities)
instance Language.LSP.Types.Lens.HasShowDocument Language.LSP.Types.ClientCapabilities.WindowClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.ShowDocumentClientCapabilities)
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.HasSemanticTokens Language.LSP.Types.ClientCapabilities.WorkspaceClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.SemanticTokens.SemanticTokensWorkspaceClientCapabilities)
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.HasStaleRequestSupport Language.LSP.Types.ClientCapabilities.GeneralClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.StaleRequestClientCapabilities)
instance Language.LSP.Types.Lens.HasRegularExpressions Language.LSP.Types.ClientCapabilities.GeneralClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.RegularExpressionsClientCapabilities)
instance Language.LSP.Types.Lens.HasMarkdown Language.LSP.Types.ClientCapabilities.GeneralClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.MarkupContent.MarkdownClientCapabilities)
instance Language.LSP.Types.Lens.HasVersion Language.LSP.Types.ClientCapabilities.RegularExpressionsClientCapabilities (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasEngine Language.LSP.Types.ClientCapabilities.RegularExpressionsClientCapabilities Data.Text.Internal.Text
instance Language.LSP.Types.Lens.HasRetryOnContentModified Language.LSP.Types.ClientCapabilities.StaleRequestClientCapabilities (Language.LSP.Types.Common.List Data.Text.Internal.Text)
instance Language.LSP.Types.Lens.HasCancel Language.LSP.Types.ClientCapabilities.StaleRequestClientCapabilities GHC.Types.Bool
instance Language.LSP.Types.Lens.HasSupport Language.LSP.Types.ClientCapabilities.ShowDocumentClientCapabilities GHC.Types.Bool
instance Language.LSP.Types.Lens.HasMessageActionItem Language.LSP.Types.ClientCapabilities.ShowMessageRequestClientCapabilities (GHC.Maybe.Maybe Language.LSP.Types.ClientCapabilities.MessageActionItemClientCapabilities)
instance Language.LSP.Types.Lens.HasAdditionalPropertiesSupport Language.LSP.Types.ClientCapabilities.MessageActionItemClientCapabilities (GHC.Maybe.Maybe GHC.Types.Bool)

module Language.LSP.Types
data CallHierarchyClientCapabilities
CallHierarchyClientCapabilities :: Maybe Bool -> CallHierarchyClientCapabilities
[$sel:_dynamicRegistration:CallHierarchyClientCapabilities] :: CallHierarchyClientCapabilities -> Maybe Bool
data CallHierarchyOptions
CallHierarchyOptions :: Maybe Bool -> CallHierarchyOptions
[$sel:_workDoneProgress:CallHierarchyOptions] :: CallHierarchyOptions -> Maybe Bool
data CallHierarchyRegistrationOptions
CallHierarchyRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Text -> CallHierarchyRegistrationOptions
[$sel:_documentSelector:CallHierarchyRegistrationOptions] :: CallHierarchyRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CallHierarchyRegistrationOptions] :: CallHierarchyRegistrationOptions -> Maybe Bool
[$sel:_id:CallHierarchyRegistrationOptions] :: CallHierarchyRegistrationOptions -> Maybe Text
data CallHierarchyPrepareParams
CallHierarchyPrepareParams :: TextDocumentIdentifier -> Position -> Maybe ProgressToken -> CallHierarchyPrepareParams
[$sel:_textDocument:CallHierarchyPrepareParams] :: CallHierarchyPrepareParams -> TextDocumentIdentifier
[$sel:_position:CallHierarchyPrepareParams] :: CallHierarchyPrepareParams -> Position
[$sel:_workDoneToken:CallHierarchyPrepareParams] :: CallHierarchyPrepareParams -> Maybe ProgressToken
data CallHierarchyItem
CallHierarchyItem :: Text -> SymbolKind -> Maybe (List SymbolTag) -> Maybe Text -> Uri -> Range -> Range -> Maybe Value -> CallHierarchyItem
[$sel:_name:CallHierarchyItem] :: CallHierarchyItem -> Text
[$sel:_kind:CallHierarchyItem] :: CallHierarchyItem -> SymbolKind
[$sel:_tags:CallHierarchyItem] :: CallHierarchyItem -> Maybe (List SymbolTag)

-- | More detail for this item, e.g. the signature of a function.
[$sel:_detail:CallHierarchyItem] :: CallHierarchyItem -> Maybe Text
[$sel:_uri:CallHierarchyItem] :: CallHierarchyItem -> Uri
[$sel:_range:CallHierarchyItem] :: CallHierarchyItem -> 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
--   <tt>_range</tt>.
[$sel:_selectionRange:CallHierarchyItem] :: CallHierarchyItem -> Range

-- | A data entry field that is preserved between a call hierarchy prepare
--   and incoming calls or outgoing calls requests.
[$sel:_xdata:CallHierarchyItem] :: CallHierarchyItem -> Maybe Value
data CallHierarchyIncomingCallsParams
CallHierarchyIncomingCallsParams :: Maybe ProgressToken -> Maybe ProgressToken -> CallHierarchyItem -> CallHierarchyIncomingCallsParams
[$sel:_workDoneToken:CallHierarchyIncomingCallsParams] :: CallHierarchyIncomingCallsParams -> Maybe ProgressToken
[$sel:_partialResultToken:CallHierarchyIncomingCallsParams] :: CallHierarchyIncomingCallsParams -> Maybe ProgressToken
[$sel:_item:CallHierarchyIncomingCallsParams] :: CallHierarchyIncomingCallsParams -> CallHierarchyItem
data CallHierarchyIncomingCall
CallHierarchyIncomingCall :: CallHierarchyItem -> List Range -> CallHierarchyIncomingCall

-- | The item that makes the call.
[$sel:_from:CallHierarchyIncomingCall] :: CallHierarchyIncomingCall -> CallHierarchyItem

-- | The ranges at which the calls appear. This is relative to the caller
--   denoted by <tt>_from</tt>.
[$sel:_fromRanges:CallHierarchyIncomingCall] :: CallHierarchyIncomingCall -> List Range
data CallHierarchyOutgoingCallsParams
CallHierarchyOutgoingCallsParams :: Maybe ProgressToken -> Maybe ProgressToken -> CallHierarchyItem -> CallHierarchyOutgoingCallsParams
[$sel:_workDoneToken:CallHierarchyOutgoingCallsParams] :: CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
[$sel:_partialResultToken:CallHierarchyOutgoingCallsParams] :: CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
[$sel:_item:CallHierarchyOutgoingCallsParams] :: CallHierarchyOutgoingCallsParams -> CallHierarchyItem
data CallHierarchyOutgoingCall
CallHierarchyOutgoingCall :: CallHierarchyItem -> List Range -> CallHierarchyOutgoingCall

-- | The item that is called.
[$sel:_to:CallHierarchyOutgoingCall] :: CallHierarchyOutgoingCall -> CallHierarchyItem

-- | The range at which this item is called. THis is the range relative to
--   the caller, e.g the item passed to `callHierarchy/outgoingCalls`
--   request.
[$sel:_fromRanges:CallHierarchyOutgoingCall] :: CallHierarchyOutgoingCall -> List Range
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
fromHierarchicalString :: Text -> CodeActionKind
toHierarchicalString :: CodeActionKind -> Text

-- | Does the first <a>CodeActionKind</a> subsume the other one,
--   hierarchically. Reflexive.
codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool

-- | The <a>CodeActionKind</a>s listed in the LSP spec specifically.
specCodeActionKinds :: [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 CodeActionResolveClientCapabilities
CodeActionResolveClientCapabilities :: List Text -> CodeActionResolveClientCapabilities

-- | The properties that a client can resolve lazily.
[$sel:_properties:CodeActionResolveClientCapabilities] :: CodeActionResolveClientCapabilities -> List Text
data CodeActionClientCapabilities
CodeActionClientCapabilities :: Maybe Bool -> Maybe CodeActionLiteralSupport -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe CodeActionResolveClientCapabilities -> 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

-- | Whether code action supports the <tt>disabled</tt> property.
[$sel:_disabledSupport:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe Bool

-- | Whether code action supports the `data` property which is preserved
--   between a `textDocument/codeAction` and a `codeAction/resolve`
--   request.
[$sel:_dataSupport:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe Bool

-- | Whether the client supports resolving additional code action
--   properties via a separate `codeAction/resolve` request.
[$sel:_resolveSupport:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe CodeActionResolveClientCapabilities

-- | Whether the client honors the change annotations in text edits and
--   resource operations returned via the `CodeAction#edit` property by for
--   example presenting the workspace edit in the user interface and asking
--   for confirmation.
[$sel:_honorsChangeAnnotations:CodeActionClientCapabilities] :: CodeActionClientCapabilities -> Maybe Bool
data CodeActionOptions
CodeActionOptions :: Maybe Bool -> Maybe (List CodeActionKind) -> Maybe Bool -> CodeActionOptions
[$sel:_workDoneProgress:CodeActionOptions] :: CodeActionOptions -> Maybe Bool
[$sel:_codeActionKinds:CodeActionOptions] :: CodeActionOptions -> Maybe (List CodeActionKind)
[$sel:_resolveProvider:CodeActionOptions] :: CodeActionOptions -> Maybe Bool
data CodeActionRegistrationOptions
CodeActionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe (List CodeActionKind) -> Maybe Bool -> CodeActionRegistrationOptions
[$sel:_documentSelector:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe Bool
[$sel:_codeActionKinds:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe (List CodeActionKind)
[$sel:_resolveProvider:CodeActionRegistrationOptions] :: CodeActionRegistrationOptions -> Maybe Bool

-- | 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
newtype Reason
Reason :: Text -> Reason
[$sel:_reason:Reason] :: Reason -> Text

-- | 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 Reason -> Maybe WorkspaceEdit -> Maybe Command -> Maybe Value -> 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

-- | Marks that the code action cannot currently be applied. | The
--   workspace edit this code action performs.
[$sel:_disabled:CodeAction] :: CodeAction -> Maybe Reason
[$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

-- | A data entry field that is preserved on a code action between a
--   `textDocument<i>codeAction` and a `codeAction</i>resolve` request.
[$sel:_xdata:CodeAction] :: CodeAction -> Maybe Value
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

-- | 32-bit signed integer type
data Int32

-- | The "uinteger" type in the LSP spec.
--   
--   Unusually, this is a **31**-bit unsigned integer, not a 32-bit one.
data UInt
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.
CitDeprecated :: CompletionItemTag
CitUnknown :: Scientific -> CompletionItemTag
data CompletionItemTagsClientCapabilities
CompletionItemTagsClientCapabilities :: List CompletionItemTag -> CompletionItemTagsClientCapabilities

-- | The tag supported by the client.
[$sel:_valueSet:CompletionItemTagsClientCapabilities] :: CompletionItemTagsClientCapabilities -> List CompletionItemTag
data CompletionItemResolveClientCapabilities
CompletionItemResolveClientCapabilities :: List Text -> CompletionItemResolveClientCapabilities

-- | The properties that a client can resolve lazily.
[$sel:_properties:CompletionItemResolveClientCapabilities] :: CompletionItemResolveClientCapabilities -> List Text

-- | How whitespace and indentation is handled during completion item
--   insertion.
data InsertTextMode

-- | The insertion or replace strings is taken as it is. If the value is
--   multi line the lines below the cursor will be inserted using the
--   indentation defined in the string value. The client will not apply any
--   kind of adjustments to the string.
AsIs :: InsertTextMode

-- | The editor adjusts leading whitespace of new lines so that they match
--   the indentation up to the cursor of the line for which the item is
--   accepted.
--   
--   Consider a line like this: <a>2tabs</a><a>cursor</a><a>3tabs</a>foo.
--   Accepting a multi line completion item is indented using 2 tabs and
--   all following lines inserted will be indented using 2 tabs as well.
AdjustIndentation :: InsertTextMode
data CompletionItemInsertTextModeClientCapabilities
CompletionItemInsertTextModeClientCapabilities :: List InsertTextMode -> CompletionItemInsertTextModeClientCapabilities
[$sel:_valueSet:CompletionItemInsertTextModeClientCapabilities] :: CompletionItemInsertTextModeClientCapabilities -> List InsertTextMode
data CompletionItemClientCapabilities
CompletionItemClientCapabilities :: Maybe Bool -> Maybe Bool -> Maybe (List MarkupKind) -> Maybe Bool -> Maybe Bool -> Maybe CompletionItemTagsClientCapabilities -> Maybe Bool -> Maybe CompletionItemResolveClientCapabilities -> Maybe CompletionItemInsertTextModeClientCapabilities -> 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

-- | Client supports insert replace edit to control different behavior if
--   completion item is inserted in the text or should replace text.
[$sel:_insertReplaceSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe Bool

-- | Indicates which properties a client can resolve lazily on a completion
--   item. Before version 3.16.0 only the predefined properties
--   <tt>documentation</tt> and <tt>details</tt> could be resolved lazily.
[$sel:_resolveSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe CompletionItemResolveClientCapabilities

-- | The client supports the <tt>insertTextMode</tt> property on a
--   completion item to override the whitespace handling mode as defined by
--   the client (see <tt>insertTextMode</tt>).
[$sel:_insertTextModeSupport:CompletionItemClientCapabilities] :: CompletionItemClientCapabilities -> Maybe CompletionItemInsertTextModeClientCapabilities
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 InsertReplaceEdit
InsertReplaceEdit :: Text -> Range -> Range -> InsertReplaceEdit

-- | The string to be inserted.
[$sel:_newText:InsertReplaceEdit] :: InsertReplaceEdit -> Text

-- | The range if the insert is requested
[$sel:_insert:InsertReplaceEdit] :: InsertReplaceEdit -> Range

-- | The range if the replace is requested.
[$sel:_repalce:InsertReplaceEdit] :: InsertReplaceEdit -> Range
data CompletionEdit
CompletionEditText :: TextEdit -> CompletionEdit
CompletionEditInsertReplace :: InsertReplaceEdit -> CompletionEdit
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 InsertTextMode -> Maybe CompletionEdit -> 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

-- | How whitespace and indentation is handled during completion item
--   insertion. If not provided the client's default value depends on the
--   <tt>textDocument.completion.insertTextMode</tt> client capability.
[$sel:_insertTextMode:CompletionItem] :: CompletionItem -> Maybe InsertTextMode

-- | 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 CompletionEdit

-- | 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 [Text] -> Maybe [Text] -> Maybe Bool -> CompletionOptions
[$sel:_workDoneProgress:CompletionOptions] :: CompletionOptions -> Maybe Bool
[$sel:_triggerCharacters:CompletionOptions] :: CompletionOptions -> Maybe [Text]
[$sel:_allCommitCharacters:CompletionOptions] :: CompletionOptions -> Maybe [Text]
[$sel:_resolveProvider:CompletionOptions] :: CompletionOptions -> Maybe Bool
data CompletionRegistrationOptions
CompletionRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe [Text] -> Maybe [Text] -> Maybe Bool -> CompletionRegistrationOptions
[$sel:_documentSelector:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe Bool
[$sel:_triggerCharacters:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe [Text]
[$sel:_allCommitCharacters:CompletionRegistrationOptions] :: CompletionRegistrationOptions -> Maybe [Text]
[$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 (Int32 |? Text) -> 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 (Int32 |? Text)
[$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 UInt -> 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 UInt

-- | 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 :: Float -> Float -> Float -> Float -> Color

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

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

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

-- | The alpha component of this color in the range [0-1].
[$sel:_alpha:Color] :: Color -> Float
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 Text -> 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 Text

-- | 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 -> Maybe Bool -> DocumentSymbolOptions
[$sel:_workDoneProgress:DocumentSymbolOptions] :: DocumentSymbolOptions -> Maybe Bool
[$sel:_label:DocumentSymbolOptions] :: DocumentSymbolOptions -> Maybe Bool
data DocumentSymbolRegistrationOptions
DocumentSymbolRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe Bool -> DocumentSymbolRegistrationOptions
[$sel:_documentSelector:DocumentSymbolRegistrationOptions] :: DocumentSymbolRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:DocumentSymbolRegistrationOptions] :: DocumentSymbolRegistrationOptions -> Maybe Bool
[$sel:_label: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

-- | Symbol tags are extra annotations that tweak the rendering of a
--   symbol.
data SymbolTag

-- | Render a symbol as obsolete, usually using a strike-out.
StDeprecated :: SymbolTag
StUnknown :: Scientific -> SymbolTag
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 DocumentSymbolTagClientCapabilities
DocumentSymbolTagClientCapabilities :: Maybe (List SymbolTag) -> DocumentSymbolTagClientCapabilities

-- | The tags supported by the client.
[$sel:_valueSet:DocumentSymbolTagClientCapabilities] :: DocumentSymbolTagClientCapabilities -> Maybe (List SymbolTag)
data DocumentSymbolClientCapabilities
DocumentSymbolClientCapabilities :: Maybe Bool -> Maybe DocumentSymbolKindClientCapabilities -> Maybe Bool -> Maybe DocumentSymbolTagClientCapabilities -> 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

-- | The client supports tags on <a>SymbolInformation</a>. Clients
--   supporting tags have to handle unknown tags gracefully.
[$sel:_tagSupport:DocumentSymbolClientCapabilities] :: DocumentSymbolClientCapabilities -> Maybe DocumentSymbolTagClientCapabilities

-- | The client supports an additional label presented in the UI when
--   registering a document symbol provider.
[$sel:_labelSupport: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 (List SymbolTag) -> 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

-- | Tags for this document symbol.
[$sel:_tags:DocumentSymbol] :: DocumentSymbol -> Maybe (List SymbolTag)

-- | Indicates if this symbol is deprecated. Deprecated, use tags instead.
--   | 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.

-- | <i>Deprecated: Use tags instead</i>
[$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 (List SymbolTag) -> 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

-- | Tags for this symbol.
[$sel:_tags:SymbolInformation] :: SymbolInformation -> Maybe (List SymbolTag)

-- | Indicates if this symbol is deprecated. Deprecated, use tags instead.
--   | 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.

-- | <i>Deprecated: Use tags instead</i>
[$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 UInt -> 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 UInt

-- | 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 :: UInt -> Maybe UInt -> UInt -> Maybe UInt -> Maybe FoldingRangeKind -> FoldingRange

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

-- | 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 UInt

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

-- | 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 UInt

-- | 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 :: UInt -> Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> FormattingOptions

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

-- | 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 -> Text -> FormattingOptions -> DocumentOnTypeFormattingParams
[$sel:_textDocument:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> TextDocumentIdentifier
[$sel:_position:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> Position
[$sel:_ch:DocumentOnTypeFormattingParams] :: DocumentOnTypeFormattingParams -> Text
[$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 Int32 -> 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 Int32
[$sel:_clientInfo:InitializeParams] :: InitializeParams -> Maybe ClientInfo
[$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

-- | A position in a document. Note that the character offsets in a line
--   are given in UTF-16 code units, *not* Unicode code points.
data Position
Position :: UInt -> UInt -> Position

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

-- | 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 -> UInt
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 :: UInt -> UInt -> UInt -> UInt -> Range

-- | Id used for a request, Can be either a String or an Int
data LspId (m :: Method f Request)
IdInt :: !Int32 -> 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

-- | Given some plaintext, convert it into some equivalent markdown text.
--   This is not *quite* the identity function.
plainTextToMarkdown :: Text -> Text

-- | Client capabilities specific to the used markdown parser. @since
--   3.16.0
data MarkdownClientCapabilities
MarkdownClientCapabilities :: Text -> Maybe Text -> MarkdownClientCapabilities
[$sel:_parser:MarkdownClientCapabilities] :: MarkdownClientCapabilities -> Text
[$sel:_version:MarkdownClientCapabilities] :: MarkdownClientCapabilities -> Maybe 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
[TextDocumentPrepareCallHierarchy] :: Method FromClient Request
[CallHierarchyIncomingCalls] :: Method FromClient Request
[CallHierarchyOutgoingCalls] :: Method FromClient Request
[TextDocumentSemanticTokens] :: Method FromClient Request
[TextDocumentSemanticTokensFull] :: Method FromClient Request
[TextDocumentSemanticTokensFullDelta] :: Method FromClient Request
[TextDocumentSemanticTokensRange] :: Method FromClient Request
[WorkspaceSemanticTokensRefresh] :: Method FromClient Request
[WindowShowMessage] :: Method FromServer Notification
[WindowShowMessageRequest] :: Method FromServer Request
[WindowShowDocument] :: 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
[STextDocumentPrepareCallHierarchy] :: SMethod TextDocumentPrepareCallHierarchy
[SCallHierarchyIncomingCalls] :: SMethod CallHierarchyIncomingCalls
[SCallHierarchyOutgoingCalls] :: SMethod CallHierarchyOutgoingCalls
[STextDocumentSemanticTokens] :: SMethod TextDocumentSemanticTokens
[STextDocumentSemanticTokensFull] :: SMethod TextDocumentSemanticTokensFull
[STextDocumentSemanticTokensFullDelta] :: SMethod TextDocumentSemanticTokensFullDelta
[STextDocumentSemanticTokensRange] :: SMethod TextDocumentSemanticTokensRange
[SWorkspaceSemanticTokensRefresh] :: SMethod WorkspaceSemanticTokensRefresh
[SWindowShowMessage] :: SMethod WindowShowMessage
[SWindowShowMessageRequest] :: SMethod WindowShowMessageRequest
[SWindowShowDocument] :: SMethod WindowShowDocument
[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

-- | Replace a missing field in an object with a null field, to simplify
--   parsing This is a hack to allow other types than Maybe to work like
--   Maybe in allowing the field to be missing. See also this issue:
--   <a>https://github.com/haskell/aeson/issues/646</a>
addNullField :: String -> Value -> Value

-- | 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

-- | Given a witness that two custom methods are of the same type, produce
--   a witness that the methods are the same
data CustomEq m1 m2
[CustomEq] :: (m1 ~ (CustomMethod :: Method f t1), m2 ~ (CustomMethod :: Method f t2)) => {runCustomEq :: t1 ~ t2 => m1 :~~: m2} -> CustomEq m1 m2
runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2)

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

-- | Heterogeneous equality on singleton client methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (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 :: Int32 -> 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

-- | Parameters for <tt>WorkDoneProgressBeginNotification</tt>.
data WorkDoneProgressBeginParams
WorkDoneProgressBeginParams :: Text -> Maybe Bool -> Maybe Text -> Maybe UInt -> 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 UInt

-- | Parameters for <tt>WorkDoneProgressReportNotification</tt>
data WorkDoneProgressReportParams
WorkDoneProgressReportParams :: Maybe Bool -> Maybe Text -> Maybe UInt -> 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 UInt

-- | 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 SomeProgressParams
Begin :: WorkDoneProgressBeginParams -> SomeProgressParams
Report :: WorkDoneProgressReportParams -> SomeProgressParams
End :: WorkDoneProgressEndParams -> SomeProgressParams
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_a648B x_a648C. SMethod m_a648B -> (Show (RegistrationOptions m_a648B) => ToJSON (RegistrationOptions m_a648B) => FromJSON (RegistrationOptions m_a648B) => x_a648C) -> x_a648C
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 PrepareSupportDefaultBehavior
PsIdentifier :: PrepareSupportDefaultBehavior
PsUnknown :: Scientific -> PrepareSupportDefaultBehavior
data RenameClientCapabilities
RenameClientCapabilities :: Maybe Bool -> Maybe Bool -> Maybe PrepareSupportDefaultBehavior -> 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

-- | Client supports the default behavior result (`{ defaultBehavior:
--   boolean }`).
--   
--   The value indicates the default behavior used by the client.
[$sel:prepareSupportDefaultBehavior:RenameClientCapabilities] :: RenameClientCapabilities -> Maybe PrepareSupportDefaultBehavior

-- | Whether the client honors the change annotations in text edits and
--   resource operations returned via the rename request's workspace edit
--   by for example presenting the workspace edit in the user interface and
--   asking for confirmation.
[$sel:honorsChangeAnnotations: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 -> Maybe Bool -> 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

-- | The client supports the <tt>activeParameter</tt> property on
--   <a>SignatureInformation</a> literal.
[$sel:_activeParameterSuport:SignatureHelpSignatureInformation] :: SignatureHelpSignatureInformation -> Maybe Bool
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 Text) -> Maybe (List Text) -> SignatureHelpOptions
[$sel:_workDoneProgress:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe Bool
[$sel:_triggerCharacters:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe (List Text)
[$sel:_retriggerCharacters:SignatureHelpOptions] :: SignatureHelpOptions -> Maybe (List Text)
data SignatureHelpRegistrationOptions
SignatureHelpRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> Maybe (List Text) -> Maybe (List Text) -> SignatureHelpRegistrationOptions
[$sel:_documentSelector:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe Bool
[$sel:_triggerCharacters:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe (List Text)
[$sel:_retriggerCharacters:SignatureHelpRegistrationOptions] :: SignatureHelpRegistrationOptions -> Maybe (List Text)
data SignatureHelpDoc
SignatureHelpDocString :: Text -> SignatureHelpDoc
SignatureHelpDocMarkup :: MarkupContent -> SignatureHelpDoc
data ParameterLabel
ParameterLabelString :: Text -> ParameterLabel
ParameterLabelOffset :: UInt -> UInt -> ParameterLabel

-- | Represents a parameter of a callable-signature. A parameter can have a
--   label and a doc-comment.
data ParameterInformation
ParameterInformation :: ParameterLabel -> Maybe SignatureHelpDoc -> ParameterInformation

-- | The label of this parameter information.
[$sel:_label:ParameterInformation] :: ParameterInformation -> ParameterLabel

-- | The human-readable doc-comment of this parameter.
[$sel:_documentation:ParameterInformation] :: ParameterInformation -> Maybe SignatureHelpDoc

-- | Represents the signature of something callable. A signature can have a
--   label, like a function-name, a doc-comment, and a set of parameters.
data SignatureInformation
SignatureInformation :: Text -> Maybe SignatureHelpDoc -> Maybe (List ParameterInformation) -> Maybe UInt -> SignatureInformation

-- | The label of the signature.
[$sel:_label:SignatureInformation] :: SignatureInformation -> Text

-- | The human-readable doc-comment of this signature.
[$sel:_documentation:SignatureInformation] :: SignatureInformation -> Maybe SignatureHelpDoc

-- | The parameters of this signature.
[$sel:_parameters:SignatureInformation] :: SignatureInformation -> Maybe (List ParameterInformation)

-- | The index of the active parameter.
[$sel:_activeParameter:SignatureInformation] :: SignatureInformation -> Maybe UInt

-- | Signature help represents the signature of something callable. There
--   can be multiple signature but only one active and only one active
--   parameter.
data SignatureHelp
SignatureHelp :: List SignatureInformation -> Maybe UInt -> Maybe UInt -> SignatureHelp

-- | One or more signatures.
[$sel:_signatures:SignatureHelp] :: SignatureHelp -> List SignatureInformation

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

-- | The active parameter of the active signature.
[$sel:_activeParameter:SignatureHelp] :: SignatureHelp -> Maybe UInt

-- | How a signature help was triggered.
data SignatureHelpTriggerKind

-- | Signature help was invoked manually by the user or by a command.
SHTKInvoked :: SignatureHelpTriggerKind

-- | Signature help was triggered by a trigger character.
SHTKTriggerCharacter :: SignatureHelpTriggerKind

-- | Signature help was triggered by the cursor moving or by the document
--   content changing.
SHTKContentChange :: SignatureHelpTriggerKind

-- | Additional information about the context in which a signature help
--   request was triggered.
data SignatureHelpContext
SignatureHelpContext :: SignatureHelpTriggerKind -> Maybe Text -> 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 Text

-- | <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 SemanticTokenTypes
SttNamespace :: SemanticTokenTypes
SttType :: SemanticTokenTypes
SttClass :: SemanticTokenTypes
SttEnum :: SemanticTokenTypes
SttInterface :: SemanticTokenTypes
SttStruct :: SemanticTokenTypes
SttTypeParameter :: SemanticTokenTypes
SttParameter :: SemanticTokenTypes
SttVariable :: SemanticTokenTypes
SttProperty :: SemanticTokenTypes
SttEnumMember :: SemanticTokenTypes
SttEvent :: SemanticTokenTypes
SttFunction :: SemanticTokenTypes
SttMethod :: SemanticTokenTypes
SttMacro :: SemanticTokenTypes
SttKeyword :: SemanticTokenTypes
SttModifier :: SemanticTokenTypes
SttComment :: SemanticTokenTypes
SttString :: SemanticTokenTypes
SttNumber :: SemanticTokenTypes
SttRegexp :: SemanticTokenTypes
SttOperator :: SemanticTokenTypes
SttUnknown :: Text -> SemanticTokenTypes

-- | The set of semantic token types which are "known" (i.e. listed in the
--   LSP spec).
knownSemanticTokenTypes :: [SemanticTokenTypes]
data SemanticTokenModifiers
StmDeclaration :: SemanticTokenModifiers
StmDefinition :: SemanticTokenModifiers
StmReadonly :: SemanticTokenModifiers
StmStatic :: SemanticTokenModifiers
StmDeprecated :: SemanticTokenModifiers
StmAbstract :: SemanticTokenModifiers
StmAsync :: SemanticTokenModifiers
StmModification :: SemanticTokenModifiers
StmDocumentation :: SemanticTokenModifiers
StmDefaultLibrary :: SemanticTokenModifiers
StmUnknown :: Text -> SemanticTokenModifiers

-- | The set of semantic token modifiers which are "known" (i.e. listed in
--   the LSP spec).
knownSemanticTokenModifiers :: [SemanticTokenModifiers]
data TokenFormat
TokenFormatRelative :: TokenFormat
data SemanticTokensLegend
SemanticTokensLegend :: List SemanticTokenTypes -> List SemanticTokenModifiers -> SemanticTokensLegend

-- | The token types a server uses.
[$sel:_tokenTypes:SemanticTokensLegend] :: SemanticTokensLegend -> List SemanticTokenTypes

-- | The token modifiers a server uses.
[$sel:_tokenModifiers:SemanticTokensLegend] :: SemanticTokensLegend -> List SemanticTokenModifiers
data SemanticTokensRangeClientCapabilities
SemanticTokensRangeBool :: Bool -> SemanticTokensRangeClientCapabilities
SemanticTokensRangeObj :: Value -> SemanticTokensRangeClientCapabilities
data SemanticTokensDeltaClientCapabilities
SemanticTokensDeltaClientCapabilities :: Maybe Bool -> SemanticTokensDeltaClientCapabilities

-- | The client will send the `textDocument<i>semanticTokens</i>full/delta`
--   request if the server provides a corresponding handler.
[$sel:_delta:SemanticTokensDeltaClientCapabilities] :: SemanticTokensDeltaClientCapabilities -> Maybe Bool
data SemanticTokensFullClientCapabilities
SemanticTokensFullBool :: Bool -> SemanticTokensFullClientCapabilities
SemanticTokensFullDelta :: SemanticTokensDeltaClientCapabilities -> SemanticTokensFullClientCapabilities
data SemanticTokensRequestsClientCapabilities
SemanticTokensRequestsClientCapabilities :: Maybe SemanticTokensRangeClientCapabilities -> Maybe SemanticTokensFullClientCapabilities -> SemanticTokensRequestsClientCapabilities

-- | The client will send the `textDocument<i>semanticTokens</i>range`
--   request if the server provides a corresponding handler.
[$sel:_range:SemanticTokensRequestsClientCapabilities] :: SemanticTokensRequestsClientCapabilities -> Maybe SemanticTokensRangeClientCapabilities

-- | The client will send the `textDocument<i>semanticTokens</i>full`
--   request if the server provides a corresponding handler.
[$sel:_full:SemanticTokensRequestsClientCapabilities] :: SemanticTokensRequestsClientCapabilities -> Maybe SemanticTokensFullClientCapabilities
data SemanticTokensClientCapabilities
SemanticTokensClientCapabilities :: Maybe Bool -> SemanticTokensRequestsClientCapabilities -> List SemanticTokenTypes -> List SemanticTokenModifiers -> List TokenFormat -> Maybe Bool -> Maybe Bool -> SemanticTokensClientCapabilities

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

-- | Which requests the client supports and might send to the server
--   depending on the server's capability. Please note that clients might
--   not show semantic tokens or degrade some of the user experience if a
--   range or full request is advertised by the client but not provided by
--   the server. If for example the client capability `requests.full` and
--   `request.range` are both set to true but the server only provides a
--   range provider the client might not render a minimap correctly or
--   might even decide to not show any semantic tokens at all.
[$sel:_requests:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> SemanticTokensRequestsClientCapabilities

-- | The token types that the client supports.
[$sel:_tokenTypes:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> List SemanticTokenTypes

-- | The token modifiers that the client supports.
[$sel:_tokenModifiers:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> List SemanticTokenModifiers

-- | The formats the clients supports.
[$sel:_formats:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> List TokenFormat

-- | Whether the client supports tokens that can overlap each other.
[$sel:_overlappingTokenSupport:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> Maybe Bool

-- | Whether the client supports tokens that can span multiple lines.
[$sel:_multilineTokenSupport:SemanticTokensClientCapabilities] :: SemanticTokensClientCapabilities -> Maybe Bool
data SemanticTokensOptions
SemanticTokensOptions :: Maybe Bool -> SemanticTokensLegend -> Maybe SemanticTokensRangeClientCapabilities -> Maybe SemanticTokensFullClientCapabilities -> SemanticTokensOptions
[$sel:_workDoneProgress:SemanticTokensOptions] :: SemanticTokensOptions -> Maybe Bool
[$sel:_legend:SemanticTokensOptions] :: SemanticTokensOptions -> SemanticTokensLegend
[$sel:_range:SemanticTokensOptions] :: SemanticTokensOptions -> Maybe SemanticTokensRangeClientCapabilities
[$sel:_full:SemanticTokensOptions] :: SemanticTokensOptions -> Maybe SemanticTokensFullClientCapabilities
data SemanticTokensRegistrationOptions
SemanticTokensRegistrationOptions :: Maybe DocumentSelector -> Maybe Bool -> SemanticTokensLegend -> Maybe SemanticTokensRangeClientCapabilities -> Maybe SemanticTokensFullClientCapabilities -> Maybe Text -> SemanticTokensRegistrationOptions
[$sel:_documentSelector:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> Maybe DocumentSelector
[$sel:_workDoneProgress:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> Maybe Bool
[$sel:_legend:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> SemanticTokensLegend
[$sel:_range:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> Maybe SemanticTokensRangeClientCapabilities
[$sel:_full:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> Maybe SemanticTokensFullClientCapabilities
[$sel:_id:SemanticTokensRegistrationOptions] :: SemanticTokensRegistrationOptions -> Maybe Text
data SemanticTokensParams
SemanticTokensParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> SemanticTokensParams
[$sel:_workDoneToken:SemanticTokensParams] :: SemanticTokensParams -> Maybe ProgressToken
[$sel:_partialResultToken:SemanticTokensParams] :: SemanticTokensParams -> Maybe ProgressToken
[$sel:_textDocument:SemanticTokensParams] :: SemanticTokensParams -> TextDocumentIdentifier
data SemanticTokens
SemanticTokens :: Maybe Text -> List UInt -> SemanticTokens

-- | An optional result id. If provided and clients support delta updating
--   the client will include the result id in the next semantic token
--   request. A server can then instead of computing all semantic tokens
--   again simply send a delta.
[$sel:_resultId:SemanticTokens] :: SemanticTokens -> Maybe Text

-- | The actual tokens.
[$sel:_xdata:SemanticTokens] :: SemanticTokens -> List UInt
data SemanticTokensPartialResult
SemanticTokensPartialResult :: List UInt -> SemanticTokensPartialResult
[$sel:_xdata:SemanticTokensPartialResult] :: SemanticTokensPartialResult -> List UInt
data SemanticTokensDeltaParams
SemanticTokensDeltaParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Text -> SemanticTokensDeltaParams
[$sel:_workDoneToken:SemanticTokensDeltaParams] :: SemanticTokensDeltaParams -> Maybe ProgressToken
[$sel:_partialResultToken:SemanticTokensDeltaParams] :: SemanticTokensDeltaParams -> Maybe ProgressToken
[$sel:_textDocument:SemanticTokensDeltaParams] :: SemanticTokensDeltaParams -> TextDocumentIdentifier
[$sel:_previousResultId:SemanticTokensDeltaParams] :: SemanticTokensDeltaParams -> Text
data SemanticTokensEdit
SemanticTokensEdit :: UInt -> UInt -> Maybe (List UInt) -> SemanticTokensEdit

-- | The start offset of the edit.
[$sel:_start:SemanticTokensEdit] :: SemanticTokensEdit -> UInt

-- | The count of elements to remove.
[$sel:_deleteCount:SemanticTokensEdit] :: SemanticTokensEdit -> UInt

-- | The elements to insert.
[$sel:_xdata:SemanticTokensEdit] :: SemanticTokensEdit -> Maybe (List UInt)
data SemanticTokensDelta
SemanticTokensDelta :: Maybe Text -> List SemanticTokensEdit -> SemanticTokensDelta
[$sel:_resultId:SemanticTokensDelta] :: SemanticTokensDelta -> Maybe Text

-- | The semantic token edits to transform a previous result into a new
--   result.
[$sel:_edits:SemanticTokensDelta] :: SemanticTokensDelta -> List SemanticTokensEdit
data SemanticTokensDeltaPartialResult
SemantictokensDeltaPartialResult :: List SemanticTokensEdit -> SemanticTokensDeltaPartialResult
[$sel:_edits:SemantictokensDeltaPartialResult] :: SemanticTokensDeltaPartialResult -> List SemanticTokensEdit
data SemanticTokensRangeParams
SemanticTokensRangeParams :: Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Range -> SemanticTokensRangeParams
[$sel:_workDoneToken:SemanticTokensRangeParams] :: SemanticTokensRangeParams -> Maybe ProgressToken
[$sel:_partialResultToken:SemanticTokensRangeParams] :: SemanticTokensRangeParams -> Maybe ProgressToken
[$sel:_textDocument:SemanticTokensRangeParams] :: SemanticTokensRangeParams -> TextDocumentIdentifier
[$sel:_range:SemanticTokensRangeParams] :: SemanticTokensRangeParams -> Range
data SemanticTokensWorkspaceClientCapabilities
SemanticTokensWorkspaceClientCapabilities :: Maybe Bool -> SemanticTokensWorkspaceClientCapabilities

-- | Whether the client implementation supports a refresh request sent from
--   the server to the client.
--   
--   Note that this event is global and will force the client to refresh
--   all semantic tokens currently shown. It should be used with absolute
--   care and is useful for situation where a server for example detect a
--   project wide change that requires such a calculation.
[$sel:_refreshSupport:SemanticTokensWorkspaceClientCapabilities] :: SemanticTokensWorkspaceClientCapabilities -> Maybe Bool

-- | A single 'semantic token' as described in the LSP specification, using
--   absolute positions. This is the kind of token that is usually easiest
--   for editors to produce.
data SemanticTokenAbsolute
SemanticTokenAbsolute :: UInt -> UInt -> UInt -> SemanticTokenTypes -> [SemanticTokenModifiers] -> SemanticTokenAbsolute
[$sel:line:SemanticTokenAbsolute] :: SemanticTokenAbsolute -> UInt
[$sel:startChar:SemanticTokenAbsolute] :: SemanticTokenAbsolute -> UInt
[$sel:length:SemanticTokenAbsolute] :: SemanticTokenAbsolute -> UInt
[$sel:tokenType:SemanticTokenAbsolute] :: SemanticTokenAbsolute -> SemanticTokenTypes
[$sel:tokenModifiers:SemanticTokenAbsolute] :: SemanticTokenAbsolute -> [SemanticTokenModifiers]

-- | A single 'semantic token' as described in the LSP specification, using
--   relative positions.
data SemanticTokenRelative
SemanticTokenRelative :: UInt -> UInt -> UInt -> SemanticTokenTypes -> [SemanticTokenModifiers] -> SemanticTokenRelative
[$sel:deltaLine:SemanticTokenRelative] :: SemanticTokenRelative -> UInt
[$sel:deltaStartChar:SemanticTokenRelative] :: SemanticTokenRelative -> UInt
[$sel:length:SemanticTokenRelative] :: SemanticTokenRelative -> UInt
[$sel:tokenType:SemanticTokenRelative] :: SemanticTokenRelative -> SemanticTokenTypes
[$sel:tokenModifiers:SemanticTokenRelative] :: SemanticTokenRelative -> [SemanticTokenModifiers]

-- | Turn a list of absolutely-positioned tokens into a list of
--   relatively-positioned tokens. The tokens are assumed to be in the
--   order that they appear in the document!
relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative]

-- | Turn a list of relatively-positioned tokens into a list of
--   absolutely-positioned tokens. The tokens are assumed to be in the
--   order that they appear in the document!
absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute]

-- | Encode a series of relatively-positioned semantic tokens into an
--   integer array following the given legend.
encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt]

-- | An edit to a buffer of items.
data Edit a
Edit :: UInt -> UInt -> [a] -> Edit a
[$sel:editStart:Edit] :: Edit a -> UInt
[$sel:editDeleteCount:Edit] :: Edit a -> UInt
[$sel:editInsertions:Edit] :: Edit a -> [a]

-- | Compute a list of edits that will turn the first list into the second
--   list.
computeEdits :: Eq a => [a] -> [a] -> [Edit a]

-- | Convenience method for making a <a>SemanticTokens</a> from a list of
--   <a>SemanticTokenAbsolute</a>s. An error may be returned if
makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens

-- | Convenience function for making a <a>SemanticTokensDelta</a> from a
--   previous and current <a>SemanticTokens</a>. The resulting
--   <a>SemanticTokensDelta</a> lacks a result ID, which must be set
--   separately if you are using that.
makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta
data TextDocumentIdentifier
TextDocumentIdentifier :: Uri -> TextDocumentIdentifier
[$sel:_uri:TextDocumentIdentifier] :: TextDocumentIdentifier -> Uri
type TextDocumentVersion = Maybe Int32
data VersionedTextDocumentIdentifier
VersionedTextDocumentIdentifier :: Uri -> TextDocumentVersion -> VersionedTextDocumentIdentifier
[$sel:_uri:VersionedTextDocumentIdentifier] :: VersionedTextDocumentIdentifier -> Uri
[$sel:_version:VersionedTextDocumentIdentifier] :: VersionedTextDocumentIdentifier -> TextDocumentVersion
data TextDocumentItem
TextDocumentItem :: Uri -> Text -> Int32 -> Text -> TextDocumentItem
[$sel:_uri:TextDocumentItem] :: TextDocumentItem -> Uri
[$sel:_languageId:TextDocumentItem] :: TextDocumentItem -> Text
[$sel:_version:TextDocumentItem] :: TextDocumentItem -> Int32
[$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 UInt -> Text -> TextDocumentContentChangeEvent

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

-- | The optional length of the range that got replaced. Deprecated, use
--   _range instead
[$sel:_rangeLength:TextDocumentContentChangeEvent] :: TextDocumentContentChangeEvent -> Maybe UInt

-- | 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

-- | A smart constructor that performs UTF-8 encoding and hash consing
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 :: Text -> 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 -> Text

-- | 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]

-- | Params to show a document.
data ShowDocumentParams
ShowDocumentParams :: Uri -> Maybe Bool -> Maybe Bool -> Maybe Range -> ShowDocumentParams

-- | The document uri to show.
[$sel:_uri:ShowDocumentParams] :: ShowDocumentParams -> Uri

-- | Indicates to show the resource in an external program. To show for
--   example `<a>https://code.visualstudio.com/`</a> in the default WEB
--   browser set <tt>external</tt> to <tt>true</tt>.
[$sel:_external:ShowDocumentParams] :: ShowDocumentParams -> Maybe Bool

-- | An optional property to indicate whether the editor showing the
--   document should take focus or not. Clients might ignore this property
--   if an external program is started.
[$sel:_takeFocus:ShowDocumentParams] :: ShowDocumentParams -> Maybe Bool

-- | An optional selection range if the document is a text document.
--   Clients might ignore the property if an external program is started or
--   the file is not a text file.
[$sel:_selection:ShowDocumentParams] :: ShowDocumentParams -> Maybe Range

-- | The result of an show document request.
data ShowDocumentResult
ShowDocumentResult :: Bool -> ShowDocumentResult

-- | A boolean indicating if the show was successful.
[$sel:_success:ShowDocumentResult] :: ShowDocumentResult -> Bool
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

-- | Additional information that describes document changes.
data ChangeAnnotation
ChangeAnnotation :: Text -> Maybe Bool -> Maybe Text -> ChangeAnnotation

-- | A human-readable string describing the actual change. The string is
--   rendered prominent in the user interface.
[$sel:_label:ChangeAnnotation] :: ChangeAnnotation -> Text

-- | A flag which indicates that user confirmation is needed before
--   applying the change.
[$sel:_needsConfirmation:ChangeAnnotation] :: ChangeAnnotation -> Maybe Bool

-- | A human-readable string which is rendered less prominent in the user
--   interface.
[$sel:_description:ChangeAnnotation] :: ChangeAnnotation -> Maybe Text

-- | An identifier referring to a change annotation managed by a workspace
--   edit.
newtype ChangeAnnotationIdentifier
ChangeAnnotationIdentifierId :: Text -> ChangeAnnotationIdentifier
data AnnotatedTextEdit
AnnotatedTextEdit :: Range -> Text -> ChangeAnnotationIdentifier -> AnnotatedTextEdit
[$sel:_range:AnnotatedTextEdit] :: AnnotatedTextEdit -> Range
[$sel:_newText:AnnotatedTextEdit] :: AnnotatedTextEdit -> Text
[$sel:_annotationId:AnnotatedTextEdit] :: AnnotatedTextEdit -> ChangeAnnotationIdentifier
data TextDocumentEdit
TextDocumentEdit :: VersionedTextDocumentIdentifier -> List (TextEdit |? AnnotatedTextEdit) -> TextDocumentEdit
[$sel:_textDocument:TextDocumentEdit] :: TextDocumentEdit -> VersionedTextDocumentIdentifier
[$sel:_edits:TextDocumentEdit] :: TextDocumentEdit -> List (TextEdit |? AnnotatedTextEdit)

-- | Options to create a file.
data CreateFileOptions
CreateFileOptions :: Maybe Bool -> Maybe Bool -> CreateFileOptions

-- | Overwrite existing file. Overwrite wins over <tt>ignoreIfExists</tt>
[$sel:_overwrite:CreateFileOptions] :: CreateFileOptions -> Maybe Bool

-- | Ignore if exists.
[$sel:_ignoreIfExists:CreateFileOptions] :: CreateFileOptions -> Maybe Bool

-- | Create file operation
data CreateFile
CreateFile :: Uri -> Maybe CreateFileOptions -> Maybe ChangeAnnotationIdentifier -> CreateFile

-- | The resource to create.
[$sel:_uri:CreateFile] :: CreateFile -> Uri

-- | Additional options
[$sel:_options:CreateFile] :: CreateFile -> Maybe CreateFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:CreateFile] :: CreateFile -> Maybe ChangeAnnotationIdentifier
data RenameFileOptions
RenameFileOptions :: Maybe Bool -> Maybe Bool -> RenameFileOptions

-- | Overwrite target if existing. Overwrite wins over
--   <tt>ignoreIfExists</tt>
[$sel:_overwrite:RenameFileOptions] :: RenameFileOptions -> Maybe Bool

-- | Ignores if target exists.
[$sel:_ignoreIfExists:RenameFileOptions] :: RenameFileOptions -> Maybe Bool

-- | Rename file operation
data RenameFile
RenameFile :: Uri -> Uri -> Maybe RenameFileOptions -> Maybe ChangeAnnotationIdentifier -> RenameFile

-- | The old (existing) location.
[$sel:_oldUri:RenameFile] :: RenameFile -> Uri

-- | The new location.
[$sel:_newUri:RenameFile] :: RenameFile -> Uri

-- | Rename options.
[$sel:_options:RenameFile] :: RenameFile -> Maybe RenameFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:RenameFile] :: RenameFile -> Maybe ChangeAnnotationIdentifier
data DeleteFileOptions
DeleteFileOptions :: Maybe Bool -> Maybe Bool -> DeleteFileOptions

-- | Delete the content recursively if a folder is denoted.
[$sel:_recursive:DeleteFileOptions] :: DeleteFileOptions -> Maybe Bool

-- | Ignore the operation if the file doesn't exist.
[$sel:_ignoreIfNotExists:DeleteFileOptions] :: DeleteFileOptions -> Maybe Bool

-- | Delete file operation
data DeleteFile
DeleteFile :: Uri -> Maybe DeleteFileOptions -> Maybe ChangeAnnotationIdentifier -> DeleteFile

-- | The file to delete.
[$sel:_uri:DeleteFile] :: DeleteFile -> Uri

-- | Delete options.
[$sel:_options:DeleteFile] :: DeleteFile -> Maybe DeleteFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:DeleteFile] :: DeleteFile -> Maybe ChangeAnnotationIdentifier

-- | `TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit
--   mouthful, here's the synonym
type DocumentChange = TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile
type WorkspaceEditMap = HashMap Uri (List TextEdit)
type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
data WorkspaceEdit
WorkspaceEdit :: Maybe WorkspaceEditMap -> Maybe (List DocumentChange) -> Maybe ChangeAnnotationMap -> WorkspaceEdit

-- | Holds changes to existing resources.
[$sel:_changes:WorkspaceEdit] :: WorkspaceEdit -> Maybe WorkspaceEditMap

-- | Depending on the client capability
--   `workspace.workspaceEdit.resourceOperations` document changes are
--   either an array of <a>TextDocumentEdit</a>s to express changes to n
--   different text documents where each text document edit addresses a
--   specific version of a text document. Or it can contain above
--   <a>TextDocumentEdit</a>s mixed with create, rename and delete file /
--   folder operations.
--   
--   Whether a client supports versioned document edits is expressed via
--   `workspace.workspaceEdit.documentChanges` client capability.
--   
--   If a client neither supports <tt>documentChanges</tt> nor
--   `workspace.workspaceEdit.resourceOperations` then only plain
--   <a>TextEdit</a>s using the <tt>changes</tt> property are supported.
[$sel:_documentChanges:WorkspaceEdit] :: WorkspaceEdit -> Maybe (List DocumentChange)

-- | A map of change annotations that can be referenced in
--   <a>AnnotatedTextEdit</a>s or create, rename and delete file / folder
--   operations.
--   
--   Whether clients honor this property depends on the client capability
--   `workspace.changeAnnotationSupport`.
[$sel:_changeAnnotations:WorkspaceEdit] :: WorkspaceEdit -> Maybe ChangeAnnotationMap
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 WorkspaceEditChangeAnnotationClientCapabilities
WorkspaceEditChangeAnnotationClientCapabilities :: Maybe Bool -> WorkspaceEditChangeAnnotationClientCapabilities

-- | Whether the client groups edits with equal labels into tree nodes, for
--   instance all edits labelled with "Changes in Strings" would be a tree
--   node.
[$sel:groupsOnLabel:WorkspaceEditChangeAnnotationClientCapabilities] :: WorkspaceEditChangeAnnotationClientCapabilities -> Maybe Bool
data WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities :: Maybe Bool -> Maybe (List ResourceOperationKind) -> Maybe FailureHandlingKind -> Maybe Bool -> Maybe WorkspaceEditChangeAnnotationClientCapabilities -> 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

-- | Whether the client normalizes line endings to the client specific
--   setting.
--   
--   If set to <tt>true</tt> the client will normalize line ending
--   characters in a workspace edit to the client specific new line
--   character(s).
[$sel:_normalizesLineEndings:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe Bool

-- | Whether the client in general supports change annotations on text
--   edits, create file, rename file and delete file changes.
[$sel:_changeAnnotationSupport:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe WorkspaceEditChangeAnnotationClientCapabilities
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 -> Maybe UInt -> 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

-- | Depending on the client's failure handling strategy
--   <tt>failedChange</tt> might contain the index of the change that
--   failed. This property is only available if the client signals a
--   <tt>failureHandling</tt> strategy in its client capabilities.
[$sel:_failedChange:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Maybe UInt

-- | 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 URI of the workspace folder.
[$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 WorkspaceSymbolTagClientCapabilities
WorkspaceSymbolTagClientCapabilities :: Maybe (List SymbolTag) -> WorkspaceSymbolTagClientCapabilities

-- | The tags supported by the client.
[$sel:_valueSet:WorkspaceSymbolTagClientCapabilities] :: WorkspaceSymbolTagClientCapabilities -> Maybe (List SymbolTag)
data WorkspaceSymbolClientCapabilities
WorkspaceSymbolClientCapabilities :: Maybe Bool -> Maybe WorkspaceSymbolKindClientCapabilities -> Maybe WorkspaceSymbolTagClientCapabilities -> WorkspaceSymbolClientCapabilities

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

-- | Specific capabilities for the <a>SymbolKind</a>. | The client supports
--   tags on <a>SymbolInformation</a>. Clients supporting tags have to
--   handle unknown tags gracefully.
[$sel:_symbolKind:WorkspaceSymbolClientCapabilities] :: WorkspaceSymbolClientCapabilities -> Maybe WorkspaceSymbolKindClientCapabilities
[$sel:_tagSupport:WorkspaceSymbolClientCapabilities] :: WorkspaceSymbolClientCapabilities -> Maybe WorkspaceSymbolTagClientCapabilities
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 -> Text -> WorkspaceSymbolParams
[$sel:_workDoneToken:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> Maybe ProgressToken
[$sel:_partialResultToken:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> Maybe ProgressToken
[$sel:_query:WorkspaceSymbolParams] :: WorkspaceSymbolParams -> Text

module Language.LSP.Types.Capabilities
data WorkspaceClientCapabilities
WorkspaceClientCapabilities :: Maybe Bool -> Maybe WorkspaceEditClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities -> Maybe ExecuteCommandClientCapabilities -> Maybe Bool -> Maybe Bool -> Maybe SemanticTokensWorkspaceClientCapabilities -> 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

-- | Capabilities specific to the semantic token requests scoped to the
--   workspace.
[$sel:_semanticTokens:WorkspaceClientCapabilities] :: WorkspaceClientCapabilities -> Maybe SemanticTokensWorkspaceClientCapabilities
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 -> Maybe CallHierarchyClientCapabilities -> Maybe SemanticTokensClientCapabilities -> 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

-- | Call hierarchy specific to the `textDocument/prepareCallHierarchy`
--   request. Since LSP 3.16.0
[$sel:_callHierarchy:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe CallHierarchyClientCapabilities

-- | Capabilities specific to the various semantic token requests.
[$sel:_semanticTokens:TextDocumentClientCapabilities] :: TextDocumentClientCapabilities -> Maybe SemanticTokensClientCapabilities

-- | Capabilities specific to the <tt>MessageActionItem</tt> type.
data MessageActionItemClientCapabilities
MessageActionItemClientCapabilities :: Maybe Bool -> MessageActionItemClientCapabilities

-- | Whether the client supports additional attributes which are preserved
--   and sent back to the server in the request's response.
[$sel:_additionalPropertiesSupport:MessageActionItemClientCapabilities] :: MessageActionItemClientCapabilities -> Maybe Bool

-- | Show message request client capabilities
data ShowMessageRequestClientCapabilities
ShowMessageRequestClientCapabilities :: Maybe MessageActionItemClientCapabilities -> ShowMessageRequestClientCapabilities

-- | Capabilities specific to the <tt>MessageActionItem</tt> type.
[$sel:_messageActionItem:ShowMessageRequestClientCapabilities] :: ShowMessageRequestClientCapabilities -> Maybe MessageActionItemClientCapabilities

-- | Client capabilities for the show document request.
data ShowDocumentClientCapabilities
ShowDocumentClientCapabilities :: Bool -> ShowDocumentClientCapabilities

-- | The client has support for the show document request
[$sel:_support:ShowDocumentClientCapabilities] :: ShowDocumentClientCapabilities -> Bool

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

-- | Whether client supports handling progress notifications.
[$sel:_workDoneProgress:WindowClientCapabilities] :: WindowClientCapabilities -> Maybe Bool

-- | Capabilities specific to the showMessage request
[$sel:_showMessage:WindowClientCapabilities] :: WindowClientCapabilities -> Maybe ShowMessageRequestClientCapabilities

-- | Capabilities specific to the showDocument request
[$sel:_showDocument:WindowClientCapabilities] :: WindowClientCapabilities -> Maybe ShowDocumentClientCapabilities

-- | Client capability that signals how the client handles stale requests
--   (e.g. a request for which the client will not process the response
--   anymore since the information is outdated). @since 3.17.0
data StaleRequestClientCapabilities
StaleRequestClientCapabilities :: Bool -> List Text -> StaleRequestClientCapabilities
[$sel:_cancel:StaleRequestClientCapabilities] :: StaleRequestClientCapabilities -> Bool
[$sel:_retryOnContentModified:StaleRequestClientCapabilities] :: StaleRequestClientCapabilities -> List Text

-- | Client capabilities specific to the used markdown parser. @since
--   3.16.0
data RegularExpressionsClientCapabilities
RegularExpressionsClientCapabilities :: Text -> Maybe Text -> RegularExpressionsClientCapabilities
[$sel:_engine:RegularExpressionsClientCapabilities] :: RegularExpressionsClientCapabilities -> Text
[$sel:_version:RegularExpressionsClientCapabilities] :: RegularExpressionsClientCapabilities -> Maybe Text

-- | General client capabilities. @since 3.16.0
data GeneralClientCapabilities
GeneralClientCapabilities :: Maybe StaleRequestClientCapabilities -> Maybe RegularExpressionsClientCapabilities -> Maybe MarkdownClientCapabilities -> GeneralClientCapabilities
[$sel:_staleRequestSupport:GeneralClientCapabilities] :: GeneralClientCapabilities -> Maybe StaleRequestClientCapabilities

-- | Client capabilities specific to regular expressions. @since 3.16.0
[$sel:_regularExpressions:GeneralClientCapabilities] :: GeneralClientCapabilities -> Maybe RegularExpressionsClientCapabilities

-- | Client capabilities specific to the client's markdown parser. @since
--   3.16.0
[$sel:_markdown:GeneralClientCapabilities] :: GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
data ClientCapabilities
ClientCapabilities :: Maybe WorkspaceClientCapabilities -> Maybe TextDocumentClientCapabilities -> Maybe WindowClientCapabilities -> Maybe GeneralClientCapabilities -> Maybe Object -> ClientCapabilities

-- | Workspace specific client capabilities
[$sel:_workspace:ClientCapabilities] :: ClientCapabilities -> Maybe WorkspaceClientCapabilities

-- | Text document specific client capabilities
[$sel:_textDocument:ClientCapabilities] :: ClientCapabilities -> Maybe TextDocumentClientCapabilities

-- | Window specific client capabilities.
[$sel:_window:ClientCapabilities] :: ClientCapabilities -> Maybe WindowClientCapabilities

-- | General client capabilities. @since 3.16.0
[$sel:_general:ClientCapabilities] :: ClientCapabilities -> Maybe GeneralClientCapabilities

-- | Experimental client capabilities.
[$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 |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions)) -> Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions) -> Maybe (Bool |? WorkspaceSymbolOptions) -> 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 call hierarchy support.
[$sel:_callHierarchyProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (Bool |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))

-- | The server provides semantic tokens support.
[$sel:_semanticTokensProvider:ServerCapabilities] :: ServerCapabilities -> Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)

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

-- | 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

-- | Additional information that describes document changes.
data ChangeAnnotation
ChangeAnnotation :: Text -> Maybe Bool -> Maybe Text -> ChangeAnnotation

-- | A human-readable string describing the actual change. The string is
--   rendered prominent in the user interface.
[$sel:_label:ChangeAnnotation] :: ChangeAnnotation -> Text

-- | A flag which indicates that user confirmation is needed before
--   applying the change.
[$sel:_needsConfirmation:ChangeAnnotation] :: ChangeAnnotation -> Maybe Bool

-- | A human-readable string which is rendered less prominent in the user
--   interface.
[$sel:_description:ChangeAnnotation] :: ChangeAnnotation -> Maybe Text

-- | An identifier referring to a change annotation managed by a workspace
--   edit.
newtype ChangeAnnotationIdentifier
ChangeAnnotationIdentifierId :: Text -> ChangeAnnotationIdentifier
data AnnotatedTextEdit
AnnotatedTextEdit :: Range -> Text -> ChangeAnnotationIdentifier -> AnnotatedTextEdit
[$sel:_range:AnnotatedTextEdit] :: AnnotatedTextEdit -> Range
[$sel:_newText:AnnotatedTextEdit] :: AnnotatedTextEdit -> Text
[$sel:_annotationId:AnnotatedTextEdit] :: AnnotatedTextEdit -> ChangeAnnotationIdentifier
data TextDocumentEdit
TextDocumentEdit :: VersionedTextDocumentIdentifier -> List (TextEdit |? AnnotatedTextEdit) -> TextDocumentEdit
[$sel:_textDocument:TextDocumentEdit] :: TextDocumentEdit -> VersionedTextDocumentIdentifier
[$sel:_edits:TextDocumentEdit] :: TextDocumentEdit -> List (TextEdit |? AnnotatedTextEdit)

-- | Options to create a file.
data CreateFileOptions
CreateFileOptions :: Maybe Bool -> Maybe Bool -> CreateFileOptions

-- | Overwrite existing file. Overwrite wins over <tt>ignoreIfExists</tt>
[$sel:_overwrite:CreateFileOptions] :: CreateFileOptions -> Maybe Bool

-- | Ignore if exists.
[$sel:_ignoreIfExists:CreateFileOptions] :: CreateFileOptions -> Maybe Bool

-- | Create file operation
data CreateFile
CreateFile :: Uri -> Maybe CreateFileOptions -> Maybe ChangeAnnotationIdentifier -> CreateFile

-- | The resource to create.
[$sel:_uri:CreateFile] :: CreateFile -> Uri

-- | Additional options
[$sel:_options:CreateFile] :: CreateFile -> Maybe CreateFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:CreateFile] :: CreateFile -> Maybe ChangeAnnotationIdentifier
data RenameFileOptions
RenameFileOptions :: Maybe Bool -> Maybe Bool -> RenameFileOptions

-- | Overwrite target if existing. Overwrite wins over
--   <tt>ignoreIfExists</tt>
[$sel:_overwrite:RenameFileOptions] :: RenameFileOptions -> Maybe Bool

-- | Ignores if target exists.
[$sel:_ignoreIfExists:RenameFileOptions] :: RenameFileOptions -> Maybe Bool

-- | Rename file operation
data RenameFile
RenameFile :: Uri -> Uri -> Maybe RenameFileOptions -> Maybe ChangeAnnotationIdentifier -> RenameFile

-- | The old (existing) location.
[$sel:_oldUri:RenameFile] :: RenameFile -> Uri

-- | The new location.
[$sel:_newUri:RenameFile] :: RenameFile -> Uri

-- | Rename options.
[$sel:_options:RenameFile] :: RenameFile -> Maybe RenameFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:RenameFile] :: RenameFile -> Maybe ChangeAnnotationIdentifier
data DeleteFileOptions
DeleteFileOptions :: Maybe Bool -> Maybe Bool -> DeleteFileOptions

-- | Delete the content recursively if a folder is denoted.
[$sel:_recursive:DeleteFileOptions] :: DeleteFileOptions -> Maybe Bool

-- | Ignore the operation if the file doesn't exist.
[$sel:_ignoreIfNotExists:DeleteFileOptions] :: DeleteFileOptions -> Maybe Bool

-- | Delete file operation
data DeleteFile
DeleteFile :: Uri -> Maybe DeleteFileOptions -> Maybe ChangeAnnotationIdentifier -> DeleteFile

-- | The file to delete.
[$sel:_uri:DeleteFile] :: DeleteFile -> Uri

-- | Delete options.
[$sel:_options:DeleteFile] :: DeleteFile -> Maybe DeleteFileOptions

-- | An optional annotation identifer describing the operation.
[$sel:_annotationId:DeleteFile] :: DeleteFile -> Maybe ChangeAnnotationIdentifier

-- | `TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit
--   mouthful, here's the synonym
type DocumentChange = TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile
type WorkspaceEditMap = HashMap Uri (List TextEdit)
type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
data WorkspaceEdit
WorkspaceEdit :: Maybe WorkspaceEditMap -> Maybe (List DocumentChange) -> Maybe ChangeAnnotationMap -> WorkspaceEdit

-- | Holds changes to existing resources.
[$sel:_changes:WorkspaceEdit] :: WorkspaceEdit -> Maybe WorkspaceEditMap

-- | Depending on the client capability
--   `workspace.workspaceEdit.resourceOperations` document changes are
--   either an array of <a>TextDocumentEdit</a>s to express changes to n
--   different text documents where each text document edit addresses a
--   specific version of a text document. Or it can contain above
--   <a>TextDocumentEdit</a>s mixed with create, rename and delete file /
--   folder operations.
--   
--   Whether a client supports versioned document edits is expressed via
--   `workspace.workspaceEdit.documentChanges` client capability.
--   
--   If a client neither supports <tt>documentChanges</tt> nor
--   `workspace.workspaceEdit.resourceOperations` then only plain
--   <a>TextEdit</a>s using the <tt>changes</tt> property are supported.
[$sel:_documentChanges:WorkspaceEdit] :: WorkspaceEdit -> Maybe (List DocumentChange)

-- | A map of change annotations that can be referenced in
--   <a>AnnotatedTextEdit</a>s or create, rename and delete file / folder
--   operations.
--   
--   Whether clients honor this property depends on the client capability
--   `workspace.changeAnnotationSupport`.
[$sel:_changeAnnotations:WorkspaceEdit] :: WorkspaceEdit -> Maybe ChangeAnnotationMap
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 WorkspaceEditChangeAnnotationClientCapabilities
WorkspaceEditChangeAnnotationClientCapabilities :: Maybe Bool -> WorkspaceEditChangeAnnotationClientCapabilities

-- | Whether the client groups edits with equal labels into tree nodes, for
--   instance all edits labelled with "Changes in Strings" would be a tree
--   node.
[$sel:groupsOnLabel:WorkspaceEditChangeAnnotationClientCapabilities] :: WorkspaceEditChangeAnnotationClientCapabilities -> Maybe Bool
data WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities :: Maybe Bool -> Maybe (List ResourceOperationKind) -> Maybe FailureHandlingKind -> Maybe Bool -> Maybe WorkspaceEditChangeAnnotationClientCapabilities -> 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

-- | Whether the client normalizes line endings to the client specific
--   setting.
--   
--   If set to <tt>true</tt> the client will normalize line ending
--   characters in a workspace edit to the client specific new line
--   character(s).
[$sel:_normalizesLineEndings:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe Bool

-- | Whether the client in general supports change annotations on text
--   edits, create file, rename file and delete file changes.
[$sel:_changeAnnotationSupport:WorkspaceEditClientCapabilities] :: WorkspaceEditClientCapabilities -> Maybe WorkspaceEditChangeAnnotationClientCapabilities
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 -> Maybe UInt -> 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

-- | Depending on the client's failure handling strategy
--   <tt>failedChange</tt> might contain the index of the change that
--   failed. This property is only available if the client signals a
--   <tt>failureHandling</tt> strategy in its client capabilities.
[$sel:_failedChange:ApplyWorkspaceEditResponseBody] :: ApplyWorkspaceEditResponseBody -> Maybe UInt

-- | 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