@foldkit/ui 0.127.0 → 0.128.0

package/dist/radioGroup/index.js

@@ -1,90 +1,38 @@
-import { Array, Effect, Function, Match as M, Option, Predicate, Schema as S, String, pipe, } from 'effect';
-import * as Command from 'foldkit/command';
-import * as Dom from 'foldkit/dom';
-import { childAttributes, html, } from 'foldkit/html';
-import { m } from 'foldkit/message';
-import { evo } from 'foldkit/struct';
-import { defineView, } from 'foldkit/submodel';
+import { Array, Match as M, Option, Predicate, Schema as S, String, pipe, } from 'effect';
+import { html } from 'foldkit/html';
 import { idSelector } from '../internal/selectors.js';
 import { keyToIndex } from '../keyboard.js';
 // MODEL
 /** Controls the radio group layout direction and which arrow keys navigate between options. */
 export const Orientation = S.Literals(['Horizontal', 'Vertical']);
-/** Schema for the radio group component's state, tracking the selected value and orientation. */
-export const Model = S.Struct({
-    id: S.String,
-    selectedValue: S.Option(S.String),
-    orientation: Orientation,
-});
-// MESSAGE
-/** Sent when a radio option is selected via click or keyboard navigation. */
-export const SelectedOption = m('SelectedOption', {
-    value: S.String,
-    index: S.Number,
-});
-/** Sent when the focus-option command completes. */
-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,
-    selectedValue: Option.fromNullishOr(config.selectedValue),
-    orientation: config.orientation ?? 'Vertical',
-});
-// UPDATE
+// VIEW
 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(idSelector(optionId(id, index))).pipe(Effect.ignore, Effect.as(CompletedFocusOption())));
