@foldkit/ui 0.127.0 → 0.128.1

package/dist/listbox/single.d.ts

@@ -1,10 +1,9 @@
 import { Option, Schema as S } from 'effect';
 import type * as Command from 'foldkit/command';
-import type { Reflect, View as SubmodelView } from 'foldkit/submodel';
-import { type BaseInitConfig, type BaseViewInputs, type Message, type OutMessage } from './shared.js';
-/** Schema for the listbox component's state, tracking open/closed status, active item, selected item, activation trigger, and typeahead search. */
+import { type View as SubmodelView } from 'foldkit/submodel';
+import { type BaseInitConfig, type BaseViewInputsCommon, type ItemToValueInput, type Message, type OutMessage } from './shared.js';
+/** Schema for the single-select listbox's private interaction state (open/closed status, active item, activation trigger, typeahead search). The selection is owned by the parent and passed in via `ViewInputs.maybeSelectedValue`. */
 export declare const Model: S.Struct<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -26,15 +25,12 @@ export declare const Model: S.Struct<{
     readonly maybeLastButtonPointerType: S.Option<S.String>;
 }>;
 export type Model = typeof Model.Type;
-/** Configuration for creating a single-select listbox model with `init`. `isAnimated` enables CSS transition coordination (default `false`). `isModal` locks page scroll and inerts other elements when open (default `false`). `selectedItem` sets the initial selection (default none). */
-export type InitConfig = BaseInitConfig & Readonly<{
-    selectedItem?: string;
-}>;
-/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item and no selection. */
+/** Configuration for creating a single-select listbox model with `init`. `isAnimated` enables CSS transition coordination (default `false`). `isModal` locks page scroll and inerts other elements when open (default `false`). */
+export type InitConfig = BaseInitConfig;
+/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item. */
 export declare const init: (config: InitConfig) => Model;
-/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value })` OutMessage the parent stores as the selection. */
 export declare const update: (model: S.Struct.ReadonlySide<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -55,7 +51,6 @@ export declare const update: (model: S.Struct.ReadonlySide<{
     }>>;
     readonly maybeLastButtonPointerType: S.Option<S.String>;
 }, "Type">, message: Message) => readonly [S.Struct.ReadonlySide<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -144,7 +139,6 @@ export declare const update: (model: S.Struct.ReadonlySide<{
 }>[], Option.Option<Readonly<{
     readonly _tag: "Selected";
     readonly value: string;
-    readonly wasAdded: boolean;
 }>>];
 type UpdateReturn = ReturnType<typeof update>;
 /** Programmatically opens the listbox, updating the model and returning
@@ -153,20 +147,17 @@ export declare const open: (model: Model) => UpdateReturn;
 /** Programmatically closes the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to close the listbox. */
 export declare const close: (model: Model) => UpdateReturn;
-/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value })` OutMessage. */
 export declare const selectItem: (model: Model, item: string) => UpdateReturn;
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the user-selection side effects (no
- *  close, no focus). Use this to mirror external truth (a URL parameter,
- *  restored storage, a server push) onto the listbox's selection.
- *  Contrast with `selectItem`, which represents a user or programmatic
- *  *choice*: it closes the listbox, restores focus, and emits `Selected`.
- *  `reflect` returns the model directly because it produces no commands and
- *  no OutMessage, so a parent reflecting external state cannot
- *  accidentally echo it back out. */
-export declare const reflectSelectedItem: Reflect<Model, Option.Option<string>>;
 /** Per-render view inputs passed to the view via `h.submodel`'s `viewInputs` field. */
