@formalco/pulumi 1.0.0-alpha.1754615478

package/policy.d.ts

@@ -0,0 +1,139 @@
+import * as pulumi from "@pulumi/pulumi";
+/**
+ * Creating a Policy in Formal.
+ */
+export declare class Policy extends pulumi.CustomResource {
+    /**
+     * Get an existing Policy 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?: PolicyState, opts?: pulumi.CustomResourceOptions): Policy;
+    /**
+     * Returns true if the given object is an instance of Policy.  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 Policy;
+    /**
+     * When the policy was created.
+     */
+    readonly createdAt: pulumi.Output<string>;
+    /**
+     * Policy Description.
+     */
+    readonly description: pulumi.Output<string>;
+    /**
+     * The module describing how the policy works. Create one in the Formal Console.
+     */
+    readonly module: pulumi.Output<string>;
+    /**
+     * Policy Name
+     */
+    readonly name: pulumi.Output<string>;
+    /**
+     * Notification settings for this policy.
+     */
+    readonly notification: pulumi.Output<string>;
+    /**
+     * Owner of this policy: it can be either a group name or a user email.
+     */
+    readonly owner: pulumi.Output<string>;
+    /**
+     * Defines the current status of the policy. It can be one of the following: 'draft', 'dry-run', or 'active'.
+     */
+    readonly status: pulumi.Output<string>;
+    /**
+     * If set to true, this Policy cannot be deleted.
+     */
+    readonly terminationProtection: pulumi.Output<boolean | undefined>;
+    /**
+     * Last update time.
+     */
+    readonly updatedAt: pulumi.Output<string>;
+    /**
+     * Create a Policy 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: PolicyArgs, opts?: pulumi.CustomResourceOptions);
+}
+/**
+ * Input properties used for looking up and filtering Policy resources.
+ */
+export interface PolicyState {
+    /**
+     * When the policy was created.
+     */
+    createdAt?: pulumi.Input<string>;
+    /**
+     * Policy Description.
+     */
+    description?: pulumi.Input<string>;
+    /**
+     * The module describing how the policy works. Create one in the Formal Console.
+     */
+    module?: pulumi.Input<string>;
+    /**
+     * Policy Name
+     */
+    name?: pulumi.Input<string>;
+    /**
+     * Notification settings for this policy.
+     */
+    notification?: pulumi.Input<string>;
+    /**
+     * Owner of this policy: it can be either a group name or a user email.
+     */
+    owner?: pulumi.Input<string>;
+    /**
+     * Defines the current status of the policy. It can be one of the following: 'draft', 'dry-run', or 'active'.
+     */
+    status?: pulumi.Input<string>;
+    /**
+     * If set to true, this Policy cannot be deleted.
+     */
+    terminationProtection?: pulumi.Input<boolean>;
+    /**
+     * Last update time.
+     */
+    updatedAt?: pulumi.Input<string>;
+}
+/**
+ * The set of arguments for constructing a Policy resource.
+ */
+export interface PolicyArgs {
+    /**
+     * Policy Description.
+     */
+    description: pulumi.Input<string>;
+    /**
+     * The module describing how the policy works. Create one in the Formal Console.
+     */
+    module: pulumi.Input<string>;
+    /**
+     * Policy Name
+     */
+    name?: pulumi.Input<string>;
+    /**
+     * Notification settings for this policy.
+     */
+    notification: pulumi.Input<string>;
+    /**
+     * Owner of this policy: it can be either a group name or a user email.
+     */
+    owner: pulumi.Input<string>;
+    /**
+     * Defines the current status of the policy. It can be one of the following: 'draft', 'dry-run', or 'active'.
+     */
+    status: pulumi.Input<string>;
+    /**
+     * If set to true, this Policy cannot be deleted.
+     */
+    terminationProtection?: pulumi.Input<boolean>;
+}

package/policy.js

@@ -0,0 +1,83 @@
+"use strict";
+// *** WARNING: this file was generated by pulumi-language-nodejs. ***
+// *** Do not edit by hand unless you're certain you know what you are doing! ***
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Policy = void 0;
+const pulumi = require("@pulumi/pulumi");
+const utilities = require("./utilities");
+/**
+ * Creating a Policy in Formal.
+ */
+class Policy extends pulumi.CustomResource {
+    /**
+     * Get an existing Policy 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, id, state, opts) {
+        return new Policy(name, state, Object.assign(Object.assign({}, opts), { id: id }));
+    }
+    /**
+     * Returns true if the given object is an instance of Policy.  This is designed to work even
+     * when multiple copies of the Pulumi SDK have been loaded into the same process.
+     */
+    static isInstance(obj) {
+        if (obj === undefined || obj === null) {
+            return false;
+        }
+        return obj['__pulumiType'] === Policy.__pulumiType;
+    }
+    constructor(name, argsOrState, opts) {
+        let resourceInputs = {};
+        opts = opts || {};
+        if (opts.id) {
+            const state = argsOrState;
+            resourceInputs["createdAt"] = state ? state.createdAt : undefined;
+            resourceInputs["description"] = state ? state.description : undefined;
+            resourceInputs["module"] = state ? state.module : undefined;
+            resourceInputs["name"] = state ? state.name : undefined;
+            resourceInputs["notification"] = state ? state.notification : undefined;
+            resourceInputs["owner"] = state ? state.owner : undefined;
+            resourceInputs["status"] = state ? state.status : undefined;
+            resourceInputs["terminationProtection"] = state ? state.terminationProtection : undefined;
+            resourceInputs["updatedAt"] = state ? state.updatedAt : undefined;
+        }
+        else {
+            const args = argsOrState;
+            if ((!args || args.description === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'description'");
+            }
+            if ((!args || args.module === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'module'");
+            }
+            if ((!args || args.notification === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'notification'");
+            }
+            if ((!args || args.owner === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'owner'");
+            }
+            if ((!args || args.status === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'status'");
+            }
+            resourceInputs["description"] = args ? args.description : undefined;
+            resourceInputs["module"] = args ? args.module : undefined;
+            resourceInputs["name"] = args ? args.name : undefined;
+            resourceInputs["notification"] = args ? args.notification : undefined;
+            resourceInputs["owner"] = args ? args.owner : undefined;
+            resourceInputs["status"] = args ? args.status : undefined;
+            resourceInputs["terminationProtection"] = args ? args.terminationProtection : undefined;
+            resourceInputs["createdAt"] = undefined /*out*/;
+            resourceInputs["updatedAt"] = undefined /*out*/;
+        }
+        opts = pulumi.mergeOptions(utilities.resourceOptsDefaults(), opts);
+        super(Policy.__pulumiType, name, resourceInputs, opts);
+    }
+}
+exports.Policy = Policy;
+/** @internal */
+Policy.__pulumiType = 'formal:index/policy:Policy';
+//# sourceMappingURL=policy.js.map

package/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../policy.ts"],"names":[],"mappings":";AAAA,sEAAsE;AACtE,iFAAiF;;;AAEjF,yCAAyC;AACzC,yCAAyC;AAEzC;;GAEG;AACH,MAAa,MAAO,SAAQ,MAAM,CAAC,cAAc;IAC7C;;;;;;;;OAQG;IACI,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,EAA2B,EAAE,KAAmB,EAAE,IAAmC;QACjH,OAAO,IAAI,MAAM,CAAC,IAAI,EAAO,KAAK,kCAAO,IAAI,KAAE,EAAE,EAAE,EAAE,IAAG,CAAC;IAC7D,CAAC;IAKD;;;OAGG;IACI,MAAM,CAAC,UAAU,CAAC,GAAQ;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,EAAE;YACnC,OAAO,KAAK,CAAC;SAChB;QACD,OAAO,GAAG,CAAC,cAAc,CAAC,KAAK,MAAM,CAAC,YAAY,CAAC;IACvD,CAAC;IA+CD,YAAY,IAAY,EAAE,WAAsC,EAAE,IAAmC;QACjG,IAAI,cAAc,GAAkB,EAAE,CAAC;QACvC,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAG,WAAsC,CAAC;YACrD,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,cAAc,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,cAAc,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,cAAc,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACxD,cAAc,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;YACxE,cAAc,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,cAAc,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,cAAc,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1F,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;SACrE;aAAM;YACH,MAAM,IAAI,GAAG,WAAqC,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACxD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;aAC9D;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACnD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;aACzD;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACzD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;aAC/D;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAClD,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;aACxD;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACnD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;aACzD;YACD,cAAc,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,cAAc,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACtD,cAAc,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,cAAc,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACxD,cAAc,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,cAAc,CAAC,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;YACxF,cAAc,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;YAChD,cAAc,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;SACnD;QACD,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,oBAAoB,EAAE,EAAE,IAAI,CAAC,CAAC;QACnE,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;;AApHL,wBAqHC;AAvGG,gBAAgB;AACO,mBAAY,GAAG,4BAA4B,CAAC"}

package/policyDataLoader.d.ts

@@ -0,0 +1,151 @@
+import * as pulumi from "@pulumi/pulumi";
+/**
+ * Registering a policy data loader with Formal.
+ */
+export declare class PolicyDataLoader extends pulumi.CustomResource {
+    /**
+     * Get an existing PolicyDataLoader 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?: PolicyDataLoaderState, opts?: pulumi.CustomResourceOptions): PolicyDataLoader;
+    /**
+     * Returns true if the given object is an instance of PolicyDataLoader.  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 PolicyDataLoader;
+    /**
+     * When the policy data loader was created.
+     */
+    readonly createdAt: pulumi.Output<string>;
+    /**
+     * Policy data loader description.
+     */
+    readonly description: pulumi.Output<string>;
+    /**
+     * The key to access the output data of this policy data loader.
+     */
+    readonly key: pulumi.Output<string>;
+    /**
+     * Friendly name for this policy data loader.
+     */
+    readonly name: pulumi.Output<string>;
+    /**
+     * Defines the current status of the policy data loader. It can be one of the following: 'draft' or 'active'.
+     */
+    readonly status: pulumi.Output<string>;
+    /**
+     * If set to true, this policy data loader cannot be deleted.
+     */
+    readonly terminationProtection: pulumi.Output<boolean | undefined>;
+    /**
+     * Last update time.
+     */
+    readonly updatedAt: pulumi.Output<string>;
+    /**
+     * The code that will be executed to fetch and output the data.
+     */
+    readonly workerCode: pulumi.Output<string>;
+    /**
+     * The execution environment for the code. It can be one of the following: 'python3.11' or 'nodejs18.x'.
+     */
+    readonly workerRuntime: pulumi.Output<string>;
+    /**
+     * Second-based 'cron' expression specifying when the data should be fetched. For example, use '*&#47;10 * * * * *' to run the code every 10 seconds.
+     */
+    readonly workerSchedule: pulumi.Output<string>;
+    /**
+     * Create a PolicyDataLoader 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: PolicyDataLoaderArgs, opts?: pulumi.CustomResourceOptions);
+}
+/**
+ * Input properties used for looking up and filtering PolicyDataLoader resources.
+ */
+export interface PolicyDataLoaderState {
+    /**
+     * When the policy data loader was created.
+     */
+    createdAt?: pulumi.Input<string>;
+    /**
+     * Policy data loader description.
+     */
+    description?: pulumi.Input<string>;
+    /**
+     * The key to access the output data of this policy data loader.
+     */
+    key?: pulumi.Input<string>;
+    /**
+     * Friendly name for this policy data loader.
+     */
+    name?: pulumi.Input<string>;
+    /**
+     * Defines the current status of the policy data loader. It can be one of the following: 'draft' or 'active'.
+     */
+    status?: pulumi.Input<string>;
+    /**
+     * If set to true, this policy data loader cannot be deleted.
+     */
+    terminationProtection?: pulumi.Input<boolean>;
+    /**
+     * Last update time.
+     */
+    updatedAt?: pulumi.Input<string>;
+    /**
+     * The code that will be executed to fetch and output the data.
+     */
+    workerCode?: pulumi.Input<string>;
+    /**
+     * The execution environment for the code. It can be one of the following: 'python3.11' or 'nodejs18.x'.
+     */
+    workerRuntime?: pulumi.Input<string>;
+    /**
+     * Second-based 'cron' expression specifying when the data should be fetched. For example, use '*&#47;10 * * * * *' to run the code every 10 seconds.
+     */
+    workerSchedule?: pulumi.Input<string>;
+}
+/**
+ * The set of arguments for constructing a PolicyDataLoader resource.
+ */
+export interface PolicyDataLoaderArgs {
+    /**
+     * Policy data loader description.
+     */
+    description: pulumi.Input<string>;
+    /**
+     * The key to access the output data of this policy data loader.
+     */
+    key: pulumi.Input<string>;
+    /**
+     * Friendly name for this policy data loader.
+     */
+    name?: pulumi.Input<string>;
+    /**
+     * Defines the current status of the policy data loader. It can be one of the following: 'draft' or 'active'.
+     */
+    status: pulumi.Input<string>;
+    /**
+     * If set to true, this policy data loader cannot be deleted.
+     */
+    terminationProtection?: pulumi.Input<boolean>;
+    /**
+     * The code that will be executed to fetch and output the data.
+     */
+    workerCode: pulumi.Input<string>;
+    /**
+     * The execution environment for the code. It can be one of the following: 'python3.11' or 'nodejs18.x'.
+     */
+    workerRuntime: pulumi.Input<string>;
+    /**
+     * Second-based 'cron' expression specifying when the data should be fetched. For example, use '*&#47;10 * * * * *' to run the code every 10 seconds.
+     */
+    workerSchedule: pulumi.Input<string>;
+}

package/policyDataLoader.js

@@ -0,0 +1,88 @@
+"use strict";
+// *** WARNING: this file was generated by pulumi-language-nodejs. ***
+// *** Do not edit by hand unless you're certain you know what you are doing! ***
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PolicyDataLoader = void 0;
+const pulumi = require("@pulumi/pulumi");
+const utilities = require("./utilities");
+/**
+ * Registering a policy data loader with Formal.
+ */
+class PolicyDataLoader extends pulumi.CustomResource {
+    /**
+     * Get an existing PolicyDataLoader 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, id, state, opts) {
+        return new PolicyDataLoader(name, state, Object.assign(Object.assign({}, opts), { id: id }));
+    }
+    /**
+     * Returns true if the given object is an instance of PolicyDataLoader.  This is designed to work even
+     * when multiple copies of the Pulumi SDK have been loaded into the same process.
+     */
+    static isInstance(obj) {
+        if (obj === undefined || obj === null) {
+            return false;
+        }
+        return obj['__pulumiType'] === PolicyDataLoader.__pulumiType;
+    }
+    constructor(name, argsOrState, opts) {
+        let resourceInputs = {};
+        opts = opts || {};
+        if (opts.id) {
+            const state = argsOrState;
+            resourceInputs["createdAt"] = state ? state.createdAt : undefined;
+            resourceInputs["description"] = state ? state.description : undefined;
+            resourceInputs["key"] = state ? state.key : undefined;
+            resourceInputs["name"] = state ? state.name : undefined;
+            resourceInputs["status"] = state ? state.status : undefined;
+            resourceInputs["terminationProtection"] = state ? state.terminationProtection : undefined;
+            resourceInputs["updatedAt"] = state ? state.updatedAt : undefined;
+            resourceInputs["workerCode"] = state ? state.workerCode : undefined;
+            resourceInputs["workerRuntime"] = state ? state.workerRuntime : undefined;
+            resourceInputs["workerSchedule"] = state ? state.workerSchedule : undefined;
+        }
+        else {
+            const args = argsOrState;
+            if ((!args || args.description === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'description'");
+            }
+            if ((!args || args.key === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'key'");
+            }
+            if ((!args || args.status === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'status'");
+            }
+            if ((!args || args.workerCode === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'workerCode'");
+            }
+            if ((!args || args.workerRuntime === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'workerRuntime'");
+            }
+            if ((!args || args.workerSchedule === undefined) && !opts.urn) {
+                throw new Error("Missing required property 'workerSchedule'");
+            }
+            resourceInputs["description"] = args ? args.description : undefined;
+            resourceInputs["key"] = args ? args.key : undefined;
+            resourceInputs["name"] = args ? args.name : undefined;
+            resourceInputs["status"] = args ? args.status : undefined;
+            resourceInputs["terminationProtection"] = args ? args.terminationProtection : undefined;
+            resourceInputs["workerCode"] = args ? args.workerCode : undefined;
+            resourceInputs["workerRuntime"] = args ? args.workerRuntime : undefined;
+            resourceInputs["workerSchedule"] = args ? args.workerSchedule : undefined;
+            resourceInputs["createdAt"] = undefined /*out*/;
+            resourceInputs["updatedAt"] = undefined /*out*/;
+        }
+        opts = pulumi.mergeOptions(utilities.resourceOptsDefaults(), opts);
+        super(PolicyDataLoader.__pulumiType, name, resourceInputs, opts);
+    }
+}
+exports.PolicyDataLoader = PolicyDataLoader;
+/** @internal */
+PolicyDataLoader.__pulumiType = 'formal:index/policyDataLoader:PolicyDataLoader';
+//# sourceMappingURL=policyDataLoader.js.map

package/policyDataLoader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policyDataLoader.js","sourceRoot":"","sources":["../policyDataLoader.ts"],"names":[],"mappings":";AAAA,sEAAsE;AACtE,iFAAiF;;;AAEjF,yCAAyC;AACzC,yCAAyC;AAEzC;;GAEG;AACH,MAAa,gBAAiB,SAAQ,MAAM,CAAC,cAAc;IACvD;;;;;;;;OAQG;IACI,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,EAA2B,EAAE,KAA6B,EAAE,IAAmC;QAC3H,OAAO,IAAI,gBAAgB,CAAC,IAAI,EAAO,KAAK,kCAAO,IAAI,KAAE,EAAE,EAAE,EAAE,IAAG,CAAC;IACvE,CAAC;IAKD;;;OAGG;IACI,MAAM,CAAC,UAAU,CAAC,GAAQ;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,EAAE;YACnC,OAAO,KAAK,CAAC;SAChB;QACD,OAAO,GAAG,CAAC,cAAc,CAAC,KAAK,gBAAgB,CAAC,YAAY,CAAC;IACjE,CAAC;IAmDD,YAAY,IAAY,EAAE,WAA0D,EAAE,IAAmC;QACrH,IAAI,cAAc,GAAkB,EAAE,CAAC;QACvC,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAG,WAAgD,CAAC;YAC/D,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,cAAc,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YACtD,cAAc,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACxD,cAAc,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,cAAc,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1F,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,cAAc,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,cAAc,CAAC,eAAe,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,cAAc,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;SAC/E;aAAM;YACH,MAAM,IAAI,GAAG,WAA+C,CAAC;YAC7D,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACxD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;aAC9D;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAChD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;aACtD;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACnD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;aACzD;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBACvD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;aAC7D;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC1D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;aAChE;YACD,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC3D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;aACjE;YACD,cAAc,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,cAAc,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YACpD,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACtD,cAAc,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,cAAc,CAAC,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;YACxF,cAAc,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,cAAc,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;YACxE,cAAc,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,cAAc,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;YAChD,cAAc,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;SACnD;QACD,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,oBAAoB,EAAE,EAAE,IAAI,CAAC,CAAC;QACnE,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IACrE,CAAC;;AA7HL,4CA8HC;AAhHG,gBAAgB;AACO,6BAAY,GAAG,gDAAgD,CAAC"}

package/provider.d.ts

@@ -0,0 +1,44 @@
+import * as pulumi from "@pulumi/pulumi";
+/**
+ * The provider type for the formal package. By default, resources use package-wide configuration
+ * settings, however an explicit `Provider` instance may be created and passed during resource
+ * construction to achieve fine-grained programmatic control over provider settings. See the
+ * [documentation](https://www.pulumi.com/docs/reference/programming-model/#providers) for more information.
+ */
+export declare class Provider extends pulumi.ProviderResource {
+    /**
+     * Returns true if the given object is an instance of Provider.  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 Provider;
+    readonly apiKey: pulumi.Output<string | undefined>;
+    /**
+     * Create a Provider 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?: ProviderArgs, opts?: pulumi.ResourceOptions);
+    /**
+     * This function returns a Terraform config object with terraform-namecased keys,to be used with the Terraform Module Provider.
+     */
+    terraformConfig(): pulumi.Output<Provider.TerraformConfigResult>;
+}
+/**
+ * The set of arguments for constructing a Provider resource.
+ */
+export interface ProviderArgs {
+    apiKey?: pulumi.Input<string>;
+    retrieveSensitiveValues?: pulumi.Input<boolean>;
+}
+export declare namespace Provider {
+    /**
+     * The results of the Provider.terraformConfig method.
+     */
+    interface TerraformConfigResult {
+        readonly result: {
+            [key: string]: any;
+        };
+    }
+}

package/provider.js

@@ -0,0 +1,54 @@
+"use strict";
+// *** WARNING: this file was generated by pulumi-language-nodejs. ***
+// *** Do not edit by hand unless you're certain you know what you are doing! ***
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Provider = void 0;
+const pulumi = require("@pulumi/pulumi");
+const utilities = require("./utilities");
+/**
+ * The provider type for the formal package. By default, resources use package-wide configuration
+ * settings, however an explicit `Provider` instance may be created and passed during resource
+ * construction to achieve fine-grained programmatic control over provider settings. See the
+ * [documentation](https://www.pulumi.com/docs/reference/programming-model/#providers) for more information.
+ */
+class Provider extends pulumi.ProviderResource {
+    /**
+     * Returns true if the given object is an instance of Provider.  This is designed to work even
+     * when multiple copies of the Pulumi SDK have been loaded into the same process.
+     */
+    static isInstance(obj) {
+        if (obj === undefined || obj === null) {
+            return false;
+        }
+        return obj['__pulumiType'] === "pulumi:providers:" + Provider.__pulumiType;
+    }
+    /**
+     * Create a Provider 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, args, opts) {
+        let resourceInputs = {};
+        opts = opts || {};
+        {
+            resourceInputs["apiKey"] = args ? args.apiKey : undefined;
+            resourceInputs["retrieveSensitiveValues"] = pulumi.output(args ? args.retrieveSensitiveValues : undefined).apply(JSON.stringify);
+        }
+        opts = pulumi.mergeOptions(utilities.resourceOptsDefaults(), opts);
+        super(Provider.__pulumiType, name, resourceInputs, opts);
+    }
+    /**
+     * This function returns a Terraform config object with terraform-namecased keys,to be used with the Terraform Module Provider.
+     */
+    terraformConfig() {
+        return pulumi.runtime.call("pulumi:providers:formal/terraformConfig", {
+            "__self__": this,
+        }, this);
+    }
+}
+exports.Provider = Provider;
+/** @internal */
+Provider.__pulumiType = 'formal';
+//# sourceMappingURL=provider.js.map

package/provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.js","sourceRoot":"","sources":["../provider.ts"],"names":[],"mappings":";AAAA,sEAAsE;AACtE,iFAAiF;;;AAEjF,yCAAyC;AACzC,yCAAyC;AAEzC;;;;;GAKG;AACH,MAAa,QAAS,SAAQ,MAAM,CAAC,gBAAgB;IAIjD;;;OAGG;IACI,MAAM,CAAC,UAAU,CAAC,GAAQ;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,EAAE;YACnC,OAAO,KAAK,CAAC;SAChB;QACD,OAAO,GAAG,CAAC,cAAc,CAAC,KAAK,mBAAmB,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC/E,CAAC;IAID;;;;;;OAMG;IACH,YAAY,IAAY,EAAE,IAAmB,EAAE,IAA6B;QACxE,IAAI,cAAc,GAAkB,EAAE,CAAC;QACvC,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;QAClB;YACI,cAAc,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,cAAc,CAAC,yBAAyB,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SACpI;QACD,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,oBAAoB,EAAE,EAAE,IAAI,CAAC,CAAC;QACnE,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IAED;;OAEG;IACH,eAAe;QACX,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,yCAAyC,EAAE;YAClE,UAAU,EAAE,IAAI;SACnB,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;;AA1CL,4BA2CC;AA1CG,gBAAgB;AACO,qBAAY,GAAG,QAAQ,CAAC"}