foldkit 0.148.2 → 0.149.0

package/dist/test/apps/bubbling.js

@@ -1,31 +1,32 @@
-import { Match as M, Schema as S } from 'effect';
-import { m } from '../../message/index.js';
+import { Schema as S } from 'effect';
+import { defineMessageUnion } from '../../message/index.js';
 // MODEL
 export const Model = S.Struct({
     clicks: S.Number,
     doubleClicks: S.Number,
 });
 // MESSAGE
-const ClickedContainer = m('ClickedContainer');
-const DoubleClickedContainer = m('DoubleClickedContainer');
-const Message = S.Union([ClickedContainer, DoubleClickedContainer]);
+const Message = defineMessageUnion({
+    ClickedContainer: {},
+    DoubleClickedContainer: {},
+});
 // INIT
 export const initialModel = {
     clicks: 0,
     doubleClicks: 0,
 };
 // UPDATE
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+export const update = (model, message) => Message.match(message, {
     ClickedContainer: () => [{ ...model, clicks: model.clicks + 1 }, []],
     DoubleClickedContainer: () => [
         { ...model, doubleClicks: model.doubleClicks + 1 },
         [],
     ],
-}));
+});
 // VIEW
 export const view = (model, h) => {
     return h.div([], [
-        h.div([h.Role('option'), h.OnClick(ClickedContainer())], [h.span([], [`clicks=${model.clicks}`])]),
-        h.div([h.Role('listitem'), h.OnDoubleClick(DoubleClickedContainer())], [h.span([], [`dbl=${model.doubleClicks}`])]),
+        h.div([h.Role('option'), h.OnClick(Message.ClickedContainer())], [h.span([], [`clicks=${model.clicks}`])]),
+        h.div([h.Role('listitem'), h.OnDoubleClick(Message.DoubleClickedContainer())], [h.span([], [`dbl=${model.doubleClicks}`])]),
     ]);
 };

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

@@ -12,17 +12,18 @@ export declare const Model: S.Struct<{
     readonly color: S.String;
 }>;
 export type Model = typeof Model.Type;
-export declare const ChangedColor: import("../../schema/index.js").CallableTaggedStruct<"ChangedColor", {
-    value: S.String;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly ChangedColor: {
+        readonly value: S.String;
+    };
 }>;
-export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ChangedColor", {
-    value: S.String;
-}>]>;
 export type Message = typeof Message.Type;
 export declare const initialModel: {
     readonly color: string;
 };
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>];
+export declare const update: (model: Model, message: Message) => readonly [{
+    readonly color: string;
+}, readonly never[]];
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 export declare const viewWithoutHandler: (model: Model, h: HtmlBuilder<Message>) => Html;
 //# sourceMappingURL=colorPicker.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"colorPicker.d.ts","sourceRoot":"","sources":["../../../src/test/apps/colorPicker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhD,OAAO,KAAK,aAAa,MAAM,8BAA8B,CAAA;AAC7D,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,cAAc;;;;;;EAQzB,CAAA;AAIF,eAAO,MAAM,KAAK;;EAAgC,CAAA;AAClD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,YAAY;;EAAyC,CAAA;AAElE,eAAO,MAAM,OAAO;;IAA0B,CAAA;AAC9C,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;CAAmC,CAAA;AAI5D,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAMrC,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAkB5D,CAAA;AAED,eAAO,MAAM,kBAAkB,GAC7B,OAAO,KAAK,EACZ,GAAG,WAAW,CAAC,OAAO,CAAC,KACtB,IAUF,CAAA"}
