foldkit 0.43.2 → 0.45.0

package/dist/index.d.ts

@@ -10,7 +10,8 @@ export * as Schema from './schema/public';
 export * as Struct from './struct/public';
 export * as Subscription from './subscription/public';
 export * as Task from './task/public';
-export * as Test from './test/public';
+export * as Scene from './test/scene';
+export * as Story from './test/story';
 export * as Ui from './ui';
 export * as Url from './url/public';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,MAAM,CAAA;AAC1B,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,MAAM,CAAA;AAC1B,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}

package/dist/index.js

@@ -10,6 +10,7 @@ export * as Schema from './schema/public';
 export * as Struct from './struct/public';
 export * as Subscription from './subscription/public';
 export * as Task from './task/public';
-export * as Test from './test/public';
+export * as Scene from './test/scene';
+export * as Story from './test/story';
 export * as Ui from './ui';
 export * as Url from './url/public';

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

@@ -0,0 +1,38 @@
+import { Effect, Schema as S } from 'effect';
+import * as Command from '../../command';
+export declare const Model: S.Struct<{
+    count: typeof S.Number;
+}>;
+export type Model = typeof Model.Type;
+export declare const ClickedIncrement: import("../../schema").CallableTaggedStruct<"ClickedIncrement", {}>;
+export declare const ClickedDecrement: import("../../schema").CallableTaggedStruct<"ClickedDecrement", {}>;
+export declare const ClickedFetch: import("../../schema").CallableTaggedStruct<"ClickedFetch", {}>;
+export declare const SucceededFetchCount: import("../../schema").CallableTaggedStruct<"SucceededFetchCount", {
+    count: typeof S.Number;
+}>;
+export declare const FailedFetchCount: import("../../schema").CallableTaggedStruct<"FailedFetchCount", {
+    error: typeof S.String;
+}>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"ClickedIncrement", {}>, import("../../schema").CallableTaggedStruct<"ClickedDecrement", {}>, import("../../schema").CallableTaggedStruct<"ClickedFetch", {}>, import("../../schema").CallableTaggedStruct<"SucceededFetchCount", {
+    count: typeof S.Number;
+}>, import("../../schema").CallableTaggedStruct<"FailedFetchCount", {
+    error: typeof S.String;
+}>]>;
+export type Message = typeof Message.Type;
+export declare const FetchCount: Command.CommandDefinition<"FetchCount", {
+    readonly _tag: "SucceededFetchCount";
+    readonly count: number;
+} | {
+    readonly _tag: "FailedFetchCount";
+    readonly error: string;
+}>;
+export declare const fetchCount: Readonly<{
+    name: "FetchCount";
+    effect: Effect.Effect<{
+        readonly _tag: "SucceededFetchCount";
+        readonly count: number;
+    }, never, never>;
+}>;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
+//# sourceMappingURL=counter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"counter.d.ts","sourceRoot":"","sources":["../../../src/test/apps/counter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AAKxC,eAAO,MAAM,KAAK;;EAAgC,CAAA;AAClD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,gBAAgB,qEAAwB,CAAA;AACrD,eAAO,MAAM,gBAAgB,qEAAwB,CAAA;AACrD,eAAO,MAAM,YAAY,iEAAoB,CAAA;AAC7C,eAAO,MAAM,mBAAmB;;EAAgD,CAAA;AAChF,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAE1E,eAAO,MAAM,OAAO;;;;IAMnB,CAAA;AACD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,UAAU;;;;;;EAItB,CAAA;AAED,eAAO,MAAM,UAAU;;;;;;EAEtB,CAAA;AAID,eAAO,MAAM,YAAY,EAAE,KAAoB,CAAA;AAI/C,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"}

package/dist/test/apps/counter.js

