@foldkit/ui 0.150.0 → 0.151.0

package/dist/slider/index.js

@@ -94,55 +94,50 @@ export const fractionOfValue = (value, min, max) => {
 const PAGE_STEP_MULTIPLIER = 10;
 const nextValueForDirection = (value, min, max, step, direction) => __foldkitBrandViewResult((M.value(direction).pipe(M.withReturnType(), M.when('StepIncrement', () => __foldkitBrandViewResult((snapAndClamp(value + step, min, max, step)), "@foldkit/ui/slider/index.js#anonymous")), M.when('StepDecrement', () => __foldkitBrandViewResult((snapAndClamp(value - step, min, max, step)), "@foldkit/ui/slider/index.js#anonymous~2")), M.when('PageIncrement', () => __foldkitBrandViewResult((snapAndClamp(value + step * PAGE_STEP_MULTIPLIER, min, max, step)), "@foldkit/ui/slider/index.js#anonymous~3")), M.when('PageDecrement', () => __foldkitBrandViewResult((snapAndClamp(value - step * PAGE_STEP_MULTIPLIER, min, max, step)), "@foldkit/ui/slider/index.js#anonymous~4")), M.when('Min', () => __foldkitBrandViewResult((min), "@foldkit/ui/slider/index.js#anonymous~5")), M.when('Max', () => __foldkitBrandViewResult((max), "@foldkit/ui/slider/index.js#anonymous~6")), M.exhaustive)), "@foldkit/ui/slider/index.js#nextValueForDirection");
 const withUpdateReturn = M.withReturnType();
-const changedValueOption = (currentValue, nextValue) => __foldkitBrandViewResult((nextValue === currentValue
-    ? Option.none()
-    : Option.some(OutMessage.ChangedValue({ value: nextValue }))), "@foldkit/ui/slider/index.js#changedValueOption");
-/** Processes a slider message and returns the next model, commands, and an
- *  optional out-message for the parent. The value lives in the parent Model:
- *  the view supplies the current value on the messages that need it, and value
- *  changes surface as `ChangedValue` rather than mutating this Model. */
+const withChangedValue = (model, currentValue, nextValue) => {
+    if (nextValue === currentValue) {
+        return __foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#withChangedValue");
+    }
+    else {
+        return __foldkitBrandViewResult(({
+            model,
+            outMessage: OutMessage.ChangedValue({ value: nextValue }),
+        }), "@foldkit/ui/slider/index.js#withChangedValue");
+    }
+};
+/** Processes a Slider Message and returns the next Model, optional Commands,
+ *  and an optional OutMessage for the parent. The value lives in the parent
+ *  Model: the view supplies the current value on the Messages that need it,
+ *  and value changes surface as `ChangedValue` rather than mutating this
+ *  Model. */
 export const update = (model, message) => __foldkitBrandViewResult((Message.match(message, {
-    PressedThumb: ({ originValue }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/slider/index.js#anonymous~7")), M.orElse(() => __foldkitBrandViewResult(([
-        evo(model, { dragState: () => __foldkitBrandViewResult((Dragging({ originValue })), "@foldkit/ui/slider/index.js#dragState") }),
-        [],
-        Option.none(),
-    ]), "@foldkit/ui/slider/index.js#anonymous~8")))), "@foldkit/ui/slider/index.js#PressedThumb"),
+    PressedThumb: ({ originValue }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#anonymous~7"))), M.orElse(() => (__foldkitBrandViewResult(({
+        model: evo(model, { dragState: () => __foldkitBrandViewResult((Dragging({ originValue })), "@foldkit/ui/slider/index.js#dragState") }),
+    }), "@foldkit/ui/slider/index.js#anonymous~8"))))), "@foldkit/ui/slider/index.js#PressedThumb"),
     // NOTE: the pointerdown event on the thumb bubbles to the track, so a
     // thumb press also dispatches PressedPointer. Short-circuit when already
     // Dragging so the bubbled track handler cannot shift the value away
     // from the thumb's current position. Fine-grained sliders (e.g. step
     // 0.05) see a visible jump without this guard, because the cursor sits
     // off-center on a non-zero-width thumb.