+{"version":3,"file":"colorPicker.d.ts","sourceRoot":"","sources":["../../../src/test/apps/colorPicker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC,OAAO,KAAK,aAAa,MAAM,8BAA8B,CAAA;AAC7D,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,cAAc;;;;;;EAQzB,CAAA;AAIF,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;;CAAmC,CAAA;AAI5D,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,IAkB5D,CAAA;AAED,eAAO,MAAM,kBAAkB,GAC7B,OAAO,KAAK,EACZ,GAAG,WAAW,CAAC,OAAO,CAAC,KACtB,IAUF,CAAA"}

package/dist/test/apps/colorPicker.js

@@ -1,6 +1,6 @@
-import { Match as M, Schema as S } from 'effect';
+import { Schema as S } from 'effect';
 import * as CustomElement from '../../customElement/index.js';
-import { m } from '../../message/index.js';
+import { defineMessageUnion } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
 // CUSTOM ELEMENT
 export const hexColorPicker = CustomElement.define({
@@ -15,21 +15,22 @@ export const hexColorPicker = CustomElement.define({
 // MODEL
 export const Model = S.Struct({ color: S.String });
 // MESSAGE
-export const ChangedColor = m('ChangedColor', { value: S.String });
-export const Message = S.Union([ChangedColor]);
+export const Message = defineMessageUnion({
+    ChangedColor: { value: S.String },
+});
 // INIT
 export const initialModel = Model.make({ color: '#000000' });
 // UPDATE
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+export const update = (model, message) => Message.match(message, {
     ChangedColor: ({ value }) => [evo(model, { color: () => value }), []],
-}));
+});
 // VIEW
 export const view = (model, h) => {
     const picker = hexColorPicker.withMessage(h);
     return h.div([], [
         picker([
             picker.Color(model.color),
-            picker.OnColorChanged(detail => ChangedColor({ value: detail.value })),
+            picker.OnColorChanged(detail => Message.ChangedColor({ value: detail.value })),
         ], []),
         h.span([h.Role('status')], [model.color]),
     ]);

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

@@ -7,9 +7,11 @@ export declare const Model: S.Struct<{
     readonly openCount: S.Number;
 }>;
 export type Model = typeof Model.Type;
-declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"OpenedContextMenu", {
-    source: S.Literals<readonly ["Direct", "Inner", "Outer"]>;
-}>]>;
+declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly OpenedContextMenu: {
+        readonly source: S.Literals<readonly ["Direct", "Inner", "Outer"]>;
+    };
+}>;
 type Message = typeof Message.Type;
 export declare const initialModel: {
     readonly contextMenu: {
@@ -20,7 +22,15 @@ export declare const initialModel: {
     };
     readonly openCount: number;
 };
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>];
+export declare const update: (model: Model, message: Message) => readonly [{
+    readonly contextMenu: {
+        readonly _tag: "Closed";
+    } | {
+        readonly _tag: "Open";
+        readonly source: "Direct" | "Inner" | "Outer";
+    };
+    readonly openCount: number;
+}, readonly never[]];
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 export {};
 //# sourceMappingURL=contextMenu.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"contextMenu.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contextMenu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAiB5D,eAAO,MAAM,KAAK;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAQrC,QAAA,MAAM,OAAO;;IAA+B,CAAA;AAC5C,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY;;;;;;;;CAGvB,CAAA;AAIF,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAYrC,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA4C5D,CAAA"}
+{"version":3,"file":"contextMenu.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contextMenu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAiB5D,eAAO,MAAM,KAAK;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;;;EAEX,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY;;;;;;;;CAGvB,CAAA;AAIF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;oBASjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA8C5D,CAAA"}

package/dist/test/apps/contextMenu.js

@@ -1,5 +1,5 @@
 import { Match as M, Number, Schema as S } from 'effect';
-import { m } from '../../message/index.js';
+import { defineMessageUnion } from '../../message/index.js';
 import { ts } from '../../schema/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
@@ -14,17 +14,16 @@ export const Model = S.Struct({
     openCount: S.Number,
 });
 // MESSAGE
-const OpenedContextMenu = m('OpenedContextMenu', {
-    source: ContextMenuSource,
+const Message = defineMessageUnion({
+    OpenedContextMenu: { source: ContextMenuSource },
 });
-const Message = S.Union([OpenedContextMenu]);
 // INIT
 export const initialModel = Model.make({
     contextMenu: Closed(),
     openCount: 0,
 });
 // UPDATE
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+export const update = (model, message) => Message.match(message, {
     OpenedContextMenu: ({ source }) => [
         evo(model, {
             contextMenu: () => Open({ source }),
@@ -32,7 +31,7 @@ export const update = (model, message) => M.value(message).pipe(M.withReturnType
         }),
         [],
     ],
-}));
+});
 // VIEW
 export const view = (model, h) => {
     const contextMenu = M.value(model.contextMenu).pipe(M.tagsExhaustive({
@@ -42,17 +41,17 @@ export const view = (model, h) => {
     return h.div([], [
         h.section([
             h.AriaLabel('outer context area'),
-            h.OnContextMenu(OpenedContextMenu({ source: 'Outer' })),
+            h.OnContextMenu(Message.OpenedContextMenu({ source: 'Outer' })),
         ], [
             h.span([h.AriaLabel('outer target')], ['Outer target']),
             h.div([
                 h.AriaLabel('inner context area'),
-                h.OnContextMenu(OpenedContextMenu({ source: 'Inner' })),
+                h.OnContextMenu(Message.OpenedContextMenu({ source: 'Inner' })),
             ], [
                 h.span([h.AriaLabel('nearest target')], ['Nearest target']),
                 h.button([
                     h.AriaLabel('direct target'),
-                    h.OnContextMenu(OpenedContextMenu({ source: 'Direct' })),
+                    h.OnContextMenu(Message.OpenedContextMenu({ source: 'Direct' })),
                 ], ['Direct target']),
             ]),
         ]),

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

@@ -6,30 +6,25 @@ export declare const Model: S.Struct<{
     readonly log: S.$Array<S.Number>;
 }>;
 export type Model = typeof Model.Type;
-export declare const ClickedIncrement: import("../../schema/index.js").CallableTaggedStruct<"ClickedIncrement", {}>;
-export declare const ClickedDecrement: import("../../schema/index.js").CallableTaggedStruct<"ClickedDecrement", {}>;
-export declare const ClickedFetch: import("../../schema/index.js").CallableTaggedStruct<"ClickedFetch", {}>;
-export declare const ClickedFetchById: import("../../schema/index.js").CallableTaggedStruct<"ClickedFetchById", {
-    id: S.Number;
-}>;
-export declare const Ticked: import("../../schema/index.js").CallableTaggedStruct<"Ticked", {}>;
-export declare const PolledCount: import("../../schema/index.js").CallableTaggedStruct<"PolledCount", {}>;
-export declare const StartedThreeFetches: import("../../schema/index.js").CallableTaggedStruct<"StartedThreeFetches", {}>;
-export declare const StartedTwoFetchesById: import("../../schema/index.js").CallableTaggedStruct<"StartedTwoFetchesById", {}>;
-export declare const StartedMixedFetches: import("../../schema/index.js").CallableTaggedStruct<"StartedMixedFetches", {}>;
-export declare const SucceededFetchCount: import("../../schema/index.js").CallableTaggedStruct<"SucceededFetchCount", {
-    count: S.Number;
-}>;
-export declare const FailedFetchCount: import("../../schema/index.js").CallableTaggedStruct<"FailedFetchCount", {
-    error: S.String;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly ClickedIncrement: {};
+    readonly ClickedDecrement: {};
+    readonly ClickedFetch: {};
+    readonly ClickedFetchById: {
+        readonly id: S.Number;
+    };
+    readonly Ticked: {};
+    readonly PolledCount: {};
+    readonly StartedThreeFetches: {};
+    readonly StartedTwoFetchesById: {};
+    readonly StartedMixedFetches: {};
+    readonly SucceededFetchCount: {
+        readonly count: S.Number;
+    };
+    readonly FailedFetchCount: {
+        readonly error: S.String;
+    };
 }>;
-export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedIncrement", {}>, import("../../schema/index.js").CallableTaggedStruct<"ClickedDecrement", {}>, import("../../schema/index.js").CallableTaggedStruct<"ClickedFetch", {}>, import("../../schema/index.js").CallableTaggedStruct<"ClickedFetchById", {
-    id: S.Number;
-}>, import("../../schema/index.js").CallableTaggedStruct<"Ticked", {}>, import("../../schema/index.js").CallableTaggedStruct<"PolledCount", {}>, import("../../schema/index.js").CallableTaggedStruct<"StartedThreeFetches", {}>, import("../../schema/index.js").CallableTaggedStruct<"StartedTwoFetchesById", {}>, import("../../schema/index.js").CallableTaggedStruct<"StartedMixedFetches", {}>, import("../../schema/index.js").CallableTaggedStruct<"SucceededFetchCount", {
-    count: S.Number;
-}>, import("../../schema/index.js").CallableTaggedStruct<"FailedFetchCount", {
-    error: S.String;
-}>]>;
 export type Message = typeof Message.Type;
 export declare const FetchCount: Command.CommandDefinitionNoArgs<"FetchCount", Effect.Effect<{
     readonly _tag: "SucceededFetchCount";
@@ -42,6 +37,39 @@ export declare const FetchCountById: Command.CommandDefinitionWithArgs<"FetchCou
     readonly count: number;
 }, never, never>>;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
+export declare const update: (model: Model, message: Message) => readonly [{
+    readonly count: number;
+    readonly log: readonly number[];
+}, readonly Readonly<{
+    name: string;
+    args?: Record<string, unknown>;
+    key?: string;
+    effect: Effect.Effect<{
+        readonly _tag: "ClickedIncrement";
+    } | {
+        readonly _tag: "ClickedDecrement";
+    } | {
+        readonly _tag: "ClickedFetch";
+    } | {
+        readonly _tag: "ClickedFetchById";
+        readonly id: number;
+    } | {
+        readonly _tag: "Ticked";
+    } | {
+        readonly _tag: "PolledCount";
+    } | {
+        readonly _tag: "StartedThreeFetches";
+    } | {
+        readonly _tag: "StartedTwoFetchesById";
+    } | {
+        readonly _tag: "StartedMixedFetches";
+    } | {
+        readonly _tag: "SucceededFetchCount";
+        readonly count: number;
+    } | {
+        readonly _tag: "FailedFetchCount";
+        readonly error: string;
+    }, never, never>;
+}>[]];
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 //# sourceMappingURL=counter.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"counter.d.ts","sourceRoot":"","sources":["../../../src/test/apps/counter.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,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,gBAAgB,8EAAwB,CAAA;AACrD,eAAO,MAAM,gBAAgB,8EAAwB,CAAA;AACrD,eAAO,MAAM,YAAY,0EAAoB,CAAA;AAC7C,eAAO,MAAM,gBAAgB;;EAA0C,CAAA;AACvE,eAAO,MAAM,MAAM,oEAAc,CAAA;AACjC,eAAO,MAAM,WAAW,yEAAmB,CAAA;AAC3C,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,eAAO,MAAM,qBAAqB,mFAA6B,CAAA;AAC/D,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,eAAO,MAAM,mBAAmB;;EAAgD,CAAA;AAChF,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAE1E,eAAO,MAAM,OAAO;;;;;;IAYlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,UAAU;;;iBAGrB,CAAA;AAEF,eAAO,MAAM,cAAc;;;;;iBAIzB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAA6B,CAAA;AAIxD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAmCxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAe5D,CAAA"}
+{"version":3,"file":"counter.d.ts","sourceRoot":"","sources":["../../../src/test/apps/counter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE3D,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAM5D,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;EAYlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,UAAU;;;iBAGrB,CAAA;AAEF,eAAO,MAAM,cAAc;;;;;iBAKzB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,KAA6B,CAAA;AAIxD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAiClD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAe5D,CAAA"}

package/dist/test/apps/counter.js

@@ -1,6 +1,6 @@
-import { Array, Effect, Match as M, Number, Schema as S } from 'effect';
+import { Array, Effect, Number, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
-import { m } from '../../message/index.js';
+import { defineMessageUnion } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
 export const Model = S.Struct({
@@ -8,44 +8,33 @@ export const Model = S.Struct({
     log: S.Array(S.Number),
 });
 // MESSAGE
-export const ClickedIncrement = m('ClickedIncrement');
-export const ClickedDecrement = m('ClickedDecrement');
-export const ClickedFetch = m('ClickedFetch');
-export const ClickedFetchById = m('ClickedFetchById', { id: S.Number });
-export const Ticked = m('Ticked');
-export const PolledCount = m('PolledCount');
-export const StartedThreeFetches = m('StartedThreeFetches');
-export const StartedTwoFetchesById = m('StartedTwoFetchesById');
-export const StartedMixedFetches = m('StartedMixedFetches');
-export const SucceededFetchCount = m('SucceededFetchCount', { count: S.Number });
-export const FailedFetchCount = m('FailedFetchCount', { error: S.String });
-export const Message = S.Union([
-    ClickedIncrement,
-    ClickedDecrement,
-    ClickedFetch,
-    ClickedFetchById,
-    Ticked,
-    PolledCount,
-    StartedThreeFetches,
-    StartedTwoFetchesById,
-    StartedMixedFetches,
-    SucceededFetchCount,
-    FailedFetchCount,
-]);
+export const Message = defineMessageUnion({
+    ClickedIncrement: {},
+    ClickedDecrement: {},
+    ClickedFetch: {},
+    ClickedFetchById: { id: S.Number },
+    Ticked: {},
+    PolledCount: {},
+    StartedThreeFetches: {},
+    StartedTwoFetchesById: {},
+    StartedMixedFetches: {},
+    SucceededFetchCount: { count: S.Number },
+    FailedFetchCount: { error: S.String },
+});
 // COMMAND
 export const FetchCount = Command.define('FetchCount', {
-    messages: [SucceededFetchCount, FailedFetchCount],
-    execute: Effect.sync(() => SucceededFetchCount({ count: 0 })),
+    messages: [Message.SucceededFetchCount, Message.FailedFetchCount],
+    execute: Effect.sync(() => Message.SucceededFetchCount({ count: 0 })),
 });
 export const FetchCountById = Command.define('FetchCountById', {
     args: { id: S.Number },
-    messages: [SucceededFetchCount, FailedFetchCount],
-    execute: ({ id }) => Effect.sync(() => SucceededFetchCount({ count: id })),
+    messages: [Message.SucceededFetchCount, Message.FailedFetchCount],
+    execute: ({ id }) => Effect.sync(() => Message.SucceededFetchCount({ count: id })),
 });
 // INIT
 export const initialModel = { count: 0, log: [] };
 // UPDATE
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+export const update = (model, message) => Message.match(message, {
     ClickedIncrement: () => [evo(model, { count: Number.increment }), []],
     ClickedDecrement: () => [evo(model, { count: Number.decrement }), []],
     ClickedFetch: () => [model, [FetchCount()]],
@@ -74,12 +63,12 @@ export const update = (model, message) => M.value(message).pipe(M.withReturnType
         [],
     ],
     FailedFetchCount: () => [model, []],
-}));
+});
 // VIEW
 export const view = (model, h) => {
     return h.div([], [
         h.span([h.Role('status')], [`count: ${model.count}`]),
-        h.button([h.OnClick(StartedThreeFetches()), h.Role('button')], ['Start three fetches']),
-        h.button([h.OnClick(StartedTwoFetchesById()), h.Role('button')], ['Start two fetches by id']),
+        h.button([h.OnClick(Message.StartedThreeFetches()), h.Role('button')], ['Start three fetches']),
+        h.button([h.OnClick(Message.StartedTwoFetchesById()), h.Role('button')], ['Start two fetches by id']),
     ]);
 };

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

@@ -18,35 +18,24 @@ export declare const Model: S.Struct<{
     }>>;
 }>;
 export type Model = typeof Model.Type;
-export declare const ClickedReload: import("../../schema/index.js").CallableTaggedStruct<"ClickedReload", {}>;
-export declare const CompletedReloadSources: import("../../schema/index.js").CallableTaggedStruct<"CompletedReloadSources", {
-    sources: S.$Array<S.Struct<{
-        readonly kind: S.Literal<"Book">;
-        readonly id: S.String;
-    }>>;
-}>;
-export declare const SelectedSource: import("../../schema/index.js").CallableTaggedStruct<"SelectedSource", {
-    source: S.Struct<{
-        readonly kind: S.Literal<"Book">;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly ClickedReload: {};
+    readonly CompletedReloadSources: {
+        readonly sources: S.$Array<S.Struct<{
+            readonly kind: S.Literal<"Book">;
+            readonly id: S.String;
+        }>>;
+    };
+    readonly SelectedSource: {
+        readonly source: S.Struct<{
+            readonly kind: S.Literal<"Book">;
+            readonly id: S.String;
+        }>;
+    };
+    readonly SubmittedNewSourceId: {
         readonly id: S.String;
-    }>;
-}>;
-export declare const SubmittedNewSourceId: import("../../schema/index.js").CallableTaggedStruct<"SubmittedNewSourceId", {
-    id: S.String;
+    };
 }>;
-export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedReload", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedReloadSources", {
-    sources: S.$Array<S.Struct<{
-        readonly kind: S.Literal<"Book">;
-        readonly id: S.String;
-    }>>;
-}>, import("../../schema/index.js").CallableTaggedStruct<"SelectedSource", {
-    source: S.Struct<{
-        readonly kind: S.Literal<"Book">;
-        readonly id: S.String;
-    }>;
-}>, import("../../schema/index.js").CallableTaggedStruct<"SubmittedNewSourceId", {
-    id: S.String;
-}>]>;
 export type Message = typeof Message.Type;
 export declare const reloadedSources: ReadonlyArray<RawSource>;
 export declare const ReloadSources: Command.CommandDefinitionNoArgs<"ReloadSources", Effect.Effect<{
@@ -59,6 +48,33 @@ export declare const ReloadSources: Command.CommandDefinitionNoArgs<"ReloadSourc
 export declare const validSources: ReadonlyArray<RawSource>;
 export declare const malformedSources: ReadonlyArray<RawSource>;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
+export declare const update: (model: Model, message: Message) => readonly [{
+    readonly sources: readonly {
+        readonly kind: "Book";
+        readonly id: string;
+    }[];
+}, readonly Readonly<{
+    name: string;
+    args?: Record<string, unknown>;
+    key?: string;
+    effect: Effect.Effect<{
+        readonly _tag: "ClickedReload";
+    } | {
+        readonly _tag: "CompletedReloadSources";
+        readonly sources: readonly {
+            readonly kind: "Book";
+            readonly id: string;
+        }[];
+    } | {
+        readonly _tag: "SelectedSource";
+        readonly source: {
+            readonly kind: "Book";
+            readonly id: string;
+        };
+    } | {
+        readonly _tag: "SubmittedNewSourceId";
+        readonly id: string;
+    }, never, never>;
+}>[]];
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Document;
 //# sourceMappingURL=crashOnRender.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"crashOnRender.d.ts","sourceRoot":"","sources":["../../../src/test/apps/crashOnRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAE/D,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,SAAS;;;EAGpB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAK7C,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC,eAAO,MAAM,KAAK;;;;;EAEhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,sBAAsB;;;;;EAEjC,CAAA;AACF,eAAO,MAAM,cAAc;;;;;EAA0C,CAAA;AACrE,eAAO,MAAM,oBAAoB;;EAA8C,CAAA;AAE/E,eAAO,MAAM,OAAO;;;;;;;;;;;;IAKlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAMzC,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,SAAS,CAGpD,CAAA;AAED,eAAO,MAAM,aAAa;;;;;;iBAGxB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,aAAa,CAAC,SAAS,CAEjD,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAErD,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,KAAiC,CAAA;AAI5D,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAiBxD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QA4B5D,CAAA"}
+{"version":3,"file":"crashOnRender.d.ts","sourceRoot":"","sources":["../../../src/test/apps/crashOnRender.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEnD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAMhE,eAAO,MAAM,SAAS;;;EAGpB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAK7C,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC,eAAO,MAAM,KAAK;;;;;EAEhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;EAKlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAMzC,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,SAAS,CAGpD,CAAA;AAED,eAAO,MAAM,aAAa;;;;;;iBAKxB,CAAA;AAIF,eAAO,MAAM,YAAY,EAAE,aAAa,CAAC,SAAS,CAEjD,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAErD,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,KAAiC,CAAA;AAI5D,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;KAelD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAkC5D,CAAA"}

package/dist/test/apps/crashOnRender.js

@@ -1,6 +1,6 @@
-import { Array, Effect, Match as M, Schema as S } from 'effect';
+import { Array, Effect, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
-import { m } from '../../message/index.js';
+import { defineMessageUnion } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
 export const RawSource = S.Struct({
@@ -18,18 +18,12 @@ export const Model = S.Struct({
     sources: S.Array(RawSource),
 });
 // MESSAGE
-export const ClickedReload = m('ClickedReload');
-export const CompletedReloadSources = m('CompletedReloadSources', {
-    sources: S.Array(RawSource),
+export const Message = defineMessageUnion({
+    ClickedReload: {},
+    CompletedReloadSources: { sources: S.Array(RawSource) },
+    SelectedSource: { source: Source },
+    SubmittedNewSourceId: { id: S.String },
 });
-export const SelectedSource = m('SelectedSource', { source: Source });
-export const SubmittedNewSourceId = m('SubmittedNewSourceId', { id: S.String });
-export const Message = S.Union([
-    ClickedReload,
-    CompletedReloadSources,
-    SelectedSource,
-    SubmittedNewSourceId,
-]);
 // COMMAND
 // NOTE: the malformed entry (empty id) sits inertly as a RawSource until the
 // view rebuilds its SelectedSource handler, which constructs a Source and throws.
@@ -38,8 +32,8 @@ export const reloadedSources = [
     { kind: 'Book', id: '' },
 ];
 export const ReloadSources = Command.define('ReloadSources', {
-    messages: [CompletedReloadSources],
-    execute: Effect.succeed(CompletedReloadSources({ sources: reloadedSources })),
+    messages: [Message.CompletedReloadSources],
+    execute: Effect.succeed(Message.CompletedReloadSources({ sources: reloadedSources })),
 });
 // INIT
 export const validSources = [
@@ -50,7 +44,7 @@ export const malformedSources = [
 ];
 export const initialModel = { sources: validSources };
 // UPDATE
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+export const update = (model, message) => Message.match(message, {
     ClickedReload: () => [model, [ReloadSources()]],
     CompletedReloadSources: ({ sources }) => [
         evo(model, { sources: () => sources }),
@@ -61,14 +55,17 @@ export const update = (model, message) => M.value(message).pipe(M.withReturnType
         const source = Source.make({ kind: 'Book', id });
         return [evo(model, { sources: Array.append(source) }), []];
     },
-}));
+});
 // VIEW
 export const view = (model, h) => {
     const body = h.div([], [
-        h.button([h.OnClick(ClickedReload()), h.Role('button')], ['Reload']),
-        h.button([h.OnClick(SubmittedNewSourceId({ id: '' })), h.Role('button')], ['Add source']),
+        h.button([h.OnClick(Message.ClickedReload()), h.Role('button')], ['Reload']),
+        h.button([h.OnClick(Message.SubmittedNewSourceId({ id: '' })), h.Role('button')], ['Add source']),
         h.ul([h.Role('list')], Array.map(model.sources, source => h.keyed('li')(source.id, [], [
-            h.button([h.OnClick(SelectedSource({ source })), h.Role('button')], [`Select ${source.id}`]),
+            h.button([
+                h.OnClick(Message.SelectedSource({ source })),
+                h.Role('button'),
+            ], [`Select ${source.id}`]),
         ]))),
     ]);
     return { title: 'Sources', body };

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

@@ -1,5 +1,4 @@
 import { Effect, Schema as S } from 'effect';
-import * as Command from '../../command/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;
@@ -8,13 +7,12 @@ export declare const Model: S.Struct<{
     readonly status: S.Literals<readonly ["Editing", "Saving", "Saved"]>;
 }>;
 export type Model = typeof Model.Type;
-export declare const ClickedSaveDraft: import("../../schema/index.js").CallableTaggedStruct<"ClickedSaveDraft", {}>;
-export declare const SucceededSaveDraft: import("../../schema/index.js").CallableTaggedStruct<"SucceededSaveDraft", {
-    revision: S.Number;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly ClickedSaveDraft: {};
+    readonly SucceededSaveDraft: {
+        readonly revision: S.Number;
+    };
 }>;
-export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedSaveDraft", {}>, import("../../schema/index.js").CallableTaggedStruct<"SucceededSaveDraft", {
-    revision: S.Number;
-}>]>;
 export type Message = typeof Message.Type;
 export declare const SaveDraftArgs: S.Struct<{
     readonly revision: S.Number;
@@ -27,6 +25,19 @@ export declare const SaveDraft: import("../../command/interruptible/interruptibl
     readonly revision: number;
 }, never, never>>;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
+export declare const update: (model: Model, message: Message) => readonly [{
+    readonly revision: number;
+    readonly status: "Editing" | "Saving" | "Saved";
+}, readonly Readonly<{
+    name: string;
+    args?: Record<string, unknown>;
+    key?: string;
+    effect: Effect.Effect<{
+        readonly _tag: "ClickedSaveDraft";
+    } | {
+        readonly _tag: "SucceededSaveDraft";
+        readonly revision: number;
+    }, never, never>;
+}>[]];
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Document;
 //# sourceMappingURL=drafts.d.ts.map

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,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"}
+{"version":3,"file":"drafts.d.ts","sourceRoot":"","sources":["../../../src/test/apps/drafts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAG5C,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,OAAO;;;;;EAGlB,CAAA;AAEF,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,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;KAUlD,CAAA;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,QAU5D,CAAA"}