{- ORMOLU_DISABLE -}
{- HLINT ignore -}
-- THIS IS A GENERATED FILE, DO NOT EDIT

{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.ServerCapabilities where

import Control.DeepSeq
import Data.Hashable
import GHC.Generics
import Language.LSP.Protocol.Utils.Misc
import Prettyprinter
import qualified Data.Aeson
import qualified Data.Aeson as Aeson
import qualified Data.Row as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Language.LSP.Protocol.Internal.Types.CallHierarchyOptions
import qualified Language.LSP.Protocol.Internal.Types.CallHierarchyRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.CodeActionOptions
import qualified Language.LSP.Protocol.Internal.Types.CodeLensOptions
import qualified Language.LSP.Protocol.Internal.Types.CompletionOptions
import qualified Language.LSP.Protocol.Internal.Types.DeclarationOptions
import qualified Language.LSP.Protocol.Internal.Types.DeclarationRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.DefinitionOptions
import qualified Language.LSP.Protocol.Internal.Types.DiagnosticOptions
import qualified Language.LSP.Protocol.Internal.Types.DiagnosticRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentColorOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentColorRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentFormattingOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentHighlightOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentLinkOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingOptions
import qualified Language.LSP.Protocol.Internal.Types.DocumentSymbolOptions
import qualified Language.LSP.Protocol.Internal.Types.ExecuteCommandOptions
import qualified Language.LSP.Protocol.Internal.Types.FileOperationOptions
import qualified Language.LSP.Protocol.Internal.Types.FoldingRangeOptions
import qualified Language.LSP.Protocol.Internal.Types.FoldingRangeRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.HoverOptions
import qualified Language.LSP.Protocol.Internal.Types.ImplementationOptions
import qualified Language.LSP.Protocol.Internal.Types.ImplementationRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.InlayHintOptions
import qualified Language.LSP.Protocol.Internal.Types.InlayHintRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.InlineValueOptions
import qualified Language.LSP.Protocol.Internal.Types.InlineValueRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.LinkedEditingRangeOptions
import qualified Language.LSP.Protocol.Internal.Types.LinkedEditingRangeRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.MonikerOptions
import qualified Language.LSP.Protocol.Internal.Types.MonikerRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncOptions
import qualified Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.PositionEncodingKind
import qualified Language.LSP.Protocol.Internal.Types.ReferenceOptions
import qualified Language.LSP.Protocol.Internal.Types.RenameOptions
import qualified Language.LSP.Protocol.Internal.Types.SelectionRangeOptions
import qualified Language.LSP.Protocol.Internal.Types.SelectionRangeRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.SemanticTokensOptions
import qualified Language.LSP.Protocol.Internal.Types.SemanticTokensRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.SignatureHelpOptions
import qualified Language.LSP.Protocol.Internal.Types.TextDocumentSyncKind
import qualified Language.LSP.Protocol.Internal.Types.TextDocumentSyncOptions
import qualified Language.LSP.Protocol.Internal.Types.TypeDefinitionOptions
import qualified Language.LSP.Protocol.Internal.Types.TypeDefinitionRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.TypeHierarchyOptions
import qualified Language.LSP.Protocol.Internal.Types.TypeHierarchyRegistrationOptions
import qualified Language.LSP.Protocol.Internal.Types.WorkspaceFoldersServerCapabilities
import qualified Language.LSP.Protocol.Internal.Types.WorkspaceSymbolOptions
import qualified Language.LSP.Protocol.Types.Common

{-|
Defines the capabilities provided by a language
server.
-}
data ServerCapabilities = ServerCapabilities 
  { {-|
  The position encoding the server picked from the encodings offered
  by the client via the client capability `general.positionEncodings`.

  If the client didn't provide any position encodings the only valid
  value that a server can return is 'utf-16'.

  If omitted it defaults to 'utf-16'.

  @since 3.17.0
  -}
  ServerCapabilities -> Maybe PositionEncodingKind
_positionEncoding :: (Maybe Language.LSP.Protocol.Internal.Types.PositionEncodingKind.PositionEncodingKind)
  , {-|
  Defines how text documents are synced. Is either a detailed structure
  defining each notification or for backwards compatibility the
  TextDocumentSyncKind number.
  -}
  ServerCapabilities
-> Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
_textDocumentSync :: (Maybe (Language.LSP.Protocol.Internal.Types.TextDocumentSyncOptions.TextDocumentSyncOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.TextDocumentSyncKind.TextDocumentSyncKind))
  , {-|
  Defines how notebook documents are synced.

  @since 3.17.0
  -}
  ServerCapabilities
-> Maybe
     (NotebookDocumentSyncOptions
      |? NotebookDocumentSyncRegistrationOptions)
_notebookDocumentSync :: (Maybe (Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncOptions.NotebookDocumentSyncOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncRegistrationOptions.NotebookDocumentSyncRegistrationOptions))
  , {-|
  The server provides completion support.
  -}
  ServerCapabilities -> Maybe CompletionOptions
_completionProvider :: (Maybe Language.LSP.Protocol.Internal.Types.CompletionOptions.CompletionOptions)
  , {-|
  The server provides hover support.
  -}
  ServerCapabilities -> Maybe (Bool |? HoverOptions)
_hoverProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.HoverOptions.HoverOptions))
  , {-|
  The server provides signature help support.
  -}
  ServerCapabilities -> Maybe SignatureHelpOptions