-    PressedPointer: ({ value, originValue }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/slider/index.js#anonymous~9")), M.orElse(() => {
+    PressedPointer: ({ value, originValue }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#anonymous~9"))), M.orElse(() => {
         const snapped = snapAndClamp(value, model.min, model.max, model.step);
-        return __foldkitBrandViewResult(([
-            evo(model, { dragState: () => __foldkitBrandViewResult((Dragging({ originValue })), "@foldkit/ui/slider/index.js#dragState~2") }),
-            [],
-            changedValueOption(originValue, snapped),
-        ]), "@foldkit/ui/slider/index.js#anonymous~10");
+        return __foldkitBrandViewResult((withChangedValue(evo(model, { dragState: () => __foldkitBrandViewResult((Dragging({ originValue })), "@foldkit/ui/slider/index.js#dragState~2") }), originValue, snapped)), "@foldkit/ui/slider/index.js#anonymous~10");
     }))), "@foldkit/ui/slider/index.js#PressedPointer"),
-    MovedDragPointer: ({ value }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => __foldkitBrandViewResult(([
+    MovedDragPointer: ({ value }) => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => (__foldkitBrandViewResult(({
         model,
-        [],
-        Option.some(OutMessage.ChangedValue({
+        outMessage: OutMessage.ChangedValue({
             value: snapAndClamp(value, model.min, model.max, model.step),
-        })),
-    ]), "@foldkit/ui/slider/index.js#anonymous~11")), M.orElse(() => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/slider/index.js#anonymous~12")))), "@foldkit/ui/slider/index.js#MovedDragPointer"),
-    ReleasedDragPointer: () => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => __foldkitBrandViewResult(([
-        evo(model, { dragState: () => __foldkitBrandViewResult((Idle()), "@foldkit/ui/slider/index.js#dragState~3") }),
-        [],
-        Option.none(),
-    ]), "@foldkit/ui/slider/index.js#anonymous~13")), M.orElse(() => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/slider/index.js#anonymous~14")))), "@foldkit/ui/slider/index.js#ReleasedDragPointer"),
-    CancelledDrag: () => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', ({ originValue }) => __foldkitBrandViewResult(([
-        evo(model, { dragState: () => __foldkitBrandViewResult((Idle()), "@foldkit/ui/slider/index.js#dragState~4") }),
-        [],
-        Option.some(OutMessage.ChangedValue({ value: originValue })),
-    ]), "@foldkit/ui/slider/index.js#anonymous~15")), M.orElse(() => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/slider/index.js#anonymous~16")))), "@foldkit/ui/slider/index.js#CancelledDrag"),
-    PressedKeyboardNavigation: ({ direction, value }) => __foldkitBrandViewResult(([
-        model,
-        [],
-        changedValueOption(value, nextValueForDirection(value, model.min, model.max, model.step, direction)),
-    ]), "@foldkit/ui/slider/index.js#PressedKeyboardNavigation"),
+        }),
+    }), "@foldkit/ui/slider/index.js#anonymous~11"))), M.orElse(() => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#anonymous~12"))))), "@foldkit/ui/slider/index.js#MovedDragPointer"),
+    ReleasedDragPointer: () => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => (__foldkitBrandViewResult(({
+        model: evo(model, { dragState: () => __foldkitBrandViewResult((Idle()), "@foldkit/ui/slider/index.js#dragState~3") }),
+    }), "@foldkit/ui/slider/index.js#anonymous~13"))), M.orElse(() => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#anonymous~14"))))), "@foldkit/ui/slider/index.js#ReleasedDragPointer"),
+    CancelledDrag: () => __foldkitBrandViewResult((M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', ({ originValue }) => (__foldkitBrandViewResult(({
+        model: evo(model, { dragState: () => __foldkitBrandViewResult((Idle()), "@foldkit/ui/slider/index.js#dragState~4") }),
+        outMessage: OutMessage.ChangedValue({ value: originValue }),
+    }), "@foldkit/ui/slider/index.js#anonymous~15"))), M.orElse(() => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/slider/index.js#anonymous~16"))))), "@foldkit/ui/slider/index.js#CancelledDrag"),
+    PressedKeyboardNavigation: ({ direction, value }) => __foldkitBrandViewResult((withChangedValue(model, value, nextValueForDirection(value, model.min, model.max, model.step, direction))), "@foldkit/ui/slider/index.js#PressedKeyboardNavigation"),
 })), "@foldkit/ui/slider/index.js#update");
 /** Reflects an externally-driven range onto the slider. Use this when min/max
  *  derive from external state (e.g. a bounded buffer whose first/last index

package/dist/switch/index.d.ts

@@ -65,10 +65,9 @@ export declare const descriptionId: (id: string) => string;
  *  )
  *
  *  // In update:
- *  ToggledNotifications: ({ isChecked }) => [
- *    evo(model, { notificationsEnabled: () => isChecked }),
- *    [],
- *  ],
+ *  ToggledNotifications: ({ isChecked }) => ({
+ *    model: evo(model, { notificationsEnabled: () => isChecked }),
+ *  }),
  *  ``` */
 export declare const view: <Message>(config: ViewConfig<Message>, h: HtmlBuilder<Message>) => Html;
 //# sourceMappingURL=index.d.ts.map

