foldkit 0.150.0 → 0.151.0

package/dist/test/apps/mountPanel.js

@@ -1,6 +1,7 @@
-import { Effect, Option, Schema as S } from 'effect';
+import { Effect, Number, Option, Schema as S } from 'effect';
 import { defineMessageUnion } from '../../message/index.js';
 import * as Mount from '../../mount/index.js';
+import { evo } from '../../struct/index.js';
 // MODEL
 export const Model = S.Struct({
     isOpen: S.Boolean,
@@ -39,15 +40,18 @@ export const initialModel = {
 };
 // UPDATE
 export const update = (model, message) => Message.match(message, {
-    ClickedToggle: () => [{ ...model, isOpen: !model.isOpen }, []],
-    MeasuredPanel: ({ width }) => [
-        { ...model, measuredWidth: Option.some(width) },
-        [],
-    ],
-    CompletedFocusButton: () => [model, []],
-    FailedMountSidebar: () => [model, []],
-    ClickedIncrement: () => [{ ...model, count: model.count + 1 }, []],
-    ScrolledTo: () => [model, []],
+    ClickedToggle: () => ({
+        model: evo(model, { isOpen: isOpen => !isOpen }),
+    }),
+    MeasuredPanel: ({ width }) => ({
+        model: evo(model, { measuredWidth: () => Option.some(width) }),
+    }),
+    CompletedFocusButton: () => ({ model }),
+    FailedMountSidebar: () => ({ model }),
+    ClickedIncrement: () => ({
+        model: evo(model, { count: Number.increment }),
+    }),
+    ScrolledTo: () => ({ model }),
 });
 // VIEW
 export const view = (model, h) => {

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

@@ -1,5 +1,6 @@
 import { Schema as S } from 'effect';
 import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
     readonly clicks: S.Number;
 }>;
@@ -9,8 +10,14 @@ export declare const Message: import("../../schema/index.js").MessageUnion<{
 }>;
 export type Message = typeof Message.Type;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [{
-    readonly clicks: number;
-}, readonly never[]];
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly clicks: number;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "ClickedFallback";
+    }, never>;
+    outMessage?: never;
+}>;
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 //# sourceMappingURL=multiRole.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"multiRole.d.ts","sourceRoot":"","sources":["../../../src/test/apps/multiRole.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAK5D,eAAO,MAAM,KAAK;;EAAiC,CAAA;AACnD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;EAElB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAAqB,CAAA;AAIhD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;oBAGjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAU5D,CAAA"}
+{"version":3,"file":"multiRole.d.ts","sourceRoot":"","sources":["../../../src/test/apps/multiRole.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAAiC,CAAA;AACnD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;EAElB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAAqB,CAAA;AAIhD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;EAKjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAU5D,CAAA"}

package/dist/test/apps/multiRole.js

@@ -1,5 +1,6 @@
-import { Schema as S } from 'effect';
+import { Number, Schema as S } from 'effect';
 import { defineMessageUnion } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
 // MODEL
 export const Model = S.Struct({ clicks: S.Number });
 // MESSAGE
@@ -10,7 +11,9 @@ export const Message = defineMessageUnion({
 export const initialModel = { clicks: 0 };
 // UPDATE
 export const update = (model, message) => Message.match(message, {
-    ClickedFallback: () => [{ ...model, clicks: model.clicks + 1 }, []],
+    ClickedFallback: () => ({
+        model: evo(model, { clicks: Number.increment }),
+    }),
 });
 // VIEW
 export const view = (model, h) => {

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

@@ -1,5 +1,6 @@
 import { Schema as S } from 'effect';
 import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
     readonly pointerDownCount: S.Number;
     readonly pointerUpCount: S.Number;
@@ -16,11 +17,21 @@ declare const Message: import("../../schema/index.js").MessageUnion<{
 }>;
 type Message = typeof Message.Type;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [{
-    readonly pointerDownCount: number;
-    readonly pointerUpCount: number;
-    readonly lastPointerType: string;
-}, readonly never[]];
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly pointerDownCount: number;
+        readonly pointerUpCount: number;
+        readonly lastPointerType: string;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "PressedPointerDown";
+        readonly pointerType: string;
+    } | {
+        readonly _tag: "ReleasedPointerUp";
+        readonly pointerType: string;
+    }, never>;
+    outMessage?: never;
+}>;
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 export {};
 //# sourceMappingURL=pointer.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"pointer.d.ts","sourceRoot":"","sources":["../../../src/test/apps/pointer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAK5D,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;;;;;;EAGX,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;oBAkBjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}
+{"version":3,"file":"pointer.d.ts","sourceRoot":"","sources":["../../../src/test/apps/pointer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;;;;;;EAGX,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;EAgBjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}

package/dist/test/apps/pointer.js

@@ -19,22 +19,20 @@ export const initialModel = {
 };
 // UPDATE
 export const update = (model, message) => Message.match(message, {
-    PressedPointerDown: ({ pointerType }) => [
-        {
+    PressedPointerDown: ({ pointerType }) => ({
+        model: {
             ...model,
             pointerDownCount: model.pointerDownCount + 1,
             lastPointerType: pointerType,
         },
-        [],
-    ],
-    ReleasedPointerUp: ({ pointerType }) => [
-        {
+    }),
+    ReleasedPointerUp: ({ pointerType }) => ({
+        model: {
             ...model,
             pointerUpCount: model.pointerUpCount + 1,
             lastPointerType: pointerType,
         },
-        [],
-    ],
+    }),
 });
 // VIEW
 export const view = (model, h) => {

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

@@ -1,6 +1,7 @@
-import { Effect, Schema as S } from 'effect';
+import { Effect, Option, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
 import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
     readonly maybeResume: S.Option<S.Schema<File>>;
     readonly maybePreviewDataUrl: S.Option<S.String>;
@@ -35,8 +36,28 @@ export declare const ReadResumePreview: Command.CommandDefinitionWithArgs<"ReadR
     readonly _tag: "FailedReadPreview";
 }, never, never>>;
 export declare const initialModel: Model;
-type UpdateReturn = readonly [Model, ReadonlyArray<Command.Command<Message>>];
-export declare const update: (model: Model, message: Message) => UpdateReturn;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly maybeResume: Option.Option<File>;
+        readonly maybePreviewDataUrl: Option.Option<string>;
+        readonly readStatus: "Idle" | "Failed" | "Reading";
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "ClickedChooseResume";
+    } | {
+        readonly _tag: "CompletedSelectResume";
+        readonly file: File;
+    } | {
+        readonly _tag: "CancelledSelectResume";
+    } | {
+        readonly _tag: "SucceededReadPreview";
+        readonly dataUrl: string;
+    } | {
+        readonly _tag: "FailedReadPreview";
+    } | {
+        readonly _tag: "ClickedRemoveResume";
+    }, never>;
+    outMessage?: never;
+}>;
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
-export {};
 //# sourceMappingURL=resumeUpload.d.ts.map

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,OAAO;;;;;;;;;;;EAOlB,CAAA;AAEF,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,iBA4BjD,CAAA;AAsBJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAsB5D,CAAA"}
+{"version":3,"file":"resumeUpload.d.ts","sourceRoot":"","sources":["../../../src/test/apps/resumeUpload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,EAAE,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;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;;;;;;;;;;EAOlB,CAAA;AAEF,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,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;EA4BjD,CAAA;AAsBJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAsB5D,CAAA"}

package/dist/test/apps/resumeUpload.js

@@ -37,33 +37,34 @@ export const initialModel = {
     maybePreviewDataUrl: Option.none(),
     readStatus: 'Idle',
 };
+// UPDATE
 export const update = (model, message) => Message.match(message, {
-    ClickedChooseResume: () => [model, [SelectResume()]],
-    CompletedSelectResume: ({ file }) => [
-        evo(model, {
+    ClickedChooseResume: () => ({ model, commands: [SelectResume()] }),
+    CompletedSelectResume: ({ file }) => ({
+        model: evo(model, {
             maybeResume: () => Option.some(file),
             maybePreviewDataUrl: () => Option.none(),
             readStatus: () => 'Reading',
         }),
-        [ReadResumePreview({ file })],
-    ],
-    CancelledSelectResume: () => [model, []],
-    SucceededReadPreview: ({ dataUrl }) => [
-        evo(model, {
+        commands: [ReadResumePreview({ file })],
+    }),
+    CancelledSelectResume: () => ({ model }),
+    SucceededReadPreview: ({ dataUrl }) => ({
+        model: evo(model, {
             maybePreviewDataUrl: () => Option.some(dataUrl),
             readStatus: () => 'Idle',
         }),
-        [],
-    ],
-    FailedReadPreview: () => [evo(model, { readStatus: () => 'Failed' }), []],
-    ClickedRemoveResume: () => [
-        evo(model, {
+    }),
+    FailedReadPreview: () => ({
+        model: evo(model, { readStatus: () => 'Failed' }),
+    }),
+    ClickedRemoveResume: () => ({
+        model: evo(model, {
             maybeResume: () => Option.none(),
             maybePreviewDataUrl: () => Option.none(),
             readStatus: () => 'Idle',
         }),
-        [],
-    ],
+    }),
 });
 // VIEW
 const previewView = (model, h) => {

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

@@ -1,5 +1,6 @@
 import { Schema as S } from 'effect';
 import type { Html } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
     readonly score: S.Number;
 }>;
@@ -11,9 +12,15 @@ export type Message = typeof Message.Type;
 export declare const initialModel: {
     readonly score: number;
 };
-export declare const update: (model: Model, message: Message) => readonly [{
-    readonly score: number;
-}, readonly never[]];
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly score: number;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "ClickedIncrement";
+    }, never>;
+    outMessage?: never;
+}>;
 export type ViewInputs = Readonly<{
     label: string;
     toView: (content: Readonly<{

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

@@ -1 +1 @@
-{"version":3,"file":"scorePanel.d.ts","sourceRoot":"","sources":["../../../src/test/apps/scorePanel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5C,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,OAAO;;EAElB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;CAA2B,CAAA;AAIpD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;oBAGjD,CAAA;AAIJ,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"}
+{"version":3,"file":"scorePanel.d.ts","sourceRoot":"","sources":["../../../src/test/apps/scorePanel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAI/C,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAAgC,CAAA;AAClD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;EAElB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;CAA2B,CAAA;AAIpD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;EAKjD,CAAA;AAIJ,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

@@ -12,7 +12,9 @@ export const Message = defineMessageUnion({
 export const initialModel = Model.make({ score: 0 });
 // UPDATE
 export const update = (model, message) => Message.match(message, {
-    ClickedIncrement: () => [evo(model, { score: Number.increment }), []],
+    ClickedIncrement: () => ({
+        model: evo(model, { score: Number.increment }),
+    }),
 });
 export const view = defineView((model, viewInputs, h) => h.div([], [
     viewInputs.toView({ label: viewInputs.label, score: model.score }),

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

@@ -1,6 +1,7 @@
 import { Effect, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
 import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
     readonly commits: S.Number;
 }>;
@@ -17,10 +18,20 @@ export declare const RecordReset: Command.CommandDefinitionNoArgs<"RecordReset",
     readonly _tag: "CompletedRecordReset";
 }, never, never>>;
 export declare const initialModel: Model;
-type UpdateReturn = readonly [Model, ReadonlyArray<Command.Command<Message>>];
-export declare const update: (model: Model, message: Message) => UpdateReturn;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly commits: number;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "Committed";
+    } | {
+        readonly _tag: "Reset";
+    } | {
+        readonly _tag: "CompletedRecordReset";
+    }, never>;
+    outMessage?: never;
+}>;
 export declare const appId = "selective-keys";
 export declare const resetId = "selective-keys-reset";
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
-export {};
 //# sourceMappingURL=selectiveKeys.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"selectiveKeys.d.ts","sourceRoot":"","sources":["../../../src/test/apps/selectiveKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5D,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,KAAK;;EAEhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;;;EAIlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC;mEACmE;AACnE,eAAO,MAAM,WAAW;;iBAGtB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAAsB,CAAA;AAIjD,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,iBAKjD,CAAA;AAIJ,eAAO,MAAM,KAAK,mBAAmB,CAAA;AACrC,eAAO,MAAM,OAAO,yBAAyB,CAAA;AAE7C,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAY1D,CAAA"}
+{"version":3,"file":"selectiveKeys.d.ts","sourceRoot":"","sources":["../../../src/test/apps/selectiveKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE5D,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAEhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;;;EAIlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC;mEACmE;AACnE,eAAO,MAAM,WAAW;;iBAGtB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAAsB,CAAA;AAIjD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;EAQjD,CAAA;AAIJ,eAAO,MAAM,KAAK,mBAAmB,CAAA;AACrC,eAAO,MAAM,OAAO,yBAAyB,CAAA;AAE7C,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAY1D,CAAA"}

package/dist/test/apps/selectiveKeys.js

@@ -20,10 +20,14 @@ export const RecordReset = Command.define('RecordReset', {
 });
 // INIT
 export const initialModel = { commits: 0 };
+// UPDATE
 export const update = (model, message) => Message.match(message, {
-    Committed: () => [evo(model, { commits: Number.increment }), []],
-    Reset: () => [evo(model, { commits: () => 0 }), [RecordReset()]],
-    CompletedRecordReset: () => [model, []],
+    Committed: () => ({ model: evo(model, { commits: Number.increment }) }),
+    Reset: () => ({
+        model: evo(model, { commits: () => 0 }),
+        commands: [RecordReset()],
+    }),
+    CompletedRecordReset: () => ({ model }),
 });
 // VIEW
 export const appId = 'selective-keys';

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

@@ -1,6 +1,7 @@
 import { Effect, Schema as S } from 'effect';
 import * as Interruptible from '../../command/interruptible/index.js';
 import type { Document, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
 export declare const UploadStatus: S.Literals<readonly ["Uploading", "Done", "Cancelled", "Failed"]>;
 export type UploadStatus = typeof UploadStatus.Type;
 export declare const Upload: S.Struct<{
@@ -65,17 +66,15 @@ export declare const CancelUploadFile: ({ uploadId }: UploadFileArgs) => Readonl
     }, never, never>;
 }>;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [{
-    readonly uploadId: number;
-    readonly uploads: readonly {
-        readonly id: number;
-        readonly status: "Failed" | "Uploading" | "Done" | "Cancelled";
-    }[];
-}, readonly Readonly<{
-    name: string;
-    args?: Record<string, unknown>;
-    key?: string;
-    effect: Effect.Effect<{
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly uploadId: number;
+        readonly uploads: readonly {
+            readonly id: number;
+            readonly status: "Failed" | "Uploading" | "Done" | "Cancelled";
+        }[];
+    };
+    commands?: Update.Commands<{
         readonly _tag: "ClickedStartUpload";
     } | {
         readonly _tag: "ClickedRetryUpload";
@@ -97,7 +96,8 @@ export declare const update: (model: Model, message: Message) => readonly [{
         } | {
             readonly _tag: "NotFound";
         };
-    }, never, never>;
-}>[]];
+    }, never>;
+    outMessage?: never;
+}>;
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Document;
 //# sourceMappingURL=uploads.d.ts.map

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;AAGvE,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,OAAO;;;;;;;;;;;;;;;;;;EAUlB,CAAA;AAEF,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,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA+ClD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QA6B5D,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;AAGvE,OAAO,KAAK,aAAa,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAGhE,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,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,OAAO;;;;;;;;;;;;;;;;;;EAUlB,CAAA;AAEF,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;AAW/D,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyCjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QA6B5D,CAAA"}

package/dist/test/apps/uploads.js

@@ -52,36 +52,35 @@ export const update = (model, message) => Message.match(message, {
             id: model.uploadId,
             status: 'Uploading',
         };
-        return [
-            evo(model, {
+        return {
+            model: evo(model, {
                 uploadId: Number.increment,
                 uploads: Array.append(startedUpload),
             }),
-            [UploadFile({ uploadId: model.uploadId })],
-        ];
+            commands: [UploadFile({ uploadId: model.uploadId })],
+        };
     },
-    ClickedRetryUpload: ({ uploadId }) => [
-        evo(model, { uploads: setStatusById(uploadId, 'Uploading') }),
-        [UploadFile({ uploadId })],
-    ],
-    ClickedCancelUpload: ({ uploadId }) => [
+    ClickedRetryUpload: ({ uploadId }) => ({
+        model: evo(model, { uploads: setStatusById(uploadId, 'Uploading') }),
+        commands: [UploadFile({ uploadId })],
+    }),
+    ClickedCancelUpload: ({ uploadId }) => ({
         model,
-        [CancelUploadFile({ uploadId })],
-    ],
-    SucceededUploadFile: ({ uploadId }) => [
-        evo(model, { uploads: setStatusById(uploadId, 'Done') }),
-        [],
-    ],
-    FailedUploadFile: ({ uploadId }) => [
-        evo(model, { uploads: setStatusById(uploadId, 'Failed') }),
-        [],
-    ],
+        commands: [CancelUploadFile({ uploadId })],
+    }),
+    SucceededUploadFile: ({ uploadId }) => ({
+        model: evo(model, { uploads: setStatusById(uploadId, 'Done') }),
+    }),
+    FailedUploadFile: ({ uploadId }) => ({
+        model: evo(model, { uploads: setStatusById(uploadId, 'Failed') }),
+    }),
     CompletedCancelUploadFile: ({ uploadId, outcome }) => M.value(outcome).pipe(M.withReturnType(), M.tagsExhaustive({
-        Interrupted: () => [
-            evo(model, { uploads: setStatusById(uploadId, 'Cancelled') }),
-            [],
-        ],
-        NotFound: () => [model, []],
+        Interrupted: () => ({
+            model: evo(model, {
+                uploads: setStatusById(uploadId, 'Cancelled'),
+            }),
+        }),
+        NotFound: () => ({ model }),
     })),
 });
 // VIEW

package/dist/test/internal.d.ts

@@ -92,7 +92,22 @@ export declare const mountMatches: (matcher: MountMatcher, mount: AnyMount) => b
 /** Formats a Mount matcher for display in error messages. Definition
  *  matchers render as just the name; Instance matchers append the args. */
 export declare const formatMountMatcher: (matcher: MountMatcher) => string;
-type UpdateResult<Model, OutMessage> = readonly [Model, ReadonlyArray<AnyCommand>] | readonly [Model, ReadonlyArray<AnyCommand>, OutMessage];
+/**
+ * Result shape used after Story and Scene replace executable Commands with
+ * assertion metadata. Plain returns retain `outMessage?: never`, so code that
+ * consumes only the Model and Commands cannot discard an OutMessage.
+ *
+ * @internal
+ */
+export type SimulationUpdateReturn<Model, OutMessage> = Readonly<{
+    model: Model;
+    commands?: ReadonlyArray<AnyCommand>;
+    outMessage?: never;
+}> | Readonly<{
+    model: Model;
+    commands?: ReadonlyArray<AnyCommand>;
+    outMessage?: OutMessage;
+}>;
 /** A Command matcher (Definition or Instance) paired with the raw result
  *  Message to resolve a pending Command with. Definition matchers resolve by
  *  name; an Instance matcher resolves only the pending Command whose name AND
@@ -124,8 +139,8 @@ export type BaseInternal<Model, Message, OutMessage = undefined> = Readonly<{
     model: Model;
     message: Message | undefined;
     commands: ReadonlyArray<AnyCommand>;
-    outMessage: OutMessage;
-    updateFn: (model: Model, message: Message) => UpdateResult<Model, OutMessage>;
+    outMessage: OutMessage | undefined;
+    updateFn: (model: Model, message: Message) => SimulationUpdateReturn<Model, OutMessage>;
     resolvers: ReadonlyArray<ResolverEntry>;
 }>;
 /** Resolves the first pending Command that matches the given matcher and feeds

package/dist/test/internal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/test/internal.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEpC,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,KAAK,aAAa,MAAM,mCAAmC,CAAA;AACvE,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,mBAAmB,CAAA;AAE/E;;;;;;;;;;;;;;;;+EAgB+E;AAC/E,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,cAAc,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAA;CAC9D,CAAC,CAAA;AAEF;;;;;;;;;4EAS4E;AAC5E,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,UAAU,CAAA;AAE5E;qBACqB;AACrB,MAAM,MAAM,kBAAkB,CAAC,aAAa,GAAG,OAAO,IAAI,QAAQ,CAAC;IACjE,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;4BAC4B;AAC5B,MAAM,MAAM,2BAA2B,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,IACtE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GACtC,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAC5E,aAAa,CAAC,kBAAkB,CAC9B,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,GACD,aAAa,CAAC,2BAA2B,CACvC,IAAI,EACJ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,CAAA;AAEL;WACW;AACX,MAAM,MAAM,wBAAwB,GAChC,2BAA2B,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5C,kBAAkB,CAAC,OAAO,CAAC,CAAA;AAE/B,KAAK,uBAAuB,CAAC,OAAO,SAAS,wBAAwB,IACnE,OAAO,SAAS,2BAA2B,CAAC,MAAM,EAAE,MAAM,aAAa,CAAC,GACpE,aAAa,GACb,OAAO,SAAS,kBAAkB,CAAC,MAAM,aAAa,CAAC,GACrD,aAAa,GACb,KAAK,CAAA;AAsBb;2EAC2E;AAC3E,eAAO,MAAM,aAAa,GAAI,SAAS,cAAc,KAAG,MAGN,CAAA;AAElD;qEACqE;AACrE,eAAO,MAAM,aAAa,GAAI,SAAS,UAAU,KAAG,MACN,CAAA;AAE9C;;;;;mEAKmE;AACnE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAA;CAC9D,CAAC,CAAA;AAEF;;uCAEuC;AACvC,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF;;;;;;;6DAO6D;AAC7D,MAAM,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAA;AAOtE;;mEAEmE;AACnE,eAAO,MAAM,YAAY,GAAI,SAAS,YAAY,EAAE,OAAO,QAAQ,KAAG,OAI3B,CAAA;AAE3C;2EAC2E;AAC3E,eAAO,MAAM,kBAAkB,GAAI,SAAS,YAAY,KAAG,MAGT,CAAA;AAElD,KAAK,YAAY,CAAC,KAAK,EAAE,UAAU,IAC/B,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,GAC3C,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAA;AAE3D;;;;;kEAKkE;AAClE,MAAM,MAAM,QAAQ,CAClB,OAAO,SAAS,wBAAwB,GAAG,wBAAwB,IACjE,SAAS,CAAC,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAA;AAExD;;;;yCAIyC;AACzC,MAAM,MAAM,aAAa,CAAC,aAAa,GAAG,OAAO,IAAI,SAAS;IAC5D,YAAY;IACZ,aAAa;CACd,CAAA;AAED;;;;;mCAKmC;AACnC,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,cAAc,CAAA;IACvB,aAAa,EAAE,OAAO,CAAA;CACvB,CAAC,CAAA;AAOF,6EAA6E;AAC7E,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAC1E,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;IAC5B,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACnC,UAAU,EAAE,UAAU,CAAA;IACtB,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC7E,SAAS,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CACxC,CAAC,CAAA;AA+BF;;;;mBAImB;AACnB,eAAO,MAAM,gBAAgB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EACzD,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,SAAS,cAAc,EACvB,eAAe,OAAO,KACrB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,GAAG,SAsC3C,CAAA;AA6BH;;;;sEAIsE;AACtE,eAAO,MAAM,kBAAkB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EAC3D,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,WAAW,aAAa,CAAC,QAAQ,CAAC,KACjC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAoDzC,CAAA;AAED;;0EAE0E;AAC1E,eAAO,MAAM,uBAAuB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EAChE,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,WAAW,aAAa,CAAC,QAAQ,CAAC,KACjC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAkDzC,CAAA;AAoBD;;;;wBAIwB;AACxB,eAAO,MAAM,wBAAwB,GACnC,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,SAAS,cAAc,KACtB,IAaF,CAAA;AAED;iFACiF;AACjF,eAAO,MAAM,iBAAiB,GAC5B,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,UAAU,aAAa,CAAC,cAAc,CAAC,KACtC,IAWF,CAAA;AAED;;;uBAGuB;AACvB,eAAO,MAAM,mBAAmB,GAC9B,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,UAAU,aAAa,CAAC,cAAc,CAAC,KACtC,IA6CF,CAAA;AAED,gDAAgD;AAChD,eAAO,MAAM,kBAAkB,GAC7B,UAAU,aAAa,CAAC,UAAU,CAAC,KAClC,IAMF,CAAA;AAED;;;;;;YAMY;AACZ,eAAO,MAAM,0BAA0B,GACrC,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,SAAS,MAAM,KACd,IAeF,CAAA;AAED,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,GACpC,UAAU,aAAa,CAAC,UAAU,CAAC,KAClC,IASF,CAAA;AAWD;;oDAEoD;AACpD,eAAO,MAAM,eAAe,GAAI,QAAQ,aAAa,CAAC,YAAY,CAAC,KAAG,MASlE,CAAA;AAEJ;;;;mBAImB;AACnB,eAAO,MAAM,qBAAqB,GAAI,KAAK,EAAE,OAAO,EAClD,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAC/C,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,SAAS,YAAY,EACrB,eAAe,OAAO,KAEpB,QAAQ,CAAC;IACP,QAAQ,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC/C,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAC3C,CAAC,GACF,SAqCD,CAAA;AAEH;;oCAEoC;AACpC,eAAO,MAAM,eAAe,GAC1B,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,UAAU,aAAa,CAAC,YAAY,CAAC,KACpC,IAiBF,CAAA;AAED;;;oCAGoC;AACpC,eAAO,MAAM,iBAAiB,GAC5B,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,UAAU,aAAa,CAAC,YAAY,CAAC,KACpC,IAoCF,CAAA;AAED,8CAA8C;AAC9C,eAAO,MAAM,gBAAgB,GAC3B,eAAe,aAAa,CAAC,YAAY,CAAC,KACzC,IAMF,CAAA;AAED;qBACqB;AACrB,eAAO,MAAM,wBAAwB,GACnC,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,SAAS,MAAM,KACd,IASF,CAAA;AAED;6BAC6B;AAC7B,eAAO,MAAM,8BAA8B,GACzC,qBAAqB,aAAa,CAAC,YAAY,CAAC,EAChD,SAAS,MAAM,KACd,IAQF,CAAA;AAED,sDAAsD;AACtD,eAAO,MAAM,uBAAuB,GAClC,eAAe,aAAa,CAAC,YAAY,CAAC,KACzC,IASF,CAAA;AAED,uEAAuE;AACvE,eAAO,MAAM,6BAA6B,GACxC,qBAAqB,aAAa,CAAC,YAAY,CAAC,KAC/C,IASF,CAAA"}
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/test/internal.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEpC,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,KAAK,aAAa,MAAM,mCAAmC,CAAA;AACvE,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,mBAAmB,CAAA;AAE/E;;;;;;;;;;;;;;;;+EAgB+E;AAC/E,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,cAAc,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAA;CAC9D,CAAC,CAAA;AAEF;;;;;;;;;4EAS4E;AAC5E,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,UAAU,CAAA;AAE5E;qBACqB;AACrB,MAAM,MAAM,kBAAkB,CAAC,aAAa,GAAG,OAAO,IAAI,QAAQ,CAAC;IACjE,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;4BAC4B;AAC5B,MAAM,MAAM,2BAA2B,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,IACtE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GACtC,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAC5E,aAAa,CAAC,kBAAkB,CAC9B,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,GACD,aAAa,CAAC,2BAA2B,CACvC,IAAI,EACJ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,CAAA;AAEL;WACW;AACX,MAAM,MAAM,wBAAwB,GAChC,2BAA2B,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5C,kBAAkB,CAAC,OAAO,CAAC,CAAA;AAE/B,KAAK,uBAAuB,CAAC,OAAO,SAAS,wBAAwB,IACnE,OAAO,SAAS,2BAA2B,CAAC,MAAM,EAAE,MAAM,aAAa,CAAC,GACpE,aAAa,GACb,OAAO,SAAS,kBAAkB,CAAC,MAAM,aAAa,CAAC,GACrD,aAAa,GACb,KAAK,CAAA;AAsBb;2EAC2E;AAC3E,eAAO,MAAM,aAAa,GAAI,SAAS,cAAc,KAAG,MAGN,CAAA;AAElD;qEACqE;AACrE,eAAO,MAAM,aAAa,GAAI,SAAS,UAAU,KAAG,MACN,CAAA;AAE9C;;;;;mEAKmE;AACnE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAA;CAC9D,CAAC,CAAA;AAEF;;uCAEuC;AACvC,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF;;;;;;;6DAO6D;AAC7D,MAAM,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAA;AAOtE;;mEAEmE;AACnE,eAAO,MAAM,YAAY,GAAI,SAAS,YAAY,EAAE,OAAO,QAAQ,KAAG,OAI3B,CAAA;AAE3C;2EAC2E;AAC3E,eAAO,MAAM,kBAAkB,GAAI,SAAS,YAAY,KAAG,MAGT,CAAA;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,CAAC,KAAK,EAAE,UAAU,IAChD,QAAQ,CAAC;IACP,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACpC,UAAU,CAAC,EAAE,KAAK,CAAA;CACnB,CAAC,GACF,QAAQ,CAAC;IACP,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACpC,UAAU,CAAC,EAAE,UAAU,CAAA;CACxB,CAAC,CAAA;AAEN;;;;;kEAKkE;AAClE,MAAM,MAAM,QAAQ,CAClB,OAAO,SAAS,wBAAwB,GAAG,wBAAwB,IACjE,SAAS,CAAC,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAA;AAExD;;;;yCAIyC;AACzC,MAAM,MAAM,aAAa,CAAC,aAAa,GAAG,OAAO,IAAI,SAAS;IAC5D,YAAY;IACZ,aAAa;CACd,CAAA;AAED;;;;;mCAKmC;AACnC,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,cAAc,CAAA;IACvB,aAAa,EAAE,OAAO,CAAA;CACvB,CAAC,CAAA;AAOF,6EAA6E;AAC7E,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAC1E,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;IAC5B,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACnC,UAAU,EAAE,UAAU,GAAG,SAAS,CAAA;IAClC,QAAQ,EAAE,CACR,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC9C,SAAS,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CACxC,CAAC,CAAA;AA+BF;;;;mBAImB;AACnB,eAAO,MAAM,gBAAgB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EACzD,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,SAAS,cAAc,EACvB,eAAe,OAAO,KACrB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,GAAG,SAoC3C,CAAA;AA6BH;;;;sEAIsE;AACtE,eAAO,MAAM,kBAAkB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EAC3D,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,WAAW,aAAa,CAAC,QAAQ,CAAC,KACjC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAoDzC,CAAA;AAED;;0EAE0E;AAC1E,eAAO,MAAM,uBAAuB,GAAI,KAAK,EAAE,OAAO,EAAE,UAAU,EAChE,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,WAAW,aAAa,CAAC,QAAQ,CAAC,KACjC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAkDzC,CAAA;AAoBD;;;;wBAIwB;AACxB,eAAO,MAAM,wBAAwB,GACnC,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,SAAS,cAAc,KACtB,IAaF,CAAA;AAED;iFACiF;AACjF,eAAO,MAAM,iBAAiB,GAC5B,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,UAAU,aAAa,CAAC,cAAc,CAAC,KACtC,IAWF,CAAA;AAED;;;uBAGuB;AACvB,eAAO,MAAM,mBAAmB,GAC9B,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,UAAU,aAAa,CAAC,cAAc,CAAC,KACtC,IA6CF,CAAA;AAED,gDAAgD;AAChD,eAAO,MAAM,kBAAkB,GAC7B,UAAU,aAAa,CAAC,UAAU,CAAC,KAClC,IAMF,CAAA;AAED;;;;;;YAMY;AACZ,eAAO,MAAM,0BAA0B,GACrC,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,SAAS,MAAM,KACd,IAeF,CAAA;AAED,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,GACpC,UAAU,aAAa,CAAC,UAAU,CAAC,KAClC,IASF,CAAA;AAWD;;oDAEoD;AACpD,eAAO,MAAM,eAAe,GAAI,QAAQ,aAAa,CAAC,YAAY,CAAC,KAAG,MASlE,CAAA;AAEJ;;;;mBAImB;AACnB,eAAO,MAAM,qBAAqB,GAAI,KAAK,EAAE,OAAO,EAClD,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAC/C,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,SAAS,YAAY,EACrB,eAAe,OAAO,KAEpB,QAAQ,CAAC;IACP,QAAQ,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC/C,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAC3C,CAAC,GACF,SAoCD,CAAA;AAEH;;oCAEoC;AACpC,eAAO,MAAM,eAAe,GAC1B,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,UAAU,aAAa,CAAC,YAAY,CAAC,KACpC,IAiBF,CAAA;AAED;;;oCAGoC;AACpC,eAAO,MAAM,iBAAiB,GAC5B,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,UAAU,aAAa,CAAC,YAAY,CAAC,KACpC,IAoCF,CAAA;AAED,8CAA8C;AAC9C,eAAO,MAAM,gBAAgB,GAC3B,eAAe,aAAa,CAAC,YAAY,CAAC,KACzC,IAMF,CAAA;AAED;qBACqB;AACrB,eAAO,MAAM,wBAAwB,GACnC,eAAe,aAAa,CAAC,YAAY,CAAC,EAC1C,SAAS,MAAM,KACd,IASF,CAAA;AAED;6BAC6B;AAC7B,eAAO,MAAM,8BAA8B,GACzC,qBAAqB,aAAa,CAAC,YAAY,CAAC,EAChD,SAAS,MAAM,KACd,IAQF,CAAA;AAED,sDAAsD;AACtD,eAAO,MAAM,uBAAuB,GAClC,eAAe,aAAa,CAAC,YAAY,CAAC,KACzC,IASF,CAAA;AAED,uEAAuE;AACvE,eAAO,MAAM,6BAA6B,GACxC,qBAAqB,aAAa,CAAC,YAAY,CAAC,KAC/C,IASF,CAAA"}

package/dist/test/internal.js

@@ -54,17 +54,13 @@ export const resolveByMatcher = (internal, matcher, resultMessage) => pipe(inter
     /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
     const resolverMessage = foldMessageMappers(matchedCommand.messageMappers, resultMessage);
     const remainingCommands = dropInterruptedCommands(Array.remove(internal.commands, commandIndex), matchedCommand);
-    const [nextModel, newCommands, ...rest] = internal.updateFn(internal.model, resolverMessage);
-    const outMessage = Array.matchLeft(rest, {
-        onEmpty: () => internal.outMessage,
-        onNonEmpty: firstOutMessage => firstOutMessage,
-    });
+    const messageUpdate = internal.updateFn(internal.model, resolverMessage);
     return {
         ...internal,
-        model: nextModel,
+        model: messageUpdate.model,
         message: resolverMessage,
-        commands: Array.appendAll(remainingCommands, newCommands),
-        outMessage,
+        commands: Array.appendAll(remainingCommands, messageUpdate.commands ?? []),
+        outMessage: messageUpdate.outMessage,
     };
 }))), Option.getOrUndefined);
 const MAX_CASCADE_DEPTH = 100;
@@ -240,18 +236,14 @@ export const resolveMountByMatcher = (internal, pendingMounts, matcher, resultMe
     /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
     const resolverMessage = foldMessageMappers(matchedMount.messageMappers, resultMessage);
     const remaining = Array.remove(pendingMounts, index);
-    const [nextModel, newCommands, ...rest] = internal.updateFn(internal.model, resolverMessage);
-    const outMessage = Array.matchLeft(rest, {
-        onEmpty: () => internal.outMessage,
-        onNonEmpty: firstOutMessage => firstOutMessage,
-    });
+    const messageUpdate = internal.updateFn(internal.model, resolverMessage);
     return {
         internal: {
             ...internal,
-            model: nextModel,
+            model: messageUpdate.model,
             message: resolverMessage,
-            commands: Array.appendAll(internal.commands, newCommands),
-            outMessage,
+            commands: Array.appendAll(internal.commands, messageUpdate.commands ?? []),
+            outMessage: messageUpdate.outMessage,
         },
         pendingMounts: remaining,
     };