-export type ViewInputs<Item, Value extends string = string> = BaseViewInputs<Item, Value>;
+export type ViewInputs<Item, Value extends string = string> = BaseViewInputsCommon<Item> & Readonly<{
+    /** The selection the parent owns, passed in fresh on every render.
+     *  `Option` because a single-select listbox may have no selection yet.
+     *  Drives `aria-selected` and `data-selected` on items, which item the
+     *  Listbox highlights when it opens onto a selection, and the hidden
+     *  form input submitted under `name`. */
+    maybeSelectedValue: Option.Option<Value>;
+}> & ItemToValueInput<Item, Value>;
 /** Pairs the single-select listbox's `view` and `update` (and programmatic
  *  helpers) behind a single Item-typed entry point. Declaring the listbox
  *  once at module scope ensures the view's `Item` type and the update's
@@ -188,12 +179,11 @@ export type ViewInputs<Item, Value extends string = string> = BaseViewInputs<Ite
  *  extracted value is a plain string. `Value` defaults to `Item` when
  *  `Item extends string`, else defaults to `string`. */
 export declare const create: <Item = string, Value extends string = Item extends string ? Item : string>() => Readonly<{
-    view: SubmodelView<Model, Message, BaseViewInputs<Item, Value>>;
+    view: SubmodelView<Model, Message, ViewInputs<Item, Value>>;
     update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     selectItem: (model: Model, item: Value) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     open: (model: Model) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     close: (model: Model) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
-    reflectSelectedItem: Reflect<Model, Option.Option<Value>>;
 }>;
 export {};
 //# sourceMappingURL=single.d.ts.map

package/dist/listbox/single.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"single.d.ts","sourceRoot":"","sources":["../../src/listbox/single.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC7D,OAAO,KAAK,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,IAAI,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAErE,OAAO,EACL,KAAK,cAAc,EAEnB,KAAK,cAAc,EAEnB,KAAK,OAAO,EAEZ,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAA;AAIpB,mJAAmJ;AACnJ,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,6RAA6R;AAC7R,MAAM,MAAM,UAAU,GAAG,cAAc,GACrC,QAAQ,CAAC;IACP,YAAY,CAAC,EAAE,MAAM,CAAA;CACtB,CAAC,CAAA;AAEJ,6HAA6H;AAC7H,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAIF,qNAAqN;AACrN,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlB,CAAA;AAED,KAAK,YAAY,GAAG,UAAU,CAAC,OAAO,MAAM,CAAC,CAAA;AAE7C;uFACuF;AACvF,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,YAC4B,CAAA;AAEhE;wFACwF;AACxF,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,YAAuC,CAAA;AAE5E,0JAA0J;AAC1J,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,KAAG,YACjB,CAAA;AAEvC;;;;;;;;qCAQqC;AACrC,eAAO,MAAM,mBAAmB,EAAE,OAAO,CACvC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAKtB,CAAA;AAID,uFAAuF;AACvF,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,cAAc,CAC1E,IAAI,EACJ,KAAK,CACN,CAAA;AAeD;;;;;;;;;;;;;;;;;;;wDAmBwD;AACxD,eAAO,MAAM,MAAM,GACjB,IAAI,GAAG,MAAM,EACb,KAAK,SAAS,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,GAAG,MAAM,OACvD,QAAQ,CAAC;IACZ,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,KAAK,KACR,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,IAAI,EAAE,CACJ,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,mBAAmB,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;CAC1D,CAqBA,CAAA"}
+{"version":3,"file":"single.d.ts","sourceRoot":"","sources":["../../src/listbox/single.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC5C,OAAO,KAAK,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAExE,OAAO,EACL,KAAK,cAAc,EAEnB,KAAK,oBAAoB,EAEzB,KAAK,gBAAgB,EACrB,KAAK,OAAO,EAEZ,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAA;AAIpB,wOAAwO;AACxO,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;EAEhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,mOAAmO;AACnO,MAAM,MAAM,UAAU,GAAG,cAAc,CAAA;AAEvC,4GAA4G;AAC5G,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAAyB,CAAA;AAInE,wOAAwO;AACxO,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAElB,CAAA;AAED,KAAK,YAAY,GAAG,UAAU,CAAC,OAAO,MAAM,CAAC,CAAA;AAE7C;uFACuF;AACvF,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,YAC4B,CAAA;AAEhE;wFACwF;AACxF,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,YAAuC,CAAA;AAE5E,0IAA0I;AAC1I,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,KAAG,YACjB,CAAA;AAIvC,uFAAuF;AACvF,MAAM,MAAM,UAAU,CACpB,IAAI,EACJ,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,oBAAoB,CAAC,IAAI,CAAC,GAC5B,QAAQ,CAAC;IACP;;;;6CAIyC;IACzC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;CACzC,CAAC,GACF,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAc/B;;;;;;;;;;;;;;;;;;;wDAmBwD;AACxD,eAAO,MAAM,MAAM,GACjB,IAAI,GAAG,MAAM,EACb,KAAK,SAAS,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,GAAG,MAAM,OACvD,QAAQ,CAAC;IACZ,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,KAAK,KACR,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,IAAI,EAAE,CACJ,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;CACF,CAuBA,CAAA"}

package/dist/listbox/single.js

@@ -1,43 +1,30 @@
-import { Array, Function, Option, Schema as S } from 'effect';
-import { evo } from 'foldkit/struct';
+import { Option, Schema as S } from 'effect';
+import { defineView } from 'foldkit/submodel';
 import { BaseModel, Closed, Opened, SelectedItem, Selected as SharedSelected, baseInit, makeUpdate, makeView, } from './shared.js';
 // MODEL
-/** Schema for the listbox component's state, tracking open/closed status, active item, selected item, activation trigger, and typeahead search. */
+/** Schema for the single-select listbox's private interaction state (open/closed status, active item, activation trigger, typeahead search). The selection is owned by the parent and passed in via `ViewInputs.maybeSelectedValue`. */
 export const Model = S.Struct({
     ...BaseModel.fields,
-    maybeSelectedItem: S.Option(S.String),
-});
-/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item and no selection. */
-export const init = (config) => ({
-    ...baseInit(config),
-    maybeSelectedItem: Option.fromNullishOr(config.selectedItem),
 });
+/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item. */
+export const init = (config) => baseInit(config);
 // UPDATE
-/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value, wasAdded: true })` OutMessage. */
-export const update = makeUpdate((model, item, context) => context.closeWithFocus(evo(model, { maybeSelectedItem: () => Option.some(item) }), Option.some(SharedSelected({ value: item, wasAdded: true }))));
+/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value })` OutMessage the parent stores as the selection. */
+export const update = makeUpdate((model, item, context) => context.closeWithFocus(model, Option.some(SharedSelected({ value: item }))));
 /** Programmatically opens the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to open the listbox. */
 export const open = (model) => update(model, Opened({ maybeActiveItemIndex: Option.none() }));
 /** Programmatically closes the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to close the listbox. */
 export const close = (model) => update(model, Closed());