package/dist/switch/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/switch/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAIhE;;;;;;;;;;sEAUsE;AACtE,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI,QAAQ,CAAC;IAC/C,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IACzC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IACxC,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;yEAiByE;AACzE,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,OAAO,CAAA;IAClB,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,OAAO,CAAA;IACzC,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC,OAAO,CAAC,KAAK,IAAI,CAAA;IACvD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAC,CAAA;AAEF,uEAAuE;AACvE,eAAO,MAAM,OAAO,GAAI,IAAI,MAAM,KAAG,MAAuB,CAAA;AAE5D,6EAA6E;AAC7E,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,MAA6B,CAAA;AAExE;;;;;;;;;;;;;;;;;;;;;UAqBU;AACV,eAAO,MAAM,IAAI,GAAI,OAAO,EAC1B,QAAQ,UAAU,CAAC,OAAO,CAAC,EAC3B,GAAG,WAAW,CAAC,OAAO,CAAC,KACtB,IAgEF,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/switch/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAIhE;;;;;;;;;;sEAUsE;AACtE,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI,QAAQ,CAAC;IAC/C,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IACzC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IACxC,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;yEAiByE;AACzE,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,OAAO,CAAA;IAClB,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,OAAO,CAAA;IACzC,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC,OAAO,CAAC,KAAK,IAAI,CAAA;IACvD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAC,CAAA;AAEF,uEAAuE;AACvE,eAAO,MAAM,OAAO,GAAI,IAAI,MAAM,KAAG,MAAuB,CAAA;AAE5D,6EAA6E;AAC7E,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,MAA6B,CAAA;AAExE;;;;;;;;;;;;;;;;;;;;UAoBU;AACV,eAAO,MAAM,IAAI,GAAI,OAAO,EAC1B,QAAQ,UAAU,CAAC,OAAO,CAAC,EAC3B,GAAG,WAAW,CAAC,OAAO,CAAC,KACtB,IAgEF,CAAA"}

package/dist/switch/index.js