@@ -0,0 +1,25 @@
+import { Effect, Match as M, Schema as S } from 'effect';
+import * as Command from '../../command';
+import { m } from '../../message';
+// MODEL
+export const Model = S.Struct({ count: S.Number });
+// MESSAGE
+export const ClickedIncrement = m('ClickedIncrement');
+export const ClickedDecrement = m('ClickedDecrement');
+export const ClickedFetch = m('ClickedFetch');
+export const SucceededFetchCount = m('SucceededFetchCount', { count: S.Number });
+export const FailedFetchCount = m('FailedFetchCount', { error: S.String });
+export const Message = S.Union(ClickedIncrement, ClickedDecrement, ClickedFetch, SucceededFetchCount, FailedFetchCount);
+// COMMAND
+export const FetchCount = Command.define('FetchCount', SucceededFetchCount, FailedFetchCount);
+export const fetchCount = FetchCount(Effect.sync(() => SucceededFetchCount({ count: 0 })));
+// INIT
+export const initialModel = { count: 0 };
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    ClickedIncrement: () => [{ count: model.count + 1 }, []],
+    ClickedDecrement: () => [{ count: model.count - 1 }, []],
+    ClickedFetch: () => [model, [fetchCount]],
+    SucceededFetchCount: ({ count }) => [{ count }, []],
+    FailedFetchCount: () => [model, []],
+}));

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