-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, [], 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`;
-const internalView = defineView((model, viewInputs) => {
+/** 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
+ *  // In 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:
+ *  SelectedTool: ({ tool }) => [evo(model, { tool: () => tool }), []],
+ *  ``` */
+export const view = (config) => {
     const h = html();
-    const { id, selectedValue } = model;
-    const { options, ariaLabel, toView, isOptionDisabled: isOptionDisabledFn, isDisabled: isGroupDisabled = false, name, orientation = model.orientation, } = viewInputs;
+    const { id, selectedValue, options, onSelect, ariaLabel, toView, orientation = 'Vertical', isOptionDisabled: isOptionDisabledFn, isDisabled: isGroupDisabled = false, name, } = config;
     const isDisabled = (index) => {
         if (isGroupDisabled) {
             return true;
@@ -95,7 +43,11 @@ const internalView = defineView((model, viewInputs) => {
         return pipe(options, Array.get(index), Option.exists(option => isOptionDisabledFn(option, index)));
     };
     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 firstEnabledIndex = pipe(options.length, Array.makeBy(index => index), Array.findFirst(Predicate.not(isDisabled)), Option.getOrElse(() => 0));
+    // NOTE: The selected index only becomes the roving tab stop when it is
+    // enabled. A disabled selected option would otherwise be the group's sole
+    // tab stop with no keydown handler, stranding keyboard navigation.
+    const focusedIndex = pipe(selectedIndex, Option.filter(Predicate.not(isDisabled)), Option.getOrElse(() => firstEnabledIndex));
     const { nextKey, previousKey } = M.value(orientation).pipe(M.when('Horizontal', () => ({
         nextKey: 'ArrowRight',
         previousKey: 'ArrowLeft',
@@ -104,10 +56,11 @@ const internalView = defineView((model, viewInputs) => {
         previousKey: 'ArrowUp',
     })), M.exhaustive);
     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(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 selectionAt = (index) => pipe(options, Array.get(index), Option.map(value => ({
+        focusSelector: idSelector(optionId(id, index)),
+        message: onSelect(value),
+    })));
+    const handleKeyDown = (currentIndex) => (key) => M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => selectionAt(resolveKeyIndex(key))), M.when(' ', () => selectionAt(currentIndex)), M.orElse(() => Option.none()));
     const optionInfos = Array.map(options, (value, index) => {
         const isSelected = Option.exists(selectedIndex, selectedIdx => selectedIdx === index);
         const isFocusable = index === focusedIndex;
@@ -134,8 +87,8 @@ const internalView = defineView((model, viewInputs) => {
             ...(isOptionDisabledNow
                 ? []
                 : [
-                    h.OnClick(SelectedOption({ value, index })),
-                    h.OnKeyDownPreventDefault(handleKeyDown(index)),
+                    h.OnClickFocus(idSelector(optionId(id, index)), onSelect(value)),
+                    h.OnKeyDownFocus(handleKeyDown(index)),
                 ]),
         ];
         const labelAttributes = [h.Id(labelId(id, index))];
@@ -146,9 +99,9 @@ const internalView = defineView((model, viewInputs) => {
             isSelected,
             isActive: isFocusable,
             isDisabled: isOptionDisabledNow,
-            option: childAttributes(optionAttributes),
-            label: childAttributes(labelAttributes),
-            description: childAttributes(descriptionAttributes),
+            option: optionAttributes,
+            label: labelAttributes,
+            description: descriptionAttributes,
         };
     });
     const groupAttributes = [
@@ -162,37 +115,9 @@ const internalView = defineView((model, viewInputs) => {
         h.Value(value),
     ])), Option.getOrElse(() => []));
     return toView({
-        group: childAttributes(groupAttributes),
+        group: groupAttributes,
         options: optionInfos,
         selectedValue,
-        hiddenInput: childAttributes(hiddenInputAttributes),
+        hiddenInput: 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 = 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/radioGroup/public.d.ts

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

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/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"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/radioGroup/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAE9C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA"}

package/dist/radioGroup/public.js

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

package/dist/slider/index.d.ts

@@ -3,11 +3,13 @@ import type { Command } from 'foldkit/command';
 import { type ChildAttribute, type Html } from 'foldkit/html';
 import { type Reflect } from 'foldkit/submodel';
 import * as Subscription from 'foldkit/subscription';
-/** Schema for the slider component's state. Tracks the current value, the
- *  range (min/max/step), and the active drag phase. */
+/** Schema for the slider component's private interaction state. The current
+ *  value is owned by the parent and passed in via `ViewInputs.value`, so it is
+ *  not stored here. `min`/`max`/`step` are configuration the drag subscription
+ *  reads to map pointer positions into values. `dragState` tracks the active
+ *  drag phase and captures the pre-drag value so Escape can restore it. */
 export declare const Model: S.Struct<{
     readonly id: S.String;
-    readonly value: S.Number;
     readonly min: S.Number;
     readonly max: S.Number;
     readonly step: S.Number;
@@ -16,13 +18,18 @@ export declare const Model: S.Struct<{
     }>]>;
 }>;
 export type Model = typeof Model.Type;
-/** The user pressed the thumb. Starts a drag without changing the value. */
-export declare const PressedThumb: import("foldkit/schema").CallableTaggedStruct<"PressedThumb", {}>;
+/** The user pressed the thumb. Starts a drag without changing the value. The
+ *  view supplies `originValue`, the current value, so Escape can restore it. */
+export declare const PressedThumb: import("foldkit/schema").CallableTaggedStruct<"PressedThumb", {
+    originValue: S.Number;
+}>;
 /** The user pressed the track. Starts a drag and snaps the value to the
  *  cursor position. Ignored while already dragging, which absorbs the bubble
- *  from a thumb press so the value is not shifted. */
+ *  from a thumb press so the value is not shifted. `originValue` is the current
+ *  value the drag restores to on Escape. */
 export declare const PressedPointer: import("foldkit/schema").CallableTaggedStruct<"PressedPointer", {
     value: S.Number;
+    originValue: S.Number;
 }>;
 /** The pointer moved during a drag, producing a new snapped value from the
  *  cursor position within the track. */
@@ -33,9 +40,11 @@ export declare const MovedDragPointer: import("foldkit/schema").CallableTaggedSt
 export declare const ReleasedDragPointer: import("foldkit/schema").CallableTaggedStruct<"ReleasedDragPointer", {}>;
 /** Escape was pressed during a drag. Restores the value from the drag origin. */
 export declare const CancelledDrag: import("foldkit/schema").CallableTaggedStruct<"CancelledDrag", {}>;
-/** The user pressed a keyboard navigation key on the focused thumb. */
+/** The user pressed a keyboard navigation key on the focused thumb. The view
+ *  supplies `value`, the current value, to compute the next one from. */
 export declare const PressedKeyboardNavigation: import("foldkit/schema").CallableTaggedStruct<"PressedKeyboardNavigation", {
     direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+    value: S.Number;
 }>;
 /** Union of all messages the slider component can produce. */
 export declare const Message: S.Union<[
@@ -70,36 +79,35 @@ export type InitConfig = Readonly<{
     min: number;
     max: number;
     step: number;
-    initialValue: number;
 }>;
-/** Creates an initial slider model from a config. The initial value is
- *  snapped to the step and clamped into range. */
+/** Creates an initial slider model from a config. The value lives in the
+ *  parent Model; initialize it there and snap it with {@link snapAndClamp}. */
 export declare const init: (config: InitConfig) => Model;
+/** Snaps a value to the nearest step and clamps it into `[min, max]`. Exported
+ *  so a parent can conform the value it owns to the slider's range, for example
+ *  when seeding the initial value or reacting to an external update. */
+export declare const snapAndClamp: (value: number, min: number, max: number, step: number) => number;
 /** Computes the fraction (0–1) of a value between min and max. Returns 0 when
  *  the range has zero width. */
-export declare const fractionOfValue: (model: Model) => number;
+export declare const fractionOfValue: (value: number, min: number, max: number) => number;
 type UpdateReturn = readonly [
     Model,
     ReadonlyArray<Command<Message>>,
     Option.Option<OutMessage>
 ];
 /** Processes a slider message and returns the next model, commands, and an
- *  optional out-message for the parent. */
+ *  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. */
 export declare const update: (model: Model, message: Message) => UpdateReturn;
-/** 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. */
+/** 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
+ *  shifts over time). The parent owns the value, so conform it to the new range
+ *  in the same update with {@link snapAndClamp}. */
 export declare const reflectRange: Reflect<Model, Readonly<{
     min: number;
     max: number;
 }>>;
-/** 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 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
@@ -107,7 +115,6 @@ export declare const reflectValue: Reflect<Model, number>;
 export declare const subscriptionsForRoot: (getTrackRoot: () => Document | ShadowRoot) => {
     readonly dragPointer: Subscription.EntryWithoutKeepAlive<S.Struct.ReadonlySide<{
         readonly id: S.String;
-        readonly value: S.Number;
         readonly min: S.Number;
         readonly max: S.Number;
         readonly step: S.Number;
@@ -118,9 +125,11 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
         readonly _tag: S.tag<"CancelledDrag">;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedThumb">;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedPointer">;
         value: S.Number;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"MovedDragPointer">;
         value: S.Number;
@@ -129,6 +138,7 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedKeyboardNavigation">;
         direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+        value: S.Number;
     }, "Type">, S.Struct.ReadonlySide<{
         readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
         readonly id: S.String;
@@ -139,7 +149,6 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
     };
     readonly dragEscape: Subscription.EntryWithoutKeepAlive<S.Struct.ReadonlySide<{
         readonly id: S.String;
-        readonly value: S.Number;
         readonly min: S.Number;
         readonly max: S.Number;
         readonly step: S.Number;
@@ -150,9 +159,11 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
         readonly _tag: S.tag<"CancelledDrag">;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedThumb">;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedPointer">;
         value: S.Number;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"MovedDragPointer">;
         value: S.Number;
@@ -161,6 +172,7 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedKeyboardNavigation">;
         direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+        value: S.Number;
     }, "Type">, S.Struct.ReadonlySide<{
         readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
     }, "Type">, never> & {
@@ -171,7 +183,6 @@ export declare const subscriptionsForRoot: (getTrackRoot: () => Document | Shado
 export declare const subscriptions: {
     readonly dragPointer: Subscription.EntryWithoutKeepAlive<S.Struct.ReadonlySide<{
         readonly id: S.String;
-        readonly value: S.Number;
         readonly min: S.Number;
         readonly max: S.Number;
         readonly step: S.Number;
@@ -182,9 +193,11 @@ export declare const subscriptions: {
         readonly _tag: S.tag<"CancelledDrag">;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedThumb">;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedPointer">;
         value: S.Number;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"MovedDragPointer">;
         value: S.Number;
@@ -193,6 +206,7 @@ export declare const subscriptions: {
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedKeyboardNavigation">;
         direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+        value: S.Number;
     }, "Type">, S.Struct.ReadonlySide<{
         readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
         readonly id: S.String;
@@ -203,7 +217,6 @@ export declare const subscriptions: {
     };
     readonly dragEscape: Subscription.EntryWithoutKeepAlive<S.Struct.ReadonlySide<{
         readonly id: S.String;
-        readonly value: S.Number;
         readonly min: S.Number;
         readonly max: S.Number;
         readonly step: S.Number;
@@ -214,9 +227,11 @@ export declare const subscriptions: {
         readonly _tag: S.tag<"CancelledDrag">;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedThumb">;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedPointer">;
         value: S.Number;
+        originValue: S.Number;
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"MovedDragPointer">;
         value: S.Number;
@@ -225,6 +240,7 @@ export declare const subscriptions: {
     }, "Type"> | S.Struct.ReadonlySide<{
         readonly _tag: S.tag<"PressedKeyboardNavigation">;
         direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+        value: S.Number;
     }, "Type">, S.Struct.ReadonlySide<{
         readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
     }, "Type">, never> & {
@@ -245,6 +261,9 @@ export type SliderAttributes = Readonly<{
 }>;
 /** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field. */
 export type ViewInputs = Readonly<{
+    /** The current value, read straight from the parent Model. The thumb
+     *  position, `aria-valuenow`, and the filled track all derive from it. */
+    value: number;
     toView: (attributes: SliderAttributes) => Html;
     ariaLabel?: string;
     ariaLabelledBy?: string;
@@ -264,7 +283,6 @@ export type ViewInputs = Readonly<{
  *  end. Pointer drag is handled by the component's drag subscriptions. */
 export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide<{
     readonly id: S.String;
-    readonly value: S.Number;
     readonly min: S.Number;
     readonly max: S.Number;
     readonly step: S.Number;
@@ -275,9 +293,11 @@ export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide
     readonly _tag: S.tag<"CancelledDrag">;
 }, "Type"> | S.Struct.ReadonlySide<{
     readonly _tag: S.tag<"PressedThumb">;
+    originValue: S.Number;
 }, "Type"> | S.Struct.ReadonlySide<{
     readonly _tag: S.tag<"PressedPointer">;
     value: S.Number;
+    originValue: S.Number;
 }, "Type"> | S.Struct.ReadonlySide<{
     readonly _tag: S.tag<"MovedDragPointer">;
     value: S.Number;
@@ -286,7 +306,11 @@ export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide
 }, "Type"> | S.Struct.ReadonlySide<{
     readonly _tag: S.tag<"PressedKeyboardNavigation">;
     direction: S.Literals<readonly ["StepDecrement", "StepIncrement", "PageDecrement", "PageIncrement", "Min", "Max"]>;
+    value: S.Number;
 }, "Type">, Readonly<{
+    /** The current value, read straight from the parent Model. The thumb
+     *  position, `aria-valuenow`, and the filled track all derive from it. */
+    value: number;
     toView: (attributes: SliderAttributes) => Html;
     ariaLabel?: string;
     ariaLabelledBy?: string;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slider/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,MAAM,EACN,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAIrB,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,kBAAkB,CAAA;AAC3D,OAAO,KAAK,YAAY,MAAM,sBAAsB,CAAA;AASpD;uDACuD;AACvD,eAAO,MAAM,KAAK;;;;;;;;;EAOhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,4EAA4E;AAC5E,eAAO,MAAM,YAAY,mEAAoB,CAAA;AAC7C;;sDAEsD;AACtD,eAAO,MAAM,cAAc;;EAA2C,CAAA;AACtE;wCACwC;AACxC,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAC1E,yEAAyE;AACzE,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,iFAAiF;AACjF,eAAO,MAAM,aAAa,oEAAqB,CAAA;AAC/C,uEAAuE;AACvE,eAAO,MAAM,yBAAyB;;EASpC,CAAA;AAEF,8DAA8D;AAC9D,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,YAAY;IACnB,OAAO,cAAc;IACrB,OAAO,gBAAgB;IACvB,OAAO,mBAAmB;IAC1B,OAAO,aAAa;IACpB,OAAO,yBAAyB;CACjC,CAQD,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AACjE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAI7E;;kDAEkD;AAClD,eAAO,MAAM,YAAY;;EAAyC,CAAA;AAElE,6EAA6E;AAC7E,eAAO,MAAM,UAAU;;IAA0B,CAAA;AACjD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,YAAY,EAAE,MAAM,CAAA;CACrB,CAAC,CAAA;AAEF;kDACkD;AAClD,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAOxC,CAAA;AAkCF;gCACgC;AAChC,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,MAO9C,CAAA;AAuCD,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAmBD;2CAC2C;AAC3C,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YAwFrD,CAAA;AAEH;;;;oEAIoE;AACpE,eAAO,MAAM,YAAY,EAAE,OAAO,CAChC,KAAK,EACL,QAAQ,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CASvC,CAAA;AAED;;;6CAG6C;AAC7C,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAY/C,CAAA;AAoCD;;;uCAGuC;AACvC,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,QAAQ,GAAG,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6FtC,CAAA;AAEL,2EAA2E;AAC3E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAAuC,CAAA;AAyBjE;;;wBAGwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC1C,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,KAAK,IAAI,CAAA;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACvC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;4DAGwD;IACxD,YAAY,CAAC,EAAE,MAAM,QAAQ,GAAG,UAAU,CAAA;CAC3C,CAAC,CAAA;AAEF;;;;0EAI0E;AAC1E,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;YAlBP,CAAC,UAAU,EAAE,gBAAgB,KAAK,IAAI;gBAClC,MAAM;qBACD,MAAM;kBACT,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM;iBAC1B,OAAO;WACb,MAAM;IACb;;;4DAGwD;mBACzC,MAAM,QAAQ,GAAG,UAAU;GAsJ3C,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slider/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,MAAM,EACN,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAIrB,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,kBAAkB,CAAA;AAC3D,OAAO,KAAK,YAAY,MAAM,sBAAsB,CAAA;AASpD;;;;2EAI2E;AAC3E,eAAO,MAAM,KAAK;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;gFACgF;AAChF,eAAO,MAAM,YAAY;;EAA+C,CAAA;AACxE;;;4CAG4C;AAC5C,eAAO,MAAM,cAAc;;;EAGzB,CAAA;AACF;wCACwC;AACxC,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAC1E,yEAAyE;AACzE,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,iFAAiF;AACjF,eAAO,MAAM,aAAa,oEAAqB,CAAA;AAC/C;yEACyE;AACzE,eAAO,MAAM,yBAAyB;;;EAUpC,CAAA;AAEF,8DAA8D;AAC9D,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,YAAY;IACnB,OAAO,cAAc;IACrB,OAAO,gBAAgB;IACvB,OAAO,mBAAmB;IAC1B,OAAO,aAAa;IACpB,OAAO,yBAAyB;CACjC,CAQD,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AACjE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAI7E;;kDAEkD;AAClD,eAAO,MAAM,YAAY;;EAAyC,CAAA;AAElE,6EAA6E;AAC7E,eAAO,MAAM,UAAU;;IAA0B,CAAA;AACjD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;CACb,CAAC,CAAA;AAEF;+EAC+E;AAC/E,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAMxC,CAAA;AAwBF;;wEAEwE;AACxE,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,KAAK,MAAM,EACX,KAAK,MAAM,EACX,MAAM,MAAM,KACX,MAGF,CAAA;AAED;gCACgC;AAChC,eAAO,MAAM,eAAe,GAC1B,OAAO,MAAM,EACb,KAAK,MAAM,EACX,KAAK,MAAM,KACV,MAOF,CAAA;AA4BD,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAWD;;;yEAGyE;AACzE,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YA4FrD,CAAA;AAEH;;;oDAGoD;AACpD,eAAO,MAAM,YAAY,EAAE,OAAO,CAChC,KAAK,EACL,QAAQ,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CAQvC,CAAA;AAoCD;;;uCAGuC;AACvC,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,QAAQ,GAAG,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6FtC,CAAA;AAEL,2EAA2E;AAC3E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAAuC,CAAA;AAyBjE;;;wBAGwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC1C,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC;8EAC0E;IAC1E,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,KAAK,IAAI,CAAA;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACvC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;4DAGwD;IACxD,YAAY,CAAC,EAAE,MAAM,QAAQ,GAAG,UAAU,CAAA;CAC3C,CAAC,CAAA;AAEF;;;;0EAI0E;AAC1E,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;IArBf;8EAC0E;WACnE,MAAM;YACL,CAAC,UAAU,EAAE,gBAAgB,KAAK,IAAI;gBAClC,MAAM;qBACD,MAAM;kBACT,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM;iBAC1B,OAAO;WACb,MAAM;IACb;;;4DAGwD;mBACzC,MAAM,QAAQ,GAAG,UAAU;GAwJ3C,CAAA"}