foldkit 0.101.0 → 0.102.0

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

@@ -1,6 +1,7 @@
-import { Effect, Schema as S } from 'effect';
+import { Effect, Option, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
-import { type Attribute, type Html } from '../../html/index.js';
+import { type ChildAttribute, type Html, type SubmodelView } from '../../html/index.js';
+import type { Reflect } from '../../submodel/submodel.js';
 /** 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;
@@ -26,6 +27,33 @@ export declare const Message: S.Union<[
 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("../../schema/index.js").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("../../schema/index.js").CallableTaggedStruct<"Selected", {
+    value: S.String;
+    index: S.Number;
+}>]>;
+/** Generic over `Value extends string` so consumers who create the radio
+ *  group via `Ui.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;
@@ -41,52 +69,101 @@ export declare const FocusOption: Command.CommandDefinitionWithArgs<"FocusOption
 }, Effect.Effect<{
     readonly _tag: "CompletedFocusOption";
 }, never, never>>;
-/** Processes a radio group message and returns the next model and commands. */
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
-/** Programmatically selects a value in the radio group, updating the model and returning
- *  focus commands. Use this in domain-event handlers when the radio group uses `onSelected`. */
-export declare const select: (model: Model, value: string, options: ReadonlyArray<string>) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
-/** Attribute groups the radio group component provides for each option's `content` callback. */
-export type OptionAttributes<ParentMessage> = Readonly<{
-    option: ReadonlyArray<Attribute<ParentMessage>>;
-    label: ReadonlyArray<Attribute<ParentMessage>>;
-    description: ReadonlyArray<Attribute<ParentMessage>>;
+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 `Ui.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<{
+    value: Value;
+    index: number;
+    isSelected: boolean;
+    isActive: boolean;
+    isDisabled: boolean;
+    option: ReadonlyArray<ChildAttribute>;
+    label: ReadonlyArray<ChildAttribute>;
+    description: ReadonlyArray<ChildAttribute>;
 }>;
-/** Configuration for an individual radio option. The `value` field carries the generic `RadioOption` type
- *  so it flows through to `toParentMessage` callbacks without widening to `string`. */
-export type OptionConfig<ParentMessage, RadioOption extends string = string> = Readonly<{
-    value: RadioOption;
-    content: (attributes: OptionAttributes<ParentMessage>) => Html;
+/** 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>>;
+    selectedValue: Option.Option<Value>;
+    hiddenInput: ReadonlyArray<ChildAttribute>;
 }>;
-/** The `SelectedOption` message as seen by `toParentMessage` callbacks, with `value` narrowed
- *  to the generic `RadioOption` type instead of `string`. */
-export type NarrowedSelectedOption<RadioOption extends string> = Readonly<{
-    readonly _tag: 'SelectedOption';
-    readonly value: RadioOption;
-    readonly index: number;
-}>;
-/** Configuration for rendering a radio group with `view`. */
-export type ViewConfig<ParentMessage, RadioOption extends string> = Readonly<{
-    model: Model;
-    toParentMessage: (message: NarrowedSelectedOption<RadioOption> | CompletedFocusOption) => ParentMessage;
-    onSelected?: (value: RadioOption, index: number) => ParentMessage;
-    options: ReadonlyArray<RadioOption>;
-    optionToConfig: (option: RadioOption, context: Readonly<{
-        isSelected: boolean;
-        isActive: boolean;
-        isDisabled: boolean;
-    }>) => OptionConfig<ParentMessage, RadioOption>;
-    isOptionDisabled?: (option: RadioOption, index: number) => boolean;
-    orientation?: Orientation;
+/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
+ *  Generic over `Value extends string` so consumers using
+ *  `Ui.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<{
+    options: ReadonlyArray<Value>;
     ariaLabel: string;
-    className?: string;
-    attributes?: ReadonlyArray<Attribute<ParentMessage>>;
-    name?: string;
+    toView: (render: RenderInfo<Value>) => Html;
+    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:
+ *
+ *  ```ts
+ *  const ToolRadioGroup = Ui.RadioGroup.create<Tool>()
+ *
+ *  // In view:
+ *  h.submodel({ view: ToolRadioGroup.view, ... })
+ *
+ *  // 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>>;
 }>;
-/** Renders an accessible radio group by building ARIA attribute groups and delegating layout to the consumer's `optionToConfig` callback. */
-export declare const view: <ParentMessage, RadioOption extends string>(config: ViewConfig<ParentMessage, RadioOption>) => Html;
-/** Creates a memoized radio group view. Static config is captured in a closure;
- *  only `model` and `toParentMessage` are compared per render via `createLazy`. */
-export declare const lazy: <ParentMessage, RadioOption extends string>(staticConfig: Omit<ViewConfig<ParentMessage, RadioOption>, "model" | "toParentMessage" | "onSelected">) => ((model: Model, toParentMessage: ViewConfig<ParentMessage, RadioOption>["toParentMessage"]) => Html);
+export {};
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/radioGroup/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAIN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,IAAI,EAGV,MAAM,qBAAqB,CAAA;AAO5B,+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,kFAA4B,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,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,+EAA+E;AAC/E,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;AAEH;gGACgG;AAChG,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,OAAO,MAAM,EACb,SAAS,aAAa,CAAC,MAAM,CAAC,KAC7B,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAQxD,CAAA;AAIH,gGAAgG;AAChG,MAAM,MAAM,gBAAgB,CAAC,aAAa,IAAI,QAAQ,CAAC;IACrD,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;uFACuF;AACvF,MAAM,MAAM,YAAY,CACtB,aAAa,EACb,WAAW,SAAS,MAAM,GAAG,MAAM,IACjC,QAAQ,CAAC;IACX,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC,aAAa,CAAC,KAAK,IAAI,CAAA;CAC/D,CAAC,CAAA;AAEF;6DAC6D;AAC7D,MAAM,MAAM,sBAAsB,CAAC,WAAW,SAAS,MAAM,IAAI,QAAQ,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAC,CAAA;AAEF,6DAA6D;AAC7D,MAAM,MAAM,UAAU,CAAC,aAAa,EAAE,WAAW,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC3E,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,EAAE,CACf,OAAO,EAAE,sBAAsB,CAAC,WAAW,CAAC,GAAG,oBAAoB,KAChE,aAAa,CAAA;IAClB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,KAAK,aAAa,CAAA;IACjE,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACnC,cAAc,EAAE,CACd,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,QAAQ,CAAC;QAChB,UAAU,EAAE,OAAO,CAAA;QACnB,QAAQ,EAAE,OAAO,CAAA;QACjB,UAAU,EAAE,OAAO,CAAA;KACpB,CAAC,KACC,YAAY,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IAC7C,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAClE,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IACpD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,OAAO,CAAA;CACrB,CAAC,CAAA;AAQF,6IAA6I;AAC7I,eAAO,MAAM,IAAI,GAAI,aAAa,EAAE,WAAW,SAAS,MAAM,EAC5D,QAAQ,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,KAC7C,IAiNF,CAAA;AAED;mFACmF;AACnF,eAAO,MAAM,IAAI,GAAI,aAAa,EAAE,WAAW,SAAS,MAAM,EAC5D,cAAc,IAAI,CAChB,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,EACtC,OAAO,GAAG,iBAAiB,GAAG,YAAY,CAC3C,KACA,CAAC,CACF,KAAK,EAAE,KAAK,EACZ,eAAe,EAAE,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,iBAAiB,CAAC,KACvE,IAAI,CAmBR,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/radioGroup/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAGN,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EACT,KAAK,YAAY,EAIlB,MAAM,qBAAqB,CAAA;AAG5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AAKzD,+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,kFAA4B,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"}

package/dist/ui/radioGroup/index.js

@@ -1,7 +1,7 @@
-import { Array, Effect, Match as M, Option, Predicate, Schema as S, String, pipe, } from 'effect';
+import { Array, Effect, Function, Match as M, Option, Predicate, Schema as S, String, pipe, } from 'effect';
 import * as Command from '../../command/index.js';
 import * as Dom from '../../dom/index.js';
-import { createLazy, html, } from '../../html/index.js';
+import { childAttributes, defineView, html, } from '../../html/index.js';
 import { m } from '../../message/index.js';
 import { evo } from '../../struct/index.js';
 import { keyToIndex } from '../keyboard.js';
@@ -24,6 +24,17 @@ export const SelectedOption = m('SelectedOption', {
 export const CompletedFocusOption = m('CompletedFocusOption');
 /** Union of all messages the radio group component can produce. */
 export const Message = S.Union([SelectedOption, CompletedFocusOption]);
+// OUT MESSAGE
+/** 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 const Selected = m('Selected', { value: S.String, index: S.Number });
+export const OutMessage = S.Union([Selected]);
 /** Creates an initial radio group model from a config. Defaults to no selection and vertical orientation. */
 export const init = (config) => ({
     id: config.id,
@@ -34,29 +45,44 @@ export const init = (config) => ({
 const optionId = (id, index) => `${id}-option-${index}`;
 /** Moves focus to the radio option at the given index. */
 export const FocusOption = Command.define('FocusOption', { id: S.String, index: S.Number }, CompletedFocusOption)(({ id, index }) => Dom.focus(`#${optionId(id, index)}`).pipe(Effect.ignore, Effect.as(CompletedFocusOption())));
-/** Processes a radio group message and returns the next model and commands. */
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
-    SelectedOption: ({ value, index }) => [
-        evo(model, { selectedValue: () => Option.some(value) }),
-        [FocusOption({ id: model.id, index })],
-    ],
-    CompletedFocusOption: () => [model, []],
-}));
-/** Programmatically selects a value in the radio group, updating the model and returning
- *  focus commands. Use this in domain-event handlers when the radio group uses `onSelected`. */
+const withInternalUpdateReturn = M.withReturnType();
+/** 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 const update = (model, message) => {
+    const result = M.value(message).pipe(withInternalUpdateReturn, M.tagsExhaustive({
+        SelectedOption: ({ value, index }) => [
+            evo(model, { selectedValue: () => Option.some(value) }),
+            [FocusOption({ id: model.id, index })],
+            Option.some(Selected({ value, index })),
+        ],
+        CompletedFocusOption: () => [model, [], Option.none()],
+    }));
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    return result;
+};
+/** Programmatically selects a value in the radio group, updating the model
+ *  and returning focus commands plus a `Selected` OutMessage. */
 export const select = (model, value, options) => pipe(options, Array.findFirstIndex(option => option === value), Option.match({
-    onNone: () => [model, []],
+    onNone: () => [model, [], Option.none()],
     onSome: index => update(model, SelectedOption({ value, index })),
 }));
