alchemy-effect 0.0.0

package/lib/phase.d.ts

@@ -0,0 +1,2 @@
+export type Phase = "update" | "destroy";
+//# sourceMappingURL=phase.d.ts.map

package/lib/phase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phase.d.ts","sourceRoot":"","sources":["../src/phase.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,KAAK,GAAG,QAAQ,GAAG,SAAS,CAAC"}

package/lib/phase.js

@@ -0,0 +1 @@
+//# sourceMappingURL=phase.js.map

package/lib/phase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phase.js","sourceRoot":"","sources":["../src/phase.ts"],"names":[],"mappings":""}

package/lib/physical-name.d.ts

@@ -0,0 +1,4 @@
+import * as Effect from "effect/Effect";
+import { App } from "./app.ts";
+export declare const physicalName: (id: string) => Effect.Effect<string, never, App>;
+//# sourceMappingURL=physical-name.d.ts.map

package/lib/physical-name.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"physical-name.d.ts","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,eAAO,MAAM,YAAY,mDAGvB,CAAC"}

package/lib/physical-name.js

@@ -0,0 +1,7 @@
+import * as Effect from "effect/Effect";
+import { App } from "./app.js";
+export const physicalName = Effect.fn(function* (id) {
+    const app = yield* App;
+    return `${app.name}-${id}-${app.stage}`;
+});
+//# sourceMappingURL=physical-name.js.map

package/lib/physical-name.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"physical-name.js","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAU;IACzD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACvB,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;AAC1C,CAAC,CAAC,CAAC"}

package/lib/plan.d.ts

