Vscode_json.Manifestval any_enc : any Json_encoding.encodingval any : string -> [> Ezjsonm.t ]val pp_list_or_one :
'a. (Ppx_deriving_runtime.Format.formatter ->
'a ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'a list_or_one ->
Ppx_deriving_runtime.unitval show_list_or_one :
'a. (Ppx_deriving_runtime.Format.formatter ->
'a ->
Ppx_deriving_runtime.unit) ->
'a list_or_one ->
Ppx_deriving_runtime.stringval repository_enc : repository Json_encoding.encodingval pp_repository :
Ppx_deriving_runtime.Format.formatter ->
repository ->
Ppx_deriving_runtime.unitval show_repository : repository -> Ppx_deriving_runtime.stringval engines_enc : engines Json_encoding.encodingval pp_engines :
Ppx_deriving_runtime.Format.formatter ->
engines ->
Ppx_deriving_runtime.unitval show_engines : engines -> Ppx_deriving_runtime.stringval engines : vscode:string -> enginesval pp_author :
Ppx_deriving_runtime.Format.formatter ->
author ->
Ppx_deriving_runtime.unitval show_author : author -> Ppx_deriving_runtime.stringval author_enc : author Json_encoding.encodingval bug_enc : bug Json_encoding.encodingval pp_bug :
Ppx_deriving_runtime.Format.formatter ->
bug ->
Ppx_deriving_runtime.unitval show_bug : bug -> Ppx_deriving_runtime.stringtype package = {name : string;displayName : string;description : string;license : string option;version : string;repository : repository option;homepage : string option;keywords : string list;main : string option;browser : string option;scripts : (string * string) list;dependencies : (string * string) list;devDependencies : (string * string) list;bugs : bug option;}val package_enc : package Json_encoding.encodingval pp_package :
Ppx_deriving_runtime.Format.formatter ->
package ->
Ppx_deriving_runtime.unitval show_package : package -> Ppx_deriving_runtime.stringval package :
displayName:string ->
description:string ->
?license:string ->
version:string ->
?repository:repository ->
?homepage:string ->
?author:author ->
?keywords:string list ->
?main:string ->
?browser:string ->
?scripts:(string * string) list ->
?dependencies:(string * string) list ->
?devDependencies:(string * string) list ->
?bugs:bug ->
string ->
packageval breakpoint_enc : breakpoint Json_encoding.encodingval pp_breakpoint :
Ppx_deriving_runtime.Format.formatter ->
breakpoint ->
Ppx_deriving_runtime.unitval show_breakpoint : breakpoint -> Ppx_deriving_runtime.stringval breakpoint : string -> breakpointval color_defaults_enc : color_defaults Json_encoding.encodingval pp_color_defaults :
Ppx_deriving_runtime.Format.formatter ->
color_defaults ->
Ppx_deriving_runtime.unitval show_color_defaults : color_defaults -> Ppx_deriving_runtime.stringval color_enc : color Json_encoding.encodingval pp_color :
Ppx_deriving_runtime.Format.formatter ->
color ->
Ppx_deriving_runtime.unitval show_color : color -> Ppx_deriving_runtime.stringval pp_command_icon :
Ppx_deriving_runtime.Format.formatter ->
command_icon ->
Ppx_deriving_runtime.unitval show_command_icon : command_icon -> Ppx_deriving_runtime.stringval command_icon_enc : command_icon Json_encoding.encodingtype command = {command_command : string;command_title : string;command_category : string option;command_icon : command_icon option;command_enablement : string option;}val command_enc : command Json_encoding.encodingval pp_command :
Ppx_deriving_runtime.Format.formatter ->
command ->
Ppx_deriving_runtime.unitval show_command : command -> Ppx_deriving_runtime.stringval command :
command:string ->
title:string ->
?category:string ->
?icon:command_icon ->
?enablement:string ->
unit ->
commandtype property = {prop_title : string option;prop_markdownDescription : string option;prop_deprecationMessage : string option;prop_type : any;prop_default : any option;prop_description : string option;prop_scope : string option;prop_items : any option;prop_uniqueItems : bool option;prop_enum : string list;prop_enumDescriptions : string list;prop_minimum : int option;prop_maximum : int option;prop_minItems : int option;prop_order : int option;}val property_enc : property Json_encoding.encodingval pp_property :
Ppx_deriving_runtime.Format.formatter ->
property ->
Ppx_deriving_runtime.unitval show_property : property -> Ppx_deriving_runtime.stringval property :
?title:string ->
?markdownDescription:string ->
?deprecationMessage:string ->
?type_:any ->
?default:any ->
?description:string ->
?scope:string ->
?items:any ->
?uniqueItems:bool ->
?enum:string list ->
?enumDescriptions:string list ->
?minimum:int ->
?maximum:int ->
?minItems:int ->
?order:int ->
'a ->
'a * propertymodule PROPERTY : sig ... endtype configuration = {conf_type : string option;conf_title : string option;conf_properties : (string * property) list;}val configuration_enc : configuration Json_encoding.encodingval pp_configuration :
Ppx_deriving_runtime.Format.formatter ->
configuration ->
Ppx_deriving_runtime.unitval show_configuration : configuration -> Ppx_deriving_runtime.stringval configuration : ?title:string -> (string * property) list -> configurationval selector_enc : selector Json_encoding.encodingval pp_selector :
Ppx_deriving_runtime.Format.formatter ->
selector ->
Ppx_deriving_runtime.unitval show_selector : selector -> Ppx_deriving_runtime.stringtype customEditor = {edit_viewType : string;edit_displayName : string;edit_selector : selector list;edit_priority : string option;}val customEditor_enc : customEditor Json_encoding.encodingval pp_customEditor :
Ppx_deriving_runtime.Format.formatter ->
customEditor ->
Ppx_deriving_runtime.unitval show_customEditor : customEditor -> Ppx_deriving_runtime.stringtype debugger = {debugger_type : string;debugger_label : string;debugger_program : string option;debugger_runtime : string option;debugger_variables : (string * string) list;debugger_languages : string list;debugger_configurationAttributes : any option;debugger_initialConfigurations : any list;debugger_configurationSnippets : any list;}val debugger_enc : debugger Json_encoding.encodingval pp_debugger :
Ppx_deriving_runtime.Format.formatter ->
debugger ->
Ppx_deriving_runtime.unitval show_debugger : debugger -> Ppx_deriving_runtime.stringval grammar_enc : grammar Json_encoding.encodingval pp_grammar :
Ppx_deriving_runtime.Format.formatter ->
grammar ->
Ppx_deriving_runtime.unitval show_grammar : grammar -> Ppx_deriving_runtime.stringval grammar :
?language:string ->
scopeName:string ->
path:string ->
?injectTo:string list ->
?embeddedLanguages:(string * string) list ->
unit ->
grammarval icon_enc : icon Json_encoding.encodingval pp_icon :
Ppx_deriving_runtime.Format.formatter ->
icon ->
Ppx_deriving_runtime.unitval show_icon : icon -> Ppx_deriving_runtime.stringval iconTheme_enc : iconTheme Json_encoding.encodingval pp_iconTheme :
Ppx_deriving_runtime.Format.formatter ->
iconTheme ->
Ppx_deriving_runtime.unitval show_iconTheme : iconTheme -> Ppx_deriving_runtime.stringval jsonValidation_enc : jsonValidation Json_encoding.encodingval pp_jsonValidation :
Ppx_deriving_runtime.Format.formatter ->
jsonValidation ->
Ppx_deriving_runtime.unitval show_jsonValidation : jsonValidation -> Ppx_deriving_runtime.stringval jsonValidation : fileMatch:string -> url:string -> jsonValidationval tomlValidation_enc : tomlValidation Json_encoding.encodingval pp_tomlValidation :
Ppx_deriving_runtime.Format.formatter ->
tomlValidation ->
Ppx_deriving_runtime.unitval show_tomlValidation : tomlValidation -> Ppx_deriving_runtime.stringval tomlValidation : fileMatch:string -> url:string -> tomlValidationval keybinding_enc : keybinding Json_encoding.encodingval pp_keybinding :
Ppx_deriving_runtime.Format.formatter ->
keybinding ->
Ppx_deriving_runtime.unitval show_keybinding : keybinding -> Ppx_deriving_runtime.stringval keybinding :
key:string ->
?mac:string ->
?when_:string ->
?args:(string * string) list ->
string ->
keybindingtype language = {lang_id : string;lang_extensions : string list;lang_aliases : string list;lang_filenames : string list;lang_filenamePatterns : string list;lang_firstLine : string option;lang_configuration : string option;lang_icon : command_icon option;}val language_enc : language Json_encoding.encodingval pp_language :
Ppx_deriving_runtime.Format.formatter ->
language ->
Ppx_deriving_runtime.unitval show_language : language -> Ppx_deriving_runtime.stringval language :
?extensions:string list ->
?aliases:string list ->
?filenames:string list ->
?filenamePatterns:string list ->
?firstLine:string ->
?configuration:string ->
?icon:command_icon ->
string ->
languageval pp_fileLocation :
Ppx_deriving_runtime.Format.formatter ->
fileLocation ->
Ppx_deriving_runtime.unitval show_fileLocation : fileLocation -> Ppx_deriving_runtime.stringtype problemPattern = {pat_name : string option;pat_regexp : string option;pat_file : int option;pat_line : int option;pat_endLine : int option;pat_column : int option;pat_endColumn : int option;pat_severity : int option;pat_code : int option;pat_location : int option;pat_message : int option;pat_loop : bool option;pat_patterns : problemPattern list;}val problemPattern_enc : problemPattern Json_encoding.encodingval pp_problemPattern :
Ppx_deriving_runtime.Format.formatter ->
problemPattern ->
Ppx_deriving_runtime.unitval show_problemPattern : problemPattern -> Ppx_deriving_runtime.stringval problemPattern :
?name:string ->
?file:int ->
?line:int ->
?endLine:int ->
?column:int ->
?endColumn:int ->
?severity:int ->
?code:int ->
?location:int ->
?message:int ->
?loop:bool ->
string option ->
problemPatternval pp_pattern :
Ppx_deriving_runtime.Format.formatter ->
pattern ->
Ppx_deriving_runtime.unitval show_pattern : pattern -> Ppx_deriving_runtime.stringval pattern_enc : pattern Json_encoding.encodingtype problemMatcher = {pm_name : string;pm_owner : string option;pm_fileLocation : fileLocation;pm_pattern : pattern list_or_one;pm_source : string option;pm_severity : string option;}val problemMatcher_enc : problemMatcher Json_encoding.encodingval pp_problemMatcher :
Ppx_deriving_runtime.Format.formatter ->
problemMatcher ->
Ppx_deriving_runtime.unitval show_problemMatcher : problemMatcher -> Ppx_deriving_runtime.stringval problemMatcher :
name:string ->
?owner:string ->
?fileLocation:fileLocation ->
?pattern:pattern list_or_one ->
?source:string ->
?severity:string ->
unit ->
problemMatcherval productIconTheme_enc : productIconTheme Json_encoding.encodingval pp_productIconTheme :
Ppx_deriving_runtime.Format.formatter ->
productIconTheme ->
Ppx_deriving_runtime.unitval show_productIconTheme : productIconTheme -> Ppx_deriving_runtime.stringval snippet_enc : snippet Json_encoding.encodingval pp_snippet :
Ppx_deriving_runtime.Format.formatter ->
snippet ->
Ppx_deriving_runtime.unitval show_snippet : snippet -> Ppx_deriving_runtime.stringval snippet : language:string -> path:string -> snippettype taskDefinition = {task_type : string;task_required : string list;task_properties : (string * property) list;}val taskDefinition_enc : taskDefinition Json_encoding.encodingval pp_taskDefinition :
Ppx_deriving_runtime.Format.formatter ->
taskDefinition ->
Ppx_deriving_runtime.unitval show_taskDefinition : taskDefinition -> Ppx_deriving_runtime.stringval taskDefinition :
?required:string list ->
?properties:(string * property) list ->
string ->
taskDefinitionval view_enc : view Json_encoding.encodingval pp_view :
Ppx_deriving_runtime.Format.formatter ->
view ->
Ppx_deriving_runtime.unitval show_view : view -> Ppx_deriving_runtime.stringval view :
id:string ->
name:string ->
?when_:string ->
?icon:string ->
?contextualTitle:string ->
unit ->
viewval viewsContainer_enc : viewsContainer Json_encoding.encodingval pp_viewsContainer :
Ppx_deriving_runtime.Format.formatter ->
viewsContainer ->
Ppx_deriving_runtime.unitval show_viewsContainer : viewsContainer -> Ppx_deriving_runtime.stringval viewsContainer :
id:string ->
title:string ->
?icon:string ->
unit ->
viewsContainerval viewsWelcome_enc : viewsWelcome Json_encoding.encodingval pp_viewsWelcome :
Ppx_deriving_runtime.Format.formatter ->
viewsWelcome ->
Ppx_deriving_runtime.unitval show_viewsWelcome : viewsWelcome -> Ppx_deriving_runtime.stringval viewsWelcome :
view:string ->
contents:string ->
?when_:string ->
unit ->
viewsWelcometype configurationDefaults = (string * any) listval configurationDefaults_enc : configurationDefaults Json_encoding.encodingval pp_configurationDefaults :
Ppx_deriving_runtime.Format.formatter ->
configurationDefaults ->
Ppx_deriving_runtime.unitval show_configurationDefaults :
configurationDefaults ->
Ppx_deriving_runtime.stringval pp_configurationDefault :
Ppx_deriving_runtime.Format.formatter ->
configurationDefault ->
Ppx_deriving_runtime.unitval show_configurationDefault :
configurationDefault ->
Ppx_deriving_runtime.stringval configurationDefault_enc : configurationDefault Json_encoding.encodingtype contributes = {breakpoints : breakpoint list;colors : color list;commands : command list;configuration : configuration option;configurationDefaults : (string * configurationDefault) list;customEditors : customEditor list;debuggers : debugger list;grammars : grammar list;icons : icon list;iconThemes : iconTheme list;jsonValidation : jsonValidation list;tomlValidation : tomlValidation list;keybindings : keybinding list;languages : language list;problemMatchers : problemMatcher list;problemPatterns : problemPattern list;productIconThemes : productIconTheme list;snippets : snippet list;taskDefinitions : taskDefinition list;views : (string * view list) list;viewsContainers : (string * viewsContainer list) list;viewsWelcome : viewsWelcome list;resourceLabelFormatters : any option;semanticTokenModifiers : any option;semanticTokenScopes : any list;semanticTokenTypes : any option;terminal : any option;themes : any option;typescriptServerPlugins : any option;walkthroughs : any option;}val contributes_enc : contributes Json_encoding.encodingval pp_contributes :
Ppx_deriving_runtime.Format.formatter ->
contributes ->
Ppx_deriving_runtime.unitval show_contributes : contributes -> Ppx_deriving_runtime.stringval contributes :
?breakpoints:breakpoint list ->
?colors:color list ->
?commands:command list ->
?configuration:configuration ->
?configurationDefaults:(string * configurationDefault) list ->
?customEditors:customEditor list ->
?debuggers:debugger list ->
?grammars:grammar list ->
?icons:icon list ->
?iconThemes:iconTheme list ->
?jsonValidation:jsonValidation list ->
?tomlValidation:tomlValidation list ->
?keybindings:keybinding list ->
?languages:language list ->
?menus:(string * menu list) list ->
?problemMatchers:problemMatcher list ->
?problemPatterns:problemPattern list ->
?productIconThemes:productIconTheme list ->
?snippets:snippet list ->
?submenus:submenu list ->
?taskDefinitions:taskDefinition list ->
?views:(string * view list) list ->
?viewsContainers:(string * viewsContainer list) list ->
?viewsWelcome:viewsWelcome list ->
?semanticTokenScopes:any list ->
unit ->
contributesval sponsor_enc : sponsor Json_encoding.encodingval pp_sponsor :
Ppx_deriving_runtime.Format.formatter ->
sponsor ->
Ppx_deriving_runtime.unitval show_sponsor : sponsor -> Ppx_deriving_runtime.stringval sponsor : string -> sponsorval galleryBanner_enc : galleryBanner Json_encoding.encodingval pp_galleryBanner :
Ppx_deriving_runtime.Format.formatter ->
galleryBanner ->
Ppx_deriving_runtime.unitval show_galleryBanner : galleryBanner -> Ppx_deriving_runtime.stringval galleryBanner : ?color:string -> ?theme:string -> unit -> galleryBannertype marketplace = {publisher : string;categories : string list;icon : string option;preview : bool option;badges : string list;markdown : string option;qna : string option;sponsor : sponsor option;galleryBanner : galleryBanner option;}val marketplace_enc : marketplace Json_encoding.encodingval pp_marketplace :
Ppx_deriving_runtime.Format.formatter ->
marketplace ->
Ppx_deriving_runtime.unitval show_marketplace : marketplace -> Ppx_deriving_runtime.stringval marketplace :
?categories:string list ->
?icon:string ->
?preview:bool ->
?badges:string list ->
?markdown:string ->
?qna:string ->
?sponsor:sponsor ->
?galleryBanner:galleryBanner ->
string ->
marketplacetype vscode = {engines : engines;activationEvents : string list;contributes : contributes option;extensionKind : string list;extensionPack : string list;extensionDependencies : string list;package : package;marketplace : marketplace;}val vscode_enc : vscode Json_encoding.encodingval make_engines : vscode:string -> enginesval vscode :
engines:string ->
?activationEvents:string list ->
?contributes:contributes ->
?extensionKind:string list ->
?extensionPack:string list ->
?extensionDependencies:string list ->
marketplace:marketplace ->
package ->
vscode