_signatureHelpProvider :: (Maybe Language.LSP.Protocol.Internal.Types.SignatureHelpOptions.SignatureHelpOptions)
  , {-|
  The server provides Goto Declaration support.
  -}
  ServerCapabilities
-> Maybe
     (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))
_declarationProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.DeclarationOptions.DeclarationOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DeclarationRegistrationOptions.DeclarationRegistrationOptions)))
  , {-|
  The server provides goto definition support.
  -}
  ServerCapabilities -> Maybe (Bool |? DefinitionOptions)
_definitionProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DefinitionOptions.DefinitionOptions))
  , {-|
  The server provides Goto Type Definition support.
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))
_typeDefinitionProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.TypeDefinitionOptions.TypeDefinitionOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.TypeDefinitionRegistrationOptions.TypeDefinitionRegistrationOptions)))
  , {-|
  The server provides Goto Implementation support.
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (ImplementationOptions |? ImplementationRegistrationOptions))
_implementationProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.ImplementationOptions.ImplementationOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.ImplementationRegistrationOptions.ImplementationRegistrationOptions)))
  , {-|
  The server provides find references support.
  -}
  ServerCapabilities -> Maybe (Bool |? ReferenceOptions)
_referencesProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.ReferenceOptions.ReferenceOptions))
  , {-|
  The server provides document highlight support.
  -}
  ServerCapabilities -> Maybe (Bool |? DocumentHighlightOptions)
_documentHighlightProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DocumentHighlightOptions.DocumentHighlightOptions))
  , {-|
  The server provides document symbol support.
  -}
  ServerCapabilities -> Maybe (Bool |? DocumentSymbolOptions)
_documentSymbolProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DocumentSymbolOptions.DocumentSymbolOptions))
  , {-|
  The server provides code actions. CodeActionOptions may only be
  specified if the client states that it supports
  `codeActionLiteralSupport` in its initial `initialize` request.
  -}
  ServerCapabilities -> Maybe (Bool |? CodeActionOptions)
_codeActionProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.CodeActionOptions.CodeActionOptions))
  , {-|
  The server provides code lens.
  -}
  ServerCapabilities -> Maybe CodeLensOptions
_codeLensProvider :: (Maybe Language.LSP.Protocol.Internal.Types.CodeLensOptions.CodeLensOptions)
  , {-|
  The server provides document link support.
  -}
  ServerCapabilities -> Maybe DocumentLinkOptions
_documentLinkProvider :: (Maybe Language.LSP.Protocol.Internal.Types.DocumentLinkOptions.DocumentLinkOptions)
  , {-|
  The server provides color provider support.
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (DocumentColorOptions |? DocumentColorRegistrationOptions))
_colorProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.DocumentColorOptions.DocumentColorOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DocumentColorRegistrationOptions.DocumentColorRegistrationOptions)))
  , {-|
  The server provides workspace symbol support.
  -}
  ServerCapabilities -> Maybe (Bool |? WorkspaceSymbolOptions)
_workspaceSymbolProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.WorkspaceSymbolOptions.WorkspaceSymbolOptions))
  , {-|
  The server provides document formatting.
  -}
  ServerCapabilities -> Maybe (Bool |? DocumentFormattingOptions)
_documentFormattingProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DocumentFormattingOptions.DocumentFormattingOptions))
  , {-|
  The server provides document range formatting.
  -}
  ServerCapabilities
-> Maybe (Bool |? DocumentRangeFormattingOptions)
_documentRangeFormattingProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingOptions.DocumentRangeFormattingOptions))
  , {-|
  The server provides document formatting on typing.
  -}
  ServerCapabilities -> Maybe DocumentOnTypeFormattingOptions
_documentOnTypeFormattingProvider :: (Maybe Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingOptions.DocumentOnTypeFormattingOptions)
  , {-|
  The server provides rename support. RenameOptions may only be
  specified if the client states that it supports
  `prepareSupport` in its initial `initialize` request.
  -}
  ServerCapabilities -> Maybe (Bool |? RenameOptions)
_renameProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.RenameOptions.RenameOptions))
  , {-|
  The server provides folding provider support.
  -}
  ServerCapabilities
-> Maybe
     (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
_foldingRangeProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.FoldingRangeOptions.FoldingRangeOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.FoldingRangeRegistrationOptions.FoldingRangeRegistrationOptions)))
  , {-|
  The server provides selection range support.
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
_selectionRangeProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.SelectionRangeOptions.SelectionRangeOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.SelectionRangeRegistrationOptions.SelectionRangeRegistrationOptions)))
  , {-|
  The server provides execute command support.
  -}
  ServerCapabilities -> Maybe ExecuteCommandOptions
_executeCommandProvider :: (Maybe Language.LSP.Protocol.Internal.Types.ExecuteCommandOptions.ExecuteCommandOptions)
  , {-|
  The server provides call hierarchy support.

  @since 3.16.0
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
_callHierarchyProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.CallHierarchyOptions.CallHierarchyOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.CallHierarchyRegistrationOptions.CallHierarchyRegistrationOptions)))
  , {-|
  The server provides linked editing range support.

  @since 3.16.0
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (LinkedEditingRangeOptions
          |? LinkedEditingRangeRegistrationOptions))
_linkedEditingRangeProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.LinkedEditingRangeOptions.LinkedEditingRangeOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.LinkedEditingRangeRegistrationOptions.LinkedEditingRangeRegistrationOptions)))
  , {-|
  The server provides semantic tokens support.

  @since 3.16.0
  -}
  ServerCapabilities
-> Maybe
     (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
_semanticTokensProvider :: (Maybe (Language.LSP.Protocol.Internal.Types.SemanticTokensOptions.SemanticTokensOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.SemanticTokensRegistrationOptions.SemanticTokensRegistrationOptions))
  , {-|
  The server provides moniker support.

  @since 3.16.0
  -}
  ServerCapabilities
-> Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
_monikerProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.MonikerOptions.MonikerOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.MonikerRegistrationOptions.MonikerRegistrationOptions)))
  , {-|
  The server provides type hierarchy support.

  @since 3.17.0
  -}
  ServerCapabilities
-> Maybe
     (Bool
      |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
_typeHierarchyProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.TypeHierarchyOptions.TypeHierarchyOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.TypeHierarchyRegistrationOptions.TypeHierarchyRegistrationOptions)))
  , {-|
  The server provides inline values.

  @since 3.17.0
  -}
  ServerCapabilities
-> Maybe
     (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
_inlineValueProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.InlineValueOptions.InlineValueOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.InlineValueRegistrationOptions.InlineValueRegistrationOptions)))
  , {-|
  The server provides inlay hints.

  @since 3.17.0
  -}
  ServerCapabilities
