foldkit 0.100.1 → 0.102.0

package/dist/ui/tooltip/index.js

@@ -1,13 +1,13 @@
-import { Duration, Effect, Equal, Match as M, Number, Option, Schema as S, } from 'effect';
+import { Duration, Effect, Equal, Function, Match as M, Number, Option, Schema as S, } from 'effect';
 import * as Command from '../../command/index.js';
 import { OptionExt } from '../../effectExtensions/index.js';
-import { createLazy, html, } from '../../html/index.js';
+import { childAttributes, defineView, html, } from '../../html/index.js';
 import { m } from '../../message/index.js';
 import * as Mount from '../../mount/index.js';
 import { evo } from '../../struct/index.js';
 import { AnchorConfig, anchorSetup } from '../anchor.js';
 // MODEL
-/** Schema for the tooltip component's state. `isOpen` is visibility; `isHovered` tracks pointer on trigger; `isFocused` tracks tooltip-affirming focus on the trigger (focus arriving without a preceding mouse press — keyboard, touch, or pen; mouse-click-induced focus is excluded since it doesn't affirm the user wants the tooltip visible); `isDismissed` suppresses re-opening after the user dismissed the tooltip (via Escape or left-click) until they disengage (leave or blur). `showDelay` is the hover-to-show duration. `maybeLastPointerType` records the most recent pointer type that pressed the trigger, so a mouse-click-induced focus can be distinguished from other focus. */
+/** Schema for the tooltip component's state. `isOpen` is visibility; `isHovered` tracks pointer on trigger; `isFocused` tracks tooltip-affirming focus on the trigger (focus arriving without a preceding mouse press, like keyboard, touch, or pen; mouse-click-induced focus is excluded since it doesn't affirm the user wants the tooltip visible); `isDismissed` suppresses re-opening after the user dismissed the tooltip (via Escape or left-click) until they disengage (leave or blur). `showDelay` is the hover-to-show duration. `maybeLastPointerType` records the most recent pointer type that pressed the trigger, so a mouse-click-induced focus can be distinguished from other focus. */
 export const Model = S.Struct({
     id: S.String,
     isOpen: S.Boolean,
@@ -19,30 +19,26 @@ export const Model = S.Struct({
     maybeLastPointerType: S.Option(S.String),
 });
 // MESSAGE
-/** Sent when the pointer enters the tooltip trigger. Starts the show-delay timer. */
+/** Sent when the pointer enters the tooltip trigger. */
 export const EnteredTrigger = m('EnteredTrigger');
-/** Sent when the pointer leaves the tooltip trigger. Cancels any pending show-delay and hides the tooltip unless focus is active. */
+/** Sent when the pointer leaves the tooltip trigger. */
 export const LeftTrigger = m('LeftTrigger');
-/** Sent when focus enters the trigger. Shows the tooltip immediately unless the focus was caused by a mouse press, in which case the hover-delay path handles it instead. */
+/** Sent when focus enters the trigger. */
 export const FocusedTrigger = m('FocusedTrigger');
-/** Sent when focus leaves the trigger. Hides the tooltip unless hover is active. */
+/** Sent when focus leaves the trigger. */
 export const BlurredTrigger = m('BlurredTrigger');
-/** Sent when Escape is pressed while the tooltip is visible. Hides the tooltip and flags `isDismissed` so hover and focus do not re-open it until the user disengages (leaves or blurs the trigger). */
+/** Sent when Escape is pressed while the tooltip is visible. */
 export const PressedEscape = m('PressedEscape');
-/** Sent when a pointer presses the trigger. Records the pointer type so a following focus event from the same mouse click can be suppressed, and a left-click on an open tooltip dismisses it (the user is clicking the button for its action, not to keep the tooltip visible). */
+/** Sent when a pointer presses the trigger. */
 export const PressedPointerOnTrigger = m('PressedPointerOnTrigger', {
     pointerType: S.String,
     button: S.Number,
 });
-/** Sent when the show-delay timer fires. Carries a generation number that is compared against the current pending version to discard stale timers. */
+/** Sent when the show-delay timer fires. */
 export const ElapsedShowDelay = m('ElapsedShowDelay', {
     version: S.Number,
 });
-/** Signals that the show-delay has changed (e.g. in response to a user preference, input-method change, or reduced-motion setting). Does not affect the current open/closed state; the new delay applies to the next hover. Typically dispatched via the `setShowDelay` helper. */
-export const ChangedShowDelay = m('ChangedShowDelay', {
-    showDelay: S.DurationFromMillis,
-});
-/** Sent when the tooltip panel mounts and Floating UI has positioned it. Update no-ops; the side effect is the act of positioning, surfaced for DevTools observability. */
+/** Sent when the tooltip panel mounts and Floating UI has positioned it. */
 export const CompletedAnchorTooltip = m('CompletedAnchorTooltip');
 /** Union of all messages the tooltip component can produce. */
 export const Message = S.Union([
@@ -53,9 +49,17 @@ export const Message = S.Union([
     PressedEscape,
     PressedPointerOnTrigger,
     ElapsedShowDelay,
-    ChangedShowDelay,
     CompletedAnchorTooltip,
 ]);
+// OUT MESSAGE
+/** Emitted once the tooltip transitions to visible (`isOpen` becomes true).
+ *  Consumers typically use this for analytics, instrumentation, or to
+ *  coordinate with other transient UI. */
+export const Shown = m('Shown');
+/** Emitted once the tooltip transitions to hidden (`isOpen` becomes false). */
+export const Hidden = m('Hidden');
+/** Union of out-messages the tooltip component can produce. */
+export const OutMessage = S.Union([Shown, Hidden]);
 // INIT
 const DEFAULT_SHOW_DELAY = Duration.millis(500);
 const LEFT_MOUSE_BUTTON = 0;
@@ -73,11 +77,9 @@ export const init = (config) => ({
     maybeLastPointerType: Option.none(),
 });
 const withUpdateReturn = M.withReturnType();
-/** Waits for the tooltip's show delay before emitting `ElapsedShowDelay`. The version is echoed back so a stale timer is ignored when the user leaves before the delay fires. */
+/** Waits for the tooltip's show delay before emitting `ElapsedShowDelay`. */
 export const ShowAfterDelay = Command.define('ShowAfterDelay', { delay: S.DurationFromMillis, version: S.Number }, ElapsedShowDelay)(({ delay, version }) => Effect.sleep(delay).pipe(Effect.as(ElapsedShowDelay({ version }))));
-/** The anchor-positioning Mount this Tooltip renders on its panel. Exposed so
- *  Scene tests can call `Scene.Mount.resolve(AnchorTooltip, CompletedAnchorTooltip())`
- *  to acknowledge the mount produced by the rendered panel. */
+/** The anchor-positioning Mount this Tooltip renders on its panel. */
 export const AnchorTooltip = Mount.define('AnchorTooltip', { buttonId: S.String, anchor: AnchorConfig }, CompletedAnchorTooltip)(({ buttonId, anchor }) => element => Effect.gen(function* () {
     yield* Effect.acquireRelease(Effect.sync(() => anchorSetup({
         buttonId,
@@ -86,8 +88,7 @@ export const AnchorTooltip = Mount.define('AnchorTooltip', { buttonId: S.String,
     })(element)), cleanup => Effect.sync(cleanup));
     return CompletedAnchorTooltip();
 }));
-/** Processes a tooltip message and returns the next model and commands. */
-export const update = (model, message) => M.value(message).pipe(withUpdateReturn, M.tagsExhaustive({
+const computeUpdate = (model, message) => M.value(message).pipe(withUpdateReturn, M.tagsExhaustive({
     EnteredTrigger: () => {
         if (model.isOpen || model.isDismissed) {
             return [evo(model, { isHovered: () => true }), []];
@@ -186,21 +187,36 @@ export const update = (model, message) => M.value(message).pipe(withUpdateReturn
         }
         return [evo(model, { isOpen: () => true }), []];
     },
-    ChangedShowDelay: ({ showDelay }) => [
-        evo(model, { showDelay: () => showDelay }),
-        [],
-    ],
     CompletedAnchorTooltip: () => [model, []],
 }));
-/** Programmatically updates the tooltip's hover show-delay. Use this in response to user preference changes, input-method switches, or reduced-motion settings. The new delay applies to the next hover; any pending timer is unaffected (its stale version will discard harmlessly when it fires). */
-export const setShowDelay = (model, showDelay) => update(model, ChangedShowDelay({ showDelay: Duration.fromInputUnsafe(showDelay) }));
-/** Renders a headless tooltip with an anchored non-interactive panel. Shows on hover (after delay) or focus (from keyboard, touch, or pen; mouse-click focus is excluded); hides on leave, blur, Escape, or left-click of the trigger. Uses `role="tooltip"` and links the trigger via `aria-describedby`. */
-export const view = (config) => {
+/** Processes a tooltip message and returns the next model, commands, and
+ *  an optional OutMessage. `Shown`/`Hidden` fire only on `isOpen`
+ *  transitions, so consumers don't get spurious events for messages that
+ *  only update hover/focus/delay state without changing visibility. */
+export const update = (model, message) => {
+    const [nextModel, commands] = computeUpdate(model, message);
+    const maybeOutMessage = !model.isOpen && nextModel.isOpen
+        ? Option.some(Shown())
+        : model.isOpen && !nextModel.isOpen
+            ? Option.some(Hidden())
+            : Option.none();
+    return [nextModel, commands, maybeOutMessage];
+};
+/** Reflects an externally-sourced hover show-delay onto the model without
+ *  emitting an OutMessage. Use to mirror an external config value (a user
+ *  preference, a restored setting) onto the tooltip. */
+export const reflectShowDelay = Function.dual(2, (model, showDelay) => evo(model, { showDelay: () => Duration.fromInputUnsafe(showDelay) }));
+/** Renders a headless tooltip with an anchored non-interactive panel.
+ *  Shows on hover (after delay) or focus (from keyboard, touch, or pen;
+ *  mouse-click focus is excluded); hides on leave, blur, Escape, or
+ *  left-click of the trigger. */
+export const view = defineView((model, viewInputs) => {
     const h = html();
-    const { model: { id, isOpen }, toParentMessage, anchor, triggerContent, triggerClassName, triggerAttributes = [], content, panelClassName, panelAttributes = [], isDisabled, className, attributes = [], } = config;
-    const handleTriggerKeyDown = (key) => M.value(key).pipe(M.when('Escape', () => OptionExt.when(isOpen, toParentMessage(PressedEscape()))), M.orElse(() => Option.none()));
-    const handleTriggerPointerDown = (pointerType, button) => Option.some(toParentMessage(PressedPointerOnTrigger({ pointerType, button })));
-    const resolvedTriggerAttributes = [
+    const { id, isOpen } = model;
+    const { anchor, toView, isDisabled } = viewInputs;
+    const handleTriggerKeyDown = (key) => M.value(key).pipe(M.when('Escape', () => OptionExt.when(isOpen, PressedEscape())), M.orElse(() => Option.none()));
+    const handleTriggerPointerDown = (pointerType, button) => Option.some(PressedPointerOnTrigger({ pointerType, button }));
+    const triggerAttributes = [
         h.Id(`${id}-trigger`),
         h.Type('button'),
         h.AriaDescribedBy(`${id}-panel`),
@@ -208,54 +224,29 @@ export const view = (config) => {
         ...(isDisabled
             ? [h.AriaDisabled(true), h.DataAttribute('disabled', '')]
             : [
-                h.OnMouseEnter(toParentMessage(EnteredTrigger())),
-                h.OnMouseLeave(toParentMessage(LeftTrigger())),
-                h.OnFocus(toParentMessage(FocusedTrigger())),
-                h.OnBlur(toParentMessage(BlurredTrigger())),
+                h.OnMouseEnter(EnteredTrigger()),
+                h.OnMouseLeave(LeftTrigger()),
+                h.OnFocus(FocusedTrigger()),
+                h.OnBlur(BlurredTrigger()),
                 h.OnKeyDownPreventDefault(handleTriggerKeyDown),
                 h.OnPointerDown(handleTriggerPointerDown),
             ]),
-        ...(triggerClassName ? [h.Class(triggerClassName)] : []),
-        ...triggerAttributes,
     ];
-    const anchorTooltip = Mount.mapMessage(AnchorTooltip({ buttonId: `${id}-trigger`, anchor }), toParentMessage);
-    const anchorAttributes = [
+    const panelAttributes = [
+        h.Id(`${id}-panel`),
+        h.Role('tooltip'),
         h.Style({
             position: 'absolute',
             margin: '0',
             visibility: 'hidden',
             pointerEvents: 'none',
         }),
-        h.OnMount(anchorTooltip),
-    ];
-    const resolvedPanelAttributes = [
-        h.Id(`${id}-panel`),
-        h.Role('tooltip'),
-        ...anchorAttributes,
+        h.OnMount(AnchorTooltip({ buttonId: `${id}-trigger`, anchor })),
         ...(isOpen ? [h.DataAttribute('open', '')] : []),
-        ...(panelClassName ? [h.Class(panelClassName)] : []),
-        ...panelAttributes,
-    ];
-    const wrapperAttributes = [
-        ...(className ? [h.Class(className)] : []),
-        ...attributes,
     ];
-    return h.div(wrapperAttributes, [
-        h.keyed('button')(`${id}-trigger`, resolvedTriggerAttributes, [
-            triggerContent,
-        ]),
-        ...(isOpen
-            ? [h.keyed('div')(`${id}-panel`, resolvedPanelAttributes, [content])]
-            : []),
-    ]);
-};
-/** Creates a memoized tooltip 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]);
-};
+    return toView({
+        trigger: childAttributes(triggerAttributes),
+        panel: childAttributes(panelAttributes),
+        isVisible: isOpen,
+    });
+});

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

@@ -1,4 +1,4 @@
-export { init, update, view, lazy, setShowDelay, Model, Message, EnteredTrigger, LeftTrigger, FocusedTrigger, BlurredTrigger, PressedEscape, PressedPointerOnTrigger, ElapsedShowDelay, ChangedShowDelay, ShowAfterDelay, CompletedAnchorTooltip, AnchorTooltip, } from './index.js';
-export type { InitConfig, ViewConfig } from './index.js';
+export { init, update, view, reflectShowDelay, Model, Message, OutMessage, Shown, Hidden, EnteredTrigger, LeftTrigger, FocusedTrigger, BlurredTrigger, PressedEscape, PressedPointerOnTrigger, ElapsedShowDelay, ShowAfterDelay, CompletedAnchorTooltip, AnchorTooltip, } from './index.js';
+export type { InitConfig, ViewInputs, RenderInfo } from './index.js';
 export type { AnchorConfig } from '../anchor.js';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/tooltip/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,YAAY,EACZ,KAAK,EACL,OAAO,EACP,cAAc,EACd,WAAW,EACX,cAAc,EACd,cAAc,EACd,aAAa,EACb,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,sBAAsB,EACtB,aAAa,GACd,MAAM,YAAY,CAAA;AAEnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAExD,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/tooltip/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,gBAAgB,EAChB,KAAK,EACL,OAAO,EACP,UAAU,EACV,KAAK,EACL,MAAM,EACN,cAAc,EACd,WAAW,EACX,cAAc,EACd,cAAc,EACd,aAAa,EACb,uBAAuB,EACvB,gBAAgB,EAChB,cAAc,EACd,sBAAsB,EACtB,aAAa,GACd,MAAM,YAAY,CAAA;AAEnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAEpE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA"}

package/dist/ui/tooltip/public.js

@@ -1 +1 @@
-export { init, update, view, lazy, setShowDelay, Model, Message, EnteredTrigger, LeftTrigger, FocusedTrigger, BlurredTrigger, PressedEscape, PressedPointerOnTrigger, ElapsedShowDelay, ChangedShowDelay, ShowAfterDelay, CompletedAnchorTooltip, AnchorTooltip, } from './index.js';
+export { init, update, view, reflectShowDelay, Model, Message, OutMessage, Shown, Hidden, EnteredTrigger, LeftTrigger, FocusedTrigger, BlurredTrigger, PressedEscape, PressedPointerOnTrigger, ElapsedShowDelay, ShowAfterDelay, CompletedAnchorTooltip, AnchorTooltip, } from './index.js';

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

@@ -1,6 +1,6 @@
-import { Effect, Option, Schema as S } from 'effect';
+import { Effect, Option, Schema as S, Stream } from 'effect';
 import * as Command from '../../command/index.js';
-import { type Attribute, type Html, type TagName } from '../../html/index.js';
+import { type ChildAttribute, type Html, type SubmodelView, type TagName } from '../../html/index.js';
 /** Schema for the virtual list's state. Tracks scroll position, container
  *  measurement, and any in-flight programmatic scroll. */
 export declare const Model: S.Struct<{
@@ -123,13 +123,6 @@ export declare const visibleWindow: (model: Model, itemCount: number, overscan:
  *
  *  Returns `Option.none()` when the container has not yet been measured. */
 export declare const visibleWindowVariable: <Item>(model: Model, items: ReadonlyArray<Item>, itemToRowHeightPx: (item: Item, index: number) => number, overscan: number) => Option.Option<VisibleWindow>;
-/** Schema describing the subscription dependencies for container scroll and
- *  resize tracking. */
-export declare const SubscriptionDependencies: S.Struct<{
-    readonly containerEvents: S.Struct<{
-        readonly id: S.String;
-    }>;
-}>;
 /** Subscriptions that track the container's scroll position and size.
  *
  *  - **scroll**: listens for `scroll` events on the container element and
@@ -143,87 +136,77 @@ export declare const SubscriptionDependencies: S.Struct<{
  *  makes the subscription robust across SPA route changes: navigating to a
  *  page that mounts the list, away, and back all reattach correctly without
  *  the consumer having to teach the framework about navigation. */
-export declare const subscriptions: import("../../runtime/subscription.js").Subscriptions<{
-    readonly id: string;
-    readonly rowHeightPx: number;
-    readonly scrollTop: number;
-    readonly measurement: {
-        readonly _tag: "Unmeasured";
-    } | {
-        readonly _tag: "Measured";
-        readonly containerHeight: number;
-    };
-    readonly pendingScroll: {
-        readonly _tag: "Idle";
-    } | {
-        readonly _tag: "ScrollingToIndex";
-        readonly index: number;
-        readonly version: number;
+export declare const subscriptions: {
+    readonly containerEvents: {
+        readonly dependenciesSchema: S.Schema<{
+            readonly id: string;
+        }> & {
+            readonly fields: S.Struct.Fields;
+        };
+        readonly modelToDependencies: (model: {
+            readonly id: string;
+            readonly rowHeightPx: number;
+            readonly scrollTop: number;
+            readonly measurement: {
+                readonly _tag: "Unmeasured";
+            } | {
+                readonly _tag: "Measured";
+                readonly containerHeight: number;
+            };
+            readonly pendingScroll: {
+                readonly _tag: "Idle";
+            } | {
+                readonly _tag: "ScrollingToIndex";
+                readonly index: number;
+                readonly version: number;
+            };
+            readonly pendingScrollVersion: number;
+        }) => {
+            readonly id: string;
+        };
+        readonly keepAliveEquivalence?: never;
+        readonly dependenciesToStream: (dependencies: {
+            readonly id: string;
+        }) => Stream.Stream<{
+            readonly _tag: "ScrolledContainer";
+            readonly scrollTop: number;
+        } | {
+            readonly _tag: "MeasuredContainer";
+            readonly containerHeight: number;
+        } | {
+            readonly _tag: "CompletedApplyScroll";
+            readonly version: number;
+        }, never, never>;
+    } & {
+        readonly __subscription: never;
     };
-    readonly pendingScrollVersion: number;
-}, {
-    readonly _tag: "ScrolledContainer";
-    readonly scrollTop: number;
-} | {
-    readonly _tag: "MeasuredContainer";
-    readonly containerHeight: number;
-} | {
-    readonly _tag: "CompletedApplyScroll";
-    readonly version: number;
-}, S.Struct<{
-    readonly containerEvents: S.Struct<{
-        readonly id: S.String;
-    }>;
-}>, never>;
-/** Configuration for rendering a virtual list with `view`.
+};
+/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
  *
- *  VirtualList does not take a `toParentMessage` callback. All input
+ *  VirtualList does not surface event handlers in the view. All input
  *  (scroll events and resize observations) flows through the
- *  `containerEvents` Subscription, not through view-bound handlers.
- *  Consumers wrap the subscription's stream into their parent Message in
- *  their own `subscriptions` definition. */
-export type ViewConfig<ParentMessage, Item> = Readonly<{
-    model: Model;
+ *  `containerEvents` Subscription. The consumer wraps that
+ *  Subscription's stream into their parent Message in their own
+ *  `subscriptions` definition. */
+export type ViewInputs<Item> = Readonly<{
     items: ReadonlyArray<Item>;
     itemToKey: (item: Item, index: number) => string;
     itemToView: (item: Item, index: number) => Html;
-    /** Optional per-item row height in pixels. When provided, the list renders
-     *  with variable-height rows: each row's wrapper takes the height returned
-     *  by this callback, and scroll math walks the items to compute the visible
-     *  slice and spacers. When absent, all rows use `model.rowHeightPx`. Use
-     *  this for tables with wrapping cells, taller detail rows, or any list
-     *  where rows differ. Prefer the uniform `rowHeightPx` path when row
-     *  heights are stable: it avoids the per-render walk over `items`. */
     itemToRowHeightPx?: (item: Item, index: number) => number;
-    /** Number of rows rendered above and below the visible viewport. Higher
-     *  values smooth out fast scroll at the cost of mounting more DOM. Default
-     *  is 5; react-window uses 1 and react-virtualized uses 3. Pick a value
-     *  that suits the row's mount cost. */
     overscan?: number;
     rowElement?: TagName;
-    className?: string;
-    attributes?: ReadonlyArray<Attribute<ParentMessage>>;
+    containerClassName?: string;
+    containerAttributes?: ReadonlyArray<ChildAttribute>;
 }>;
 /** Renders a virtualized list. Only items inside the viewport (plus an
- *  overscan buffer) are mounted; spacer elements above and below the slice
- *  keep the scrollbar's apparent total height correct.
- *
- *  Items must be keyed via `itemToKey` so the VDOM matches `row 150` to
- *  `row 150` after the slice shifts during scroll, rather than matching by
- *  position and producing stale DOM.
- *
- *  Each row wrapper is rendered with `display: grid` so the consumer's
- *  `itemToView` content fills the configured `rowHeightPx` and the full row
- *  width. Use flex/grid with `align-items: center` inside `itemToView` to
- *  vertically center content within the row.
+ *  overscan buffer) are mounted; spacer elements above and below the
+ *  slice keep the scrollbar's apparent total height correct.
  *
- *  Each row carries `aria-setsize` (total item count) and `aria-posinset`
- *  (1-based logical row index) so screen readers announce the full list
- *  size and each row's position within it, rather than the much smaller
- *  count of currently mounted rows. */
-export declare const view: <ParentMessage, Item>(config: ViewConfig<ParentMessage, Item>) => Html;
-/** Creates a memoized virtual list view. Static config is captured in a
- *  closure; only `model` and `items` are compared per render via
- *  `createLazy`. */
-export declare const lazy: <ParentMessage, Item>(staticConfig: Omit<ViewConfig<ParentMessage, Item>, "model" | "items">) => ((model: Model, items: ReadonlyArray<Item>) => Html);
+ *  Generic over `Item`: call as `Ui.VirtualList.view<MyItem>()` at the
+ *  embed site to get a `SubmodelView` typed for your item type. The
+ *  underlying view implementation is shared; the call only narrows the
+ *  type. */
+type ViewForItem<Item> = SubmodelView<Model, Message, ViewInputs<Item>>;
+export declare const view: <Item>() => ViewForItem<Item>;
+export {};
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/virtualList/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;AACjD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,IAAI,EACT,KAAK,OAAO,EAGb,MAAM,qBAAqB,CAAA;AA6B5B;0DAC0D;AAC1D,eAAO,MAAM,KAAK;;;;;;;;;;;;EAOhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;kCACkC;AAClC,eAAO,MAAM,iBAAiB;;EAE5B,CAAA;AACF;uCACuC;AACvC,eAAO,MAAM,iBAAiB;;EAE5B,CAAA;AACF;8DAC8D;AAC9D,eAAO,MAAM,oBAAoB;;EAE/B,CAAA;AAEF,oEAAoE;AACpE,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,iBAAiB;IACxB,OAAO,iBAAiB;IACxB,OAAO,oBAAoB;CAC5B,CACsE,CAAA;AAEzE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAC7D,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,mEAAmE;AACnE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAC,CAAA;AAEF;;kBAEkB;AAClB,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAOxC,CAAA;AAIF,eAAO,MAAM,WAAW;;;;;;;iBAYvB,CAAA;AAED,gFAAgF;AAChF,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAmDxD,CAAA;AAuBH;;;;;;;;;;;;;;;+BAe+B;AAC/B,eAAO,MAAM,aAAa,GACxB,OAAO,KAAK,EACZ,OAAO,MAAM,KACZ,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CACE,CAAA;AAE7D;;;;;;;;;;;;mCAYmC;AACnC,eAAO,MAAM,qBAAqB,GAAI,IAAI,EACxC,OAAO,KAAK,EACZ,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EACxD,OAAO,MAAM,KACZ,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAQ1D,CAAA;AAID;;oDAEoD;AACpD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,eAAe,EAAE,MAAM,CAAA;IACvB,kBAAkB,EAAE,MAAM,CAAA;CAC3B,CAAC,CAAA;AAoBF;;;;;;;;yCAQyC;AACzC,eAAO,MAAM,aAAa,GACxB,OAAO,KAAK,EACZ,WAAW,MAAM,EACjB,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CA2B3B,CAAA;AAEH;;;;;;;;;;4EAU4E;AAC5E,eAAO,MAAM,qBAAqB,GAAI,IAAI,EACxC,OAAO,KAAK,EACZ,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EACxD,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CAkD3B,CAAA;AAOH;uBACuB;AACvB,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AAEF;;;;;;;;;;;;mEAYmE;AACnE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAmHxB,CAAA;AAMF;;;;;;4CAM4C;AAC5C,MAAM,MAAM,UAAU,CAAC,aAAa,EAAE,IAAI,IAAI,QAAQ,CAAC;IACrD,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IAChD,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC/C;;;;;;0EAMsE;IACtE,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACzD;;;2CAGuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;CACrD,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;uCAgBuC;AACvC,eAAO,MAAM,IAAI,GAAI,aAAa,EAAE,IAAI,EACtC,QAAQ,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,KACtC,IAoFF,CAAA;AAED;;oBAEoB;AACpB,eAAO,MAAM,IAAI,GAAI,aAAa,EAAE,IAAI,EACtC,cAAc,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,KACrE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,IAAI,CAarD,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/virtualList/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAGN,MAAM,EAEN,MAAM,IAAI,CAAC,EACX,MAAM,EAEP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,OAAO,EAIb,MAAM,qBAAqB,CAAA;AA6B5B;0DAC0D;AAC1D,eAAO,MAAM,KAAK;;;;;;;;;;;;EAOhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;kCACkC;AAClC,eAAO,MAAM,iBAAiB;;EAE5B,CAAA;AACF;uCACuC;AACvC,eAAO,MAAM,iBAAiB;;EAE5B,CAAA;AACF;8DAC8D;AAC9D,eAAO,MAAM,oBAAoB;;EAE/B,CAAA;AAEF,oEAAoE;AACpE,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,iBAAiB;IACxB,OAAO,iBAAiB;IACxB,OAAO,oBAAoB;CAC5B,CACsE,CAAA;AAEzE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAC7D,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,mEAAmE;AACnE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAC,CAAA;AAEF;;kBAEkB;AAClB,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAOxC,CAAA;AAIF,eAAO,MAAM,WAAW;;;;;;;iBAYvB,CAAA;AAED,gFAAgF;AAChF,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAmDxD,CAAA;AAuBH;;;;;;;;;;;;;;;+BAe+B;AAC/B,eAAO,MAAM,aAAa,GACxB,OAAO,KAAK,EACZ,OAAO,MAAM,KACZ,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CACE,CAAA;AAE7D;;;;;;;;;;;;mCAYmC;AACnC,eAAO,MAAM,qBAAqB,GAAI,IAAI,EACxC,OAAO,KAAK,EACZ,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EACxD,OAAO,MAAM,KACZ,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAQ1D,CAAA;AAID;;oDAEoD;AACpD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,eAAe,EAAE,MAAM,CAAA;IACvB,kBAAkB,EAAE,MAAM,CAAA;CAC3B,CAAC,CAAA;AAoBF;;;;;;;;yCAQyC;AACzC,eAAO,MAAM,aAAa,GACxB,OAAO,KAAK,EACZ,WAAW,MAAM,EACjB,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CA2B3B,CAAA;AAEH;;;;;;;;;;4EAU4E;AAC5E,eAAO,MAAM,qBAAqB,GAAI,IAAI,EACxC,OAAO,KAAK,EACZ,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EACxD,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CAkD3B,CAAA;AAcH;;;;;;;;;;;;mEAYmE;AACnE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8GvB,CAAA;AAMH;;;;;;kCAMkC;AAClC,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,QAAQ,CAAC;IACtC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IAChD,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC/C,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACzD,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,mBAAmB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACpD,CAAC,CAAA;AAEF;;;;;;;YAOY;AACZ,KAAK,WAAW,CAAC,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;AAEvE,eAAO,MAAM,IAAI,GAAI,IAAI,OAEA,WAAW,CAAC,IAAI,CAAC,CAAA"}

package/dist/ui/virtualList/index.js

@@ -1,8 +1,8 @@
 import { Array, Effect, Match as M, Number, Option, Queue, Schema as S, Stream, pipe, } from 'effect';
 import * as Command from '../../command/index.js';
-import { createLazy, html, } from '../../html/index.js';
+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
@@ -235,13 +235,6 @@ export const visibleWindowVariable = (model, items, itemToRowHeightPx, overscan)
 }));
 // SUBSCRIPTION
 const containerElement = (id) => Option.fromNullishOr(document.getElementById(id));
-/** Schema describing the subscription dependencies for container scroll and
- *  resize tracking. */
-export const SubscriptionDependencies = S.Struct({
-    containerEvents: S.Struct({
-        id: S.String,
-    }),
-});
 /** Subscriptions that track the container's scroll position and size.
  *
  *  - **scroll**: listens for `scroll` events on the container element and
@@ -255,8 +248,8 @@ export const SubscriptionDependencies = S.Struct({
  *  makes the subscription robust across SPA route changes: navigating to a
  *  page that mounts the list, away, and back all reattach correctly without
  *  the consumer having to teach the framework about navigation. */
-export const subscriptions = makeSubscriptions(SubscriptionDependencies)({
-    containerEvents: {
+export const subscriptions = Subscription.make()(entry => ({
+    containerEvents: entry({ id: S.String }, {
         modelToDependencies: model => ({ id: model.id }),
         dependenciesToStream: ({ id }) => Stream.callback(queue => Effect.acquireRelease(Effect.sync(() => {
             const state = {
@@ -335,31 +328,17 @@ export const subscriptions = makeSubscriptions(SubscriptionDependencies)({
             }
             detach();
         })).pipe(Effect.flatMap(() => Effect.never))),
-    },
-});
+    }),
+}));
 // VIEW
 const DEFAULT_OVERSCAN = 5;
-/** Renders a virtualized list. Only items inside the viewport (plus an
- *  overscan buffer) are mounted; spacer elements above and below the slice
- *  keep the scrollbar's apparent total height correct.
- *
- *  Items must be keyed via `itemToKey` so the VDOM matches `row 150` to
- *  `row 150` after the slice shifts during scroll, rather than matching by
- *  position and producing stale DOM.
- *
- *  Each row wrapper is rendered with `display: grid` so the consumer's
- *  `itemToView` content fills the configured `rowHeightPx` and the full row
- *  width. Use flex/grid with `align-items: center` inside `itemToView` to
- *  vertically center content within the row.
- *
- *  Each row carries `aria-setsize` (total item count) and `aria-posinset`
- *  (1-based logical row index) so screen readers announce the full list
- *  size and each row's position within it, rather than the much smaller
- *  count of currently mounted rows. */
-export const view = (config) => {
+export const view = () => 
+/* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+viewImpl;
+const viewImpl = defineView((model, viewInputs) => {
     const h = html();
-    const { model, items, itemToKey, itemToView, itemToRowHeightPx, overscan = DEFAULT_OVERSCAN, rowElement = 'li', className, attributes = [], } = config;
-    const containerAttributes = [
+    const { items, itemToKey, itemToView, itemToRowHeightPx, overscan = DEFAULT_OVERSCAN, rowElement = 'li', containerClassName, containerAttributes = [], } = viewInputs;
+    const baseContainerAttributes = [
         h.Id(model.id),
         h.Role('list'),
         h.DataAttribute('virtual-list-id', model.id),
@@ -369,10 +348,15 @@ export const view = (config) => {
             margin: '0',
             padding: '0',
         }),
-        ...(className !== undefined ? [h.Class(className)] : []),
-        ...attributes,
+        ...(containerClassName !== undefined
+            ? [h.Class(containerClassName)]
+            : []),
+    ];
+    const allContainerAttributes = [
+        ...childAttributes(baseContainerAttributes),
+        ...containerAttributes,
     ];
-    const renderContainer = (children) => h.keyed('ul')(model.id, containerAttributes, children);
+    const renderContainer = (children) => h.keyed('ul')(model.id, allContainerAttributes, children);
     const maybeWindow = itemToRowHeightPx !== undefined
         ? visibleWindowVariable(model, items, itemToRowHeightPx, overscan)
         : visibleWindow(model, items.length, overscan);
@@ -381,7 +365,7 @@ export const view = (config) => {
         : model.rowHeightPx;
     return Option.match(maybeWindow, {
         onNone: () => renderContainer([]),
-        onSome: ({ startIndex, endIndex, topSpacerHeight, bottomSpacerHeight }) => {
+        onSome: ({ startIndex, endIndex, topSpacerHeight, bottomSpacerHeight, }) => {
             const visibleItems = items.slice(startIndex, endIndex);
             const topSpacer = h.keyed('li')(`${model.id}-top-spacer`, [h.Role('presentation'), h.Style({ height: `${topSpacerHeight}px` })], []);
             const bottomSpacer = h.keyed('li')(`${model.id}-bottom-spacer`, [
@@ -404,15 +388,4 @@ export const view = (config) => {
             return renderContainer([topSpacer, ...renderedRows, bottomSpacer]);
         },
     });
-};
-/** Creates a memoized virtual list view. Static config is captured in a
- *  closure; only `model` and `items` are compared per render via
- *  `createLazy`. */
-export const lazy = (staticConfig) => {
-    const lazyView = createLazy();
-    return (model, items) => lazyView((currentModel, currentItems) => view({
-        ...staticConfig,
-        model: currentModel,
-        items: currentItems,
-    }), [model, items]);
-};
+});

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

@@ -1,3 +1,3 @@
-export { init, update, scrollToIndex, scrollToIndexVariable, view, lazy, subscriptions, visibleWindow, visibleWindowVariable, Model, Message, ScrolledContainer, MeasuredContainer, CompletedApplyScroll, SubscriptionDependencies, } from './index.js';
-export type { InitConfig, ViewConfig, VisibleWindow } from './index.js';
+export { init, update, scrollToIndex, scrollToIndexVariable, view, subscriptions, visibleWindow, visibleWindowVariable, Model, Message, ScrolledContainer, MeasuredContainer, CompletedApplyScroll, } from './index.js';
+export type { InitConfig, ViewInputs, VisibleWindow } from './index.js';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/virtualList/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,aAAa,EACb,qBAAqB,EACrB,IAAI,EACJ,IAAI,EACJ,aAAa,EACb,aAAa,EACb,qBAAqB,EACrB,KAAK,EACL,OAAO,EACP,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,YAAY,CAAA;AAEnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/virtualList/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,aAAa,EACb,qBAAqB,EACrB,IAAI,EACJ,aAAa,EACb,aAAa,EACb,qBAAqB,EACrB,KAAK,EACL,OAAO,EACP,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,YAAY,CAAA;AAEnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA"}

package/dist/ui/virtualList/public.js

@@ -1 +1 @@
-export { init, update, scrollToIndex, scrollToIndexVariable, view, lazy, subscriptions, visibleWindow, visibleWindowVariable, Model, Message, ScrolledContainer, MeasuredContainer, CompletedApplyScroll, SubscriptionDependencies, } from './index.js';
+export { init, update, scrollToIndex, scrollToIndexVariable, view, subscriptions, visibleWindow, visibleWindowVariable, Model, Message, ScrolledContainer, MeasuredContainer, CompletedApplyScroll, } from './index.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "foldkit",
-  "version": "0.100.1",
+  "version": "0.102.0",
   "description": "A TypeScript frontend framework, built on Effect and architected like Elm",
   "type": "module",
   "main": "./dist/index.js",