foldkit 0.100.1 → 0.102.0

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

@@ -1,6 +1,7 @@
-import { Option, Schema as S } from 'effect';
+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,76 +85,251 @@ 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;
-/** Schema describing the subscription dependencies for slider drag. */
-export declare const SubscriptionDependencies: S.Struct<{
-    readonly dragPointer: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-        readonly id: S.String;
-        readonly min: S.Number;
-        readonly max: S.Number;
-    }>;
-    readonly dragEscape: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-    }>;
-}>;
+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
  *  resolve it at subscription time. */
-export declare const subscriptionsForRoot: (getTrackRoot: () => Document | ShadowRoot) => import("../../runtime/subscription.js").Subscriptions<{
-    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;
+export declare const subscriptionsForRoot: (getTrackRoot: () => Document | ShadowRoot) => {
+    readonly dragPointer: {
+        readonly dependenciesSchema: S.Schema<{
+            readonly dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        }> & {
+            readonly fields: S.Struct.Fields;
+        };
+        readonly modelToDependencies: (model: {
+            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 dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        };
+        readonly keepAliveEquivalence?: never;
+        readonly dependenciesToStream: (dependencies: {
+            readonly dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        }) => Stream.Stream<{
+            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";
+        }, never, never>;
+    } & {
+        readonly __subscription: never;
     };
-}, {
-    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";
-}, S.Struct<{
-    readonly dragPointer: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-        readonly id: S.String;
-        readonly min: S.Number;
-        readonly max: S.Number;
-    }>;
-    readonly dragEscape: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-    }>;
-}>, never>;
+    readonly dragEscape: {
+        readonly dependenciesSchema: S.Schema<{
+            readonly dragActivity: "Idle" | "Active";
+        }> & {
+            readonly fields: S.Struct.Fields;
+        };
+        readonly modelToDependencies: (model: {
+            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 dragActivity: "Idle" | "Active";
+        };
+        readonly keepAliveEquivalence?: never;
+        readonly dependenciesToStream: (dependencies: {
+            readonly dragActivity: "Idle" | "Active";
+        }) => Stream.Stream<{
+            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";
+        }, never, never>;
+    } & {
+        readonly __subscription: never;
+    };
+};
 /** Default drag subscriptions, with the track looked up via `document`. */
