import * as pulumi from "@pulumi/pulumi";
/**
 * Manages a Network Manager Verifier Workspace.
 *
 * ## Example Usage
 *
 * ```typescript
 * import * as pulumi from "@pulumi/pulumi";
 * import * as azure from "@pulumi/azure";
 *
 * const example = new azure.core.ResourceGroup("example", {
 *     name: "example-resources",
 *     location: "West Europe",
 * });
 * const current = azure.core.getSubscription({});
 * const exampleNetworkManager = new azure.network.NetworkManager("example", {
 *     name: "example-nm",
 *     resourceGroupName: example.name,
 *     location: example.location,
 *     scope: {
 *         subscriptionIds: [current.then(current => current.id)],
 *     },
 *     scopeAccesses: ["Connectivity"],
 * });
 * const exampleNetworkManagerVerifierWorkspace = new azure.network.NetworkManagerVerifierWorkspace("example", {
 *     name: "example",
 *     networkManagerId: exampleNetworkManager.id,
 *     location: example.location,
 *     description: "This is an example verifier workspace",
 *     tags: {
 *         foo: "bar",
 *         env: "example",
 *     },
 * });
 * ```
 *
 * ## API Providers
 *
 * <!-- This section is generated, changes will be overwritten -->
 * This resource uses the following Azure API Providers:
 *
 * * `Microsoft.Network` - 2025-01-01
 *
 * ## Import
 *
 * Network Manager Verifier Workspaces can be imported using the `resource id`, e.g.
 *
 * ```sh
 * $ pulumi import azure:network/networkManagerVerifierWorkspace:NetworkManagerVerifierWorkspace example /subscriptions/00000000-0000-0000-0000-000000000000/resourceGroups/rg1/providers/Microsoft.Network/networkManagers/manager1/verifierWorkspaces/workspace1
 * ```
 */
export declare class NetworkManagerVerifierWorkspace extends pulumi.CustomResource {
    /**
     * Get an existing NetworkManagerVerifierWorkspace resource's state with the given name, ID, and optional extra
     * properties used to qualify the lookup.
     *
     * @param name The _unique_ name of the resulting resource.
     * @param id The _unique_ provider ID of the resource to lookup.
     * @param state Any extra arguments used during the lookup.
     * @param opts Optional settings to control the behavior of the CustomResource.
     */
    static get(name: string, id: pulumi.Input<pulumi.ID>, state?: NetworkManagerVerifierWorkspaceState, opts?: pulumi.CustomResourceOptions): NetworkManagerVerifierWorkspace;
    /**
     * Returns true if the given object is an instance of NetworkManagerVerifierWorkspace.  This is designed to work even
     * when multiple copies of the Pulumi SDK have been loaded into the same process.
     */
    static isInstance(obj: any): obj is NetworkManagerVerifierWorkspace;
    /**
     * The Description of the Network Manager Verifier Workspace.
     */
    readonly description: pulumi.Output<string | undefined>;
    /**
     * The Azure Region where the Network Manager Verifier Workspace should exist. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    readonly location: pulumi.Output<string>;
    /**
     * The name which should be used for this Network Manager Verifier Workspace. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    readonly name: pulumi.Output<string>;
    /**
     * The ID of the Network Manager. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    readonly networkManagerId: pulumi.Output<string>;
    /**
     * A mapping of tags which should be assigned to the Network Manager Verifier Workspace.
     */
    readonly tags: pulumi.Output<{
        [key: string]: string;
    } | undefined>;
    /**
     * Create a NetworkManagerVerifierWorkspace resource with the given unique name, arguments, and options.
     *
     * @param name The _unique_ name of the resource.
     * @param args The arguments to use to populate this resource's properties.
     * @param opts A bag of options that control this resource's behavior.
     */
    constructor(name: string, args: NetworkManagerVerifierWorkspaceArgs, opts?: pulumi.CustomResourceOptions);
}
/**
 * Input properties used for looking up and filtering NetworkManagerVerifierWorkspace resources.
 */
export interface NetworkManagerVerifierWorkspaceState {
    /**
     * The Description of the Network Manager Verifier Workspace.
     */
    description?: pulumi.Input<string>;
    /**
     * The Azure Region where the Network Manager Verifier Workspace should exist. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    location?: pulumi.Input<string>;
    /**
     * The name which should be used for this Network Manager Verifier Workspace. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    name?: pulumi.Input<string>;
    /**
     * The ID of the Network Manager. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    networkManagerId?: pulumi.Input<string>;
    /**
     * A mapping of tags which should be assigned to the Network Manager Verifier Workspace.
     */
    tags?: pulumi.Input<{
        [key: string]: pulumi.Input<string>;
    }>;
}
/**
 * The set of arguments for constructing a NetworkManagerVerifierWorkspace resource.
 */
export interface NetworkManagerVerifierWorkspaceArgs {
    /**
     * The Description of the Network Manager Verifier Workspace.
     */
    description?: pulumi.Input<string>;
    /**
     * The Azure Region where the Network Manager Verifier Workspace should exist. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    location?: pulumi.Input<string>;
    /**
     * The name which should be used for this Network Manager Verifier Workspace. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    name?: pulumi.Input<string>;
    /**
     * The ID of the Network Manager. Changing this forces a new Network Manager Verifier Workspace to be created.
     */
    networkManagerId: pulumi.Input<string>;
    /**
     * A mapping of tags which should be assigned to the Network Manager Verifier Workspace.
     */
    tags?: pulumi.Input<{
        [key: string]: pulumi.Input<string>;
    }>;
}