@@ -0,0 +1,69 @@
+import { Effect, Option, Schema as S } from 'effect';
+import * as Command from '../../command';
+export declare const ChildModel: S.Struct<{
+    status: S.Literal<["Idle", "Submitting", "Submitted"]>;
+}>;
+export type ChildModel = typeof ChildModel.Type;
+export declare const SubmittedForm: import("../../schema").CallableTaggedStruct<"SubmittedForm", {}>;
+export declare const SucceededSubmit: import("../../schema").CallableTaggedStruct<"SucceededSubmit", {
+    id: typeof S.String;
+}>;
+export declare const CancelledForm: import("../../schema").CallableTaggedStruct<"CancelledForm", {}>;
+export declare const CompletedReset: import("../../schema").CallableTaggedStruct<"CompletedReset", {}>;
+export declare const ChildMessage: S.Union<[import("../../schema").CallableTaggedStruct<"SubmittedForm", {}>, import("../../schema").CallableTaggedStruct<"SucceededSubmit", {
+    id: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"CancelledForm", {}>, import("../../schema").CallableTaggedStruct<"CompletedReset", {}>]>;
+export type ChildMessage = typeof ChildMessage.Type;
+export declare const RequestedSave: import("../../schema").CallableTaggedStruct<"RequestedSave", {
+    id: typeof S.String;
+}>;
+export declare const RequestedCancel: import("../../schema").CallableTaggedStruct<"RequestedCancel", {}>;
+export declare const ChildOutMessage: S.Union<[import("../../schema").CallableTaggedStruct<"RequestedSave", {
+    id: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"RequestedCancel", {}>]>;
+export type ChildOutMessage = typeof ChildOutMessage.Type;
+export declare const SubmitForm: Command.CommandDefinition<"SubmitForm", {
+    readonly _tag: "SucceededSubmit";
+    readonly id: string;
+}>;
+export declare const submitForm: Readonly<{
+    name: "SubmitForm";
+    effect: Effect.Effect<{
+        readonly _tag: "SucceededSubmit";
+        readonly id: string;
+    }, never, never>;
+}>;
+export declare const ResetForm: Command.CommandDefinition<"ResetForm", {
+    readonly _tag: "CompletedReset";
+}>;
+export declare const resetForm: Readonly<{
+    name: "ResetForm";
+    effect: Effect.Effect<{
+        readonly _tag: "CompletedReset";
+    }, never, never>;
+}>;
+export declare const initialChildModel: ChildModel;
+export declare const childUpdate: (_model: ChildModel, message: ChildMessage) => readonly [ChildModel, ReadonlyArray<Command.Command<ChildMessage>>, Option.Option<ChildOutMessage>];
+export declare const ParentModel: S.Struct<{
+    child: S.Struct<{
+        status: S.Literal<["Idle", "Submitting", "Submitted"]>;
+    }>;
+    savedIds: S.Array$<typeof S.String>;
+    cancelled: typeof S.Boolean;
+}>;
+export type ParentModel = typeof ParentModel.Type;
+export declare const GotChildMessage: import("../../schema").CallableTaggedStruct<"GotChildMessage", {
+    message: S.Union<[import("../../schema").CallableTaggedStruct<"SubmittedForm", {}>, import("../../schema").CallableTaggedStruct<"SucceededSubmit", {
+        id: typeof S.String;
+    }>, import("../../schema").CallableTaggedStruct<"CancelledForm", {}>, import("../../schema").CallableTaggedStruct<"CompletedReset", {}>]>;
+}>;
+export declare const CompletedParentReset: import("../../schema").CallableTaggedStruct<"CompletedParentReset", {}>;
+export declare const ParentMessage: S.Union<[import("../../schema").CallableTaggedStruct<"GotChildMessage", {
+    message: S.Union<[import("../../schema").CallableTaggedStruct<"SubmittedForm", {}>, import("../../schema").CallableTaggedStruct<"SucceededSubmit", {
+        id: typeof S.String;
+    }>, import("../../schema").CallableTaggedStruct<"CancelledForm", {}>, import("../../schema").CallableTaggedStruct<"CompletedReset", {}>]>;
+}>, import("../../schema").CallableTaggedStruct<"CompletedParentReset", {}>]>;
+export type ParentMessage = typeof ParentMessage.Type;
+export declare const initialParentModel: ParentModel;
+export declare const parentUpdate: (parentModel: ParentModel, message: ParentMessage) => readonly [ParentModel, ReadonlyArray<Command.Command<ChildMessage>>];
+//# sourceMappingURL=formChild.d.ts.map

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

@@ -0,0 +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,eAAe,CAAA;AAKxC,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,aAAa,kEAAqB,CAAA;AAC/C,eAAO,MAAM,eAAe;;EAAyC,CAAA;AACrE,eAAO,MAAM,aAAa,kEAAqB,CAAA;AAC/C,eAAO,MAAM,cAAc,mEAAsB,CAAA;AAEjD,eAAO,MAAM,YAAY;;yIAKxB,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,eAAO,MAAM,aAAa;;EAAuC,CAAA;AACjE,eAAO,MAAM,eAAe,oEAAuB,CAAA;AAEnD,eAAO,MAAM,eAAe;;wEAA0C,CAAA;AACtE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAIzD,eAAO,MAAM,UAAU;;;EAAgD,CAAA;AACvE,eAAO,MAAM,UAAU;;;;;;EAEtB,CAAA;AAED,eAAO,MAAM,SAAS;;EAA8C,CAAA;AACpE,eAAO,MAAM,SAAS;;;;;EAAiD,CAAA;AAIvE,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,yEAA4B,CAAA;AAE7D,eAAO,MAAM,aAAa;;;;6EAAiD,CAAA;AAC3E,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,YAAY,CAAC,CAAC,CAkCnE,CAAA"}

package/dist/test/apps/formChild.js

@@ -0,0 +1,84 @@
+import { Effect, Match as M, Option, Schema as S } from 'effect';
+import * as Command from '../../command';
+import { m } from '../../message';
+// CHILD MODEL
+export const ChildModel = S.Struct({
+    status: S.Literal('Idle', 'Submitting', 'Submitted'),
+});
+// CHILD MESSAGE
+export const SubmittedForm = m('SubmittedForm');
+export const SucceededSubmit = m('SucceededSubmit', { id: S.String });
+export const CancelledForm = m('CancelledForm');
+export const CompletedReset = m('CompletedReset');
+export const ChildMessage = S.Union(SubmittedForm, SucceededSubmit, CancelledForm, CompletedReset);
+// CHILD OUT MESSAGE
+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);
+export const submitForm = SubmitForm(Effect.sync(() => SucceededSubmit({ id: 'abc' })));
+export const ResetForm = Command.define('ResetForm', CompletedReset);
+export const resetForm = ResetForm(Effect.sync(() => CompletedReset()));
+// CHILD INIT
+export const initialChildModel = { status: 'Idle' };
+// CHILD UPDATE
+export const childUpdate = (_model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    SubmittedForm: () => [
+        { status: 'Submitting' },
+        [submitForm],
+        Option.none(),
+    ],
+    SucceededSubmit: ({ id }) => [
+        { status: 'Submitted' },
+        [resetForm],
+        Option.some(RequestedSave({ id })),
+    ],
+    CancelledForm: () => [
+        { status: 'Idle' },
+        [],
+        Option.some(RequestedCancel()),
+    ],
+    CompletedReset: () => [{ status: 'Idle' }, [], Option.none()],
+}));
+// PARENT MODEL
+export const ParentModel = S.Struct({
+    child: ChildModel,
+    savedIds: S.Array(S.String),
+    cancelled: S.Boolean,
+});
+// PARENT MESSAGE
+export const GotChildMessage = m('GotChildMessage', {
+    message: ChildMessage,
+});
+export const CompletedParentReset = m('CompletedParentReset');
+export const ParentMessage = S.Union(GotChildMessage, CompletedParentReset);
+// PARENT INIT
+export const initialParentModel = {
+    child: { status: 'Idle' },
+    savedIds: [],
+    cancelled: false,
+};
+// PARENT UPDATE
+export const parentUpdate = (parentModel, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    GotChildMessage: ({ message: childMessage }) => {
+        const [nextChild, commands, maybeOutMessage] = childUpdate(parentModel.child, childMessage);
+        const nextParent = Option.match(maybeOutMessage, {
+            onNone: () => ({ ...parentModel, child: nextChild }),
+            onSome: outMessage => M.value(outMessage).pipe(M.withReturnType(), M.tagsExhaustive({
+                RequestedSave: ({ id }) => ({
+                    ...parentModel,
+                    child: nextChild,
+                    savedIds: [...parentModel.savedIds, id],
+                }),
+                RequestedCancel: () => ({
+                    ...parentModel,
+                    child: nextChild,
+                    cancelled: true,
+                }),
+            })),
+        });
+        return [nextParent, commands];
+    },
+    CompletedParentReset: () => [parentModel, []],
+}));

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