-/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value })` OutMessage. */
 export const selectItem = (model, item) => update(model, SelectedItem({ item }));
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the user-selection side effects (no
- *  close, no focus). Use this to mirror external truth (a URL parameter,
- *  restored storage, a server push) onto the listbox's selection.
- *  Contrast with `selectItem`, which represents a user or programmatic
- *  *choice*: it closes the listbox, restores focus, and emits `Selected`.
- *  `reflect` returns the model directly because it produces no commands and
- *  no OutMessage, so a parent reflecting external state cannot
- *  accidentally echo it back out. */
-export const reflectSelectedItem = Function.dual(2, (model, maybeItem) => evo(model, { maybeSelectedItem: () => maybeItem }));
-const internalView = makeView({
-    isItemSelected: (model, itemValue) => Option.exists(model.maybeSelectedItem, selectedItem => selectedItem === itemValue),
-    selectedItemIndex: (model, items, itemToValue) => Option.flatMap(model.maybeSelectedItem, selectedItem => Array.findFirstIndex(items, item => itemToValue(item) === selectedItem)),
-    ariaMultiSelectable: false,
-});
+const internalView = makeView({ ariaMultiSelectable: false });
+const arrayBasedView = internalView();
+const singleViewImpl = defineView((model, { maybeSelectedValue, ...baseInputs }) => arrayBasedView(model, {
+    ...baseInputs,
+    selectedValues: Option.toArray(maybeSelectedValue),
+}));
 /** Pairs the single-select listbox's `view` and `update` (and programmatic
  *  helpers) behind a single Item-typed entry point. Declaring the listbox
  *  once at module scope ensures the view's `Item` type and the update's
@@ -61,13 +48,14 @@ const internalView = makeView({
 export const create = () => {
     // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
     const typedUpdate = update;
+    const view = 
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    singleViewImpl;
     return {
-        view: internalView(),
+        view,
         update: typedUpdate,
         selectItem: (model, item) => typedUpdate(model, SelectedItem({ item })),
         open: model => typedUpdate(model, Opened({ maybeActiveItemIndex: Option.none() })),
         close: model => typedUpdate(model, Closed()),
-        /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-        reflectSelectedItem: reflectSelectedItem,
     };
 };

package/dist/radioGroup/index.d.ts

@@ -1,169 +1,84 @@
-import { Effect, Option, Schema as S } from 'effect';
-import * as Command from 'foldkit/command';
-import { type ChildAttribute, type Html } from 'foldkit/html';
-import { type Reflect, type View as SubmodelView } from 'foldkit/submodel';
+import { Option, Schema as S } from 'effect';
+import { type Attribute, type Html } from 'foldkit/html';
 /** Controls the radio group layout direction and which arrow keys navigate between options. */
 export declare const Orientation: S.Literals<readonly ["Horizontal", "Vertical"]>;
 export type Orientation = typeof Orientation.Type;
-/** Schema for the radio group component's state, tracking the selected value and orientation. */
-export declare const Model: S.Struct<{
-    readonly id: S.String;
-    readonly selectedValue: S.Option<S.String>;
-    readonly orientation: S.Literals<readonly ["Horizontal", "Vertical"]>;
-}>;
-export type Model = typeof Model.Type;
-/** Sent when a radio option is selected via click or keyboard navigation. */
-export declare const SelectedOption: import("foldkit/schema").CallableTaggedStruct<"SelectedOption", {
-    value: S.String;
-    index: S.Number;
-}>;
-/** Sent when the focus-option command completes. */
-export declare const CompletedFocusOption: import("foldkit/schema").CallableTaggedStruct<"CompletedFocusOption", {}>;
-/** Union of all messages the radio group component can produce. */
-export declare const Message: S.Union<[
-    typeof SelectedOption,
-    typeof CompletedFocusOption
-]>;
-export type SelectedOption = typeof SelectedOption.Type;
-export type CompletedFocusOption = typeof CompletedFocusOption.Type;
-export type Message = typeof Message.Type;
-/** Sent to the parent when an option is committed. Carries the selected
- *  value and its index. Generic over `Value extends string`: the runtime
- *  schema stores `value: string`, but the type-level OutMessage exposes
- *  `value: Value` so consumers who supply `options: ReadonlyArray<MyUnion>`
- *  receive `value: MyUnion` from the factory's `update` without casting at
- *  the call site. The cast is fenced inside this module's `update` return,
- *  sound because the value was selected from the options array the
- *  consumer supplied. */
-export declare const Selected: import("foldkit/schema").CallableTaggedStruct<"Selected", {
-    value: S.String;
-    index: S.Number;
-}>;
-export type Selected<Value extends string = string> = Readonly<{
-    readonly _tag: 'Selected';
-    readonly value: Value;
-    readonly index: number;
-}>;
-export declare const OutMessage: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"Selected", {
-    value: S.String;
-    index: S.Number;
-}>]>;
-/** Generic over `Value extends string` so consumers who create the radio
- *  group via `RadioGroup.create<MyUnion>()` receive `value: MyUnion` in
- *  the `Selected` OutMessage from the factory's `update`, instead of
- *  `value: string`. Defaults to `string` for consumers that don't need the
- *  lift. */
-export type OutMessage<Value extends string = string> = Selected<Value>;
-/** Configuration for creating a radio group model with `init`. */
-export type InitConfig = Readonly<{
-    id: string;
-    selectedValue?: string;
-    orientation?: Orientation;
-}>;
-/** Creates an initial radio group model from a config. Defaults to no selection and vertical orientation. */
-export declare const init: (config: InitConfig) => Model;
-/** Moves focus to the radio option at the given index. */
-export declare const FocusOption: Command.CommandDefinitionWithArgs<"FocusOption", {
-    id: S.String;
-    index: S.Number;
-}, Effect.Effect<{
-    readonly _tag: "CompletedFocusOption";
-}, never, never>>;
-type UpdateReturn<Value extends string = string> = readonly [
-    Model,
-    ReadonlyArray<Command.Command<Message>>,
-    Option.Option<OutMessage<Value>>
-];
-/** Processes a radio group message and returns the next model, commands, and
- *  optional OutMessage. Generic over `Value extends string`: pass the consumer's
- *  union type at the call site to receive `Selected({ value: MyUnion })` without
- *  casting. Defaults to `string`. */
-export declare const update: <Value extends string = string>(model: Model, message: Message) => UpdateReturn<Value>;
-/** Programmatically selects a value in the radio group, updating the model
- *  and returning focus commands plus a `Selected` OutMessage. */
-export declare const select: <Value extends string = string>(model: Model, value: Value, options: ReadonlyArray<Value>) => UpdateReturn<Value>;
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the focus command. Use this to mirror
- *  external truth (a URL parameter, restored storage, a server push) onto
- *  the radio group's selection. Contrast with `select`, which represents a
- *  user or programmatic *choice*: it focuses the option and emits
- *  `Selected`. Takes no `options` (unlike `select`) because it sets the
- *  value directly rather than deriving a focus index. Returns the model
- *  directly because it produces no commands and no OutMessage. */
-export declare const reflectSelectedValue: Reflect<Model, Option.Option<string>>;
 /** Per-option render info passed to the consumer's `toView`. The consumer
- *  spreads `option`, `label`, and `description` onto whichever elements
- *  carry that role in their layout. Generic over `Value extends string`:
- *  when `RadioGroup.create<MyUnion>()` is declared, `option.value` is
- *  typed `MyUnion` so the consumer can switch on it without casting. */
-export type OptionInfo<Value extends string = string> = Readonly<{
+ *  spreads `option`, `label`, and `description` onto whichever elements carry
+ *  that role in their layout. Generic over `Value extends string` so
+ *  `option.value` carries the consumer's union type, and over `ParentMessage`
+ *  so the attribute bundles dispatch the parent's own Message. */
+export type OptionInfo<Value extends string, ParentMessage> = Readonly<{
     value: Value;
     index: number;
     isSelected: boolean;
     isActive: boolean;
     isDisabled: boolean;
-    option: ReadonlyArray<ChildAttribute>;
-    label: ReadonlyArray<ChildAttribute>;
-    description: ReadonlyArray<ChildAttribute>;
+    option: ReadonlyArray<Attribute<ParentMessage>>;
+    label: ReadonlyArray<Attribute<ParentMessage>>;
+    description: ReadonlyArray<Attribute<ParentMessage>>;
 }>;
 /** Render-time payload published to the consumer's `toView`.
  *
  *  - `group`: ARIA + role attributes for the wrapping radiogroup element.
- *  - `options`: one entry per option in `viewInputs.options`, in the same
- *    order. Includes the value, derived state, and the attribute bundles
- *    for the option element, its label, and its description.
- *  - `selectedValue`: the currently-selected value, if any. Convenient
- *    for the consumer when rendering selected-state visuals next to the
- *    option attributes.
- *  - `hiddenInput`: when `viewInputs.name` was supplied, attributes for a
- *    hidden form input carrying the selected value. The consumer
- *    renders the `<input>` themselves. Empty array when `name` is
- *    undefined. */
-export type RenderInfo<Value extends string = string> = Readonly<{
-    group: ReadonlyArray<ChildAttribute>;
-    options: ReadonlyArray<OptionInfo<Value>>;
+ *  - `options`: one entry per option in `options`, in the same order. Includes
+ *    the value, derived state, and the attribute bundles for the option
+ *    element, its label, and its description.
+ *  - `selectedValue`: the currently-selected value, if any. Convenient for the
+ *    consumer when rendering selected-state visuals next to the option
+ *    attributes.
+ *  - `hiddenInput`: when `name` was supplied, attributes for a hidden form
+ *    input carrying the selected value. The consumer renders the `<input>`
+ *    themselves. Empty array when `name` is undefined. */
+export type RenderInfo<Value extends string, ParentMessage> = Readonly<{
+    group: ReadonlyArray<Attribute<ParentMessage>>;
+    options: ReadonlyArray<OptionInfo<Value, ParentMessage>>;
     selectedValue: Option.Option<Value>;
-    hiddenInput: ReadonlyArray<ChildAttribute>;
+    hiddenInput: ReadonlyArray<Attribute<ParentMessage>>;
 }>;
-/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
- *  Generic over `Value extends string` so consumers using
- *  `RadioGroup.create<MyUnion>()` receive `option.value: MyUnion` in
- *  `toView` and `(value: MyUnion, index) => boolean` in
- *  `isOptionDisabled`, without casting. */
-export type ViewInputs<Value extends string = string> = Readonly<{
+/** Per-render view configuration for the stateless controlled {@link view}.
+ *  Generic over `Value extends string` (the option union) and `ParentMessage`
+ *  (the message `onSelect` dispatches).
+ *
+ *  - `selectedValue`: the current selection, read straight from the parent
+ *    Model. The roving tabindex and checked state derive from it.
+ *  - `onSelect`: dispatched with the chosen value when an option is clicked or
+ *    navigated to. Handle it in the parent's `update` by storing the value.
+ *    The radio group manages focus itself, so the handler needs to do nothing
+ *    else.
+ *  - `toView`: receives the {@link RenderInfo} and lays out the group. */
+export type ViewConfig<Value extends string, ParentMessage> = Readonly<{
+    id: string;
+    selectedValue: Option.Option<Value>;
     options: ReadonlyArray<Value>;
+    onSelect: (value: Value) => ParentMessage;
     ariaLabel: string;
-    toView: (render: RenderInfo<Value>) => Html;
+    toView: (render: RenderInfo<Value, ParentMessage>) => Html;
+    orientation?: Orientation;
     isOptionDisabled?: (value: Value, index: number) => boolean;
     isDisabled?: boolean;
     name?: string;
-    orientation?: Orientation;
 }>;
-/** Pairs the radio group's `view` and `update` (and `select`) behind a
- *  single Value-typed entry point. Declaring the radio group once at
- *  module scope ensures the OutMessage's `value` field carries the
- *  consumer's union type without an `as` cast at the call site:
+/** Renders an accessible radio group as a stateless controlled component. The
+ *  parent owns the selection (`selectedValue`) and receives the parent's own
+ *  Message via `onSelect` when an option is chosen. Moving focus onto the
+ *  newly-active option is the radio group's own concern: it happens inside the
+ *  component's click and keydown handlers, so the parent's `update` only stores
+ *  the value.
  *
  *  ```ts
