Module Vscode.WorkspaceConfiguration

include Interop.Js.T
type t
val t_of_js : Ojs.t -> t
val t_to_js : t -> Ojs.t
type 'a inspectResult = {
  1. key : string;
  2. defaultValue : 'a option;
  3. globalValue : 'a option;
  4. workspaceValue : 'a option;
  5. workspaceFolderValue : 'a option;
  6. defaultLanguageValue : 'a option;
  7. globalLanguageValue : 'a option;
  8. workspaceLanguageValue : 'a option;
  9. workspaceFolderLanguageValue : 'a option;
  10. languageIds : string list option;
}
val get : t -> section:string -> Interop.Js.Any.t option
val get_default : 'a Interop.Js.t -> t -> section:string -> defaultValue:'a -> 'a
val has : t -> section:string -> bool
val inspect : 'a Interop.Js.t -> t -> section:string -> 'a inspectResult option
val update : t -> section:string -> value:Interop.Js.Any.t -> ?configurationTarget: [ `ConfigurationTarget of ConfigurationTarget.t | `Bool of bool ] -> ?overrideInLanguage:bool -> unit -> Promise.void