@@ -0,0 +1,23 @@
+import { Schema as S } from 'effect';
+import type { Html } from '../../html';
+export declare const Model: S.Struct<{
+    lastKey: typeof S.String;
+    isShifted: typeof S.Boolean;
+}>;
+export type Model = typeof Model.Type;
+export declare const PressedKey: import("../../schema").CallableTaggedStruct<"PressedKey", {
+    key: typeof S.String;
+}>;
+export declare const PressedShiftKey: import("../../schema").CallableTaggedStruct<"PressedShiftKey", {
+    key: typeof S.String;
+}>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"PressedKey", {
+    key: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"PressedShiftKey", {
+    key: typeof S.String;
+}>]>;
+export type Message = typeof Message.Type;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>];
+export declare const view: (model: Model) => Html;
+//# sourceMappingURL=keypress.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keypress.d.ts","sourceRoot":"","sources":["../../../src/test/apps/keypress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAMtC,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,UAAU;;EAAqC,CAAA;AAC5D,eAAO,MAAM,eAAe;;EAA0C,CAAA;AAEtE,eAAO,MAAM,OAAO;;;;IAAuC,CAAA;AAC3D,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAG1B,CAAA;AAID,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAarC,CAAA;AAMH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,IAiBjC,CAAA"}

package/dist/test/apps/keypress.js

@@ -0,0 +1,39 @@
+import { Match as M, Schema as S } from 'effect';
+import { html } from '../../html';
+import { m } from '../../message';
+// MODEL
+export const Model = S.Struct({
+    lastKey: S.String,
+    isShifted: S.Boolean,
+});
+// MESSAGE
+export const PressedKey = m('PressedKey', { key: S.String });
+export const PressedShiftKey = m('PressedShiftKey', { key: S.String });
+export const Message = S.Union(PressedKey, PressedShiftKey);
+// INIT
+export const initialModel = {
+    lastKey: '',
+    isShifted: false,
+};
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    PressedKey: ({ key }) => [
+        { ...model, lastKey: key, isShifted: false },
+        [],
+    ],
+    PressedShiftKey: ({ key }) => [
+        { ...model, lastKey: key, isShifted: true },
+        [],
+    ],
+}));
+// VIEW
+const { div, span, Id, Class, AriaLabel, Role, OnKeyDown } = html();
+export const view = (model) => div([
+    Id('key-app'),
+    Role('application'),
+    AriaLabel('Key press area'),
+    OnKeyDown((key, modifiers) => modifiers.shiftKey ? PressedShiftKey({ key }) : PressedKey({ key })),
+], [
+    span([Class('last-key'), AriaLabel('Last key')], [model.lastKey]),
+    span([Class('shifted'), AriaLabel('Shift pressed')], [model.isShifted ? 'true' : 'false']),
+]);

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