@@ -21,10 +21,9 @@ export const descriptionId = (id) => __foldkitBrandViewResult((`${id}-descriptio
  *  )
  *
  *  // In update:
- *  ToggledNotifications: ({ isChecked }) => [
- *    evo(model, { notificationsEnabled: () => isChecked }),
- *    [],
- *  ],
+ *  ToggledNotifications: ({ isChecked }) => ({
+ *    model: evo(model, { notificationsEnabled: () => isChecked }),
+ *  }),
  *  ``` */
 export const view = (config, h) => {
     const { id, isChecked, onToggle, toView, isDisabled = false, isReadOnly = false, name, value: formValue = 'on', } = config;

package/dist/tabs/index.d.ts

@@ -1,4 +1,5 @@
 import { Effect, Option, Schema as S } from 'effect';
+import { type Update } from 'foldkit';
 import * as Command from 'foldkit/command';
 import { type ChildAttribute, type Html } from 'foldkit/html';
 import { type View as SubmodelView } from 'foldkit/submodel';
@@ -39,7 +40,8 @@ export type Selected<Value extends string = string> = Readonly<{
     readonly value: Value;
     readonly index: number;
 }>;
-/** Union of out-messages the tabs component can produce. Surfaced as the third element of `update`'s return tuple and pattern-matched by the parent. */
+/** Union of OutMessages the tabs component can produce. The parent's
+ *  `Update.foldChild` config handles them through `foldOutMessage`. */
 export declare const OutMessage: import("foldkit/message").MessageUnion<{
     readonly Selected: {
         readonly value: S.String;
@@ -66,16 +68,32 @@ export declare const FocusTab: Command.CommandDefinitionWithArgs<"FocusTab", {
 }, Effect.Effect<{
     readonly _tag: "CompletedFocusTab";
 }, never, never>>;
-type UpdateReturn = readonly [
-    Model,
-    ReadonlyArray<Command.Command<Message>>,
-    Option.Option<OutMessage>
-];
-/** Processes a tabs message and returns the next model, commands, and an
- *  optional OutMessage. `Selected` fires when a tab is committed via click or
- *  keyboard; the parent stores the new value and passes it back in as
+/** Processes a Tabs Message and returns the next Model, optional Commands, and
+ *  an optional OutMessage. `Selected` fires when a tab is committed via click
+ *  or keyboard; the parent stores the new value and passes it back in as
  *  `selectedValue`. */
-export declare const update: (model: Model, message: Message) => UpdateReturn;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly id: string;
+        readonly maybeFocusedIndex: Option.Option<number>;
+        readonly activationMode: "Automatic" | "Manual";
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "SelectedTab";
+        readonly index: number;
+        readonly value: string;
+    } | {
+        readonly _tag: "FocusedTab";
+        readonly index: number;
+    } | {
+        readonly _tag: "CompletedFocusTab";
+    }, never>;
+    outMessage?: Readonly<{
+        readonly _tag: "Selected";
+        readonly value: string;
+        readonly index: number;
+    }>;
+}>;
 /** Per-tab render info passed to the consumer's `toView`. Generic over
  *  `Value extends string`: when `Tabs.create<MyUnion>()` is declared,
  *  `tab.value` is typed `MyUnion` so the consumer can switch on it without
@@ -126,11 +144,7 @@ export type ViewInputs<Value extends string = string> = Readonly<{
  *  the bundle rather than calling `create` itself. */
 export type Bundle<Value extends string = string> = Readonly<{
     view: SubmodelView<Model, Message, ViewInputs<Value>>;
-    update: (model: Model, message: Message) => readonly [
-        Model,
-        ReadonlyArray<Command.Command<Message>>,
-        Option.Option<OutMessage<Value>>
-    ];
+    update: (model: Model, message: Message) => Update.ReturnWithOutMessage<Model, Message, OutMessage<Value>>;
 }>;
 /** Pairs the tabs `view` and `update` behind a single Value-typed entry
  *  point. Declare once at module scope so consumers receive
@@ -143,8 +157,8 @@ export type Bundle<Value extends string = string> = Readonly<{
  *  // In view (selectedValue is the parent-owned active tab):
  *  h.submodel({ view: DemoTabs.view, viewInputs: { selectedValue, ... }, ... })
  *
- *  // In update, fold the Selected OutMessage into your Model:
- *  const [next, commands, maybeOutMessage] = DemoTabs.update(model, message)
+ *  // In the parent update, pass DemoTabs.update to Update.foldChild and
+ *  // fold the Selected OutMessage into your Model.
  *  ```
  *
  *  The internal view stays typed `ReadonlyArray<string>`; consumers can

package/dist/tabs/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tabs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAEN,MAAM,EACN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,IAAI,EAAmB,MAAM,cAAc,CAAA;AAG9E,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAKxE,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAI7E,yFAAyF;AACzF,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,yGAAyG;AACzG,eAAO,MAAM,cAAc,8CAAsC,CAAA;AACjE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD;;;;+EAI+E;AAC/E,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,4DAA4D;AAC5D,eAAO,MAAM,OAAO;;;;;;;;;EAOlB,CAAA;AAEF,MAAM,MAAM,WAAW,GAAG,OAAO,OAAO,CAAC,WAAW,CAAC,IAAI,CAAA;AACzD,MAAM,MAAM,UAAU,GAAG,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAA;AAEvD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAC,CAAA;AAEF,wJAAwJ;AACxJ,eAAO,MAAM,UAAU;;;;;EAKrB,CAAA;AAEF;;mDAEmD;AACnD,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;AAIvE,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,cAAc,CAAC,EAAE,cAAc,CAAA;CAChC,CAAC,CAAA;AAEF;;uDAEuD;AACvD,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAIxC,CAAA;AAQF,iDAAiD;AACjD,eAAO,MAAM,QAAQ;;;;;iBAQnB,CAAA;AAEF,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAED;;;uBAGuB;AACvB,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,iBAajD,CAAA;AAIJ;;;eAGe;AACf,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC5D,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,OAAO,CAAA;IACjB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,GAAG,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF;;;;;;;;oEAQoE;AACpE,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,OAAO,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACtC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IACnC,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF;;;;;;;;4BAQ4B;AAC5B,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC1B,aAAa,EAAE,KAAK,CAAA;IACpB,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;IAC3C,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACxD,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B,CAAC,CAAA;AA+JF;;;sDAGsD;AACtD,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC3D,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;IACrD,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS;QACZ,KAAK;QACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;KACjC,CAAA;CACF,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;mDAiBmD;AACnD,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,GAAG,MAAM,OAAK,MAAM,CAAC,KAAK,CAmBpE,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tabs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAEN,MAAM,EACN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,IAAI,EAAmB,MAAM,cAAc,CAAA;AAG9E,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAKxE,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAI7E,yFAAyF;AACzF,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,yGAAyG;AACzG,eAAO,MAAM,cAAc,8CAAsC,CAAA;AACjE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD;;;;+EAI+E;AAC/E,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,4DAA4D;AAC5D,eAAO,MAAM,OAAO;;;;;;;;;EAOlB,CAAA;AAEF,MAAM,MAAM,WAAW,GAAG,OAAO,OAAO,CAAC,WAAW,CAAC,IAAI,CAAA;AACzD,MAAM,MAAM,UAAU,GAAG,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAA;AAEvD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAC,CAAA;AAEF;uEACuE;AACvE,eAAO,MAAM,UAAU;;;;;EAKrB,CAAA;AAEF;;mDAEmD;AACnD,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;AAIvE,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,cAAc,CAAC,EAAE,cAAc,CAAA;CAChC,CAAC,CAAA;AAEF;;uDAEuD;AACvD,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAIxC,CAAA;AAQF,iDAAiD;AACjD,eAAO,MAAM,QAAQ;;;;;iBAQnB,CAAA;AAIF;;;uBAGuB;AACvB,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;uBA3DpC,UAAU;;wBAET,MAAM;;EAqEpB,CAAA;AAIJ;;;eAGe;AACf,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC5D,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,OAAO,CAAA;IACjB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,GAAG,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF;;;;;;;;oEAQoE;AACpE,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,OAAO,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACtC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IACnC,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF;;;;;;;;4BAQ4B;AAC5B,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC1B,aAAa,EAAE,KAAK,CAAA;IACpB,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;IAC3C,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACxD,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B,CAAC,CAAA;AA+JF;;;sDAGsD;AACtD,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC3D,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;IACrD,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;CACpE,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;mDAiBmD;AACnD,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,GAAG,MAAM,OAAK,MAAM,CAAC,KAAK,CAmBpE,CAAA"}

package/dist/tabs/index.js

@@ -34,7 +34,8 @@ export const Message = defineMessageUnion({
     FocusedTab: { index: S.Number },
     CompletedFocusTab: {},
 });
-/** Union of out-messages the tabs component can produce. Surfaced as the third element of `update`'s return tuple and pattern-matched by the parent. */
+/** Union of OutMessages the tabs component can produce. The parent's
+ *  `Update.foldChild` config handles them through `foldOutMessage`. */
 export const OutMessage = defineMessageUnion({
     Selected: {
         value: S.String,
@@ -58,22 +59,21 @@ export const FocusTab = Command.define('FocusTab', {
     messages: [Message.CompletedFocusTab],
     execute: ({ id, index }) => __foldkitBrandViewResult((Dom.focus(idSelector(tabId(id, index))).pipe(Effect.ignore, Effect.as(Message.CompletedFocusTab()))), "@foldkit/ui/tabs/index.js#execute"),
 });
-/** Processes a tabs message and returns the next model, commands, and an
- *  optional OutMessage. `Selected` fires when a tab is committed via click or
- *  keyboard; the parent stores the new value and passes it back in as
+/** Processes a Tabs Message and returns the next Model, optional Commands, and
+ *  an optional OutMessage. `Selected` fires when a tab is committed via click
+ *  or keyboard; the parent stores the new value and passes it back in as
  *  `selectedValue`. */
 export const update = (model, message) => __foldkitBrandViewResult((Message.match(message, {
-    SelectedTab: ({ index, value }) => __foldkitBrandViewResult(([
-        evo(model, { maybeFocusedIndex: () => __foldkitBrandViewResult((Option.none()), "@foldkit/ui/tabs/index.js#maybeFocusedIndex") }),
-        [FocusTab({ id: model.id, index })],
-        Option.some(OutMessage.Selected({ value, index })),
-    ]), "@foldkit/ui/tabs/index.js#SelectedTab"),
-    FocusedTab: ({ index }) => __foldkitBrandViewResult(([
-        evo(model, { maybeFocusedIndex: () => __foldkitBrandViewResult((Option.some(index)), "@foldkit/ui/tabs/index.js#maybeFocusedIndex~2") }),
-        [FocusTab({ id: model.id, index })],
-        Option.none(),
-    ]), "@foldkit/ui/tabs/index.js#FocusedTab"),
-    CompletedFocusTab: () => __foldkitBrandViewResult(([model, [], Option.none()]), "@foldkit/ui/tabs/index.js#CompletedFocusTab"),
+    SelectedTab: ({ index, value }) => (__foldkitBrandViewResult(({
+        model: evo(model, { maybeFocusedIndex: () => __foldkitBrandViewResult((Option.none()), "@foldkit/ui/tabs/index.js#maybeFocusedIndex") }),
+        commands: [FocusTab({ id: model.id, index })],
+        outMessage: OutMessage.Selected({ value, index }),
+    }), "@foldkit/ui/tabs/index.js#SelectedTab")),
+    FocusedTab: ({ index }) => (__foldkitBrandViewResult(({
+        model: evo(model, { maybeFocusedIndex: () => __foldkitBrandViewResult((Option.some(index)), "@foldkit/ui/tabs/index.js#maybeFocusedIndex~2") }),
+        commands: [FocusTab({ id: model.id, index })],
+    }), "@foldkit/ui/tabs/index.js#FocusedTab")),
+    CompletedFocusTab: () => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/tabs/index.js#CompletedFocusTab")),
 })), "@foldkit/ui/tabs/index.js#update");
 const internalView = defineView((model, viewInputs, h) => {
     const { id, activationMode, maybeFocusedIndex } = model;
@@ -154,8 +154,8 @@ const internalView = defineView((model, viewInputs, h) => {
  *  // In view (selectedValue is the parent-owned active tab):
  *  h.submodel({ view: DemoTabs.view, viewInputs: { selectedValue, ... }, ... })
  *
- *  // In update, fold the Selected OutMessage into your Model:
- *  const [next, commands, maybeOutMessage] = DemoTabs.update(model, message)
+ *  // In the parent update, pass DemoTabs.update to Update.foldChild and
+ *  // fold the Selected OutMessage into your Model.
  *  ```
  *
  *  The internal view stays typed `ReadonlyArray<string>`; consumers can

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

@@ -1,5 +1,6 @@
 import { Option, Schema as S } from 'effect';
 import type { Html, HtmlBuilder } from 'foldkit/html';
+import * as Update from 'foldkit/update';
 export declare const Model: S.Struct<{
     readonly isEnabled: S.Boolean;
     readonly dialog: S.Struct<{
@@ -39,24 +40,22 @@ export declare const Message: import("foldkit/message").MessageUnion<{
 }>;
 export type Message = typeof Message.Type;
 export declare const initialModel: Model;
-export declare const update: (model: Model, message: Message) => readonly [{
-    readonly isEnabled: boolean;
-    readonly dialog: {
-        readonly id: string;
-        readonly isOpen: boolean;
-        readonly isAnimated: boolean;
-        readonly animation: {
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly isEnabled: boolean;
+        readonly dialog: {
             readonly id: string;
-            readonly isShowing: boolean;
-            readonly transitionState: "Idle" | "EnterStart" | "EnterAnimating" | "LeaveStart" | "LeaveAnimating";
+            readonly isOpen: boolean;
+            readonly isAnimated: boolean;
+            readonly animation: {
+                readonly id: string;
+                readonly isShowing: boolean;
+                readonly transitionState: "Idle" | "EnterStart" | "EnterAnimating" | "LeaveStart" | "LeaveAnimating";
+            };
+            readonly maybeFocusSelector: Option.Option<string>;
         };
-        readonly maybeFocusSelector: Option.Option<string>;
     };
-}, readonly Readonly<{
-    name: string;
-    args?: Record<string, unknown>;
-    key?: string;
-    effect: import("effect/Effect").Effect<{
+    commands?: Update.Commands<{
         readonly _tag: "ClickedToggle";
     } | {
         readonly _tag: "ClickedSubmit";
@@ -86,8 +85,9 @@ export declare const update: (model: Model, message: Message) => readonly [{
                 readonly _tag: "EndedAnimation";
             };
         };
-    }, never, never>;
-}>[]];
+    }, never>;
+    outMessage?: never;
+}>;
 /** Plain view, no dialog wrapper. */
 export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
 /** View with submit button inside a dialog's panel. */

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

@@ -1 +1 @@
-{"version":3,"file":"disabledButton.d.ts","sourceRoot":"","sources":["../../../src/test/apps/disabledButton.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AASrD,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,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;AAIzC,eAAO,MAAM,YAAY,EAAE,KAG1B,CAAA;AAoBD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KASlD,CAAA;AAeH,qCAAqC;AACrC,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAQ5D,CAAA;AAED,uDAAuD;AACvD,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAyBtE,CAAA"}
+{"version":3,"file":"disabledButton.d.ts","sourceRoot":"","sources":["../../../src/test/apps/disabledButton.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAGrD,OAAO,KAAK,MAAM,MAAM,gBAAgB,CAAA;AAMxC,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,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;AAIzC,eAAO,MAAM,YAAY,EAAE,KAG1B,CAAA;AAoBD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQjD,CAAA;AAeJ,qCAAqC;AACrC,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAQ5D,CAAA;AAED,uDAAuD;AACvD,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IAyBtE,CAAA"}

package/dist/test/apps/disabledButton.js

@@ -22,8 +22,8 @@ export const initialModel = {
 };
 // UPDATE
 const foldDialogOutMessage = M.type().pipe(M.withReturnType(), M.tagsExhaustive({
-    Opened: () => __foldkitBrandViewResult((model => __foldkitBrandViewResult(([model, []]), "@foldkit/ui/test/apps/disabledButton.js#anonymous")), "@foldkit/ui/test/apps/disabledButton.js#Opened"),
-    Closed: () => __foldkitBrandViewResult((model => __foldkitBrandViewResult(([model, []]), "@foldkit/ui/test/apps/disabledButton.js#anonymous~2")), "@foldkit/ui/test/apps/disabledButton.js#Closed"),
+    Opened: () => __foldkitBrandViewResult((model => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/test/apps/disabledButton.js#anonymous"))), "@foldkit/ui/test/apps/disabledButton.js#Opened"),
+    Closed: () => __foldkitBrandViewResult((model => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/test/apps/disabledButton.js#anonymous~2"))), "@foldkit/ui/test/apps/disabledButton.js#Closed"),
 }));
 const foldDialog = Update.foldChild({
     update: Dialog.update,
@@ -33,8 +33,10 @@ const foldDialog = Update.foldChild({
     foldOutMessage: foldDialogOutMessage,
 });
 export const update = (model, message) => __foldkitBrandViewResult((Message.match(message, {
-    ClickedToggle: () => __foldkitBrandViewResult(([{ ...model, isEnabled: !model.isEnabled }, []]), "@foldkit/ui/test/apps/disabledButton.js#ClickedToggle"),
-    ClickedSubmit: () => __foldkitBrandViewResult(([model, []]), "@foldkit/ui/test/apps/disabledButton.js#ClickedSubmit"),
+    ClickedToggle: () => (__foldkitBrandViewResult(({
+        model: evo(model, { isEnabled: isEnabled => __foldkitBrandViewResult((!isEnabled), "@foldkit/ui/test/apps/disabledButton.js#isEnabled") }),
+    }), "@foldkit/ui/test/apps/disabledButton.js#ClickedToggle")),
+    ClickedSubmit: () => (__foldkitBrandViewResult(({ model }), "@foldkit/ui/test/apps/disabledButton.js#ClickedSubmit")),
     GotDialogMessage: ({ message: dialogMessage }) => __foldkitBrandViewResult((foldDialog(model, dialogMessage)), "@foldkit/ui/test/apps/disabledButton.js#GotDialogMessage"),
 })), "@foldkit/ui/test/apps/disabledButton.js#update");
 // VIEW