include Ppx_yojson_conv_lib.Yojsonable.S with type t := workspaceval create_workspace :
?workspaceFolders:WorkspaceFoldersServerCapabilities.t ->
unit ->
workspacetype t = {textDocumentSync : [ `TextDocumentSyncOptions of TextDocumentSyncOptions.t
| `Int of int ]
option;completionProvider : CompletionOptions.t option;hoverProvider : [ `Bool of bool | `HoverOptions of HoverOptions.t ] option;signatureHelpProvider : SignatureHelpOptions.t option;declarationProvider : [ `Bool of bool
| `DeclarationOptions of DeclarationOptions.t
| `DeclarationRegistrationOptions of
DeclarationRegistrationOptions.t ]
option;definitionProvider : [ `Bool of bool
| `DefinitionOptions of DefinitionOptions.t ]
option;typeDefinitionProvider : [ `Bool of bool
| `TypeDefinitionOptions of TypeDefinitionOptions.t
| `TypeDefinitionRegistrationOptions of
TypeDefinitionRegistrationOptions.t ]
option;implementationProvider : [ `Bool of bool
| `ImplementationOptions of ImplementationOptions.t
| `ImplementationRegistrationOptions of
ImplementationRegistrationOptions.t ]
option;referencesProvider : [ `Bool of bool
| `ReferenceOptions of ReferenceOptions.t ]
option;documentHighlightProvider : [ `Bool of bool
| `DocumentHighlightOptions of
DocumentHighlightOptions.t ]
option;documentSymbolProvider : [ `Bool of bool
| `DocumentSymbolOptions of DocumentSymbolOptions.t ]
option;codeActionProvider : [ `Bool of bool
| `CodeActionOptions of CodeActionOptions.t ]
option;codeLensProvider : CodeLensOptions.t option;documentLinkProvider : DocumentLinkOptions.t option;colorProvider : [ `Bool of bool
| `DocumentColorOptions of DocumentColorOptions.t
| `DocumentColorRegistrationOptions of
DocumentColorRegistrationOptions.t ]
option;documentFormattingProvider : [ `Bool of bool
| `DocumentFormattingOptions of
DocumentFormattingOptions.t ]
option;documentRangeFormattingProvider : [ `Bool of bool
| `DocumentRangeFormattingOptions of
DocumentRangeFormattingOptions.t ]
option;documentOnTypeFormattingProvider : DocumentOnTypeFormattingOptions.t option;renameProvider : [ `Bool of bool | `RenameOptions of RenameOptions.t ] option;foldingRangeProvider : [ `Bool of bool
| `FoldingRangeOptions of FoldingRangeOptions.t
| `FoldingRangeRegistrationOptions of
FoldingRangeRegistrationOptions.t ]
option;executeCommandProvider : ExecuteCommandOptions.t option;selectionRangeProvider : [ `Bool of bool
| `SelectionRangeOptions of SelectionRangeOptions.t
| `SelectionRangeRegistrationOptions of
SelectionRangeRegistrationOptions.t ]
option;workspaceSymbolProvider : bool option;workspace : workspace option;experimental : Import.Json.t option;}include Ppx_yojson_conv_lib.Yojsonable.S with type t := tval t_of_yojson : Yojson.Safe.t -> tval yojson_of_t : t -> Yojson.Safe.tval create :
?textDocumentSync:
[ `TextDocumentSyncOptions of TextDocumentSyncOptions.t | `Int of int ] ->
?completionProvider:CompletionOptions.t ->
?hoverProvider:[ `Bool of bool | `HoverOptions of HoverOptions.t ] ->
?signatureHelpProvider:SignatureHelpOptions.t ->
?declarationProvider:
[ `Bool of bool
| `DeclarationOptions of DeclarationOptions.t
| `DeclarationRegistrationOptions of DeclarationRegistrationOptions.t ] ->
?definitionProvider:
[ `Bool of bool | `DefinitionOptions of DefinitionOptions.t ] ->
?typeDefinitionProvider:
[ `Bool of bool
| `TypeDefinitionOptions of TypeDefinitionOptions.t
| `TypeDefinitionRegistrationOptions of TypeDefinitionRegistrationOptions.t ] ->
?implementationProvider:
[ `Bool of bool
| `ImplementationOptions of ImplementationOptions.t
| `ImplementationRegistrationOptions of ImplementationRegistrationOptions.t ] ->
?referencesProvider:
[ `Bool of bool | `ReferenceOptions of ReferenceOptions.t ] ->
?documentHighlightProvider:
[ `Bool of bool | `DocumentHighlightOptions of DocumentHighlightOptions.t ] ->
?documentSymbolProvider:
[ `Bool of bool | `DocumentSymbolOptions of DocumentSymbolOptions.t ] ->
?codeActionProvider:
[ `Bool of bool | `CodeActionOptions of CodeActionOptions.t ] ->
?codeLensProvider:CodeLensOptions.t ->
?documentLinkProvider:DocumentLinkOptions.t ->
?colorProvider:
[ `Bool of bool
| `DocumentColorOptions of DocumentColorOptions.t
| `DocumentColorRegistrationOptions of DocumentColorRegistrationOptions.t ] ->
?documentFormattingProvider:
[ `Bool of bool
| `DocumentFormattingOptions of DocumentFormattingOptions.t ] ->
?documentRangeFormattingProvider:
[ `Bool of bool
| `DocumentRangeFormattingOptions of DocumentRangeFormattingOptions.t ] ->
?documentOnTypeFormattingProvider:DocumentOnTypeFormattingOptions.t ->
?renameProvider:[ `Bool of bool | `RenameOptions of RenameOptions.t ] ->
?foldingRangeProvider:
[ `Bool of bool
| `FoldingRangeOptions of FoldingRangeOptions.t
| `FoldingRangeRegistrationOptions of FoldingRangeRegistrationOptions.t ] ->
?executeCommandProvider:ExecuteCommandOptions.t ->
?selectionRangeProvider:
[ `Bool of bool
| `SelectionRangeOptions of SelectionRangeOptions.t
| `SelectionRangeRegistrationOptions of SelectionRangeRegistrationOptions.t ] ->
?workspaceSymbolProvider:bool ->
?workspace:workspace ->
?experimental:Import.Json.t ->
unit ->
t