@@ -0,0 +1,46 @@
+import { Schema as S } from 'effect';
+import * as Command from '../../command';
+import { type Html } from '../../html';
+export declare const Model: S.Struct<{
+    email: typeof S.String;
+    password: typeof S.String;
+    status: S.Literal<["Idle", "Submitting", "LoggedIn", "Error"]>;
+    username: typeof S.String;
+    error: typeof S.String;
+}>;
+export type Model = typeof Model.Type;
+export declare const UpdatedEmail: import("../../schema").CallableTaggedStruct<"UpdatedEmail", {
+    value: typeof S.String;
+}>;
+export declare const UpdatedPassword: import("../../schema").CallableTaggedStruct<"UpdatedPassword", {
+    value: typeof S.String;
+}>;
+export declare const SubmittedLogin: import("../../schema").CallableTaggedStruct<"SubmittedLogin", {}>;
+export declare const SucceededAuthenticate: import("../../schema").CallableTaggedStruct<"SucceededAuthenticate", {
+    username: typeof S.String;
+}>;
+export declare const FailedAuthenticate: import("../../schema").CallableTaggedStruct<"FailedAuthenticate", {
+    error: typeof S.String;
+}>;
+export declare const ClickedLogout: import("../../schema").CallableTaggedStruct<"ClickedLogout", {}>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"UpdatedEmail", {
+    value: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"UpdatedPassword", {
+    value: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"SubmittedLogin", {}>, import("../../schema").CallableTaggedStruct<"SucceededAuthenticate", {
+    username: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"FailedAuthenticate", {
+    error: typeof S.String;
+}>, import("../../schema").CallableTaggedStruct<"ClickedLogout", {}>]>;
+export type Message = typeof Message.Type;
+export declare const Authenticate: Command.CommandDefinition<"Authenticate", {
+    readonly _tag: "SucceededAuthenticate";
+    readonly username: string;
+} | {
+    readonly _tag: "FailedAuthenticate";
+    readonly error: string;
+}>;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
+export declare const view: (model: Model) => Html;
+//# sourceMappingURL=login.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"login.d.ts","sourceRoot":"","sources":["../../../src/test/apps/login.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,IAAI,EAAQ,MAAM,YAAY,CAAA;AAK5C,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,mEAAsB,CAAA;AACjD,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AACF,eAAO,MAAM,kBAAkB;;EAA+C,CAAA;AAC9E,eAAO,MAAM,aAAa,kEAAqB,CAAA;AAE/C,eAAO,MAAM,OAAO;;;;;;;;sEAOnB,CAAA;AACD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY;;;;;;EAIxB,CAAA;AAQD,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;AA2BH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,IAkEjC,CAAA"}

package/dist/test/apps/login.js

@@ -0,0 +1,83 @@
+import { Effect, Match as M, Schema as S } from 'effect';
+import * as Command from '../../command';
+import { html } from '../../html';
+import { m } from '../../message';
+// MODEL
+export const Model = S.Struct({
+    email: S.String,
+    password: S.String,
+    status: S.Literal('Idle', 'Submitting', 'LoggedIn', 'Error'),
+    username: S.String,
+    error: S.String,
+});
+// MESSAGE
+export const UpdatedEmail = m('UpdatedEmail', { value: S.String });
+export const UpdatedPassword = m('UpdatedPassword', { value: S.String });
+export const SubmittedLogin = m('SubmittedLogin');
+export const SucceededAuthenticate = m('SucceededAuthenticate', {
+    username: S.String,
+});
+export const FailedAuthenticate = m('FailedAuthenticate', { error: S.String });
+export const ClickedLogout = m('ClickedLogout');
+export const Message = S.Union(UpdatedEmail, UpdatedPassword, SubmittedLogin, SucceededAuthenticate, FailedAuthenticate, ClickedLogout);
+// COMMAND
+export const Authenticate = Command.define('Authenticate', SucceededAuthenticate, FailedAuthenticate);
+const authenticate = Authenticate(Effect.sync(() => SucceededAuthenticate({ username: 'alice' })));
+// INIT
+export const initialModel = {
+    email: '',
+    password: '',
+    status: 'Idle',
+    username: '',
+    error: '',
+};
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    UpdatedEmail: ({ value }) => [{ ...model, email: value }, []],
+    UpdatedPassword: ({ value }) => [{ ...model, password: value }, []],
+    SubmittedLogin: () => [
+        { ...model, status: 'Submitting' },
+        [authenticate],
+    ],
+    SucceededAuthenticate: ({ username }) => [
+        { ...model, status: 'LoggedIn', username },
+        [],
+    ],
+    FailedAuthenticate: ({ error }) => [
+        { ...model, status: 'Error', error },
+        [],
+    ],
+    ClickedLogout: () => [
+        { ...model, status: 'Idle', username: '', email: '', password: '' },
+        [],
+    ],
+}));
+// VIEW
+const { div, form, input, button, span, label, p, OnInput, OnSubmit, OnClick, Id, For, Class, Type, Value, Placeholder, Role, AriaExpanded, AriaLabel, Disabled, } = html();
+export const view = (model) => div([Id('app')], [
+    M.value(model.status).pipe(M.withReturnType(), M.when('Submitting', () => form([Class('login-form'), Disabled(true)], [button([Type('submit'), Disabled(true)], ['Signing in...'])])), M.when('LoggedIn', () => div([Class('logged-in'), Role('region'), AriaLabel('User session')], [
+        span([Class('greeting'), Role('status')], [`Welcome, ${model.username}!`]),
+        button([OnClick(ClickedLogout()), Role('button'), AriaExpanded(false)], ['Log out']),
+    ])), M.when('Error', () => div([], [
+        p([Class('error'), Role('alert')], [model.error]),
+        button([OnClick(SubmittedLogin()), Class('retry')], ['Retry']),
+    ])), M.when('Idle', () => form([OnSubmit(SubmittedLogin()), Class('login-form')], [
+        label([For('email'), Class('sr-only')], ['Email']),
+        input([
+            Id('email'),
+            Type('email'),
+            Placeholder('Email'),
+            Value(model.email),
+            OnInput(value => UpdatedEmail({ value })),
+        ]),
+        label([For('password'), Class('sr-only')], ['Password']),
+        input([
+            Id('password'),
+            Type('password'),
+            Placeholder('Password'),
+            Value(model.password),
+            OnInput(value => UpdatedPassword({ value })),
+        ]),
+        button([Type('submit'), Class('primary'), Disabled(false)], ['Sign in']),
+    ])), M.exhaustive),
+]);

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