- *  const ToolRadioGroup = RadioGroup.create<Tool>()
- *
  *  // In view:
- *  h.submodel({ view: ToolRadioGroup.view, ... })
+ *  RadioGroup.view<Tool, Message>({
+ *    id: TOOL_RADIO_GROUP_ID,
+ *    selectedValue: Option.some(model.tool),
+ *    options: TOOLS,
+ *    ariaLabel: 'Tool',
+ *    onSelect: tool => SelectedTool({ tool }),
+ *    toView: ({ group, options }) => ...,
+ *  })
  *
  *  // In update:
- *  const [next, commands, maybeOutMessage] = ToolRadioGroup.update(model, message)
- *  // maybeOutMessage: Option<RadioGroup.OutMessage<Tool>>
- *  ```
- *
- *  The view's `ViewInputs.options` stays typed `ReadonlyArray<string>`;
- *  consumers can pass a `ReadonlyArray<MyUnion>` (assignable) and the
- *  fenced cast inside `update` types the OutMessage's `value` as
- *  `MyUnion`. */
-export declare const create: <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>>];
-    select: (model: Model, value: Value, options: ReadonlyArray<Value>) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
-    reflectSelectedValue: Reflect<Model, Option.Option<Value>>;
-}>;
-export {};
+ *  SelectedTool: ({ tool }) => [evo(model, { tool: () => tool }), []],
+ *  ``` */
+export declare const view: <Value extends string, ParentMessage>(config: ViewConfig<Value, ParentMessage>) => Html;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/radioGroup/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAGN,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,IAAI,IAAI,YAAY,EAE1B,MAAM,kBAAkB,CAAA;AAOzB,+FAA+F;AAC/F,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,iGAAiG;AACjG,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,6EAA6E;AAC7E,eAAO,MAAM,cAAc;;;EAGzB,CAAA;AACF,oDAAoD;AACpD,eAAO,MAAM,oBAAoB,2EAA4B,CAAA;AAE7D,mEAAmE;AACnE,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IAAC,OAAO,cAAc;IAAE,OAAO,oBAAoB;CAAC,CACH,CAAA;AAEnD,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAEnE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC;;;;;;;yBAOyB;AACzB,eAAO,MAAM,QAAQ;;;EAAsD,CAAA;AAE3E,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,eAAO,MAAM,UAAU;;;IAAsB,CAAA;AAE7C;;;;YAIY;AACZ,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;AAIvE,kEAAkE;AAClE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B,CAAC,CAAA;AAEF,6GAA6G;AAC7G,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAIxC,CAAA;AAMF,0DAA0D;AAC1D,eAAO,MAAM,WAAW;;;;;iBASvB,CAAA;AAED,KAAK,YAAY,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,SAAS;IAC1D,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;CACjC,CAAA;AAMD;;;qCAGqC;AACrC,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,GAAG,MAAM,EAClD,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,YAAY,CAAC,KAAK,CAcpB,CAAA;AAED;iEACiE;AACjE,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,GAAG,MAAM,EAClD,OAAO,KAAK,EACZ,OAAO,KAAK,EACZ,SAAS,aAAa,CAAC,KAAK,CAAC,KAC5B,YAAY,CAAC,KAAK,CAQlB,CAAA;AAEH;;;;;;;kEAOkE;AAClE,eAAO,MAAM,oBAAoB,EAAE,OAAO,CACxC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAKtB,CAAA;AAID;;;;wEAIwE;AACxE,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,EAAE,OAAO,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACrC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF;;;;;;;;;;;;mBAYmB;AACnB,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;IACzC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACnC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF;;;;2CAI2C;AAC3C,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC/D,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;IAC3C,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAC3D,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B,CAAC,CAAA;AA4LF;;;;;;;;;;;;;;;;;;;iBAmBiB;AACjB,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,GAAG,MAAM,OAAK,QAAQ,CAAC;IAChE,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,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,KAC1B,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,oBAAoB,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;CAC3D,CAcC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/radioGroup/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,IAAI,EAAQ,MAAM,cAAc,CAAA;AAO9D,+FAA+F;AAC/F,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAYjD;;;;kEAIkE;AAClE,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,EAAE,aAAa,IAAI,QAAQ,CAAC;IACrE,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,EAAE,OAAO,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC/C,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;CACrD,CAAC,CAAA;AAEF;;;;;;;;;;;0DAW0D;AAC1D,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,EAAE,aAAa,IAAI,QAAQ,CAAC;IACrE,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAA;IACxD,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACnC,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;CACrD,CAAC,CAAA;AAEF;;;;;;;;;;0EAU0E;AAC1E,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,EAAE,aAAa,IAAI,QAAQ,CAAC;IACrE,EAAE,EAAE,MAAM,CAAA;IACV,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACnC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC7B,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,aAAa,CAAA;IACzC,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,CAAA;IAC1D,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAC3D,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;UAoBU;AACV,eAAO,MAAM,IAAI,GAAI,KAAK,SAAS,MAAM,EAAE,aAAa,EACtD,QAAQ,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,KACvC,IAqLF,CAAA"}