-export declare const subscriptions: import("../../runtime/subscription.js").Subscriptions<{
+export declare const subscriptions: {
+    readonly dragPointer: {
+        readonly dependenciesSchema: S.Schema<{
+            readonly dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        }> & {
+            readonly fields: S.Struct.Fields;
+        };
+        readonly modelToDependencies: (model: {
+            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 dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        };
+        readonly keepAliveEquivalence?: never;
+        readonly dependenciesToStream: (dependencies: {
+            readonly dragActivity: "Idle" | "Active";
+            readonly id: string;
+            readonly min: number;
+            readonly max: number;
+        }) => Stream.Stream<{
+            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";
+        }, never, never>;
+    } & {
+        readonly __subscription: never;
+    };
+    readonly dragEscape: {
+        readonly dependenciesSchema: S.Schema<{
+            readonly dragActivity: "Idle" | "Active";
+        }> & {
+            readonly fields: S.Struct.Fields;
+        };
+        readonly modelToDependencies: (model: {
+            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 dragActivity: "Idle" | "Active";
+        };
+        readonly keepAliveEquivalence?: never;
+        readonly dependenciesToStream: (dependencies: {
+            readonly dragActivity: "Idle" | "Active";
+        }) => Stream.Stream<{
+            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";
+        }, never, never>;
+    } & {
+        readonly __subscription: never;
+    };
+};
+/** Attribute groups the slider component provides to the consumer's `toView`
+ *  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>;
+}>;
+/** 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;
+    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;
+}>;
+/** 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 /
+ *  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: import("../../html/submodel.js").SubmodelView<{
     readonly id: string;
     readonly value: number;
     readonly min: number;
@@ -179,32 +356,8 @@ export declare const subscriptions: import("../../runtime/subscription.js").Subs
 } | {
     readonly _tag: "PressedKeyboardNavigation";
     readonly direction: "Max" | "Min" | "StepDecrement" | "StepIncrement" | "PageDecrement" | "PageIncrement";
-}, S.Struct<{
-    readonly dragPointer: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-        readonly id: S.String;
-        readonly min: S.Number;
-        readonly max: S.Number;
-    }>;
-    readonly dragEscape: S.Struct<{
-        readonly dragActivity: S.Literals<readonly ["Idle", "Active"]>;
-    }>;
-}>, never>;
-/** 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>>;
-}>;
-/** 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;
+}, Readonly<{
+    toView: (attributes: SliderAttributes) => Html;
     ariaLabel?: string;
     ariaLabelledBy?: string;
     formatValue?: (value: number) => string;
@@ -215,15 +368,6 @@ export type ViewConfig<ParentMessage> = Readonly<{
      *  ShadowRoot when rendering the slider inside a shadow tree so pointer
      *  events on the track can map clientX into a value. */
     getTrackRoot?: () => Document | ShadowRoot;
-}>;
-/** 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 /
- *  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 {};
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/slider/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,MAAM,EACN,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,IAAI,EAGV,MAAM,qBAAqB,CAAA;AAa5B;uDACuD;AACvD,eAAO,MAAM,KAAK;;;;;;;;;EAOhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,4EAA4E;AAC5E,eAAO,MAAM,YAAY,0EAAoB,CAAA;AAC7C;;sDAEsD;AACtD,eAAO,MAAM,cAAc;;EAA2C,CAAA;AACtE;wCACwC;AACxC,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAC1E,yEAAyE;AACzE,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,iFAAiF;AACjF,eAAO,MAAM,aAAa,2EAAqB,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;uEACuE;AACvE,eAAO,MAAM,YAAY;;EAA0C,CAAA;AAEnE,6EAA6E;AAC7E,eAAO,MAAM,UAAU;;EAAe,CAAA;AACtC,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;;;;4CAI4C;AAC5C,eAAO,MAAM,QAAQ,GACnB,OAAO,KAAK,EACZ,OAAO,QAAQ,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,KAC5C,KAKC,CAAA;AAEJ;;;6CAG6C;AAC7C,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,OAAO,MAAM,KAAG,KASpD,CAAA;AAoCH,uEAAuE;AACvE,eAAO,MAAM,wBAAwB;;;;;;;;;;EAUnC,CAAA;AAEF;;;uCAGuC;AACvC,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,QAAQ,GAAG,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA4EvC,CAAA;AAEJ,2EAA2E;AAC3E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAAuC,CAAA;AAyBjE;gBACgB;AAChB,MAAM,MAAM,gBAAgB,CAAC,aAAa,IAAI,QAAQ,CAAC;IACrD,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC7C,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IACpD,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,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,wDAAwD;AACxD,MAAM,MAAM,UAAU,CAAC,aAAa,IAAI,QAAQ,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,EAAE,CACf,OAAO,EACH,YAAY,GACZ,cAAc,GACd,gBAAgB,GAChB,mBAAmB,GACnB,aAAa,GACb,yBAAyB,KAC1B,aAAa,CAAA;IAClB,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC,aAAa,CAAC,KAAK,IAAI,CAAA;IAC7D,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,GAAI,aAAa,EAChC,QAAQ,UAAU,CAAC,aAAa,CAAC,KAChC,IAgJF,CAAA;AAED;mFACmF;AACnF,eAAO,MAAM,IAAI,GAAI,aAAa,EAChC,cAAc,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,OAAO,GAAG,iBAAiB,CAAC,KACzE,CAAC,CACF,KAAK,EAAE,KAAK,EACZ,eAAe,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,iBAAiB,CAAC,KAC1D,IAAI,CAgBR,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/slider/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,MAAM,EACN,MAAM,IAAI,CAAC,EACX,MAAM,EAGP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAIV,MAAM,qBAAqB,CAAA;AAK5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AASzD;uDACuD;AACvD,eAAO,MAAM,KAAK;;;;;;;;;EAOhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,4EAA4E;AAC5E,eAAO,MAAM,YAAY,0EAAoB,CAAA;AAC7C;;sDAEsD;AACtD,eAAO,MAAM,cAAc;;EAA2C,CAAA;AACtE;wCACwC;AACxC,eAAO,MAAM,gBAAgB;;EAA6C,CAAA;AAC1E,yEAAyE;AACzE,eAAO,MAAM,mBAAmB,iFAA2B,CAAA;AAC3D,iFAAiF;AACjF,eAAO,MAAM,aAAa,2EAAqB,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"}

package/dist/ui/slider/index.js

@@ -1,7 +1,7 @@
-import { Effect, Equal, Match as M, Option, Schema as S, Stream, String as String_, pipe, } from 'effect';
-import { createLazy, html, } from '../../html/index.js';
+import { Effect, Equal, Function, Match as M, Option, Schema as S, Stream, String as String_, pipe, } from 'effect';
+import { childAttributes, defineView, html, } from '../../html/index.js';
 import { m } from '../../message/index.js';
-import { makeSubscriptions } from '../../runtime/subscription.js';
+import * as Subscription from '../../runtime/subscription.js';
 import { ts } from '../../schema/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
@@ -53,11 +53,12 @@ export const Message = S.Union([
     PressedKeyboardNavigation,
 ]);
 // OUT MESSAGE
-/** 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. */
-export const ChangedValue = ts('ChangedValue', { value: S.Number });
+/** 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 const ChangedValue = m('ChangedValue', { value: S.Number });
 /** Union of all out-messages the slider component can emit to its parent. */
-export const OutMessage = ChangedValue;
+export const OutMessage = S.Union([ChangedValue]);
 /** Creates an initial slider model from a config. The initial value is
  *  snapped to the step and clamped into range. */
 export const init = (config) => ({
@@ -129,13 +130,13 @@ export const update = (model, message) => M.value(message).pipe(withUpdateReturn
     // off-center on a non-zero-width thumb.
     PressedPointer: ({ value }) => M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => [model, [], Option.none()]), M.orElse(() => {
         const snapped = snapAndClamp(value, model.min, model.max, model.step);
-        const [modelWithValue, commands, maybeOut] = withValue(model, snapped, []);
+        const [modelWithValue, commands, maybeOutMessage] = withValue(model, snapped, []);
         return [
             evo(modelWithValue, {
                 dragState: () => Dragging({ originValue: model.value }),
             }),
             commands,
-            maybeOut,
+            maybeOutMessage,
         ];
     })),
     MovedDragPointer: ({ value }) => M.value(model.dragState).pipe(withUpdateReturn, M.tag('Dragging', () => withValue(model, snapAndClamp(value, model.min, model.max, model.step), [])), M.orElse(() => [model, [], Option.none()])),
@@ -152,23 +153,23 @@ export const update = (model, message) => M.value(message).pipe(withUpdateReturn
     }), M.orElse(() => [model, [], Option.none()])),
     PressedKeyboardNavigation: ({ direction }) => withValue(model, nextValueForDirection(model, direction), []),
 }));