@@ -0,0 +1,17 @@
+import { Option, Schema as S } from 'effect';
+import type { Html } from '../../html';
+export declare const Model: S.Struct<{
+    label: typeof S.String;
+}>;
+export type Model = typeof Model.Type;
+export declare const ClickedLogout: import("../../schema").CallableTaggedStruct<"ClickedLogout", {}>;
+export declare const CompletedAction: import("../../schema").CallableTaggedStruct<"CompletedAction", {}>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"ClickedLogout", {}>, import("../../schema").CallableTaggedStruct<"CompletedAction", {}>]>;
+export type Message = typeof Message.Type;
+export declare const RequestedLogout: import("../../schema").CallableTaggedStruct<"RequestedLogout", {}>;
+export declare const OutMessage: import("../../schema").CallableTaggedStruct<"RequestedLogout", {}>;
+export type OutMessage = typeof OutMessage.Type;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<never>, Option.Option<OutMessage>];
+export declare const view: (model: Model) => Html;
+//# sourceMappingURL=logoutButton.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logoutButton.d.ts","sourceRoot":"","sources":["../../../src/test/apps/logoutButton.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAMtC,eAAO,MAAM,KAAK;;EAAgC,CAAA;AAClD,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,aAAa,kEAAqB,CAAA;AAC/C,eAAO,MAAM,eAAe,oEAAuB,CAAA;AAEnD,eAAO,MAAM,OAAO,iJAA0C,CAAA;AAC9D,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,eAAe,oEAAuB,CAAA;AAEnD,eAAO,MAAM,UAAU,oEAA2B,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,YAAY,EAAE,KAA4B,CAAA;AAIvD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAShE,CAAA;AAMH,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,IAC0C,CAAA"}

package/dist/test/apps/logoutButton.js

@@ -0,0 +1,22 @@
+import { Match as M, Option, Schema as S } from 'effect';
+import { html } from '../../html';
+import { m } from '../../message';
+// MODEL
+export const Model = S.Struct({ label: S.String });
+// MESSAGE
+export const ClickedLogout = m('ClickedLogout');
+export const CompletedAction = m('CompletedAction');
+export const Message = S.Union(ClickedLogout, CompletedAction);
+// OUT MESSAGE
+export const RequestedLogout = m('RequestedLogout');
+export const OutMessage = S.Union(RequestedLogout);
+// INIT
+export const initialModel = { label: 'Log out' };
+// UPDATE
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    ClickedLogout: () => [model, [], Option.some(RequestedLogout())],
+    CompletedAction: () => [model, [], Option.none()],
+}));
+// VIEW
+const { div, button, OnClick, Role } = html();
+export const view = (model) => div([], [button([OnClick(ClickedLogout()), Role('button')], [model.label])]);

package/dist/test/internal.d.ts

