foldkit 0.134.0 → 0.136.0

package/dist/test/apps/crashOnRender.js

@@ -35,7 +35,10 @@ export const reloadedSources = [
     { kind: 'Book', id: '1' },
     { kind: 'Book', id: '' },
 ];
-export const ReloadSources = Command.define('ReloadSources', LoadedSources)(Effect.succeed(LoadedSources({ sources: reloadedSources })));
+export const ReloadSources = Command.define('ReloadSources', {
+    messages: [LoadedSources],
+    execute: Effect.succeed(LoadedSources({ sources: reloadedSources })),
+});
 // INIT
 export const validSources = [
     { kind: 'Book', id: '1' },

package/dist/test/apps/drafts.d.ts

@@ -1,6 +1,5 @@
 import { Effect, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
-import * as Interruptible from '../../command/interruptible/index.js';
 import type { Document, HtmlBuilder } from '../../html/index.js';
 export declare const SaveStatus: S.Literals<readonly ["Editing", "Saving", "Saved"]>;
 export type SaveStatus = typeof SaveStatus.Type;
@@ -21,7 +20,7 @@ export declare const SaveDraftArgs: S.Struct<{
     readonly revision: S.Number;
 }>;
 export type SaveDraftArgs = typeof SaveDraftArgs.Type;
-export declare const SaveDraft: Interruptible.DefinitionWithArgsNameKeyed<"SaveDraft", {
+export declare const SaveDraft: import("../../command/interruptible/interruptible.js").DefinitionWithArgsNameKeyed<"SaveDraft", {
     readonly revision: S.Number;
 }, Effect.Effect<{
     readonly _tag: "SucceededSaveDraft";

package/dist/test/apps/drafts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drafts.d.ts","sourceRoot":"","sources":["../../../src/test/apps/drafts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,aAAa,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,UAAU,qDAA6C,CAAA;AACpE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,gBAAgB,8EAAwB,CAAA;AACrD,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AAEF,eAAO,MAAM,OAAO;;IAAkD,CAAA;AACtE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,aAAa;;EAAmC,CAAA;AAC7D,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAErD,eAAO,MAAM,SAAS;;;;;iBAIwD,CAAA;AAI9E,eAAO,MAAM,YAAY,EAAE,KAA0C,CAAA;AAIrE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAYxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAU5D,CAAA"}
+{"version":3,"file":"drafts.d.ts","sourceRoot":"","sources":["../../../src/test/apps/drafts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,UAAU,qDAA6C,CAAA;AACpE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,gBAAgB,8EAAwB,CAAA;AACrD,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AAEF,eAAO,MAAM,OAAO;;IAAkD,CAAA;AACtE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,aAAa;;EAAmC,CAAA;AAC7D,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAErD,eAAO,MAAM,SAAS;;;;;iBAMpB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAA0C,CAAA;AAIrE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAYxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAU5D,CAAA"}

package/dist/test/apps/drafts.js

@@ -1,5 +1,5 @@
 import { Effect, Match as M, Schema as S } from 'effect';
-import * as Interruptible from '../../command/interruptible/index.js';
+import * as Command from '../../command/index.js';
 import { m } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
@@ -16,7 +16,12 @@ export const SucceededSaveDraft = m('SucceededSaveDraft', {
 export const Message = S.Union([ClickedSaveDraft, SucceededSaveDraft]);
 // COMMAND
 export const SaveDraftArgs = S.Struct({ revision: S.Number });
-export const SaveDraft = Interruptible.define('SaveDraft', SaveDraftArgs.fields, SucceededSaveDraft)(({ revision }) => Effect.as(Effect.never, SucceededSaveDraft({ revision })));
+export const SaveDraft = Command.define('SaveDraft', {
+    args: SaveDraftArgs.fields,
+    messages: [SucceededSaveDraft],
+    interrupt: true,
+    execute: ({ revision }) => Effect.as(Effect.never, SucceededSaveDraft({ revision })),
+});
 // INIT
 export const initialModel = { revision: 0, status: 'Editing' };
 // UPDATE

package/dist/test/apps/feedSocket.d.ts

@@ -0,0 +1,74 @@
+import { Option, Schema as S } from 'effect';
+import type { Html, HtmlBuilder } from '../../html/index.js';
+import * as ManagedResource from '../../managedResource/index.js';
+export declare const Model: S.Struct<{
+    readonly isFeedOpen: S.Boolean;
+    readonly status: S.Literals<readonly ["Disconnected", "Connected", "Failed"]>;
+}>;
+export type Model = typeof Model.Type;
+export declare const ClickedToggleFeed: import("../../schema/index.js").CallableTaggedStruct<"ClickedToggleFeed", {}>;
+export declare const AcquiredFeedSocket: import("../../schema/index.js").CallableTaggedStruct<"AcquiredFeedSocket", {
+    socketId: S.String;
+}>;
+export declare const ReleasedFeedSocket: import("../../schema/index.js").CallableTaggedStruct<"ReleasedFeedSocket", {}>;
+export declare const FailedAcquireFeedSocket: import("../../schema/index.js").CallableTaggedStruct<"FailedAcquireFeedSocket", {
+    error: S.String;
+}>;
+export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedToggleFeed", {}>, import("../../schema/index.js").CallableTaggedStruct<"AcquiredFeedSocket", {
+    socketId: S.String;
+}>, import("../../schema/index.js").CallableTaggedStruct<"ReleasedFeedSocket", {}>, import("../../schema/index.js").CallableTaggedStruct<"FailedAcquireFeedSocket", {
+    error: S.String;
+}>]>;
+export type Message = typeof Message.Type;
+export type FeedSocket = Readonly<{
+    socketId: string;
+}>;
+export declare const feedResources: {
+    feedSocket: ManagedResource.Entry<{
+        readonly isFeedOpen: boolean;
+        readonly status: "Disconnected" | "Connected" | "Failed";
+    }, {
+        readonly _tag: "ClickedToggleFeed";
+    } | {
+        readonly _tag: "AcquiredFeedSocket";
+        readonly socketId: string;
+    } | {
+        readonly _tag: "ReleasedFeedSocket";
+    } | {
+        readonly _tag: "FailedAcquireFeedSocket";
+        readonly error: string;
+    }, Option.Option<{
+        readonly channel: string;
+    }>, Readonly<{
+        socketId: string;
+    }>, ManagedResource.ManagedResourceService<"FeedSocket">, (socket: Readonly<{
+        socketId: string;
+    }>) => {
+        readonly _tag: "AcquiredFeedSocket";
+        readonly socketId: string;
+    }>;
+    presence: ManagedResource.Entry<{
+        readonly isFeedOpen: boolean;
+        readonly status: "Disconnected" | "Connected" | "Failed";
+    }, {
+        readonly _tag: "ClickedToggleFeed";
+    } | {
+        readonly _tag: "AcquiredFeedSocket";
+        readonly socketId: string;
+    } | {
+        readonly _tag: "ReleasedFeedSocket";
+    } | {
+        readonly _tag: "FailedAcquireFeedSocket";
+        readonly error: string;
+    }, Option.Option<null>, string, ManagedResource.ManagedResourceService<"Presence">, () => {
+        readonly _tag: "AcquiredFeedSocket";
+        readonly socketId: string;
+    }>;
+};
+export declare const initialModel: {
+    readonly isFeedOpen: boolean;
+    readonly status: "Disconnected" | "Connected" | "Failed";
+};
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>];
+export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=feedSocket.d.ts.map

package/dist/test/apps/feedSocket.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feedSocket.d.ts","sourceRoot":"","sources":["../../../src/test/apps/feedSocket.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEzE,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,KAAK,eAAe,MAAM,gCAAgC,CAAA;AAMjE,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,iBAAiB,+EAAyB,CAAA;AACvD,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AACF,eAAO,MAAM,kBAAkB,gFAA0B,CAAA;AACzD,eAAO,MAAM,uBAAuB;;EAElC,CAAA;AAEF,eAAO,MAAM,OAAO;;;;IAKlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAMvD,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;kBANoB,MAAM;;kBAAN,MAAM;;;;;;;;;;;;;;;;;;;;;;CA2BjD,CAAA;AAIH,eAAO,MAAM,YAAY;;;CAGvB,CAAA;AAIF,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAerC,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAU1D,CAAA"}

package/dist/test/apps/feedSocket.js

@@ -0,0 +1,69 @@
+import { Boolean, Effect, Match as M, Option, Schema as S } from 'effect';
+import * as ManagedResource from '../../managedResource/index.js';
+import { m } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
+// MODEL
+export const Model = S.Struct({
+    isFeedOpen: S.Boolean,
+    status: S.Literals(['Disconnected', 'Connected', 'Failed']),
+});
+// MESSAGE
+export const ClickedToggleFeed = m('ClickedToggleFeed');
+export const AcquiredFeedSocket = m('AcquiredFeedSocket', {
+    socketId: S.String,
+});
+export const ReleasedFeedSocket = m('ReleasedFeedSocket');
+export const FailedAcquireFeedSocket = m('FailedAcquireFeedSocket', {
+    error: S.String,
+});
+export const Message = S.Union([
+    ClickedToggleFeed,
+    AcquiredFeedSocket,
+    ReleasedFeedSocket,
+    FailedAcquireFeedSocket,
+]);
+const FeedSocketResource = ManagedResource.tag()('FeedSocket');
+const PresenceResource = ManagedResource.tag()('Presence');
+export const feedResources = ManagedResource.make()(entry => ({
+    feedSocket: entry(S.Option(S.Struct({ channel: S.String })), {
+        resource: FeedSocketResource,
+        modelToMaybeRequirements: model => model.isFeedOpen ? Option.some({ channel: 'general' }) : Option.none(),
+        acquire: () => Effect.succeed({ socketId: 'live' }),
+        release: () => Effect.void,
+        onAcquired: socket => AcquiredFeedSocket({ socketId: socket.socketId }),
+        onReleased: () => ReleasedFeedSocket(),
+        onAcquireError: error => FailedAcquireFeedSocket({ error: String(error) }),
+    }),
+    presence: entry(S.Option(S.Null), {
+        resource: PresenceResource,
+        modelToMaybeRequirements: model => model.isFeedOpen ? Option.some(null) : Option.none(),
+        acquire: () => Effect.succeed('online'),
+        release: () => Effect.void,
+        onAcquired: () => AcquiredFeedSocket({ socketId: 'presence' }),
+        onReleased: () => ReleasedFeedSocket(),
+        onAcquireError: error => FailedAcquireFeedSocket({ error: String(error) }),
+    }),
+}));
+// INIT
+export const initialModel = Model.make({
+    isFeedOpen: false,
+    status: 'Disconnected',
+});
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    ClickedToggleFeed: () => [evo(model, { isFeedOpen: Boolean.not }), []],
+    AcquiredFeedSocket: () => [evo(model, { status: () => 'Connected' }), []],
+    ReleasedFeedSocket: () => [
+        evo(model, { status: () => 'Disconnected' }),
+        [],
+    ],
+    FailedAcquireFeedSocket: () => [
+        evo(model, { status: () => 'Failed' }),
+        [],
+    ],
+}));
+// VIEW
+export const view = (model, h) => h.div([], [
+    h.span([h.Role('status')], [model.status]),
+    h.button([h.OnClick(ClickedToggleFeed()), h.Role('button')], [model.isFeedOpen ? 'Close feed' : 'Open feed']),
+]);

package/dist/test/apps/formChild.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"formChild.d.ts","sourceRoot":"","sources":["../../../src/test/apps/formChild.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAKjD,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,eAAe;;EAAyC,CAAA;AACrE,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,cAAc,4EAAsB,CAAA;AAEjD,eAAO,MAAM,YAAY;;2JAKvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,eAAO,MAAM,aAAa;;EAAuC,CAAA;AACjE,eAAO,MAAM,eAAe,6EAAuB,CAAA;AAEnD,eAAO,MAAM,eAAe;;iFAA4C,CAAA;AACxE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAIzD,eAAO,MAAM,UAAU;;;iBAG6B,CAAA;AAEpD,eAAO,MAAM,SAAS;;iBAGgB,CAAA;AAItC,eAAO,MAAM,iBAAiB,EAAE,UAA+B,CAAA;AAI/D,eAAO,MAAM,WAAW,GACtB,QAAQ,UAAU,EAClB,SAAS,YAAY,KACpB,SAAS,CACV,UAAU,EACV,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAC5C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CA4B7B,CAAA;AAIH,eAAO,MAAM,WAAW;;;;;;EAItB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAIjD,eAAO,MAAM,eAAe;;;;EAE1B,CAAA;AACF,eAAO,MAAM,oBAAoB,kFAA4B,CAAA;AAE7D,eAAO,MAAM,aAAa;;;;sFAAmD,CAAA;AAC7E,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAIrD,eAAO,MAAM,kBAAkB,EAAE,WAIhC,CAAA;AAID,eAAO,MAAM,YAAY,GACvB,aAAa,WAAW,EACxB,SAAS,aAAa,KACrB,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAqCpE,CAAA"}
+{"version":3,"file":"formChild.d.ts","sourceRoot":"","sources":["../../../src/test/apps/formChild.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAKjD,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,eAAe;;EAAyC,CAAA;AACrE,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,cAAc,4EAAsB,CAAA;AAEjD,eAAO,MAAM,YAAY;;2JAKvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,eAAO,MAAM,aAAa;;EAAuC,CAAA;AACjE,eAAO,MAAM,eAAe,6EAAuB,CAAA;AAEnD,eAAO,MAAM,eAAe;;iFAA4C,CAAA;AACxE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAIzD,eAAO,MAAM,UAAU;;;iBAGrB,CAAA;AAEF,eAAO,MAAM,SAAS;;iBAGpB,CAAA;AAIF,eAAO,MAAM,iBAAiB,EAAE,UAA+B,CAAA;AAI/D,eAAO,MAAM,WAAW,GACtB,QAAQ,UAAU,EAClB,SAAS,YAAY,KACpB,SAAS,CACV,UAAU,EACV,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAC5C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CA4B7B,CAAA;AAIH,eAAO,MAAM,WAAW;;;;;;EAItB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAIjD,eAAO,MAAM,eAAe;;;;EAE1B,CAAA;AACF,eAAO,MAAM,oBAAoB,kFAA4B,CAAA;AAE7D,eAAO,MAAM,aAAa;;;;sFAAmD,CAAA;AAC7E,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAIrD,eAAO,MAAM,kBAAkB,EAAE,WAIhC,CAAA;AAID,eAAO,MAAM,YAAY,GACvB,aAAa,WAAW,EACxB,SAAS,aAAa,KACrB,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAqCpE,CAAA"}

package/dist/test/apps/formChild.js

@@ -21,8 +21,14 @@ export const RequestedSave = m('RequestedSave', { id: S.String });
 export const RequestedCancel = m('RequestedCancel');
 export const ChildOutMessage = S.Union([RequestedSave, RequestedCancel]);
 // CHILD COMMAND
-export const SubmitForm = Command.define('SubmitForm', SucceededSubmit)(Effect.sync(() => SucceededSubmit({ id: 'abc' })));
-export const ResetForm = Command.define('ResetForm', CompletedReset)(Effect.sync(() => CompletedReset()));
+export const SubmitForm = Command.define('SubmitForm', {
+    messages: [SucceededSubmit],
+    execute: Effect.sync(() => SucceededSubmit({ id: 'abc' })),
+});
+export const ResetForm = Command.define('ResetForm', {
+    messages: [CompletedReset],
+    execute: Effect.sync(() => CompletedReset()),
+});
 // CHILD INIT
 export const initialChildModel = { status: 'Idle' };
 // CHILD UPDATE

package/dist/test/apps/login.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"login.d.ts","sourceRoot":"","sources":["../../../src/test/apps/login.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAK5D,eAAO,MAAM,KAAK;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,YAAY;;EAAyC,CAAA;AAClE,eAAO,MAAM,eAAe;;EAA4C,CAAA;AACxE,eAAO,MAAM,cAAc,4EAAsB,CAAA;AACjD,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AACF,eAAO,MAAM,kBAAkB;;EAA+C,CAAA;AAC9E,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAE/C,eAAO,MAAM,OAAO;;;;;;;;+EAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;;iBAIyC,CAAA;AAIlE,eAAO,MAAM,YAAY,EAAE,KAM1B,CAAA;AAID,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAyBxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA8E5D,CAAA"}
+{"version":3,"file":"login.d.ts","sourceRoot":"","sources":["../../../src/test/apps/login.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAK5D,eAAO,MAAM,KAAK;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,YAAY;;EAAyC,CAAA;AAClE,eAAO,MAAM,eAAe;;EAA4C,CAAA;AACxE,eAAO,MAAM,cAAc,4EAAsB,CAAA;AACjD,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AACF,eAAO,MAAM,kBAAkB;;EAA+C,CAAA;AAC9E,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAE/C,eAAO,MAAM,OAAO;;;;;;;;+EAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;;iBAGvB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAM1B,CAAA;AAID,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAyBxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA8E5D,CAAA"}

package/dist/test/apps/login.js

@@ -27,7 +27,10 @@ export const Message = S.Union([
     ClickedLogout,
 ]);
 // COMMAND
-export const Authenticate = Command.define('Authenticate', SucceededAuthenticate, FailedAuthenticate)(Effect.sync(() => SucceededAuthenticate({ username: 'alice' })));
+export const Authenticate = Command.define('Authenticate', {
+    messages: [SucceededAuthenticate, FailedAuthenticate],
+    execute: Effect.sync(() => SucceededAuthenticate({ username: 'alice' })),
+});
 // INIT
 export const initialModel = {
     email: '',

package/dist/test/apps/resumeUpload.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resumeUpload.d.ts","sourceRoot":"","sources":["../../../src/test/apps/resumeUpload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,eAAO,MAAM,cAAc;;EAEzB,CAAA;AACF,eAAO,MAAM,qBAAqB,mFAA6B,CAAA;AAC/D,eAAO,MAAM,oBAAoB;;EAE/B,CAAA;AACF,eAAO,MAAM,iBAAiB,+EAAyB,CAAA;AACvD,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAE3D,eAAO,MAAM,OAAO;;;;oKAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;;;;iBAaxB,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;iBAU7B,CAAA;AAID,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,KAAK,YAAY,GAAG,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAE7E,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YA+BrD,CAAA;AAsBH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAmB5D,CAAA"}
+{"version":3,"file":"resumeUpload.d.ts","sourceRoot":"","sources":["../../../src/test/apps/resumeUpload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,eAAO,MAAM,cAAc;;EAEzB,CAAA;AACF,eAAO,MAAM,qBAAqB,mFAA6B,CAAA;AAC/D,eAAO,MAAM,oBAAoB;;EAE/B,CAAA;AACF,eAAO,MAAM,iBAAiB,+EAAyB,CAAA;AACvD,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAE3D,eAAO,MAAM,OAAO;;;;oKAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;;;;iBAUvB,CAAA;AAEF,eAAO,MAAM,iBAAiB;;;;;;;iBAQ5B,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,KAAK,YAAY,GAAG,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAE7E,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YA+BrD,CAAA;AAsBH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAmB5D,CAAA"}

package/dist/test/apps/resumeUpload.js

@@ -29,11 +29,18 @@ export const Message = S.Union([
     ClickedRemoveResume,
 ]);
 // COMMAND
-export const SelectResume = Command.define('SelectResume', SelectedResume, CancelledSelectResume)(File.select(['application/pdf']).pipe(Effect.map(Option.match({
-    onNone: () => CancelledSelectResume(),
-    onSome: file => SelectedResume({ file }),
-}))));
-export const ReadResumePreview = Command.define('ReadResumePreview', { file: File.File }, SucceededReadPreview, FailedReadPreview)(({ file }) => File.readAsDataUrl(file).pipe(Effect.map(dataUrl => SucceededReadPreview({ dataUrl })), Effect.catch(() => Effect.succeed(FailedReadPreview()))));
+export const SelectResume = Command.define('SelectResume', {
+    messages: [SelectedResume, CancelledSelectResume],
+    execute: File.select(['application/pdf']).pipe(Effect.map(Option.match({
+        onNone: () => CancelledSelectResume(),
+        onSome: file => SelectedResume({ file }),
+    }))),
+});
+export const ReadResumePreview = Command.define('ReadResumePreview', {
+    args: { file: File.File },
+    messages: [SucceededReadPreview, FailedReadPreview],
+    execute: ({ file }) => File.readAsDataUrl(file).pipe(Effect.map(dataUrl => SucceededReadPreview({ dataUrl })), Effect.catch(() => Effect.succeed(FailedReadPreview()))),
+});
 // INIT
 export const initialModel = {
     maybeResume: Option.none(),

package/dist/test/apps/scorePanel.d.ts

@@ -0,0 +1,32 @@
+import { Schema as S } from 'effect';
+import type { Html } from '../../html/index.js';
+export declare const Model: S.Struct<{
+    readonly score: S.Number;
+}>;
+export type Model = typeof Model.Type;
+export declare const ClickedIncrement: import("../../schema/index.js").CallableTaggedStruct<"ClickedIncrement", {}>;
+export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedIncrement", {}>]>;
+export type Message = typeof Message.Type;
+export declare const initialModel: {
+    readonly score: number;
+};
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>];
+export type ViewInputs = Readonly<{
+    label: string;
+    toView: (content: Readonly<{
+        label: string;
+        score: number;
+    }>) => Html;
+}>;
+export declare const view: import("../../html/submodel.js").SubmodelView<{
+    readonly score: number;
+}, {
+    readonly _tag: "ClickedIncrement";
+}, Readonly<{
+    label: string;
+    toView: (content: Readonly<{
+        label: string;
+        score: number;
+    }>) => Html;
+}>>;
+//# sourceMappingURL=scorePanel.d.ts.map

package/dist/test/apps/scorePanel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scorePanel.d.ts","sourceRoot":"","sources":["../../../src/test/apps/scorePanel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAO/C,eAAO,MAAM,KAAK;;EAAgC,CAAA;AAClD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,gBAAgB,8EAAwB,CAAA;AAErD,eAAO,MAAM,OAAO,kGAA8B,CAAA;AAClD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;CAA2B,CAAA;AAIpD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAMrC,CAAA;AAIH,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,KAAK,IAAI,CAAA;CACtE,CAAC,CAAA;AAEF,eAAO,MAAM,IAAI;;;;;WAJR,MAAM;YACL,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,KAAK,IAAI;GAetE,CAAA"}

package/dist/test/apps/scorePanel.js

@@ -0,0 +1,19 @@
+import { Match as M, Number, Schema as S } from 'effect';
+import { m } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
+import { defineView } from '../../submodel/public.js';
+// MODEL
+export const Model = S.Struct({ score: S.Number });
+// MESSAGE
+export const ClickedIncrement = m('ClickedIncrement');
+export const Message = S.Union([ClickedIncrement]);
+// INIT
+export const initialModel = Model.make({ score: 0 });
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    ClickedIncrement: () => [evo(model, { score: Number.increment }), []],
+}));
+export const view = defineView((model, viewInputs, h) => h.div([], [
+    viewInputs.toView({ label: viewInputs.label, score: model.score }),
+    h.button([h.OnClick(ClickedIncrement()), h.Role('button')], ['Increment']),
+]));

package/dist/test/apps/uploads.d.ts

@@ -53,17 +53,17 @@ export declare const UploadFileArgs: S.Struct<{
 export type UploadFileArgs = typeof UploadFileArgs.Type;
 export declare const UploadFile: Interruptible.DefinitionWithArgs<"UploadFile", {
     readonly uploadId: S.Number;
-}, {
+}, Pick<{
     readonly uploadId: number;
-}, Effect.Effect<{
+}, "uploadId">, Effect.Effect<{
     readonly _tag: "SucceededUploadFile";
     readonly uploadId: number;
 }, never, never>>;
 export declare const CancelUploadFile: ({ uploadId }: UploadFileArgs) => Readonly<{
     name: "UploadFile.Interrupt";
-    args: {
+    args: Pick<{
         readonly uploadId: number;
-    };
+    }, "uploadId">;
     interruptsKey: string;
     effect: Effect.Effect<{
         readonly _tag: "CompletedCancelUploadFile";

package/dist/test/apps/uploads.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"uploads.d.ts","sourceRoot":"","sources":["../../../src/test/apps/uploads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEvE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,aAAa,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,YAAY,mEAKvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC,eAAO,MAAM,KAAK;;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,kBAAkB,gFAA0B,CAAA;AACzD,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AACF,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,eAAO,MAAM,gBAAgB;;EAAgD,CAAA;AAC7E,eAAO,MAAM,yBAAyB;;;EAGpC,CAAA;AAEF,eAAO,MAAM,OAAO;;;;;;;;;;;IAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,cAAc;;EAAmC,CAAA;AAC9D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,UAAU;;;;;;;iBAMwD,CAAA;AAE/E,eAAO,MAAM,gBAAgB,GAAI,cAAc,cAAc;;;;;;;;;;;;;;;EAG1D,CAAA;AAIH,eAAO,MAAM,YAAY,EAAE,KAAoC,CAAA;AAS/D,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAiDxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAyB5D,CAAA"}
+{"version":3,"file":"uploads.d.ts","sourceRoot":"","sources":["../../../src/test/apps/uploads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEvE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,aAAa,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,YAAY,mEAKvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC,eAAO,MAAM,KAAK;;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,kBAAkB,gFAA0B,CAAA;AACzD,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AACF,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,eAAO,MAAM,gBAAgB;;EAAgD,CAAA;AAC7E,eAAO,MAAM,yBAAyB;;;EAGpC,CAAA;AAEF,eAAO,MAAM,OAAO;;;;;;;;;;;IAOlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,cAAc;;EAAmC,CAAA;AAC9D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,UAAU;;;;;;;iBASrB,CAAA;AAEF,eAAO,MAAM,gBAAgB,GAAI,cAAc,cAAc;;;;;;;;;;;;;;;EAG1D,CAAA;AAIH,eAAO,MAAM,YAAY,EAAE,KAAoC,CAAA;AAS/D,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAiDxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAyB5D,CAAA"}

package/dist/test/apps/uploads.js

@@ -1,4 +1,5 @@
 import { Array, Effect, Match as M, Number, Schema as S } from 'effect';
+import * as Command from '../../command/index.js';
 import * as Interruptible from '../../command/interruptible/index.js';
 import { m } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
@@ -43,7 +44,15 @@ export const Message = S.Union([
 ]);
 // COMMAND
 export const UploadFileArgs = S.Struct({ uploadId: S.Number });
-export const UploadFile = Interruptible.define('UploadFile', UploadFileArgs.fields, ({ uploadId }) => String(uploadId), SucceededUploadFile, FailedUploadFile)(({ uploadId }) => Effect.as(Effect.never, SucceededUploadFile({ uploadId })));
+export const UploadFile = Command.define('UploadFile', {
+    args: UploadFileArgs.fields,
+    messages: [SucceededUploadFile, FailedUploadFile],
+    interrupt: {
+        keyFields: ['uploadId'],
+        toKey: ({ uploadId }) => String(uploadId),
+    },
+    execute: ({ uploadId }) => Effect.as(Effect.never, SucceededUploadFile({ uploadId })),
+});
 export const CancelUploadFile = ({ uploadId }) => UploadFile.Interrupt({ uploadId }, outcome => CompletedCancelUploadFile({ uploadId, outcome }));
 // INIT
 export const initialModel = { uploadId: 0, uploads: [] };

package/dist/test/internal.d.ts

@@ -12,7 +12,7 @@ import { type MountDefinition } from '../mount/index.js';
  *  without the test restating it. Absent on synthetic matchers built for
  *  formatting; treated as empty then.
  *
- *  `key` is present on Commands built with `Command.Interruptible.define`:
+ *  `key` is present on Commands built with an interruptible `Command.define`:
  *  such Commands may stay pending across Messages (they model long-running
  *  work). `interruptsKey` is present on Interrupt Commands: resolving one
  *  drops every pending Command holding that key, mirroring the runtime
@@ -144,7 +144,7 @@ export declare const assertExactCommands: (commands: ReadonlyArray<AnyCommand>,
 /** Throws if there are any pending Commands. */
 export declare const assertZeroCommands: (commands: ReadonlyArray<AnyCommand>) => void;
 /** Throws when trying to send a message with unresolved Commands. Keyed
- *  Commands (built with `Command.Interruptible.define`) and Interrupt
+ *  Commands (built with an interruptible `Command.define`) and Interrupt
  *  Commands are exempt: they model in-flight async work that legitimately
  *  stays pending while later Messages arrive, so a story can dispatch the
  *  Message that interrupts a keyed Command, or keep typing while a

package/dist/test/internal.js

@@ -164,7 +164,7 @@ export const assertZeroCommands = (commands) => {
     }
 };
 /** Throws when trying to send a message with unresolved Commands. Keyed
- *  Commands (built with `Command.Interruptible.define`) and Interrupt
+ *  Commands (built with an interruptible `Command.define`) and Interrupt
  *  Commands are exempt: they model in-flight async work that legitimately
  *  stays pending while later Messages arrive, so a story can dispatch the
  *  Message that interrupts a keyed Command, or keep typing while a

package/dist/test/scene.d.ts

@@ -1,8 +1,10 @@
-import { Effect } from 'effect';
+import { Effect, Option, type Schema } from 'effect';
 import type { CommandDefinition } from '../command/index.js';
 import type * as Interruptible from '../command/interruptible/index.js';
+import type { CustomElementSpec } from '../customElement/index.js';
 import type { File } from '../file/index.js';
 import type { Document, Html, HtmlBuilder, KeyboardModifiers } from '../html/index.js';
+import type { Entry as ManagedResourceEntry } from '../managedResource/index.js';
 import type { MountDefinition } from '../mount/index.js';
 import type { VNode } from '../vdom.js';
 import type { AnyCommand, AnyMount, CommandMatcher, MountMatcher, MountResolver, PendingMount, Resolver } from './internal.js';
@@ -47,11 +49,11 @@ export type SceneSimulation<Model, Message, OutMessage = undefined> = Readonly<{
     html: VNode;
 }>;
 /** A callable step that sets the initial Model. Carries phantom type for compile-time validation. */
-type WithStep<Model> = Readonly<{
+type GivenStep<Model> = Readonly<{
     _phantomModel: Model;
 }> & (<M, Message, OutMessage = undefined>(simulation: SceneSimulation<M, Message, OutMessage>) => SceneSimulation<M, Message, OutMessage>);
-/** A single step in a scene: either a `with` step or a scene simulation transform. */
-export type SceneStep<Model, Message, OutMessage> = WithStep<NoInfer<Model>> | ((simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>);
+/** A single step in a scene: either a `given` step or a scene simulation transform. */
+export type SceneStep<Model, Message, OutMessage> = GivenStep<NoInfer<Model>> | ((simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>);
 /** A typed Command instance carrying the result Message type via its
  *  `effect` field, so passing `FetchWeather({ zipCode })` to `Scene.Command.resolve`
  *  preserves the link between the Command and its declared result Message. */
@@ -62,13 +64,16 @@ type SceneCommandInstance<ResultMessage = unknown> = Readonly<{
 }>;
 /** A Command Definition accepted by `Scene.Command.resolve` as a name matcher:
  *  a plain `Command.define` Definition or an interruptible
- *  `Command.Interruptible.define` Definition. Both carry the
+ *  interruptible `Command.define` Definition. Both carry the
  *  `CommandDefinitionTypeId` brand and match by name at runtime, so `resolve`
  *  accepts either, the way `expectHas`/`expectExact` already do. */
 type ResolvableCommandDefinition<Name extends string, ResultMessage> = CommandDefinition<Name, ResultMessage> | Interruptible.DefinitionNoArgs<Name, Effect.Effect<ResultMessage, any, any>> | Interruptible.DefinitionWithArgs<Name, any, any, Effect.Effect<ResultMessage, any, any>> | Interruptible.DefinitionWithArgsNameKeyed<Name, any, Effect.Effect<ResultMessage, any, any>>;
 /** Sets the initial Model for a scene test. */
-export { with_ as with };
-declare const with_: <Model>(model: Model) => WithStep<Model>;
+export declare const given: <Model>(model: Model) => GivenStep<Model>;
+/** A ManagedResource entry a scene can drive: the Option-shaped requirements
+ *  are what the runtime watches, so the steps can check the current Model
+ *  against them before dispatching a lifecycle Message. */
+type SceneManagedResourceEntry<EntryModel, EntryMessage, Value, OnAcquired extends (...args: any) => EntryMessage = (value: Value) => EntryMessage> = ManagedResourceEntry<EntryModel, EntryMessage, Option.Option<any>, Value, any, OnAcquired>;
 /** Steps that operate on the pending Commands of a scene simulation.
  *  Destructure as `const { Command } = Scene` for concise call sites. */
 export declare const Command: {
@@ -107,6 +112,56 @@ export declare const Mount: {
      *  every Mount that fires and then unmounts during a scene. */
     readonly expectEnded: (...matchers: ReadonlyArray<MountMatcher>) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
 };
+/** Steps that model Messages arriving from a Subscription.
+ *  Destructure as `const { Subscription } = Scene` for concise call sites. */
+export declare const Subscription: {
+    /** Feeds a Message through update as if a Subscription had emitted it,
+     *  then re-renders. Only for Messages whose real cause is a Subscription;
+     *  if the Message has a DOM affordance, click it instead. */
+    readonly emit: <MessageInput>(message: MessageInput) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Steps that model the lifecycle Messages of a ManagedResource. The test
+ *  declares the lifecycle outcome the way `Scene.Command.resolve` declares a
+ *  Command result, and each step checks the current Model against the
+ *  entry's `modelToMaybeRequirements` gate first, mirroring the runtime's
+ *  None to Some and Some to None transitions. The Some to Some re-acquire
+ *  transition has no step yet. Destructure as
+ *  `const { ManagedResource } = Scene` for concise call sites. */
+export declare const ManagedResource: {
+    /** Declares a successful acquire, feeding the entry's `onAcquired` Message
+     *  through update. Takes exactly the arguments `onAcquired` declares. The
+     *  current Model must request the resource. */
+    readonly acquire: <EntryModel, EntryMessage, Value, Args extends ReadonlyArray<any>>(entry: SceneManagedResourceEntry<EntryModel, EntryMessage, Value, (...args: Args) => EntryMessage>, ...args: NoInfer<Args>) => <Message, OutMessage = undefined>(simulation: SceneSimulation<EntryModel, Message, OutMessage>) => SceneSimulation<EntryModel, Message, OutMessage>;
+    /** Declares a failed acquire, feeding `onAcquireError(error)` through
+     *  update. The current Model must request the resource. */
+    readonly failAcquire: <EntryModel, EntryMessage, Value>(entry: SceneManagedResourceEntry<EntryModel, EntryMessage, Value>, error: unknown) => <Message, OutMessage = undefined>(simulation: SceneSimulation<EntryModel, Message, OutMessage>) => SceneSimulation<EntryModel, Message, OutMessage>;
+    /** Declares a release, feeding `onReleased()` through update. The current
+     *  Model must no longer request the resource. */
+    readonly release: <EntryModel, EntryMessage, Value>(entry: SceneManagedResourceEntry<EntryModel, EntryMessage, Value>) => <Message, OutMessage = undefined>(simulation: SceneSimulation<EntryModel, Message, OutMessage>) => SceneSimulation<EntryModel, Message, OutMessage>;
+};
+/** Steps that model CustomEvents arriving from a rendered custom element.
+ *  Destructure as `const { CustomElement } = Scene` for concise call sites. */
+export declare const CustomElement: {
+    /** Dispatches a declared CustomEvent through the element's event mapping.
+     *  The event name and detail are typed by the spec's event Schemas. */
+    readonly emit: <Events extends Record<string, Schema.Top>, Name extends keyof Events & string>(spec: CustomElementSpec<string, Record<string, Schema.Top>, Events>, target: string | Locator, eventName: Name, detail: Schema.Schema.Type<Events[Name]>) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Asserts that the OutMessage is Some with the expected value.
+ *
+ *  The tracked OutMessage is the third element of the most recent update
+ *  result that had one. An update branch that returns a two-tuple leaves
+ *  the previous value latched in place, so keep every branch of an
+ *  OutMessage-returning update on the three-tuple shape, returning
+ *  `Option.none()` when there is nothing to report. */
+export declare const expectOutMessage: <Expected>(expected: Expected) => <Model, Message, OutMessage>(simulation: SceneSimulation<Model, Message, Option.Option<OutMessage>>) => SceneSimulation<Model, Message, Option.Option<OutMessage>>;
+/** Asserts that the OutMessage is None.
+ *
+ *  The tracked OutMessage is the third element of the most recent update
+ *  result that had one. An update branch that returns a two-tuple leaves
+ *  the previous value latched in place, so keep every branch of an
+ *  OutMessage-returning update on the three-tuple shape, returning
+ *  `Option.none()` when there is nothing to report. */
+export declare const expectNoOutMessage: () => <Model, Message, OutMessage>(simulation: SceneSimulation<Model, Message, Option.Option<OutMessage>>) => SceneSimulation<Model, Message, Option.Option<OutMessage>>;
 /** Runs a function for side effects (e.g. assertions) without breaking the step chain. */
 export declare const tap: <Model, Message, OutMessage = undefined>(f: (simulation: SceneSimulation<Model, Message, OutMessage>) => void) => (simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
 /** Scopes a sequence of steps to a parent element. Every Locator referenced by
@@ -250,6 +305,23 @@ export declare const expectAll: (locatorAll: LocatorAll) => {
     toHaveCount: (expected: number) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
     toBeEmpty: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
 };
+/** Adapts a Submodel view that declares `ViewInputs` to the `(model, h)`
+ *  shape `Scene.scene` takes. `defaults` supplies the full `ViewInputs`
+ *  once; the returned factory accepts per-test overrides for everything
+ *  except `toView`, so tests vary value inputs while the renderer stays
+ *  pinned:
+ *
+ *  ```ts
+ *  const sceneView = Scene.withViewInputs(view, {
+ *    value: 5,
+ *    toView: testToView,
+ *  })
+ *
+ *  Scene.scene({ update, view: sceneView() }, ...)
+ *  Scene.scene({ update, view: sceneView({ isDisabled: true }) }, ...)
+ *  ```
+ */
+export declare const withViewInputs: <Model, Message, ViewInputs extends object>(view: (model: Model, viewInputs: ViewInputs, h: HtmlBuilder<Message>) => Html, defaults: NoInfer<ViewInputs>) => (overrides?: Omit<Partial<NoInfer<ViewInputs>>, "toView">) => (model: Model, h: HtmlBuilder<Message>) => Html;
 /** Executes a scene test. Throws if any Commands remain unresolved. */
 export declare const scene: {
     <Model, Message, OutMessage>(config: Readonly<{