-/** 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 const setRange = (model, range) => evo(model, {
+/** 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 const reflectRange = Function.dual(2, (model, range) => evo(model, {
     min: () => range.min,
     max: () => range.max,
     value: current => snapAndClamp(current, range.min, range.max, model.step),
-});
-/** 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 const setValue = (model, value) => M.value(model.dragState).pipe(M.withReturnType(), M.tag('Dragging', () => model), M.orElse(() => evo(model, {
+export const reflectValue = Function.dual(2, (model, value) => M.value(model.dragState).pipe(M.withReturnType(), M.tag('Dragging', () => model), M.orElse(() => evo(model, {
     value: () => snapAndClamp(value, model.min, model.max, model.step),
-})));
+}))));
 // SUBSCRIPTION
 const DragActivity = S.Literals(['Idle', 'Active']);
 const dragActivityFromModel = (model) => M.value(model.dragState).pipe(M.withReturnType(), M.tag('Dragging', () => 'Active'), M.orElse(() => 'Idle'));
@@ -183,24 +184,17 @@ const valueFromClientX = (clientX, trackElement_, min, max) => {
         return min + fraction * (max - min);
     }
 };
-/** Schema describing the subscription dependencies for slider drag. */
-export const SubscriptionDependencies = S.Struct({
-    dragPointer: S.Struct({
-        dragActivity: DragActivity,
-        id: S.String,
-        min: S.Number,
-        max: S.Number,
-    }),
-    dragEscape: S.Struct({
-        dragActivity: DragActivity,
-    }),
-});
 /** 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
  *  resolve it at subscription time. */