@@ -0,0 +1,25 @@
+import type { CommandDefinition } from '../command';
+/** A Command in a test simulation, identified by name. */
+export type AnyCommand = Readonly<{
+    name: string;
+}>;
+type UpdateResult<Model, OutMessage> = readonly [Model, ReadonlyArray<AnyCommand>] | readonly [Model, ReadonlyArray<AnyCommand>, OutMessage];
+/** A Command definition paired with the result Message to resolve it with. */
+export type ResolverPair<Name extends string = string, ResultMessage = unknown> = readonly [CommandDefinition<Name, ResultMessage>, ResultMessage];
+/** Base shape of an internal simulation — shared between Story and Scene. */
+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>;
+    resolvers: Record<string, Message>;
+}>;
+/** Resolves a single command by name and feeds its result through update. */
+export declare const resolveByName: <Model, Message>(internal: BaseInternal<Model, Message, unknown>, commandName: string, resolverMessage: Message) => BaseInternal<Model, Message, unknown> | undefined;
+/** Throws when trying to send a message with unresolved Commands. */
+export declare const assertNoUnresolvedCommands: (commands: ReadonlyArray<AnyCommand>, context: string) => void;
+/** Throws when Commands remain at the end of a test. */
+export declare const assertAllCommandsResolved: (commands: ReadonlyArray<AnyCommand>) => void;
+export {};
+//# sourceMappingURL=internal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/test/internal.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAEnD,0DAA0D;AAC1D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAEnD,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,8EAA8E;AAC9E,MAAM,MAAM,YAAY,CACtB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,aAAa,GAAG,OAAO,IACrB,SAAS,CAAC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CAAA;AAEpE,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,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACnC,CAAC,CAAA;AAEF,6EAA6E;AAC7E,eAAO,MAAM,aAAa,GAAI,KAAK,EAAE,OAAO,EAC1C,UAAU,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAC/C,aAAa,MAAM,EACnB,iBAAiB,OAAO,KACvB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,SAyBxC,CAAA;AAEH,qEAAqE;AACrE,eAAO,MAAM,0BAA0B,GACrC,UAAU,aAAa,CAAC,UAAU,CAAC,EACnC,SAAS,MAAM,KACd,IAcF,CAAA;AAED,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,GACpC,UAAU,aAAa,CAAC,UAAU,CAAC,KAClC,IAcF,CAAA"}

package/dist/test/internal.js

@@ -0,0 +1,39 @@
+import { Array, Option, pipe } from 'effect';
+/** Resolves a single command by name and feeds its result through update. */
+export const resolveByName = (internal, commandName, resolverMessage) => pipe(internal.commands, Array.findFirstIndex(({ name }) => name === commandName), Option.match({
+    onNone: () => undefined,
+    onSome: commandIndex => {
+        const remainingCommands = Array.remove(internal.commands, commandIndex);
+        const [nextModel, newCommands, ...rest] = internal.updateFn(internal.model, resolverMessage);
+        const outMessage = Array.isNonEmptyArray(rest)
+            ? rest[0]
+            : internal.outMessage;
+        return {
+            ...internal,
+            model: nextModel,
+            message: resolverMessage,
+            commands: Array.appendAll(remainingCommands, newCommands),
+            outMessage,
+        };
+    },
+}));
+/** Throws when trying to send a message with unresolved Commands. */
+export const assertNoUnresolvedCommands = (commands, context) => {
+    if (Array.isNonEmptyReadonlyArray(commands)) {
+        const names = pipe(commands, Array.map(({ name }) => `    ${name}`), Array.join('\n'));
+        throw new Error(`I found unresolved Commands ${context}:\n\n${names}\n\n` +
+            'Resolve all Commands before sending the next Message.\n' +
+            'Use resolve(Definition, ResultMessage) for each one,\n' +
+            'or resolveAll([...pairs]) to resolve them all at once.');
+    }
+};
+/** Throws when Commands remain at the end of a test. */
+export const assertAllCommandsResolved = (commands) => {
+    if (Array.isNonEmptyReadonlyArray(commands)) {
+        const names = pipe(commands, Array.map(({ name }) => `    ${name}`), Array.join('\n'));
+        throw new Error(`I found Commands without resolvers:\n\n${names}\n\n` +
+            'Every Command produced by update needs to be resolved.\n' +
+            'Use resolve(Definition, ResultMessage) for each one,\n' +
+            'or resolveAll([...pairs]) to resolve them all at once.');
+    }
+};