+/** 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 const reflectSelectedValue = Function.dual(2, (model, maybeValue) => evo(model, { selectedValue: () => maybeValue }));
 const labelId = (id, index) => `${id}-option-${index}-label`;
 const descriptionId = (id, index) => `${id}-option-${index}-description`;
-/** Renders an accessible radio group by building ARIA attribute groups and delegating layout to the consumer's `optionToConfig` callback. */
-export const view = (config) => {
+const internalView = defineView((model, viewInputs) => {
     const h = html();
-    const { model, model: { id, selectedValue }, toParentMessage, onSelected, options, optionToConfig, isOptionDisabled: isOptionDisabledFn, orientation = model.orientation, ariaLabel, className, attributes = [], name, isDisabled: isGroupDisabled = false, } = config;
-    const dispatchSelected = (value, index) => onSelected
-        ? onSelected(value, index)
-        : toParentMessage({ _tag: 'SelectedOption', value, index });
+    const { id, selectedValue } = model;
+    const { options, ariaLabel, toView, isOptionDisabled: isOptionDisabledFn, isDisabled: isGroupDisabled = false, name, orientation = model.orientation, } = viewInputs;
     const isDisabled = (index) => {
         if (isGroupDisabled) {
             return true;
@@ -66,11 +92,7 @@ export const view = (config) => {
         }
         return pipe(options, Array.get(index), Option.exists(option => isOptionDisabledFn(option, index)));
     };
-    const selectedIndex = Option.flatMap(selectedValue, value => Array.findFirstIndex(options, option => optionToConfig(option, {
-        isSelected: false,
-        isActive: false,
-        isDisabled: false,
-    }).value === value));
+    const selectedIndex = Option.flatMap(selectedValue, value => Array.findFirstIndex(options, option => option === value));
     const focusedIndex = pipe(selectedIndex, Option.getOrElse(() => pipe(options.length, Array.makeBy(index => index), Array.findFirst(Predicate.not(isDisabled)), Option.getOrElse(() => 0))));
     const { nextKey, previousKey } = M.value(orientation).pipe(M.when('Horizontal', () => ({
         nextKey: 'ArrowRight',
@@ -79,28 +101,22 @@ export const view = (config) => {
         nextKey: 'ArrowDown',
         previousKey: 'ArrowUp',
     })), M.exhaustive);
-    const optionValues = Array.map(options, (option, index) => optionToConfig(option, {
-        isSelected: Option.exists(selectedIndex, selectedIdx => selectedIdx === index),
-        isActive: index === focusedIndex,
-        isDisabled: isDisabled(index),
-    }).value);
     const resolveKeyIndex = keyToIndex(nextKey, previousKey, options.length, focusedIndex, isDisabled);
     const handleKeyDown = (currentIndex) => (key) => M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => {
         const nextIndex = resolveKeyIndex(key);
-        return pipe(optionValues, Array.get(nextIndex), Option.map(value => dispatchSelected(value, nextIndex)));
-    }), M.when(' ', () => pipe(optionValues, Array.get(currentIndex), Option.map(value => dispatchSelected(value, currentIndex)))), M.orElse(() => Option.none()));
-    const renderedOptions = Array.map(options, (option, index) => {
+        return pipe(options, Array.get(nextIndex), Option.map(value => SelectedOption({ value, index: nextIndex })));
+    }), M.when(' ', () => pipe(options, Array.get(currentIndex), Option.map(value => SelectedOption({ value, index: currentIndex })))), M.orElse(() => Option.none()));
+    const optionInfos = Array.map(options, (value, index) => {
         const isSelected = Option.exists(selectedIndex, selectedIdx => selectedIdx === index);
         const isFocusable = index === focusedIndex;
-        const isOptionDisabled = isDisabled(index);
-        const optionConfig = optionToConfig(option, {
-            isSelected,
-            isActive: isFocusable,
-            isDisabled: isOptionDisabled,
-        });
-        const checkedAttributes = isSelected ? [h.DataAttribute('checked', '')] : [];
-        const activeAttributes = isFocusable ? [h.DataAttribute('active', '')] : [];
-        const disabledAttributes = isOptionDisabled
+        const isOptionDisabledNow = isDisabled(index);
+        const checkedAttributes = isSelected
+            ? [h.DataAttribute('checked', '')]
+            : [];
+        const activeAttributes = isFocusable
+            ? [h.DataAttribute('active', '')]
+            : [];
+        const disabledAttributes = isOptionDisabledNow
             ? [h.AriaDisabled(true), h.DataAttribute('disabled', '')]
             : [];
         const optionAttributes = [
@@ -113,45 +129,68 @@ export const view = (config) => {
             ...checkedAttributes,
             ...activeAttributes,
             ...disabledAttributes,
-            ...(isOptionDisabled
+            ...(isOptionDisabledNow
                 ? []
                 : [
-                    h.OnClick(dispatchSelected(optionConfig.value, index)),
+                    h.OnClick(SelectedOption({ value, index })),
                     h.OnKeyDownPreventDefault(handleKeyDown(index)),
                 ]),
         ];
-        const labelAttributes = [
-            h.Id(labelId(id, index)),
-        ];
-        const descriptionAttributes = [
-            h.Id(descriptionId(id, index)),
-        ];
-        return optionConfig.content({
-            option: optionAttributes,
-            label: labelAttributes,
-            description: descriptionAttributes,
-        });
+        const labelAttributes = [h.Id(labelId(id, index))];
+        const descriptionAttributes = [h.Id(descriptionId(id, index))];
+        return {
+            value,
+            index,
+            isSelected,
+            isActive: isFocusable,
+            isDisabled: isOptionDisabledNow,
+            option: childAttributes(optionAttributes),
+            label: childAttributes(labelAttributes),
+            description: childAttributes(descriptionAttributes),
+        };
     });
-    const hiddenInputs = pipe(name, Option.fromNullishOr, Option.flatMap(inputName => pipe(selectedValue, Option.map(value => h.input([h.Type('hidden'), h.Name(inputName), h.Value(value)])))), Option.match({
-        onNone: () => [],
-        onSome: hiddenInput => [hiddenInput],
-    }));
     const groupAttributes = [
         h.Role('radiogroup'),
         h.AriaOrientation(String.toLowerCase(orientation)),
         h.AriaLabel(ariaLabel),
-        ...(className ? [h.Class(className)] : []),
-        ...attributes,
     ];
-    return h.div(groupAttributes, [...renderedOptions, ...hiddenInputs]);
-};
-/** Creates a memoized radio group view. Static config is captured in a closure;
- *  only `model` and `toParentMessage` are compared per render via `createLazy`. */
-export const lazy = (staticConfig) => {
-    const lazyView = createLazy();
-    return (model, toParentMessage) => lazyView((currentModel, currentToParentMessage) => view({
-        ...staticConfig,
-        model: currentModel,
-        toParentMessage: currentToParentMessage,
-    }), [model, toParentMessage]);
-};
+    const hiddenInputAttributes = pipe(Option.fromNullishOr(name), Option.flatMap(inputName => Option.map(selectedValue, value => [
+        h.Type('hidden'),
+        h.Name(inputName),
+        h.Value(value),
+    ])), Option.getOrElse(() => []));
+    return toView({
+        group: childAttributes(groupAttributes),
+        options: optionInfos,
+        selectedValue,
+        hiddenInput: childAttributes(hiddenInputAttributes),
+    });
+});
+/** 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:
+ *
+ *  ```ts
+ *  const ToolRadioGroup = Ui.RadioGroup.create<Tool>()
+ *
+ *  // In view:
+ *  h.submodel({ view: ToolRadioGroup.view, ... })
+ *
+ *  // 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 const create = () => ({
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    view: internalView,
+    update: (model, message) => update(model, message),
+    select: (model, value, options) => select(model, value, options),
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    reflectSelectedValue: reflectSelectedValue,
+});

package/dist/ui/radioGroup/public.d.ts

@@ -1,3 +1,3 @@
-export { init, update, select, view, lazy, Model, Message, SelectedOption, CompletedFocusOption, FocusOption, } from './index.js';
-export type { NarrowedSelectedOption, Orientation, InitConfig, ViewConfig, OptionAttributes, OptionConfig, } from './index.js';
+export { init, create, Model, Message, OutMessage, Selected, SelectedOption, CompletedFocusOption, FocusOption, } from './index.js';
+export type { Orientation, InitConfig, ViewInputs, RenderInfo, OptionInfo, } from './index.js';
 //# sourceMappingURL=public.d.ts.map

package/dist/ui/radioGroup/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/radioGroup/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,OAAO,EACP,cAAc,EACd,oBAAoB,EACpB,WAAW,GACZ,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,sBAAsB,EACtB,WAAW,EACX,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,YAAY,GACb,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/radioGroup/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,KAAK,EACL,OAAO,EACP,UAAU,EACV,QAAQ,EACR,cAAc,EACd,oBAAoB,EACpB,WAAW,GACZ,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACV,UAAU,GACX,MAAM,YAAY,CAAA"}

package/dist/ui/radioGroup/public.js

@@ -1 +1 @@
-export { init, update, select, view, lazy, Model, Message, SelectedOption, CompletedFocusOption, FocusOption, } from './index.js';
+export { init, create, Model, Message, OutMessage, Selected, SelectedOption, CompletedFocusOption, FocusOption, } from './index.js';

package/dist/ui/slider/index.d.ts

@@ -1,6 +1,7 @@
 import { Option, Schema as S, Stream } from 'effect';
 import type { Command } from '../../command/index.js';
-import { type Attribute, type Html } from '../../html/index.js';
+import { type ChildAttribute, type Html } from '../../html/index.js';
+import type { Reflect } from '../../submodel/submodel.js';
 /** Schema for the slider component's state. Tracks the current value, the
  *  range (min/max/step), and the active drag phase. */
 export declare const Model: S.Struct<{
@@ -51,15 +52,16 @@ export type MovedDragPointer = typeof MovedDragPointer.Type;
 export type ReleasedDragPointer = typeof ReleasedDragPointer.Type;
 export type CancelledDrag = typeof CancelledDrag.Type;
 export type PressedKeyboardNavigation = typeof PressedKeyboardNavigation.Type;
-/** Emitted when the slider value changes. The parent uses this to react to
- *  value updates — e.g. to run validation or trigger a side effect. */
+/** Emitted when the slider value changes. The parent can handle this to
+ *  update its own state or dispatch its own Commands, for example to run
+ *  validation or trigger a downstream Command. */
 export declare const ChangedValue: import("../../schema/index.js").CallableTaggedStruct<"ChangedValue", {
     value: S.Number;
 }>;
 /** Union of all out-messages the slider component can emit to its parent. */
-export declare const OutMessage: import("../../schema/index.js").CallableTaggedStruct<"ChangedValue", {
+export declare const OutMessage: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ChangedValue", {
     value: S.Number;
-}>;
+}>]>;
 export type OutMessage = typeof OutMessage.Type;
 /** Configuration for creating a slider model with `init`. */
 export type InitConfig = Readonly<{
@@ -83,20 +85,20 @@ type UpdateReturn = readonly [
 /** Processes a slider message and returns the next model, commands, and an
  *  optional out-message for the parent. */
 export declare const update: (model: Model, message: Message) => UpdateReturn;
-/** Updates the slider's range. Snaps and clamps the current value into the
- *  new range. Use this when min/max derive from external state (e.g. a
- *  bounded buffer whose first/last index shifts over time). Unlike `setValue`,
- *  this runs even while the user is Dragging: a structural range change
- *  cannot leave the value out of bounds. */
-export declare const setRange: (model: Model, range: Readonly<{
+/** Reflects an externally-driven range onto the slider. Snaps and clamps the
+ *  current value into the new range. Use this when min/max derive from
+ *  external state (e.g. a bounded buffer whose first/last index shifts over
+ *  time). Unlike `reflectValue`, this runs even while the user is Dragging: a
+ *  structural range change cannot leave the value out of bounds. */
+export declare const reflectRange: Reflect<Model, Readonly<{
     min: number;
     max: number;
-}>) => Model;
-/** Sets the slider's value, snapped and clamped into the current range.
- *  No-op while the user is actively dragging. drag state owns the value.
- *  Does not emit `ChangedValue`; use when the value is being driven by
+}>>;
+/** Reflects an externally-driven value onto the slider, snapped and clamped
+ *  into range; a no-op while the user is dragging, since drag state owns the
+ *  value. Does not emit `ChangedValue`; use when the value is being driven by
  *  external state rather than user input. */
-export declare const setValue: (model: Model, value: number) => Model;
+export declare const reflectValue: Reflect<Model, number>;
 /** Builds slider drag subscriptions, looking up the track
  *  element through the supplied root resolver. Use this when the slider is
  *  rendered inside a Shadow DOM. The root is read lazily so consumers can
@@ -297,20 +299,20 @@ export declare const subscriptions: {
     };
 };
 /** Attribute groups the slider component provides to the consumer's `toView`
- *  callback. */
-export type SliderAttributes<ParentMessage> = Readonly<{
-    root: ReadonlyArray<Attribute<ParentMessage>>;
-    track: ReadonlyArray<Attribute<ParentMessage>>;
-    filledTrack: ReadonlyArray<Attribute<ParentMessage>>;
-    thumb: ReadonlyArray<Attribute<ParentMessage>>;
-    label: ReadonlyArray<Attribute<ParentMessage>>;
-    hiddenInput: ReadonlyArray<Attribute<ParentMessage>>;
+ *  callback. Each bundle carries the boundary's captured dispatch, so the
+ *  consumer can spread it directly into element attributes without manual
+ *  Message wrapping. */
+export type SliderAttributes = Readonly<{
+    root: ReadonlyArray<ChildAttribute>;
+    track: ReadonlyArray<ChildAttribute>;
+    filledTrack: ReadonlyArray<ChildAttribute>;
+    thumb: ReadonlyArray<ChildAttribute>;
+    label: ReadonlyArray<ChildAttribute>;
+    hiddenInput: ReadonlyArray<ChildAttribute>;
 }>;
-/** Configuration for rendering a slider with `view`. */
-export type ViewConfig<ParentMessage> = Readonly<{
-    model: Model;
-    toParentMessage: (message: PressedThumb | PressedPointer | MovedDragPointer | ReleasedDragPointer | CancelledDrag | PressedKeyboardNavigation) => ParentMessage;
-    toView: (attributes: SliderAttributes<ParentMessage>) => Html;
+/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field. */
+export type ViewInputs = Readonly<{
+    toView: (attributes: SliderAttributes) => Html;
     ariaLabel?: string;
     ariaLabelledBy?: string;
     formatValue?: (value: number) => string;
@@ -324,12 +326,48 @@ export type ViewConfig<ParentMessage> = Readonly<{
 }>;
 /** Renders an accessible slider by building ARIA attribute groups and
  *  delegating layout to the consumer's `toView` callback. Follows the
- *  WAI-ARIA slider pattern — role="slider" on the thumb, aria-valuemin /
+ *  WAI-ARIA slider pattern: role="slider" on the thumb, aria-valuemin /
  *  aria-valuemax / aria-valuenow, keyboard navigation by step / page / home /
  *  end. Pointer drag is handled by the component's drag subscriptions. */
-export declare const view: <ParentMessage>(config: ViewConfig<ParentMessage>) => Html;
-/** Creates a memoized slider view. Static config is captured in a closure;
- *  only `model` and `toParentMessage` are compared per render via `createLazy`. */
-export declare const lazy: <ParentMessage>(staticConfig: Omit<ViewConfig<ParentMessage>, "model" | "toParentMessage">) => ((model: Model, toParentMessage: ViewConfig<ParentMessage>["toParentMessage"]) => Html);
+export declare const view: import("../../html/submodel.js").SubmodelView<{
+    readonly id: string;
+    readonly value: number;
+    readonly min: number;
+    readonly max: number;
+    readonly step: number;
+    readonly dragState: {
+        readonly _tag: "Idle";
+    } | {
+        readonly _tag: "Dragging";
+        readonly originValue: number;
+    };
+}, {
+    readonly _tag: "PressedThumb";
+} | {
+    readonly _tag: "PressedPointer";
+    readonly value: number;
+} | {
+    readonly _tag: "MovedDragPointer";
+    readonly value: number;
+} | {
+    readonly _tag: "ReleasedDragPointer";
+} | {
+    readonly _tag: "CancelledDrag";
+} | {
+    readonly _tag: "PressedKeyboardNavigation";
+    readonly direction: "Max" | "Min" | "StepDecrement" | "StepIncrement" | "PageDecrement" | "PageIncrement";
+}, Readonly<{
+    toView: (attributes: SliderAttributes) => Html;
+    ariaLabel?: string;
+    ariaLabelledBy?: string;
+    formatValue?: (value: number) => string;
+    isDisabled?: boolean;
+    name?: string;
+    /** Resolves the root that holds the slider track when looking it up by its
+     *  `data-slider-track-id` attribute. Defaults to `document`. Provide a
+     *  ShadowRoot when rendering the slider inside a shadow tree so pointer
+     *  events on the track can map clientX into a value. */
+    getTrackRoot?: () => Document | ShadowRoot;
+}>>;
 export {};
 //# sourceMappingURL=index.d.ts.map