-export const subscriptionsForRoot = (getTrackRoot) => makeSubscriptions(SubscriptionDependencies)({
-    dragPointer: {
+export const subscriptionsForRoot = (getTrackRoot) => Subscription.make()(entry => ({
+    dragPointer: entry({
+        dragActivity: DragActivity,
+        id: S.String,
+        min: S.Number,
+        max: S.Number,
+    }, {
         modelToDependencies: model => ({
             dragActivity: dragActivityFromModel(model),
             id: model.id,
@@ -227,14 +221,14 @@ export const subscriptionsForRoot = (getTrackRoot) => makeSubscriptions(Subscrip
             })).pipe(Effect.flatMap(() => Effect.never)));
             return Stream.when(Stream.merge(pointerEvents, documentDragStyles), Effect.sync(() => dragActivity === 'Active'));
         },
-    },
-    dragEscape: {
+    }),
+    dragEscape: entry({ dragActivity: DragActivity }, {
         modelToDependencies: model => ({
             dragActivity: dragActivityFromModel(model),
         }),
         dependenciesToStream: ({ dragActivity }) => Stream.when(Stream.fromEventListener(document, 'keydown').pipe(Stream.filter(({ key }) => key === 'Escape'), Stream.map(() => CancelledDrag())), Effect.sync(() => dragActivity === 'Active')),
-    },
-});
+    }),
+}));
 /** Default drag subscriptions, with the track looked up via `document`. */
 export const subscriptions = subscriptionsForRoot(() => document);
 // VIEW
