utils/vscode/src/config.ts

import * as vscode from 'vscode';

/**
 *  Gets the config value `mlir.<key>`, with an optional workspace folder.
 */
export function get<T>(key: string,
                       workspaceFolder: vscode.WorkspaceFolder = null,
                       defaultValue: T = undefined): T {
  return vscode.workspace.getConfiguration('mlir', workspaceFolder)
      .get<T>(key, defaultValue);
}

/**
 *  Sets the config value `mlir.<key>`.
 */
export function update<T>(key: string, value: T,
                          target?: vscode.ConfigurationTarget) {
  return vscode.workspace.getConfiguration('mlir').update(key, value, target);
}