-> Maybe
     (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
_inlayHintProvider :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Language.LSP.Protocol.Internal.Types.InlayHintOptions.InlayHintOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.InlayHintRegistrationOptions.InlayHintRegistrationOptions)))
  , {-|
  The server has support for pull model diagnostics.

  @since 3.17.0
  -}
  ServerCapabilities
-> Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
_diagnosticProvider :: (Maybe (Language.LSP.Protocol.Internal.Types.DiagnosticOptions.DiagnosticOptions Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.DiagnosticRegistrationOptions.DiagnosticRegistrationOptions))
  , {-|
  Workspace specific server capabilities.
  -}
  ServerCapabilities
-> Maybe
     (Rec
        (Extend
           "workspaceFolders"
           (Maybe WorkspaceFoldersServerCapabilities)
           ('R '[])
         .+ (("fileOperations" .== Maybe FileOperationOptions) .+ 'R '[])))
_workspace :: (Maybe (Row.Rec ("workspaceFolders" Row..== (Maybe Language.LSP.Protocol.Internal.Types.WorkspaceFoldersServerCapabilities.WorkspaceFoldersServerCapabilities) Row..+ ("fileOperations" Row..== (Maybe Language.LSP.Protocol.Internal.Types.FileOperationOptions.FileOperationOptions) Row..+ Row.Empty))))
  , {-|
  Experimental server capabilities.
  -}
  ServerCapabilities -> Maybe Value
_experimental :: (Maybe Data.Aeson.Value)
  }
  deriving stock (Int -> ServerCapabilities -> ShowS
[ServerCapabilities] -> ShowS
ServerCapabilities -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ServerCapabilities] -> ShowS
$cshowList :: [ServerCapabilities] -> ShowS
show :: ServerCapabilities -> String
$cshow :: ServerCapabilities -> String
showsPrec :: Int -> ServerCapabilities -> ShowS
$cshowsPrec :: Int -> ServerCapabilities -> ShowS
Show, ServerCapabilities -> ServerCapabilities -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ServerCapabilities -> ServerCapabilities -> Bool
$c/= :: ServerCapabilities -> ServerCapabilities -> Bool
== :: ServerCapabilities -> ServerCapabilities -> Bool
$c== :: ServerCapabilities -> ServerCapabilities -> Bool
Eq, Eq ServerCapabilities
ServerCapabilities -> ServerCapabilities -> Bool
ServerCapabilities -> ServerCapabilities -> Ordering
ServerCapabilities -> ServerCapabilities -> ServerCapabilities
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ServerCapabilities -> ServerCapabilities -> ServerCapabilities
$cmin :: ServerCapabilities -> ServerCapabilities -> ServerCapabilities
max :: ServerCapabilities -> ServerCapabilities -> ServerCapabilities
$cmax :: ServerCapabilities -> ServerCapabilities -> ServerCapabilities
>= :: ServerCapabilities -> ServerCapabilities -> Bool
$c>= :: ServerCapabilities -> ServerCapabilities -> Bool
> :: ServerCapabilities -> ServerCapabilities -> Bool
$c> :: ServerCapabilities -> ServerCapabilities -> Bool
<= :: ServerCapabilities -> ServerCapabilities -> Bool
$c<= :: ServerCapabilities -> ServerCapabilities -> Bool
< :: ServerCapabilities -> ServerCapabilities -> Bool
$c< :: ServerCapabilities -> ServerCapabilities -> Bool
compare :: ServerCapabilities -> ServerCapabilities -> Ordering
$ccompare :: ServerCapabilities -> ServerCapabilities -> Ordering
Ord, forall x. Rep ServerCapabilities x -> ServerCapabilities
forall x. ServerCapabilities -> Rep ServerCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ServerCapabilities x -> ServerCapabilities
$cfrom :: forall x. ServerCapabilities -> Rep ServerCapabilities x
Generic)
  deriving anyclass (ServerCapabilities -> ()
forall a. (a -> ()) -> NFData a
rnf :: ServerCapabilities -> ()
$crnf :: ServerCapabilities -> ()
NFData, Eq ServerCapabilities
Int -> ServerCapabilities -> Int
ServerCapabilities -> Int
forall a. Eq a -> (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: ServerCapabilities -> Int
$chash :: ServerCapabilities -> Int
hashWithSalt :: Int -> ServerCapabilities -> Int
$chashWithSalt :: Int -> ServerCapabilities -> Int
Hashable)
  deriving forall ann. [ServerCapabilities] -> Doc ann
forall ann. ServerCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
prettyList :: forall ann. [ServerCapabilities] -> Doc ann
$cprettyList :: forall ann. [ServerCapabilities] -> Doc ann
pretty :: forall ann. ServerCapabilities -> Doc ann
$cpretty :: forall ann. ServerCapabilities -> Doc ann
Pretty via (ViaJSON ServerCapabilities)

instance Aeson.ToJSON ServerCapabilities where
  toJSON :: ServerCapabilities -> Value
toJSON (ServerCapabilities Maybe PositionEncodingKind
arg0 Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
arg1 Maybe
  (NotebookDocumentSyncOptions
   |? NotebookDocumentSyncRegistrationOptions)
arg2 Maybe CompletionOptions
arg3 Maybe (Bool |? HoverOptions)
arg4 Maybe SignatureHelpOptions
arg5 Maybe
  (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))
arg6 Maybe (Bool |? DefinitionOptions)
arg7 Maybe
  (Bool
   |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))
