alchemy-effect 0.2.0 → 0.3.0

package/lib/plan.d.ts

@@ -1,9 +1,10 @@
 import * as Effect from "effect/Effect";
 import type { AnyBinding } from "./binding.ts";
-import type { Phase } from "./phase.ts";
+import * as Output from "./output.ts";
 import type { Instance } from "./policy.ts";
+import type { Provider } from "./provider.ts";
 import { type ProviderService } from "./provider.ts";
-import type { Resource } from "./resource.ts";
+import type { AnyResource, Resource } from "./resource.ts";
 import { type IService, type Service } from "./service.ts";
 import { State } from "./state.ts";
 export type PlanError = never;
@@ -38,72 +39,90 @@ 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> = {
+export type CRUD<R extends Resource = AnyResource> = Create<R> | Update<R> | Delete<R> | Replace<R> | NoopUpdate<R>;
+export type Apply<R extends Resource = AnyResource> = Create<R> | Update<R> | Replace<R> | NoopUpdate<R>;
+export type Create<R extends Resource = AnyResource> = {
     action: "create";
     resource: R;
     news: any;
-    provider: ProviderService;
+    provider: ProviderService<R>;
     attributes: R["attr"];
     bindings: BindNode[];
 };
-export type Update<R extends Resource> = {
+export type Update<R extends Resource = AnyResource> = {
     action: "update";
     resource: R;
     olds: any;
     news: any;
     output: any;
-    provider: ProviderService;
+    provider: ProviderService<R>;
     attributes: R["attr"];
     bindings: BindNode[];
 };
-export type Delete<R extends Resource> = {
+export type Delete<R extends Resource = AnyResource> = {
     action: "delete";
     resource: R;
     olds: any;
     output: any;
-    provider: ProviderService;
+    provider: ProviderService<R>;
     bindings: BindNode[];
     attributes: R["attr"];
     downstream: string[];
 };
-export type NoopUpdate<R extends Resource> = {
+export type NoopUpdate<R extends Resource = AnyResource> = {
     action: "noop";
     resource: R;
     attributes: R["attr"];
     bindings: BindNode[];
 };
-export type Replace<R extends Resource> = {
+export type Replace<R extends Resource = AnyResource> = {
     action: "replace";
     resource: R;
     olds: any;
     news: any;
     output: any;
-    provider: ProviderService;
+    provider: ProviderService<R>;
     bindings: BindNode[];
     attributes: R["attr"];
     deleteFirst?: boolean;
 };
-export type Plan = {
-    phase: Phase;
+export type ResourceGraph<Resources extends Service | Resource> = ToGraph<TraverseResources<Resources>>;
+export type TraverseResources<Resources extends Service | Resource> = Resources | BoundResources<Resources> | TransitiveResources<Resources>;
+type ToGraph<Resources extends Service | Resource> = {
+    [ID in Resources["id"]]: Apply<Extract<Resources, {
+        id: ID;
+    }>>;
+};
+export type BoundResources<Resources extends Service | Resource> = NeverUnknown<Extract<Resources, IService>["props"]["bindings"]["capabilities"][number]["resource"]>;
+export type TransitiveResources<Resources extends Service | Resource, Found extends Service | Resource = never> = Extract<Found | {
+    [prop in keyof Resources["props"]]: IsAny<Resources["props"][prop]> extends true ? Found : Resources["props"][prop] extends {
+        kind: "alchemy/Policy";
+    } ? Found : Resources["props"][prop] extends Output.Output<any, infer Src, any> ? Src extends Found ? Found : TransitiveResources<Src, Src | Found> : {
+        [p in keyof Resources["props"][prop]]: IsAny<Resources["props"][prop][p]> extends true ? Found : Resources["props"][prop][p] extends Output.Output<any, infer Src, any> ? Src extends Found ? Found : TransitiveResources<Src, Src | Found> : Found;
+    }[keyof Resources["props"][prop]];
+}[keyof Resources["props"]], Service | Resource>;
+export type Providers<Resources extends Service | Resource> = ResourceProviders<Resources> | BindingTags<Resources>;
+export type ResourceProviders<Res extends Service | Resource> = Res extends any ? Provider<Extract<Res["base"], Service | Resource>> : never;
+export type BindingTags<Resources extends Service | Resource> = NeverUnknown<Extract<Resources, Service>["props"]["bindings"]["tags"][number]>;
+type NeverUnknown<T> = unknown extends T ? never : T;
+type IsAny<T> = 0 extends 1 & T ? true : false;
+export type DerivePlan<Resources extends Service | Resource> = {
+    resources: {
+        [ID in keyof ResourceGraph<Resources>]: ResourceGraph<Resources>[ID];
+    };
+    deletions: {
+        [ID in string]: Delete<AnyResource>;
+    };
+};
+export type IPlan = {
     resources: {
-        [id in string]: CRUD;
+        [id in string]: CRUD<any>;
     };
     deletions: {
         [id in string]?: Delete<Resource>;
     };
 };
-export declare const plan: <const Phase extends "update" | "destroy", const Resources extends (Service | Resource)[]>({ phase, resources, }: {
-    phase: Phase;
-    resources: Resources;
-}) => Effect.Effect<{
-    phase: Phase;
-    resources: { [ID in Extract<Resources[number], IService<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"] | { [ID_1 in Extract<Resources[number], IService<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"]]: Extract<{ [ID_2 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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>>; }[Extract<Resources[number], IService<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"]]["id"] | Resources[number]["id"]]: ({ [ID_2 in Extract<Resources[number], IService<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"]]: Apply<Extract<Instance<{ [ID_3 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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 Extract<Resources[number], IService<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"]]: Extract<{ [ID_3 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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>>; }[Extract<Resources[number], IService<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"]]["id"]]: Apply<Extract<{ [ID_1 in Extract<Resources[number], IService<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"]]: Extract<{ [ID_4 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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>>; }[Extract<Resources[number], IService<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"]], {
-        id: ID_3;
-    }>>; } & { [ID_4 in Resources[number]["id"]]: Apply<Extract<Resources[number], {
-        id: ID_4;
-    }>>; })[ID]; };
-    deletions: { [id in Exclude<string, Extract<Resources[number], IService<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"] | { [ID in Extract<Resources[number], IService<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"]]: Extract<{ [ID_1 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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>>; }[Extract<Resources[number], IService<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"]]["id"] | Resources[number]["id"]>]?: Delete<Resource>; };
-}, never, { [ID in Extract<Resources[number], IService<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"]]: { [ID_1 in Extract<Resources[number], IService<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"]]: Extract<Extract<Resources[number], IService<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>>, 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]; }[Extract<Resources[number], IService<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"]] | State>;
+export type Plan<Resources extends Service | Resource> = Effect.Effect<DerivePlan<Resources>, never, Providers<Resources> | State>;
+export declare const plan: <const Resources extends (Service | Resource)[]>(...resources: Resources) => Plan<Instance<Resources[number]>>;
+export {};
 //# sourceMappingURL=plan.d.ts.map

package/lib/plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EACV,UAAU,EAGX,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAa,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,KAAK,EAAuC,MAAM,YAAY,CAAC;AAExE,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,QAAQ,CAAC,CAAC,CAAC,GACX,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,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,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,SAAS,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,EAAE,EAC9C,uBAGC;IACD,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,SAAS,CAAC;CACtB,KAiPO,MAAM,CAAC,MAAM,CACjB;IACE,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,GACR,EAAE,grDAAuB;YAjOK,IAAE;;YAIF,IAAE;kBA8NlC,CAAC;IACF,SAAS,EAAE,GACR,EAAE,IAAI,OAAO,CAAC,MAAM,wQA9OxB,EAAE,i6CA8O4C,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,GAChE,CAAC;CACH,EACD,KAAK,EACL,GArPC,EAAE,0zCAqPY,KAAK,CAEvB,CAAC"}
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EACV,UAAU,EAGX,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AACzE,OAAO,EAAa,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,KAAK,EAAuC,MAAM,YAAY,CAAC;AAExE,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,QAAQ,CAAC,CAAC,CAAC,GACX,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,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,IAS1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,IAC7C,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,WAAW,IAC9C,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,GAAG,WAAW,IAAI;IACrD,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,IAAI;IACrD,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,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,IAAI;IACrD,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7B,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,GAAG,WAAW,IAAI;IACzD,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,GAAG,WAAW,IAAI;IACtD,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,CAAC,CAAC,CAAC;IAC7B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,OAAO,CACvE,iBAAiB,CAAC,SAAS,CAAC,CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAC9D,SAAS,GACT,cAAc,CAAC,SAAS,CAAC,GACzB,mBAAmB,CAAC,SAAS,CAAC,CAAC;AAEnC,KAAK,OAAO,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI;KAClD,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE;QAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,YAAY,CAC7E,OAAO,CACL,SAAS,EACT,QAAQ,CACT,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAC3D,CAAC;AAIF,MAAM,MAAM,mBAAmB,CAC7B,SAAS,SAAS,OAAO,GAAG,QAAQ,EACpC,KAAK,SAAS,OAAO,GAAG,QAAQ,GAAG,KAAK,IACtC,OAAO,CACP,KAAK,GACL;KACG,IAAI,IAAI,MAAM,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,CACvC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CACzB,SAAS,IAAI,GACV,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;QAAE,IAAI,EAAE,gBAAgB,CAAA;KAAE,GACzD,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,CAAC,GACjE,GAAG,SAAS,KAAK,GACf,KAAK,GACL,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GACvC;SACG,CAAC,IAAI,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAC1C,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAC5B,SAAS,IAAI,GACV,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAC7C,GAAG,EACH,MAAM,GAAG,EACT,GAAG,CACJ,GACD,GAAG,SAAS,KAAK,GACf,KAAK,GACL,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GACvC,KAAK;KACZ,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;CAC1C,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,EAC7B,OAAO,GAAG,QAAQ,CACnB,CAAC;AAEF,MAAM,MAAM,SAAS,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IACtD,iBAAiB,CAAC,SAAS,CAAC,GAC5B,WAAW,CAAC,SAAS,CAAC,CAAC;AAE3B,MAAM,MAAM,iBAAiB,CAAC,GAAG,SAAS,OAAO,GAAG,QAAQ,IAAI,GAAG,SAAS,GAAG,GAC3E,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC,CAAC,GAClD,KAAK,CAAC;AAEV,MAAM,MAAM,WAAW,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,YAAY,CAC1E,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CACjE,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAErD,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/C,MAAM,MAAM,UAAU,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI;IAC7D,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC;KACpC,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC;KAC1B,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,IAAI,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,MAAM,CAAC,MAAM,CACpE,UAAU,CAAC,SAAS,CAAC,EACrB,KAAK,EACL,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,CAC7B,CAAC;AAEF,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,SAAS,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,EAAE,EACjE,GAAG,WAAW,SAAS,KACtB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAuWxB,CAAC"}

package/lib/plan.js

@@ -1,7 +1,9 @@
 import * as Context from "effect/Context";
+import { App } from "./app.js";
 import * as Data from "effect/Data";
 import * as Effect from "effect/Effect";
 import { omit } from "effect/Struct";
+import * as Output from "./output.js";
 import {} from "./provider.js";
 import { isService } from "./service.js";
 import { State, StateStoreError } from "./state.js";
@@ -29,168 +31,272 @@ const Node = (node) => ({
         return this.toString();
     },
 });
-export const plan = ({ phase, resources, }) => {
-    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 resourceGraph = phase === "update"
-            ? Object.fromEntries((yield* Effect.all(resources
-                .flatMap((resource) => [
-                ...(isService(resource)
-                    ? resource.props.bindings.capabilities.map((cap) => cap.resource)
-                    : []),
-                resource,
-            ])
-                .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);
+export const plan = (...resources) => Effect.gen(function* () {
+    const state = yield* State;
+    // TODO(sam): rename terminology to Stack
+    const app = yield* App;
+    const resourceIds = yield* state.list({
+        stack: app.name,
+        stage: app.stage,
+    });
+    const resourcesState = yield* Effect.all(resourceIds.map((id) => state.get({ stack: app.name, stage: app.stage, resourceId: 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 resolvedResources = {};
+    const resolveResource = (resourceExpr) => Effect.gen(function* () {
+        return yield* (resolvedResources[resourceExpr.src.id] ??=
+            yield* Effect.cached(Effect.gen(function* () {
+                const resource = resourceExpr.src;
                 const provider = yield* resource.provider.tag;
-                const bindings = isService(node)
-                    ? yield* diffBindings({
-                        oldState,
-                        bindings: node.props.bindings.bindings,
-                        target: {
-                            id: node.id,
-                            props: node.props,
-                            oldAttr: oldState?.output,
-                            oldProps: oldState?.props,
-                        },
-                    })
-                    : []; // TODO(sam): return undefined instead of empty array
-                if (oldState === undefined ||
-                    oldState.status === "creating") {
-                    return Node({
-                        action: "create",
-                        news,
-                        provider,
-                        resource,
-                        bindings,
-                        // phantom
-                        attributes: undefined,
-                    });
+                const props = yield* resolveInput(resource.props);
+                const oldState = yield* state.get({
+                    stack: app.name,
+                    stage: app.stage,
+                    resourceId: resource.id,
+                });
+                if (!oldState) {
+                    return resourceExpr;
                 }
-                const diff = provider.diff
-                    ? yield* provider.diff({
-                        id,
+                const diff = yield* provider.diff
+                    ? provider.diff({
+                        id: resource.id,
                         olds: oldState.props,
-                        news,
+                        news: props,
                         output: oldState.output,
                     })
-                    : undefined;
-                if (!diff && arePropsChanged(oldState, resource.props)) {
-                    return Node({
-                        action: "update",
-                        olds: oldState.props,
-                        news,
-                        output: oldState.output,
-                        provider,
-                        resource,
-                        bindings,
-                        // phantom
-                        attributes: undefined,
-                    });
+                    : Effect.succeed(undefined);
+                if (diff == null) {
+                    if (arePropsChanged(oldState, props)) {
+                        // the props have changed but the provider did not provide any hints as to what is stable
+                        // so we must assume everything has changed
+                        return resourceExpr;
+                    }
                 }
-                else if (diff?.action === "replace") {
-                    return Node({
-                        action: "replace",
-                        olds: oldState.props,
-                        news,
-                        output: oldState.output,
-                        provider,
-                        resource,
-                        bindings,
-                        // phantom
-                        attributes: undefined,
-                    });
+                else if (diff.action === "update") {
+                    const output = oldState?.output;
+                    if (diff.stables) {
+                        return new Output.ResourceExpr(resourceExpr.src, Object.fromEntries(diff.stables.map((stable) => [stable, output?.[stable]])));
+                    }
+                    else {
+                        // if there are no stable properties, treat every property as changed
+                        return resourceExpr;
+                    }
                 }
-                else if (diff?.action === "update") {
-                    return Node({
-                        action: "update",
-                        olds: oldState.props,
-                        news,
-                        output: oldState.output,
-                        provider,
-                        resource,
-                        bindings,
-                        // phantom
-                        attributes: undefined,
-                    });
+                else if (diff.action === "replace") {
                 }
-                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 resourceGraph) {
-                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 [
+                return oldState?.output;
+            })));
+    });
+    const resolveInput = (input) => Effect.gen(function* () {
+        if (!input) {
+            return input;
+        }
+        else if (Output.isExpr(input)) {
+            return yield* resolveOutput(input);
+        }
+        else if (Array.isArray(input)) {
+            return yield* Effect.all(input.map(resolveInput));
+        }
+        else if (typeof input === "object") {
+            return Object.fromEntries(yield* Effect.all(Object.entries(input).map(([key, value]) => resolveInput(value).pipe(Effect.map((value) => [key, value])))));
+        }
+        return input;
+    });
+    const resolveOutput = (expr) => Effect.gen(function* () {
+        if (Output.isResourceExpr(expr)) {
+            return yield* resolveResource(expr);
+        }
+        else if (Output.isPropExpr(expr)) {
+            const upstream = yield* resolveOutput(expr.expr);
+            return upstream?.[expr.identifier];
+        }
+        else if (Output.isApplyExpr(expr)) {
+            const upstream = yield* resolveOutput(expr.expr);
+            return Output.isOutput(upstream) ? expr : expr.f(upstream);
+        }
+        else if (Output.isEffectExpr(expr)) {
+            const upstream = yield* resolveOutput(expr.expr);
+            return Output.isOutput(upstream) ? expr : yield* expr.f(upstream);
+        }
+        else if (Output.isAllExpr(expr)) {
+            return yield* Effect.all(expr.outs.map(resolveOutput));
+        }
+        return yield* Effect.die(new Error("Not implemented yet"));
+    });
+    const resolveUpstream = (value) => {
+        if (Output.isExpr(value)) {
+            return Output.upstream(value);
+        }
+        else if (Array.isArray(value)) {
+            return Object.assign({}, ...value.map(resolveUpstream));
+        }
+        else if (value &&
+            (typeof value === "object" || typeof value === "function")) {
+            return Object.assign({}, ...Object.values(value).map((value) => resolveUpstream(value)));
+        }
+        return {};
+    };
+    const resourceGraph = Object.fromEntries((yield* Effect.all(resources
+        .flatMap((resource) => [
+        ...(isService(resource)
+            ? resource.props.bindings.capabilities.map((cap) => cap.resource)
+            : []),
+        ...Object.values(resolveUpstream(resource.props)),
+        resource,
+    ])
+        .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 = yield* resolveInput(resource.props);
+        const oldState = yield* state.get({
+            stack: app.name,
+            stage: app.stage,
+            resourceId: id,
+        });
+        const provider = yield* resource.provider.tag;
+        const bindings = isService(node)
+            ? yield* diffBindings({
+                oldState,
+                bindings: node.props.bindings.bindings,
+                target: {
+                    id: node.id,
+                    props: node.props,
+                    oldAttr: oldState?.output,
+                    oldProps: oldState?.props,
+                },
+            })
+            : []; // TODO(sam): return undefined instead of empty array
+        if (oldState === undefined || oldState.status === "creating") {
+            return Node({
+                action: "create",
+                news,
+                provider,
+                resource,
+                bindings,
+                // phantom
+                attributes: undefined,
+            });
+        }
+        const diff = provider.diff
+            ? yield* (() => {
+                const diff = provider.diff({
                     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 resourceGraph);
-            if (dependencies.length > 0) {
-                return yield* Effect.fail(new DeleteResourceHasDownstreamDependencies({
-                    message: `Resource ${resourceId} has downstream dependencies`,
-                    resourceId,
-                    dependencies,
-                }));
+                    olds: oldState.props,
+                    news,
+                    output: oldState.output,
+                });
+                return Effect.isEffect(diff) ? diff : Effect.succeed(diff);
+            })()
+            : undefined;
+        if (!diff && arePropsChanged(oldState, news)) {
+            return Node({
+                action: "update",
+                olds: oldState.props,
+                news,
+                output: oldState.output,
+                provider,
+                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 if (diff?.action === "update") {
+            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({ stack: app.name, stage: app.stage })).map(Effect.fn(function* (id) {
+        if (id in resourceGraph) {
+            return;
+        }
+        const oldState = yield* state.get({
+            stack: app.name,
+            stage: app.stage,
+            resourceId: 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,
+                        type: oldState.type,
+                        attr: oldState.output,
+                        props: oldState.props,
+                    },
+                    downstream: downstream[id] ?? [],
+                },
+            ];
         }
-        return {
-            phase,
-            resources: resourceGraph,
-            deletions,
-        };
-    });
-};
+    })))).filter((v) => !!v));
+    for (const [resourceId, deletion] of Object.entries(deletions)) {
+        const dependencies = deletion.downstream.filter((d) => d in resourceGraph);
+        if (dependencies.length > 0) {
+            return yield* Effect.fail(new DeleteResourceHasDownstreamDependencies({
+                message: `Resource ${resourceId} has downstream dependencies`,
+                resourceId,
+                dependencies,
+            }));
+        }
+    }
+    return {
+        resources: resourceGraph,
+        deletions,
+    };
+});
 class DeleteResourceHasDownstreamDependencies extends Data.TaggedError("DeleteResourceHasDownstreamDependencies") {
 }
 const arePropsChanged = (oldState, newProps) => {