@@ -0,0 +1,98 @@
+import * as Effect from "effect/Effect";
+import type { AnyBinding } from "./binding.ts";
+import type { Phase } from "./phase.ts";
+import type { Instance } from "./policy.ts";
+import { type ProviderService } from "./provider.ts";
+import type { Resource } from "./resource.ts";
+import { type Service } from "./service.ts";
+import { State } from "./state.ts";
+export type PlanError = never;
+export declare const isBindNode: (node: any) => node is BindNode;
+/**
+ * A node in the plan that represents a binding operation acting on a resource.
+ */
+export type BindNode<B extends AnyBinding = AnyBinding> = Attach<B> | Detach<B> | NoopBind<B>;
+export type Attach<B extends AnyBinding = AnyBinding> = {
+    action: "attach";
+    binding: B;
+    olds?: BindNode;
+};
+export type Detach<B extends AnyBinding = AnyBinding> = {
+    action: "detach";
+    binding: B;
+};
+export type NoopBind<B extends AnyBinding = AnyBinding> = {
+    action: "noop";
+    binding: B;
+};
+export declare const isCRUD: (node: any) => node is CRUD;
+/**
+ * A node in the plan that represents a resource CRUD operation.
+ */
+export type CRUD<R extends Resource = Resource> = Create<R> | Update<R> | Delete<R> | Replace<R> | NoopUpdate<R>;
+export type Apply<R extends Resource = Resource> = Create<R> | Update<R> | Replace<R> | NoopUpdate<R>;
+export type Create<R extends Resource> = {
+    action: "create";
+    resource: R;
+    news: any;
+    provider: ProviderService;
+    attributes: R["attr"];
+    bindings: BindNode[];
+};
+export type Update<R extends Resource> = {
+    action: "update";
+    resource: R;
+    olds: any;
+    news: any;
+    output: any;
+    provider: ProviderService;
+    attributes: R["attr"];
+    bindings: BindNode[];
+};
+export type Delete<R extends Resource> = {
+    action: "delete";
+    resource: R;
+    olds: any;
+    output: any;
+    provider: ProviderService;
+    bindings: BindNode[];
+    attributes: R["attr"];
+    downstream: string[];
+};
+export type NoopUpdate<R extends Resource> = {
+    action: "noop";
+    resource: R;
+    attributes: R["attr"];
+    bindings: BindNode[];
+};
+export type Replace<R extends Resource> = {
+    action: "replace";
+    resource: R;
+    olds: any;
+    news: any;
+    output: any;
+    provider: ProviderService;
+    bindings: BindNode[];
+    attributes: R["attr"];
+    deleteFirst?: boolean;
+};
+export type Plan = {
+    phase: Phase;
+    resources: {
+        [id in string]: CRUD;
+    };
+    deletions: {
+        [id in string]?: Delete<Resource>;
+    };
+};
+export declare const plan: <const Phase extends "update" | "destroy", const Services extends Service[]>({ phase, services, }: {
+    phase: Phase;
+    services: Services;
+}) => Effect.Effect<{
+    phase: Phase;
+    resources: { [ID in Services[number]["id"] | { [ID_1 in Services[number]["id"]]: Extract<{ [ID_2 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_2, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Services[number]["id"]]["id"]]: ({ [ID_2 in Services[number]["id"]]: Apply<Extract<Instance<{ [ID_3 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_3, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_2]>, Resource<string, string, unknown, unknown>>>; } & { [ID_3 in { [ID_1 in Services[number]["id"]]: Extract<{ [ID_3 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_3, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Services[number]["id"]]["id"]]: Apply<Extract<{ [ID_1 in Services[number]["id"]]: Extract<{ [ID_4 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_4, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Services[number]["id"]], {
+        id: ID_3;
+    }>>; })[ID]; };
+    deletions: { [id in Exclude<string, Services[number]["id"] | { [ID in Services[number]["id"]]: Extract<{ [ID_1 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_1, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Services[number]["id"]]["id"]>]?: Delete<Resource>; };
+}, never, { [ID in Services[number]["id"]]: { [ID_1 in Services[number]["id"]]: Extract<Services[number], Service<Extract<ID_1, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID]["props"]["bindings"]["tags"][number]; }[Services[number]["id"]] | State>;
+//# sourceMappingURL=plan.d.ts.map

package/lib/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAa,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,KAAK,EAAsB,MAAM,YAAY,CAAC;AAEvD,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAE9B,eAAO,MAAM,UAAU,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,QAQ9C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAClD,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEhB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,CAAC,EAAE,QAAQ,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,IAS1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC1C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAElB,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC3C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAYlB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,CAAC,CAAC;IACZ,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI;IACxC,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,IAAI;KACrB,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC;CACH,CAAC;AAEF,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,KAAK,SAAS,QAAQ,GAAG,SAAS,EACxC,KAAK,CAAC,QAAQ,SAAS,OAAO,EAAE,EAChC,sBAGC;IACD,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;CACpB,KAkPO,MAAM,CAAC,MAAM,CACjB;IACE,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,GACR,EAAE,ogBAAmB;YAnOS,IAAE;kBAoOlC,CAAC;IACF,SAAS,EAAE,GACR,EAAE,IAAI,OAAO,CAAC,MAAM,8BA/OxB,EAAE,+dA+OwC,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,GAC5D,CAAC;CACH,EACD,KAAK,EACL,GAtPC,EAAE,kZAsPY,KAAK,CAEvB,CAAC"}

package/lib/plan.js

@@ -0,0 +1,228 @@
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import {} from "./provider.js";
+import { isService } from "./service.js";
+import { State } from "./state.js";
+export const isBindNode = (node) => {
+    return (node &&
+        typeof node === "object" &&
+        (node.action === "attach" ||
+            node.action === "detach" ||
+            node.action === "noop"));
+};
+export const isCRUD = (node) => {
+    return (node &&
+        typeof node === "object" &&
+        (node.action === "create" ||
+            node.action === "update" ||
+            node.action === "replace" ||
+            node.action === "noop"));
+};
+const Node = (node) => ({
+    ...node,
+    toString() {
+        return `${this.action.charAt(0).toUpperCase()}${this.action.slice(1)}(${this.resource})`;
+    },
+    [Symbol.toStringTag]() {
+        return this.toString();
+    },
+});
+export const plan = ({ phase, services, }) => {
+    return Effect.gen(function* () {
+        const state = yield* State;
+        const resourceIds = yield* state.list();
+        const resourcesState = yield* Effect.all(resourceIds.map((id) => state.get(id)));
+        // map of resource ID -> its downstream dependencies (resources that depend on it)
+        const downstream = resourcesState
+            .filter((resource) => !!resource?.bindings)
+            .flatMap((resource) => resource.bindings.flatMap(({ binding }) => [
+            [binding.capability.resource.id, binding.capability.resource],
+        ]))
+            .reduce((acc, [id, resourceId]) => ({
+            ...acc,
+            [id]: [...(acc[id] ?? []), resourceId],
+        }), {});
+        const resources = phase === "update"
+            ? Object.fromEntries((yield* Effect.all(services
+                .flatMap((service) => [
+                ...service.props.bindings.capabilities.map((cap) => cap.resource),
+                service,
+            ])
+                .filter((node, i, arr) => arr.findIndex((n) => n.id === node.id) === i)
+                .map(Effect.fn(function* (node) {
+                const id = node.id;
+                const resource = node;
+                const news = resource.props;
+                const oldState = yield* state.get(id);
+                const provider = yield* resource.provider.tag;
+                const bindings = diffBindings(oldState, isService(node)
+                    ? node.props.bindings.bindings
+                    : []);
+                if (oldState === undefined ||
+                    oldState.status === "creating") {
+                    return Node({
+                        action: "create",
+                        news,
+                        provider,
+                        resource,
+                        bindings,
+                        // phantom
+                        attributes: undefined,
+                    });
+                }
+                else if (provider.diff) {
+                    const diff = yield* provider.diff({
+                        id,
+                        olds: oldState.props,
+                        news,
+                        output: oldState.output,
+                    });
+                    if (diff.action === "noop") {
+                        return Node({
+                            action: "noop",
+                            resource,
+                            bindings,
+                            // phantom
+                            attributes: undefined,
+                        });
+                    }
+                    else if (diff.action === "replace") {
+                        return Node({
+                            action: "replace",
+                            olds: oldState.props,
+                            news,
+                            output: oldState.output,
+                            provider,
+                            resource,
+                            bindings,
+                            // phantom
+                            attributes: undefined,
+                        });
+                    }
+                    else {
+                        return Node({
+                            action: "update",
+                            olds: oldState.props,
+                            news,
+                            output: oldState.output,
+                            provider,
+                            resource,
+                            bindings,
+                            // phantom
+                            attributes: undefined,
+                        });
+                    }
+                }
+                else if (compare(oldState, resource.props)) {
+                    return Node({
+                        action: "update",
+                        olds: oldState.props,
+                        news,
+                        output: oldState.output,
+                        provider,
+                        resource,
+                        bindings,
+                        // phantom
+                        attributes: undefined,
+                    });
+                }
+                else {
+                    return Node({
+                        action: "noop",
+                        resource,
+                        bindings,
+                        // phantom
+                        attributes: undefined,
+                    });
+                }
+            })))).map((update) => [update.resource.id, update]))
+            : {};
+        const deletions = Object.fromEntries((yield* Effect.all((yield* state.list()).map(Effect.fn(function* (id) {
+            if (id in resources) {
+                return;
+            }
+            const oldState = yield* state.get(id);
+            const context = yield* Effect.context();
+            if (oldState) {
+                const provider = context.unsafeMap.get(oldState?.type);
+                if (!provider) {
+                    yield* Effect.die(new Error(`Provider not found for ${oldState?.type}`));
+                }
+                return [
+                    id,
+                    {
+                        action: "delete",
+                        olds: oldState.props,
+                        output: oldState.output,
+                        provider,
+                        attributes: oldState?.output,
+                        // TODO(sam): Support Detach Bindings
+                        bindings: [],
+                        resource: {
+                            id: id,
+                            parent: undefined,
+                            type: oldState.type,
+                            attr: oldState.output,
+                            props: oldState.props,
+                        },
+                        downstream: downstream[id] ?? [],
+                    },
+                ];
+            }
+        })))).filter((v) => !!v));
+        for (const [resourceId, deletion] of Object.entries(deletions)) {
+            const dependencies = deletion.downstream.filter((d) => d in resources);
+            if (dependencies.length > 0) {
+                return yield* Effect.fail(new DeleteResourceHasDownstreamDependencies({
+                    message: `Resource ${resourceId} has downstream dependencies`,
+                    resourceId,
+                    dependencies,
+                }));
+            }
+        }
+        return {
+            phase,
+            resources,
+            deletions,
+        };
+    });
+};
+class DeleteResourceHasDownstreamDependencies extends Data.TaggedError("DeleteResourceHasDownstreamDependencies") {
+}
+const compare = (oldState, newState) => JSON.stringify(oldState?.props) === JSON.stringify(newState);
+const diffBindings = (oldState, bindings) => {
+    const actions = [];
+    const oldBindings = oldState?.bindings;
+    const oldSids = new Set(oldBindings?.map(({ binding }) => binding.capability.sid));
+    for (const binding of bindings) {
+        const cap = binding.capability;
+        const sid = cap.sid ?? `${cap.action}:${cap.resource.ID}`;
+        oldSids.delete(sid);
+        const oldBinding = oldBindings?.find(({ binding }) => binding.capability.sid === sid);
+        if (!oldBinding) {
+            actions.push({
+                action: "attach",
+                binding,
+            });
+        }
+        else if (isBindingDiff(oldBinding, binding)) {
+            actions.push({
+                action: "attach",
+                binding,
+                olds: oldBinding,
+            });
+        }
+    }
+    // for (const sid of oldSids) {
+    //   actions.push({
+    //     action: "detach",
+    //     cap: oldBindings?.find((binding) => binding.sid === sid)!,
+    //   });
+    // }
+    return actions;
+};
+const isBindingDiff = ({ binding: oldBinding }, newBinding) => oldBinding.capability.action !== newBinding.capability.action ||
+    oldBinding.capability?.resource?.id !== newBinding.capability?.resource?.id;
+// TODO(sam): compare props
+// oldBinding.props !== newBinding.props;
+//# sourceMappingURL=plan.js.map

package/lib/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,EAAwB,MAAM,eAAe,CAAC;AAErD,OAAO,EAAE,SAAS,EAAgB,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,KAAK,EAAsB,MAAM,YAAY,CAAC;AAIvD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAS,EAAoB,EAAE;IACxD,OAAO,CACL,IAAI;QACJ,OAAO,IAAI,KAAK,QAAQ;QACxB,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ;YACvB,IAAI,CAAC,MAAM,KAAK,QAAQ;YACxB,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAC1B,CAAC;AACJ,CAAC,CAAC;AA0BF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAS,EAAgB,EAAE;IAChD,OAAO,CACL,IAAI;QACJ,OAAO,IAAI,KAAK,QAAQ;QACxB,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ;YACvB,IAAI,CAAC,MAAM,KAAK,QAAQ;YACxB,IAAI,CAAC,MAAM,KAAK,SAAS;YACzB,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAC1B,CAAC;AACJ,CAAC,CAAC;AAkBF,MAAM,IAAI,GAAG,CAAkB,IAAO,EAAE,EAAE,CAAC,CAAC;IAC1C,GAAG,IAAI;IACP,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC;IAC3F,CAAC;IACD,CAAC,MAAM,CAAC,WAAW,CAAC;QAClB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;CACF,CAAC,CAAC;AA8DH,MAAM,CAAC,MAAM,IAAI,GAAG,CAGlB,EACA,KAAK,EACL,QAAQ,GAIT,EAAE,EAAE;IAuBH,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC;QAE3B,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACvC,CAAC;QACF,kFAAkF;QAClF,MAAM,UAAU,GAAG,cAAc;aAC9B,MAAM,CACL,CACE,QAAQ,EAGR,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAC1B;aACA,OAAO,CACN,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACzC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC;SAC9D,CAAC,CAWL;aACA,MAAM,CACL,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1B,GAAG,GAAG;YACN,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC;SACvC,CAAC,EACF,EAA8B,CAC/B,CAAC;QAEJ,MAAM,SAAS,GACb,KAAK,KAAK,QAAQ;YAChB,CAAC,CAAE,MAAM,CAAC,WAAW,CACjB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChB,QAAQ;iBACL,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpB,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CACxC,CAAC,GAAe,EAAE,EAAE,CAAC,GAAG,CAAC,QAAoB,CAC9C;gBACD,OAAO;aACR,CAAC;iBACD,MAAM,CACL,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CACf,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAC/C;iBACA,GAAG,CACF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI;gBACvB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,QAAQ,GAAG,IAEhB,CAAC;gBACF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC;gBAE5B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAE9C,MAAM,QAAQ,GAAG,YAAY,CAC3B,QAAQ,EACR,SAAS,CAAC,IAAI,CAAC;oBACb,CAAC,CACG,IAAI,CAAC,KAAK,CAAC,QAGZ,CAAC,QAAQ;oBACZ,CAAC,CAAC,EAAE,CACP,CAAC;gBAEF,IACE,QAAQ,KAAK,SAAS;oBACtB,QAAQ,CAAC,MAAM,KAAK,UAAU,EAC9B,CAAC;oBACD,OAAO,IAAI,CAAmB;wBAC5B,MAAM,EAAE,QAAQ;wBAChB,IAAI;wBACJ,QAAQ;wBACR,QAAQ;wBACR,QAAQ;wBACR,UAAU;wBACV,UAAU,EAAE,SAAU;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;wBAChC,EAAE;wBACF,IAAI,EAAE,QAAQ,CAAC,KAAK;wBACpB,IAAI;wBACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;qBACxB,CAAC,CAAC;oBACH,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBAC3B,OAAO,IAAI,CAAuB;4BAChC,MAAM,EAAE,MAAM;4BACd,QAAQ;4BACR,QAAQ;4BACR,UAAU;4BACV,UAAU,EAAE,SAAU;yBACvB,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBACrC,OAAO,IAAI,CAAoB;4BAC7B,MAAM,EAAE,SAAS;4BACjB,IAAI,EAAE,QAAQ,CAAC,KAAK;4BACpB,IAAI;4BACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;4BACvB,QAAQ;4BACR,QAAQ;4BACR,QAAQ;4BACR,UAAU;4BACV,UAAU,EAAE,SAAU;yBACvB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,OAAO,IAAI,CAAmB;4BAC5B,MAAM,EAAE,QAAQ;4BAChB,IAAI,EAAE,QAAQ,CAAC,KAAK;4BACpB,IAAI;4BACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;4BACvB,QAAQ;4BACR,QAAQ;4BACR,QAAQ;4BACR,UAAU;4BACV,UAAU,EAAE,SAAU;yBACvB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7C,OAAO,IAAI,CAAmB;wBAC5B,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE,QAAQ,CAAC,KAAK;wBACpB,IAAI;wBACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,QAAQ;wBACR,QAAQ;wBACR,QAAQ;wBACR,UAAU;wBACV,UAAU,EAAE,SAAU;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,OAAO,IAAI,CAAuB;wBAChC,MAAM,EAAE,MAAM;wBACd,QAAQ;wBACR,QAAQ;wBACR,UAAU;wBACV,UAAU,EAAE,SAAU;qBACvB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CACH,CACJ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAC3B;YACzB,CAAC,CAAE,EAAwB,CAAC;QAEhC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAClC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CACvB,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE;YACrB,IAAI,EAAE,IAAI,SAAS,EAAE,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAS,CAAC;YAC/C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAoB,OAAO,CAAC,SAAS,CAAC,GAAG,CACrD,QAAQ,EAAE,IAAI,CACf,CAAC;gBACF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,IAAI,KAAK,CAAC,0BAA0B,QAAQ,EAAE,IAAI,EAAE,CAAC,CACtD,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,EAAE;oBACF;wBACE,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE,QAAQ,CAAC,KAAK;wBACpB,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,QAAQ;wBACR,UAAU,EAAE,QAAQ,EAAE,MAAM;wBAC5B,qCAAqC;wBACrC,QAAQ,EAAE,EAAE;wBACZ,QAAQ,EAAE;4BACR,EAAE,EAAE,EAAE;4BACN,MAAM,EAAE,SAAS;4BACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,IAAI,EAAE,QAAQ,CAAC,MAAM;4BACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;yBACV;wBACb,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE;qBACN;iBACpB,CAAC;YACb,CAAC;QACH,CAAC,CAAC,CACH,CACF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACtB,CAAC;QAEF,KAAK,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/D,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC;YACvE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,uCAAuC,CAAC;oBAC1C,OAAO,EAAE,YAAY,UAAU,8BAA8B;oBAC7D,UAAU;oBACV,YAAY;iBACb,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK;YACL,SAAS;YACT,SAAS;SACa,CAAC;IAC3B,CAAC,CAYA,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uCAAwC,SAAQ,IAAI,CAAC,WAAW,CACpE,yCAAyC,CAKzC;CAAG;AAEL,MAAM,OAAO,GAAG,CACd,QAAmC,EACnC,QAAoB,EACpB,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AAElE,MAAM,YAAY,GAAG,CACnB,QAAmC,EACnC,QAAsB,EACtB,EAAE;IACF,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,QAAQ,EAAE,QAAQ,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAC1D,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QAC1D,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEpB,MAAM,UAAU,GAAG,WAAW,EAAE,IAAI,CAClC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAChD,CAAC;QACF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,QAAQ;gBAChB,OAAO;aACR,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,QAAQ;gBAChB,OAAO;gBACP,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,+BAA+B;IAC/B,mBAAmB;IACnB,wBAAwB;IACxB,iEAAiE;IACjE,QAAQ;IACR,IAAI;IACJ,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,EAAE,OAAO,EAAE,UAAU,EAAY,EACjC,UAAsB,EACtB,EAAE,CACF,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,UAAU,CAAC,MAAM;IAC7D,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,KAAK,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC9E,2BAA2B;AAC3B,yCAAyC"}

package/lib/policy.d.ts

@@ -0,0 +1,37 @@
+import * as Effect from "effect/Effect";
+import { type AnyBinding, type Bind } from "./binding.ts";
+import type { Capability } from "./capability.ts";
+import type { Runtime } from "./runtime.ts";
+/**
+ * A Policy binds a set of Capbilities (e.g SQS.SendMessage, SQS.Consume, etc.) to a
+ * specific Runtime (e.g. AWS Lambda Function, Cloudflare Worker, etc.).
+ *
+ * It brings with it a set of upstream Tags containing the required Provider services
+ * to deploy the infrastructure, e.g. (BindingTag<AWS.Lambda.Function, SendMessage<Queue>>)
+ *
+ * A Policy is invariant over the set of Capabilities to ensure least-privilege.
+ */
+export interface Policy<F extends Runtime, in out Capabilities, Tags = unknown> {
+    readonly runtime: F;
+    readonly tags: Tags[];
+    readonly capabilities: Capabilities[];
+    /** Add more Capabilities to a Policy */
+    and<B extends AnyBinding[]>(...bindings: B): Policy<F, B[number]["capability"] | Capabilities, Tags>;
+}
+export type $<T> = Instance<T>;
+export declare const $: typeof Policy;
+type BindingTags<B extends AnyBinding> = B extends any ? Bind<B["runtime"], B["capability"], Extract<B["tag"], string>> : never;
+export declare function Policy<F extends Runtime>(): Policy<F, never, never>;
+export declare function Policy<B extends AnyBinding[]>(...capabilities: B): Policy<B[number]["runtime"], B[number]["capability"], BindingTags<B[number]>>;
+/** declare a Policy requiring Capabilities in some context */
+export declare const declare: <S extends Capability>() => Effect.Effect<void, never, S>;
+export type Instance<T> = T extends {
+    id: string;
+} ? string extends T["id"] ? T : T extends new (...args: any) => infer I ? I : never : never;
+export type From<T> = Instance<T>;
+export type To<T> = Instance<T>;
+export type In<T> = Instance<T>;
+export type Into<T> = Instance<T>;
+export type On<T> = Instance<T>;
+export {};
+//# sourceMappingURL=policy.d.ts.map

package/lib/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;;;;;GAQG;AACH,MAAM,WAAW,MAAM,CACrB,CAAC,SAAS,OAAO,EACjB,EAAE,CAAC,GAAG,CAAC,YAAY,EACnB,IAAI,GAAG,OAAO;IAEd,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC;IAGtC,wCAAwC;IACxC,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,EACxB,GAAG,QAAQ,EAAE,CAAC,GACb,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,GAAG,YAAY,EAAE,IAAI,CAAC,CAAC;CAC5D;AAED,MAAM,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC/B,eAAO,MAAM,CAAC,eAAS,CAAC;AAExB,KAAK,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,GAAG,GAClD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,GAC9D,KAAK,CAAC;AAEV,wBAAgB,MAAM,CAAC,CAAC,SAAS,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACrE,wBAAgB,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,EAC3C,GAAG,YAAY,EAAE,CAAC,GACjB,MAAM,CACP,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EACpB,CAAC,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,EACvB,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CACvB,CAAC;AAcF,8DAA8D;AAC9D,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,UAAU,OACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAE/D,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9C,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,GACpB,CAAC,GACD,CAAC,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,MAAM,CAAC,GACrC,CAAC,GACD,KAAK,GACT,KAAK,CAAC;AAGV,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAClC,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAClC,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC"}

package/lib/policy.js

@@ -0,0 +1,16 @@
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import {} from "./binding.js";
+export const $ = Policy;
+export function Policy(...bindings) {
+    return {
+        runtime: bindings[0]["runtime"],
+        capabilities: bindings.map((b) => b.capability),
+        tags: bindings.map((b) => Context.Tag(b.tag)()),
+        bindings,
+        and: (...b2) => Policy(...bindings, ...b2),
+    };
+}
+/** declare a Policy requiring Capabilities in some context */
+export const declare = () => Effect.gen(function* () { });
+//# sourceMappingURL=policy.js.map

package/lib/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAA8B,MAAM,cAAc,CAAC;AA8B1D,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAcxB,MAAM,UAAU,MAAM,CAAC,GAAG,QAAsB;IAC9C,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/B,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QAC/C,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAU,CAAC,EAAE,CAAC;QACtD,QAAQ;QACR,GAAG,EAAE,CAAC,GAAG,EAAgB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC;KAIzD,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,OAAO,GAAG,GAAyB,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAK,CAAC,CAAkC,CAAC"}

package/lib/provider.d.ts

@@ -0,0 +1,57 @@
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type { ScopedPlanStatusSession } from "./apply.ts";
+import type { Resource } from "./resource.ts";
+import type { Runtime } from "./runtime.ts";
+export type Provider<R extends Resource> = Context.TagClass<Provider<R>, R["type"], ProviderService<R>>;
+export type Diff = {
+    action: "update" | "noop";
+    deleteFirst?: undefined;
+} | {
+    action: "replace";
+    deleteFirst?: boolean;
+};
+type BindingData<Res extends Resource> = [Res] extends [Runtime] ? Res["binding"][] : any[];
+export interface ProviderService<Res extends Resource = Resource> {
+    read?(input: {
+        id: string;
+        olds: Res["props"] | undefined;
+        output: Res["attr"] | undefined;
+        session: ScopedPlanStatusSession;
+        bindings: BindingData<Res>;
+    }): Effect.Effect<Res["attr"] | undefined, any, never>;
+    diff?(input: {
+        id: string;
+        olds: Res["props"];
+        news: Res["props"];
+        output: Res["attr"];
+    }): Effect.Effect<Diff, never, never>;
+    stub?(input: {
+        id: string;
+        news: Res["props"];
+        session: ScopedPlanStatusSession;
+    }): Effect.Effect<Res["attr"], any, never>;
+    create(input: {
+        id: string;
+        news: Res["props"];
+        session: ScopedPlanStatusSession;
+        bindings: BindingData<Res>;
+    }): Effect.Effect<Res["attr"], any, never>;
+    update(input: {
+        id: string;
+        news: Res["props"];
+        olds: Res["props"];
+        output: Res["attr"];
+        session: ScopedPlanStatusSession;
+        bindings: BindingData<Res>;
+    }): Effect.Effect<Res["attr"], any, never>;
+    delete(input: {
+        id: string;
+        olds: Res["props"];
+        output: Res["attr"];
+        session: ScopedPlanStatusSession;
+        bindings: BindingData<Res>;
+    }): Effect.Effect<void, any, never>;
+}
+export {};
+//# sourceMappingURL=provider.d.ts.map

package/lib/provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,OAAO,CAAC,QAAQ,CACzD,QAAQ,CAAC,CAAC,CAAC,EACX,CAAC,CAAC,MAAM,CAAC,EACT,eAAe,CAAC,CAAC,CAAC,CACnB,CAAC;AAEF,MAAM,MAAM,IAAI,GACZ;IACE,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,SAAS,CAAC;CACzB,GACD;IACE,MAAM,EAAE,SAAS,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEN,KAAK,WAAW,CAAC,GAAG,SAAS,QAAQ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,GAC5D,GAAG,CAAC,SAAS,CAAC,EAAE,GAChB,GAAG,EAAE,CAAC;AAEV,MAAM,WAAW,eAAe,CAAC,GAAG,SAAS,QAAQ,GAAG,QAAQ;IAO9D,IAAI,CAAC,CAAC,KAAK,EAAE;QACX,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;QAE/B,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;QAChC,OAAO,EAAE,uBAAuB,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;KAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,KAAK,EAAE;QACX,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;KACrB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,KAAK,EAAE;QACX,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,OAAO,EAAE,uBAAuB,CAAC;KAClC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,EAAE;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,OAAO,EAAE,uBAAuB,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;KAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,EAAE;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,EAAE,uBAAuB,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;KAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,EAAE;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,EAAE,uBAAuB,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;KAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;CACrC"}

package/lib/provider.js

@@ -0,0 +1,2 @@
+import * as Context from "effect/Context";
+//# sourceMappingURL=provider.js.map

package/lib/provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.js","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC"}

package/lib/reporter.d.ts

@@ -0,0 +1,8 @@
+import * as Context from "effect/Context";
+declare const Reporter_base: Context.TagClass<Reporter, "Reporter", {
+    report: (event: Event) => void;
+}>;
+export declare class Reporter extends Reporter_base {
+}
+export {};
+//# sourceMappingURL=reporter.d.ts.map

package/lib/reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.d.ts","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;;YAK9B,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI;;AAHlC,qBAAa,QAAS,SAAQ,aAK3B;CAAG"}

package/lib/reporter.js

@@ -0,0 +1,4 @@
+import * as Context from "effect/Context";
+export class Reporter extends Context.Tag("Reporter")() {
+}
+//# sourceMappingURL=reporter.js.map

package/lib/reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.js","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAKlD;CAAG"}

package/lib/resource.d.ts

@@ -0,0 +1,38 @@
+import * as Context from "effect/Context";
+import type { Effect } from "effect/Effect";
+import * as Layer from "effect/Layer";
+import type { Provider, ProviderService } from "./provider.ts";
+export declare const isResource: (r: any) => r is Resource;
+export interface Resource<Type extends string = string, ID extends string = string, Props = unknown, Attrs = unknown> {
+    id: ID;
+    type: Type;
+    props: Props;
+    attr: Attrs;
+    parent: unknown;
+    new (): Resource<Type, ID, Props, Attrs>;
+}
+export interface ResourceTags<R extends Resource> {
+    of<S extends ProviderService<R>>(service: S): S;
+    tag: Context.TagClass<Provider<R>, R["type"], ProviderService<R>>;
+    effect<Err, Req>(eff: Effect<ProviderService<R>, Err, Req>): Layer.Layer<Provider<R>, Err, Req>;
+    succeed(service: ProviderService<R>): Layer.Layer<Provider<R>>;
+}
+export declare const Resource: <Ctor extends (id: string, props: any) => Resource>(type: ReturnType<Ctor>["type"]) => Ctor & {
+    new (): ReturnType<Ctor> & {
+        parent: ReturnType<Ctor>;
+    };
+    type: ReturnType<Ctor>["type"];
+    provider: {
+        tag: Context.TagClass<unknown, ReturnType<Ctor>["type"], unknown>;
+        effect: <Err, Req>(eff: Effect<ProviderService<ReturnType<Ctor>>, Err, Req>) => Layer.Layer<unknown, Err, Req>;
+        succeed: (service: ProviderService<ReturnType<Ctor>>) => Layer.Layer<unknown, never, never>;
+    };
+} & {
+    type: ReturnType<Ctor>["type"];
+    provider: {
+        tag: Context.TagClass<unknown, ReturnType<Ctor>["type"], unknown>;
+        effect: <Err, Req>(eff: Effect<ProviderService<ReturnType<Ctor>>, Err, Req>) => Layer.Layer<unknown, Err, Req>;
+        succeed: (service: ProviderService<ReturnType<Ctor>>) => Layer.Layer<unknown, never, never>;
+    };
+};
+//# sourceMappingURL=resource.d.ts.map

package/lib/resource.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource.d.ts","sourceRoot":"","sources":["../src/resource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAE/D,eAAO,MAAM,UAAU,GAAI,GAAG,GAAG,KAAG,CAAC,IAAI,QAIxC,CAAC;AAEF,MAAM,WAAW,QAAQ,CACvB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,EAAE,SAAS,MAAM,GAAG,MAAM,EAC1B,KAAK,GAAG,OAAO,EACf,KAAK,GAAG,OAAO;IAEf,EAAE,EAAE,EAAE,CAAC;IACP,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,OAAO,CAAC;IAEhB,QAAQ,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,QAAQ;IAC9C,EAAE,CAAC,CAAC,SAAS,eAAe,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAChD,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,GAAG,EAAE,GAAG,EACb,GAAG,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GACxC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;CAChE;AAED,eAAO,MAAM,QAAQ,GAAI,IAAI,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,QAAQ,EACxE,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAqBlB,UAAU,CAAC,IAAI,CAAC,GAAG;QACzB,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;KAC1B;UAHK,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;;;iBAfvB,GAAG,EAAE,GAAG,OACV,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;2BAEvC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;;;;;;iBAH3C,GAAG,EAAE,GAAG,OACV,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;2BAEvC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;;CAuBvD,CAAC"}

package/lib/resource.js

@@ -0,0 +1,25 @@
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+export const isResource = (r) => {
+    return (r && typeof r === "function" && "id" in r && "type" in r && "props" in r);
+};
+export const Resource = (type) => {
+    const Tag = Context.Tag(type)();
+    const provider = {
+        tag: Tag,
+        effect: (eff) => Layer.effect(Tag, eff),
+        succeed: (service) => Layer.succeed(Tag, service),
+    };
+    return Object.assign(function (id, props) {
+        return class Resource {
+            static id = id;
+            static type = type;
+            static props = props;
+            static provider = provider;
+        };
+    }, {
+        type: type,
+        provider,
+    });
+};
+//# sourceMappingURL=resource.js.map

package/lib/resource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource.js","sourceRoot":"","sources":["../src/resource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAGtC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAM,EAAiB,EAAE;IAClD,OAAO,CACL,CAAC,IAAI,OAAO,CAAC,KAAK,UAAU,IAAI,IAAI,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AA0BF,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAA8B,EAC9B,EAAE;IACF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG;QACf,GAAG,EAAE,GAAG;QACR,MAAM,EAAE,CACN,GAAwD,EACxD,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;QAC3B,OAAO,EAAE,CAAC,OAA0C,EAAE,EAAE,CACtD,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC;KAC9B,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAClB,UAAU,EAAU,EAAE,KAAU;QAC9B,OAAO,MAAM,QAAQ;YACnB,MAAM,CAAU,EAAE,GAAG,EAAE,CAAC;YACxB,MAAM,CAAU,IAAI,GAAG,IAAI,CAAC;YAC5B,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC;YAC9B,MAAM,CAAU,QAAQ,GAAG,QAAQ,CAAC;SACrC,CAAC;IACJ,CAMC,EACD;QACE,IAAI,EAAE,IAAI;QACV,QAAQ;KACT,CACF,CAAC;AACJ,CAAC,CAAC"}