arg8 Maybe
  (Bool
   |? (ImplementationOptions |? ImplementationRegistrationOptions))
arg9 Maybe (Bool |? ReferenceOptions)
arg10 Maybe (Bool |? DocumentHighlightOptions)
arg11 Maybe (Bool |? DocumentSymbolOptions)
arg12 Maybe (Bool |? CodeActionOptions)
arg13 Maybe CodeLensOptions
arg14 Maybe DocumentLinkOptions
arg15 Maybe
  (Bool
   |? (DocumentColorOptions |? DocumentColorRegistrationOptions))
arg16 Maybe (Bool |? WorkspaceSymbolOptions)
arg17 Maybe (Bool |? DocumentFormattingOptions)
arg18 Maybe (Bool |? DocumentRangeFormattingOptions)
arg19 Maybe DocumentOnTypeFormattingOptions
arg20 Maybe (Bool |? RenameOptions)
arg21 Maybe
  (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
arg22 Maybe
  (Bool
   |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
arg23 Maybe ExecuteCommandOptions
arg24 Maybe
  (Bool
   |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
arg25 Maybe
  (Bool
   |? (LinkedEditingRangeOptions
       |? LinkedEditingRangeRegistrationOptions))
arg26 Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
arg27 Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
arg28 Maybe
  (Bool
   |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
arg29 Maybe
  (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
arg30 Maybe (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
arg31 Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
arg32 Maybe
  (Rec
     (Extend
        "workspaceFolders"
        (Maybe WorkspaceFoldersServerCapabilities)
        ('R '[])
      .+ (("fileOperations" .== Maybe FileOperationOptions) .+ 'R '[])))
arg33 Maybe Value
arg34) = [Pair] -> Value
Aeson.object forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat forall a b. (a -> b) -> a -> b
$  [String
"positionEncoding" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe PositionEncodingKind
arg0
    ,String
"textDocumentSync" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
arg1
    ,String
"notebookDocumentSync" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (NotebookDocumentSyncOptions
   |? NotebookDocumentSyncRegistrationOptions)
arg2
    ,String
"completionProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe CompletionOptions
arg3
    ,String
"hoverProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? HoverOptions)
arg4
    ,String
"signatureHelpProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe SignatureHelpOptions
arg5
    ,String
"declarationProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))
arg6
    ,String
"definitionProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? DefinitionOptions)
arg7
    ,String
"typeDefinitionProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))
arg8
    ,String
"implementationProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (ImplementationOptions |? ImplementationRegistrationOptions))
arg9
    ,String
"referencesProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? ReferenceOptions)
arg10
    ,String
"documentHighlightProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? DocumentHighlightOptions)
arg11
    ,String
"documentSymbolProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? DocumentSymbolOptions)
arg12
    ,String
"codeActionProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? CodeActionOptions)
arg13
    ,String
"codeLensProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe CodeLensOptions
arg14
    ,String
"documentLinkProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe DocumentLinkOptions
arg15
    ,String
"colorProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (DocumentColorOptions |? DocumentColorRegistrationOptions))
arg16
    ,String
"workspaceSymbolProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? WorkspaceSymbolOptions)
arg17
    ,String
"documentFormattingProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? DocumentFormattingOptions)
arg18
    ,String
"documentRangeFormattingProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? DocumentRangeFormattingOptions)
arg19
    ,String
"documentOnTypeFormattingProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe DocumentOnTypeFormattingOptions
arg20
    ,String
"renameProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? RenameOptions)
arg21
    ,String
"foldingRangeProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
arg22
    ,String
"selectionRangeProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
arg23
    ,String
"executeCommandProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ExecuteCommandOptions
arg24
    ,String
"callHierarchyProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
arg25
    ,String
"linkedEditingRangeProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (LinkedEditingRangeOptions
       |? LinkedEditingRangeRegistrationOptions))
arg26
    ,String
"semanticTokensProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
arg27
    ,String
"monikerProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
arg28
    ,String
"typeHierarchyProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool
   |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
arg29
    ,String
"inlineValueProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
arg30
    ,String
"inlayHintProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
arg31
    ,String
"diagnosticProvider" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
arg32
    ,String
"workspace" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Rec
     (Extend
        "workspaceFolders"
        (Maybe WorkspaceFoldersServerCapabilities)
        ('R '[])
      .+ (("fileOperations" .== Maybe FileOperationOptions) .+ 'R '[])))
arg33
    ,String
"experimental" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Value
arg34]

instance Aeson.FromJSON ServerCapabilities where
  parseJSON :: Value -> Parser ServerCapabilities
parseJSON = forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"ServerCapabilities" forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe PositionEncodingKind
-> Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
-> Maybe
     (NotebookDocumentSyncOptions
      |? NotebookDocumentSyncRegistrationOptions)
-> Maybe CompletionOptions
-> Maybe (Bool |? HoverOptions)
-> 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 |? WorkspaceSymbolOptions)
-> Maybe (Bool |? DocumentFormattingOptions)
-> Maybe (Bool |? DocumentRangeFormattingOptions)
-> Maybe DocumentOnTypeFormattingOptions
-> Maybe (Bool |? RenameOptions)
-> Maybe
     (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
-> Maybe
     (Bool
      |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
-> Maybe ExecuteCommandOptions
-> Maybe
     (Bool
      |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
-> Maybe
     (Bool
      |? (LinkedEditingRangeOptions
          |? LinkedEditingRangeRegistrationOptions))
-> Maybe
     (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
-> Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
-> Maybe
     (Bool
      |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
-> Maybe
     (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
-> Maybe
     (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
-> Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
-> Maybe
     (Rec
        (Extend
           "workspaceFolders"
           (Maybe WorkspaceFoldersServerCapabilities)
           ('R '[])
         .+ (("fileOperations" .== Maybe FileOperationOptions) .+ 'R '[])))
-> Maybe Value
-> ServerCapabilities
ServerCapabilities forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"positionEncoding" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"textDocumentSync" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"notebookDocumentSync" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"completionProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"hoverProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"signatureHelpProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"declarationProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"definitionProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"typeDefinitionProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"implementationProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"referencesProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentHighlightProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentSymbolProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"codeActionProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"codeLensProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentLinkProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"colorProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"workspaceSymbolProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentFormattingProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentRangeFormattingProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"documentOnTypeFormattingProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"renameProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"foldingRangeProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"selectionRangeProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"executeCommandProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"callHierarchyProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"linkedEditingRangeProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"semanticTokensProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"monikerProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"typeHierarchyProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"inlineValueProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"inlayHintProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"diagnosticProvider" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"workspace" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"experimental"