@@ -244,21 +238,21 @@ const keyToDirection = (key) => M.value(key).pipe(M.withReturnType(), M.whenOr('
 const percentString = (fraction) => `${Math.round(fraction * 10000) / 100}%`;
 /** 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 const view = (config) => {
+export const view = defineView((model, viewInputs) => {
     const h = html();
-    const { model, toParentMessage, formatValue, isDisabled = false, name, getTrackRoot = () => document, } = config;
+    const { formatValue, isDisabled = false, name, getTrackRoot = () => document, } = viewInputs;
     const { id, value, min, max } = model;
     const isDragging = model.dragState._tag === 'Dragging';
     const fraction = fractionOfValue(model);
-    const handleKeyDown = (key) => Option.map(keyToDirection(key), direction => toParentMessage(PressedKeyboardNavigation({ direction })));
-    const pointerAtClientX = (clientX) => Option.map(trackElement(id, getTrackRoot()), element => toParentMessage(PressedPointer({
+    const handleKeyDown = (key) => Option.map(keyToDirection(key), direction => PressedKeyboardNavigation({ direction }));
+    const pointerAtClientX = (clientX) => Option.map(trackElement(id, getTrackRoot()), element => PressedPointer({
         value: valueFromClientX(clientX, element, min, max),
-    })));
+    }));
     const trackPointerHandler = (_pointerType, button, _screenX, _screenY, _timeStamp, clientX) => pipe(button, Option.liftPredicate(Equal.equals(LEFT_MOUSE_BUTTON)), Option.flatMap(() => pointerAtClientX(clientX)));
-    const thumbPointerHandler = (_pointerType, button) => pipe(button, Option.liftPredicate(Equal.equals(LEFT_MOUSE_BUTTON)), Option.map(() => toParentMessage(PressedThumb())));
+    const thumbPointerHandler = (_pointerType, button) => pipe(button, Option.liftPredicate(Equal.equals(LEFT_MOUSE_BUTTON)), Option.map(() => PressedThumb()));
     const stateAttributes = [
         ...(isDragging ? [h.DataAttribute('dragging', '')] : []),
         ...(isDisabled ? [h.DataAttribute('disabled', '')] : []),
@@ -289,11 +283,11 @@ export const view = (config) => {
         ...stateAttributes,
     ];
     const resolveThumbLabel = () => {
-        if (config.ariaLabel !== undefined) {
-            return [h.AriaLabel(config.ariaLabel)];
+        if (viewInputs.ariaLabel !== undefined) {
+            return [h.AriaLabel(viewInputs.ariaLabel)];
         }
-        else if (config.ariaLabelledBy !== undefined) {
-            return [h.AriaLabelledBy(config.ariaLabelledBy)];
+        else if (viewInputs.ariaLabelledBy !== undefined) {
+            return [h.AriaLabelledBy(viewInputs.ariaLabelledBy)];
         }
         else {
             return [h.AriaLabelledBy(labelId(id))];
@@ -331,22 +325,12 @@ export const view = (config) => {
     const hiddenInputAttributes = name !== undefined
         ? [h.Type('hidden'), h.Name(name), h.Value(value.toString())]
         : [];
-    return config.toView({
-        root: rootAttributes,
-        track: trackAttributes,
-        filledTrack: filledTrackAttributes,
-        thumb: thumbAttributes,
-        label: labelAttributes,
-        hiddenInput: hiddenInputAttributes,
+    return viewInputs.toView({
+        root: childAttributes(rootAttributes),
+        track: childAttributes(trackAttributes),
+        filledTrack: childAttributes(filledTrackAttributes),
+        thumb: childAttributes(thumbAttributes),
+        label: childAttributes(labelAttributes),
+        hiddenInput: childAttributes(hiddenInputAttributes),
     });
-};
-/** Creates a memoized slider 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]);
-};
+});

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

@@ -1,3 +1,3 @@
-export { init, update, setRange, setValue, view, lazy, subscriptions, subscriptionsForRoot, fractionOfValue, Model, Message, OutMessage, SubscriptionDependencies, } from './index.js';
-export type { InitConfig, ViewConfig, SliderAttributes, PressedThumb, PressedPointer, MovedDragPointer, ReleasedDragPointer, CancelledDrag, PressedKeyboardNavigation, } from './index.js';
+export { init, update, reflectRange, reflectValue, view, subscriptions, subscriptionsForRoot, fractionOfValue, Model, Message, OutMessage, } from './index.js';
+export type { InitConfig, ViewInputs, SliderAttributes, PressedThumb, PressedPointer, MovedDragPointer, ReleasedDragPointer, CancelledDrag, PressedKeyboardNavigation, } from './index.js';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/slider/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,KAAK,EACL,OAAO,EACP,UAAU,EACV,wBAAwB,GACzB,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,EACb,yBAAyB,GAC1B,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/slider/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,YAAY,EACZ,YAAY,EACZ,IAAI,EACJ,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,KAAK,EACL,OAAO,EACP,UAAU,GACX,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,EACb,yBAAyB,GAC1B,MAAM,YAAY,CAAA"}

package/dist/ui/slider/public.js

@@ -1 +1 @@
-export { init, update, setRange, setValue, view, lazy, subscriptions, subscriptionsForRoot, fractionOfValue, Model, Message, OutMessage, SubscriptionDependencies, } from './index.js';
+export { init, update, reflectRange, reflectValue, view, subscriptions, subscriptionsForRoot, fractionOfValue, Model, Message, OutMessage, } from './index.js';