foldkit 0.17.0 → 0.18.0

package/dist/ui/menu/index.js

@@ -0,0 +1,297 @@
+import { Array, Match as M, Option, Schema as S, String as Str, pipe, } from 'effect';
+import { html } from '../../html';
+import { ts } from '../../schema';
+import { evo } from '../../struct';
+import * as Task from '../../task';
+import { findFirstEnabledIndex, keyToIndex, wrapIndex } from '../keyboard';
+// MODEL
+/** Schema for the activation trigger — whether the user interacted via mouse or keyboard. */
+export const ActivationTrigger = S.Literal('Pointer', 'Keyboard');
+/** Schema for the menu component's state, tracking open/closed status, active item, activation trigger, and typeahead search. */
+export const Model = S.Struct({
+    id: S.String,
+    isOpen: S.Boolean,
+    maybeActiveItemIndex: S.OptionFromSelf(S.Number),
+    activationTrigger: ActivationTrigger,
+    searchQuery: S.String,
+    searchVersion: S.Number,
+    maybeLastPointerPosition: S.OptionFromSelf(S.Struct({ screenX: S.Number, screenY: S.Number })),
+});
+// MESSAGE
+/** Sent when the menu opens via button click or keyboard. Contains an optional initial active item index — None for pointer, Some for keyboard. */
+export const Opened = ts('Opened', {
+    maybeActiveItemIndex: S.OptionFromSelf(S.Number),
+});
+/** Sent when the menu closes via Escape key or backdrop click. */
+export const Closed = ts('Closed');
+/** Sent when focus leaves the menu items container via Tab key. */
+export const ClosedByTab = ts('ClosedByTab');
+/** Sent when an item is highlighted via arrow keys or mouse hover. Includes activation trigger. */
+export const ItemActivated = ts('ItemActivated', {
+    index: S.Number,
+    activationTrigger: ActivationTrigger,
+});
+/** Sent when the mouse leaves an enabled item. */
+export const ItemDeactivated = ts('ItemDeactivated');
+/** Sent when an item is selected via Enter, Space, or click. */
+export const ItemSelected = ts('ItemSelected', { index: S.Number });
+/** Sent when a printable character is typed for typeahead search. */
+export const Searched = ts('Searched', {
+    key: S.String,
+    maybeTargetIndex: S.OptionFromSelf(S.Number),
+});
+/** Sent after the search debounce period to clear the accumulated query. */
+export const SearchCleared = ts('SearchCleared', { version: S.Number });
+/** Sent when the pointer moves over a menu item, carrying screen coordinates for tracked-pointer comparison. */
+export const PointerMovedOverItem = ts('PointerMovedOverItem', {
+    index: S.Number,
+    screenX: S.Number,
+    screenY: S.Number,
+});
+/** Placeholder message used when no action is needed. */
+export const NoOp = ts('NoOp');
+/** Union of all messages the menu component can produce. */
+export const Message = S.Union(Opened, Closed, ClosedByTab, ItemActivated, ItemDeactivated, ItemSelected, PointerMovedOverItem, Searched, SearchCleared, NoOp);
+// INIT
+const SEARCH_DEBOUNCE_MILLISECONDS = 350;
+/** Creates an initial menu model from a config. Defaults to closed with no active item. */
+export const init = (config) => ({
+    id: config.id,
+    isOpen: false,
+    maybeActiveItemIndex: Option.none(),
+    activationTrigger: 'Keyboard',
+    searchQuery: '',
+    searchVersion: 0,
+    maybeLastPointerPosition: Option.none(),
+});
+// UPDATE
+const closedModel = (model) => evo(model, {
+    isOpen: () => false,
+    maybeActiveItemIndex: () => Option.none(),
+    activationTrigger: () => 'Keyboard',
+    searchQuery: () => '',
+    searchVersion: () => 0,
+    maybeLastPointerPosition: () => Option.none(),
+});
+const buttonSelector = (id) => `#${id}-button`;
+const itemsSelector = (id) => `#${id}-items`;
+const itemSelector = (id, index) => `#${id}-item-${index}`;
+/** Processes a menu message and returns the next model and commands. */
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    Opened: ({ maybeActiveItemIndex }) => [
+        evo(model, {
+            isOpen: () => true,
+            maybeActiveItemIndex: () => maybeActiveItemIndex,
+            activationTrigger: () => Option.match(maybeActiveItemIndex, {
+                onNone: () => 'Pointer',
+                onSome: () => 'Keyboard',
+            }),
+            searchQuery: () => '',
+            searchVersion: () => 0,
+            maybeLastPointerPosition: () => Option.none(),
+        }),
+        [Task.focus(itemsSelector(model.id), () => NoOp())],
+    ],
+    Closed: () => [
+        closedModel(model),
+        [Task.focus(buttonSelector(model.id), () => NoOp())],
+    ],
+    ClosedByTab: () => [closedModel(model), []],
+    ItemActivated: ({ index, activationTrigger }) => [
+        evo(model, {
+            maybeActiveItemIndex: () => Option.some(index),
+            activationTrigger: () => activationTrigger,
+        }),
+        activationTrigger === 'Keyboard'
+            ? [Task.scrollIntoView(itemSelector(model.id, index), () => NoOp())]
+            : [],
+    ],
+    PointerMovedOverItem: ({ index, screenX, screenY }) => {
+        const isSamePosition = Option.exists(model.maybeLastPointerPosition, (position) => position.screenX === screenX && position.screenY === screenY);
+        if (isSamePosition) {
+            return [model, []];
+        }
+        return [
+            evo(model, {
+                maybeActiveItemIndex: () => Option.some(index),
+                activationTrigger: () => 'Pointer',
+                maybeLastPointerPosition: () => Option.some({ screenX, screenY }),
+            }),
+            [],
+        ];
+    },
+    ItemDeactivated: () => model.activationTrigger === 'Pointer'
+        ? [evo(model, { maybeActiveItemIndex: () => Option.none() }), []]
+        : [model, []],
+    ItemSelected: () => [
+        closedModel(model),
+        [Task.focus(buttonSelector(model.id), () => NoOp())],
+    ],
+    Searched: ({ key, maybeTargetIndex }) => {
+        const nextSearchQuery = model.searchQuery + key;
+        const nextSearchVersion = model.searchVersion + 1;
+        return [
+            evo(model, {
+                searchQuery: () => nextSearchQuery,
+                searchVersion: () => nextSearchVersion,
+                maybeActiveItemIndex: () => Option.orElse(maybeTargetIndex, () => model.maybeActiveItemIndex),
+            }),
+            [
+                Task.delay(SEARCH_DEBOUNCE_MILLISECONDS, () => SearchCleared({ version: nextSearchVersion })),
+            ],
+        ];
+    },
+    SearchCleared: ({ version }) => {
+        if (version !== model.searchVersion) {
+            return [model, []];
+        }
+        return [evo(model, { searchQuery: () => '' }), []];
+    },
+    NoOp: () => [model, []],
+}));
+export const groupContiguous = (items, toKey) => {
+    const tagged = Array.map(items, (item, index) => ({
+        key: toKey(item, index),
+        item,
+    }));
+    return Array.chop(tagged, (nonEmpty) => {
+        const key = Array.headNonEmpty(nonEmpty).key;
+        const [matching, rest] = Array.span(nonEmpty, (tagged) => tagged.key === key);
+        return [{ key, items: Array.map(matching, ({ item }) => item) }, rest];
+    });
+};
+const itemId = (id, index) => `${id}-item-${index}`;
+/** Finds the first enabled item whose search text starts with the query, searching forward from the active item and wrapping around. On a fresh search, starts after the active item; on a refinement, includes the active item. */
+export const resolveTypeaheadMatch = (items, query, maybeActiveItemIndex, isDisabled, itemToSearchText, isRefinement) => {
+    const lowerQuery = Str.toLowerCase(query);
+    const offset = isRefinement ? 0 : 1;
+    const startIndex = Option.match(maybeActiveItemIndex, {
+        onNone: () => 0,
+        onSome: (index) => index + offset,
+    });
+    const isEnabledMatch = (index) => !isDisabled(index) &&
+        pipe(items, Array.get(index), Option.exists((item) => pipe(itemToSearchText(item, index), Str.toLowerCase, Str.startsWith(lowerQuery))));
+    return pipe(items.length, Array.makeBy((step) => wrapIndex(startIndex + step, items.length)), Array.findFirst(isEnabledMatch));
+};
+/** Renders a headless menu with typeahead search, keyboard navigation, and aria-activedescendant focus management. */
+export const view = (config) => {
+    const { div, AriaActiveDescendant, AriaControls, AriaDisabled, AriaExpanded, AriaHasPopup, AriaLabelledBy, Class, DataAttribute, Id, OnBlur, OnClick, OnKeyDownPreventDefault, OnMouseLeave, OnPointerMove, Role, Tabindex, Type, keyed, } = html();
+    const { model: { id, isOpen, maybeActiveItemIndex, searchQuery }, toMessage, items, itemToConfig, isItemDisabled, itemToSearchText = (item) => item, isButtonDisabled, buttonContent, buttonClassName, itemsClassName, backdropClassName, className, itemGroupKey, groupToHeading, groupClassName, separatorClassName, } = config;
+    const isDisabled = (index) => !!isItemDisabled &&
+        pipe(items, Array.get(index), Option.exists((item) => isItemDisabled(item, index)));
+    const firstEnabledIndex = findFirstEnabledIndex(items.length, 0, isDisabled)(0, 1);
+    const lastEnabledIndex = findFirstEnabledIndex(items.length, 0, isDisabled)(items.length - 1, -1);
+    const handleButtonKeyDown = (key) => M.value(key).pipe(M.whenOr('Enter', ' ', 'ArrowDown', () => Option.some(toMessage(Opened({
+        maybeActiveItemIndex: Option.some(firstEnabledIndex),
+    })))), M.when('ArrowUp', () => Option.some(toMessage(Opened({
+        maybeActiveItemIndex: Option.some(lastEnabledIndex),
+    })))), M.orElse(() => Option.none()));
+    const handleButtonClick = () => isOpen
+        ? toMessage(Closed())
+        : toMessage(Opened({ maybeActiveItemIndex: Option.none() }));
+    const resolveActiveIndex = keyToIndex('ArrowDown', 'ArrowUp', items.length, Option.getOrElse(maybeActiveItemIndex, () => 0), isDisabled);
+    const handleItemsKeyDown = (key) => M.value(key).pipe(M.when('Escape', () => Option.some(toMessage(Closed()))), M.whenOr('Enter', ' ', () => Option.map(maybeActiveItemIndex, (index) => toMessage(ItemSelected({ index })))), M.whenOr('ArrowDown', 'ArrowUp', 'Home', 'End', 'PageUp', 'PageDown', () => Option.some(toMessage(ItemActivated({
+        index: resolveActiveIndex(key),
+        activationTrigger: 'Keyboard',
+    })))), M.when((key) => key.length === 1, () => {
+        const nextQuery = searchQuery + key;
+        const maybeTargetIndex = resolveTypeaheadMatch(items, nextQuery, maybeActiveItemIndex, isDisabled, itemToSearchText, Str.isNonEmpty(searchQuery));
+        return Option.some(toMessage(Searched({ key, maybeTargetIndex })));
+    }), M.orElse(() => Option.none()));
+    const buttonAttributes = [
+        Id(`${id}-button`),
+        Type('button'),
+        Class(buttonClassName),
+        AriaHasPopup('menu'),
+        AriaExpanded(isOpen),
+        AriaControls(`${id}-items`),
+        ...(isButtonDisabled
+            ? [AriaDisabled(true), DataAttribute('disabled', '')]
+            : [
+                OnKeyDownPreventDefault(handleButtonKeyDown),
+                OnClick(handleButtonClick()),
+            ]),
+        ...(isOpen ? [DataAttribute('open', '')] : []),
+    ];
+    const maybeActiveDescendant = Option.match(maybeActiveItemIndex, {
+        onNone: () => [],
+        onSome: (index) => [AriaActiveDescendant(itemId(id, index))],
+    });
+    const itemsContainerAttributes = [
+        Id(`${id}-items`),
+        Role('menu'),
+        AriaLabelledBy(`${id}-button`),
+        ...maybeActiveDescendant,
+        Tabindex(0),
+        Class(itemsClassName),
+        OnKeyDownPreventDefault(handleItemsKeyDown),
+        OnBlur(toMessage(ClosedByTab())),
+    ];
+    const menuItems = Array.map(items, (item, index) => {
+        const isActiveItem = Option.exists(maybeActiveItemIndex, (activeIndex) => activeIndex === index);
+        const isDisabledItem = isDisabled(index);
+        const itemConfig = itemToConfig(item, {
+            isActive: isActiveItem,
+            isDisabled: isDisabledItem,
+        });
+        return keyed('div')(itemId(id, index), [
+            Id(itemId(id, index)),
+            Role('menuitem'),
+            Tabindex(-1),
+            Class(itemConfig.className),
+            ...(isActiveItem ? [DataAttribute('active', '')] : []),
+            ...(isDisabledItem
+                ? [AriaDisabled(true), DataAttribute('disabled', '')]
+                : [
+                    OnClick(toMessage(ItemSelected({ index }))),
+                    OnPointerMove((screenX, screenY) => toMessage(PointerMovedOverItem({ index, screenX, screenY }))),
+                    OnMouseLeave(toMessage(ItemDeactivated())),
+                ]),
+        ], [itemConfig.content]);
+    });
+    const renderGroupedItems = () => {
+        if (!itemGroupKey) {
+            return menuItems;
+        }
+        const segments = groupContiguous(menuItems, (_, index) => Array.get(items, index).pipe(Option.match({
+            onNone: () => '',
+            onSome: (item) => itemGroupKey(item, index),
+        })));
+        return Array.flatMap(segments, (segment, segmentIndex) => {
+            const maybeHeading = Option.fromNullable(groupToHeading && groupToHeading(segment.key));
+            const headingId = `${id}-heading-${segment.key}`;
+            const headingElement = Option.match(maybeHeading, {
+                onNone: () => [],
+                onSome: (heading) => [
+                    keyed('div')(headingId, [Id(headingId), Role('presentation'), Class(heading.className)], [heading.content]),
+                ],
+            });
+            const groupContent = [...headingElement, ...segment.items];
+            const groupElement = keyed('div')(`${id}-group-${segment.key}`, [
+                Role('group'),
+                ...(Option.isSome(maybeHeading) ? [AriaLabelledBy(headingId)] : []),
+                ...(groupClassName ? [Class(groupClassName)] : []),
+            ], groupContent);
+            const separator = segmentIndex > 0 && separatorClassName
+                ? [
+                    keyed('div')(`${id}-separator-${segmentIndex}`, [Role('separator'), Class(separatorClassName)], []),
+                ]
+                : [];
+            return [...separator, groupElement];
+        });
+    };
+    const backdrop = keyed('div')(`${id}-backdrop`, [Class(backdropClassName), OnClick(toMessage(Closed()))], []);
+    const renderedItems = renderGroupedItems();
+    const openContent = [
+        backdrop,
+        keyed('div')(`${id}-items-container`, itemsContainerAttributes, renderedItems),
+    ];
+    const wrapperAttributes = [
+        ...(className ? [Class(className)] : []),
+        ...(isOpen ? [DataAttribute('open', '')] : []),
+    ];
+    return div(wrapperAttributes, [
+        keyed('button')(`${id}-button`, buttonAttributes, [buttonContent]),
+        ...(isOpen ? openContent : []),
+    ]);
+};

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

@@ -0,0 +1,3 @@
+export { init, update, view, Model, Message } from './index';
+export type { ActivationTrigger, Opened, Closed, ClosedByTab, ItemActivated, ItemDeactivated, ItemSelected, PointerMovedOverItem, Searched, SearchCleared, NoOp, InitConfig, ViewConfig, ItemConfig, GroupHeading, } from './index';
+//# sourceMappingURL=public.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../src/ui/menu/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAE5D,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,WAAW,EACX,aAAa,EACb,eAAe,EACf,YAAY,EACZ,oBAAoB,EACpB,QAAQ,EACR,aAAa,EACb,IAAI,EACJ,UAAU,EACV,UAAU,EACV,UAAU,EACV,YAAY,GACb,MAAM,SAAS,CAAA"}

package/dist/ui/menu/public.js

@@ -0,0 +1 @@
+export { init, update, view, Model, Message } from './index';

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

@@ -1,6 +1,7 @@
 import { Schema as S } from 'effect';
 import type { Html, TagName } from '../../html';
 import type { Command } from '../../runtime/runtime';
+export { wrapIndex, findFirstEnabledIndex, keyToIndex } from '../keyboard';
 /** Controls the tab list layout direction and which arrow keys navigate between tabs. */
 export declare const Orientation: S.Literal<["Horizontal", "Vertical"]>;
 export type Orientation = typeof Orientation.Type;
@@ -17,21 +18,21 @@ export declare const Model: S.Struct<{
 }>;
 export type Model = typeof Model.Type;
 /** Sent when a tab is selected via click or keyboard. Updates both the active and focused indices. */
-export declare const TabSelected: S.TaggedStruct<"TabSelected", {
+export declare const TabSelected: import("../../schema").CallableTaggedStruct<"TabSelected", {
     index: typeof S.Number;
 }>;
 /** Sent when a tab receives keyboard focus in `Manual` mode without being activated. */
-export declare const TabFocused: S.TaggedStruct<"TabFocused", {
+export declare const TabFocused: import("../../schema").CallableTaggedStruct<"TabFocused", {
     index: typeof S.Number;
 }>;
 /** Placeholder message used when no action is needed, such as after a focus command completes. */
-export declare const NoOp: S.TaggedStruct<"NoOp", {}>;
+export declare const NoOp: import("../../schema").CallableTaggedStruct<"NoOp", {}>;
 /** Union of all messages the tabs component can produce. */
-export declare const Message: S.Union<[S.TaggedStruct<"TabSelected", {
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"TabSelected", {
     index: typeof S.Number;
-}>, S.TaggedStruct<"TabFocused", {
+}>, import("../../schema").CallableTaggedStruct<"TabFocused", {
     index: typeof S.Number;
-}>, S.TaggedStruct<"NoOp", {}>]>;
+}>, import("../../schema").CallableTaggedStruct<"NoOp", {}>]>;
 export type TabSelected = typeof TabSelected.Type;
 export type TabFocused = typeof TabFocused.Type;
 export type NoOp = typeof NoOp.Type;
@@ -47,9 +48,6 @@ export type InitConfig = Readonly<{
 export declare const init: (config: InitConfig) => Model;
 /** Processes a tabs message and returns the next model and commands. */
 export declare const update: (model: Model, message: Message) => [Model, ReadonlyArray<Command<Message>>];
-export declare const wrapIndex: (index: number, length: number) => number;
-export declare const findFirstEnabledIndex: (tabCount: number, focusedIndex: number, isDisabled: (index: number) => boolean) => (startIndex: number, direction: 1 | -1) => number;
-export declare const keyToIndex: (nextKey: string, previousKey: string, tabCount: number, focusedIndex: number, isDisabled: (index: number) => boolean) => ((key: string) => number);
 /** Configuration for an individual tab's button and panel content. */
 export type TabConfig = Readonly<{
     buttonClassName: string;
@@ -60,7 +58,7 @@ export type TabConfig = Readonly<{
 /** Configuration for rendering a tab group with `view`. */
 export type ViewConfig<Message, Tab extends string> = Readonly<{
     model: Model;
-    toMessage: (message: TabSelected | TabFocused | NoOp) => Message;
+    toMessage: (message: TabSelected | TabFocused) => Message;
     tabs: ReadonlyArray<Tab>;
     tabToConfig: (tab: Tab, context: {
         isActive: boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/tabs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAGf,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAOpD,yFAAyF;AACzF,eAAO,MAAM,WAAW,uCAAsC,CAAA;AAC9D,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,yGAAyG;AACzG,eAAO,MAAM,cAAc,oCAAmC,CAAA;AAC9D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,gHAAgH;AAChH,eAAO,MAAM,KAAK;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,sGAAsG;AACtG,eAAO,MAAM,WAAW;;EAAyC,CAAA;AACjE,wFAAwF;AACxF,eAAO,MAAM,UAAU;;EAAwC,CAAA;AAC/D,kGAAkG;AAClG,eAAO,MAAM,IAAI,4BAAa,CAAA;AAE9B,4DAA4D;AAC5D,eAAO,MAAM,OAAO;;;;gCAAyC,CAAA;AAE7D,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AACjD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB,cAAc,CAAC,EAAE,cAAc,CAAA;CAChC,CAAC,CAAA;AAEF,4HAA4H;AAC5H,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAUzC,CAAA;AAID,wEAAwE;AACxE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAyBvC,CAAA;AAIH,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,EAAE,QAAQ,MAAM,KAAG,MACpB,CAAA;AAEtC,eAAO,MAAM,qBAAqB,GAE9B,UAAU,MAAM,EAChB,cAAc,MAAM,EACpB,YAAY,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,MAEvC,YAAY,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,KAAG,MAQtC,CAAA;AAEL,eAAO,MAAM,UAAU,GACrB,SAAS,MAAM,EACf,aAAa,MAAM,EACnB,UAAU,MAAM,EAChB,cAAc,MAAM,EACpB,YAAY,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KACrC,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAW1B,CAAA;AAID,sEAAsE;AACtE,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAA;IACvB,aAAa,EAAE,IAAI,CAAA;IACnB,cAAc,EAAE,MAAM,CAAA;IACtB,YAAY,EAAE,IAAI,CAAA;CACnB,CAAC,CAAA;AAEF,2DAA2D;AAC3D,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC7D,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,WAAW,GAAG,UAAU,GAAG,IAAI,KAAK,OAAO,CAAA;IAChE,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACxB,WAAW,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE,KAAK,SAAS,CAAA;IACpE,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACpD,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAC,CAAA;AAMF,yGAAyG;AACzG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,GAAG,SAAS,MAAM,EAC9C,QAAQ,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAC/B,IAoLF,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/tabs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,MAAM,IAAI,CAAC,EAAgB,MAAM,QAAQ,CAAA;AAG7E,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAMpD,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAI1E,yFAAyF;AACzF,eAAO,MAAM,WAAW,uCAAsC,CAAA;AAC9D,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,yGAAyG;AACzG,eAAO,MAAM,cAAc,oCAAmC,CAAA;AAC9D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,gHAAgH;AAChH,eAAO,MAAM,KAAK;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,sGAAsG;AACtG,eAAO,MAAM,WAAW;;EAAyC,CAAA;AACjE,wFAAwF;AACxF,eAAO,MAAM,UAAU;;EAAwC,CAAA;AAC/D,kGAAkG;AAClG,eAAO,MAAM,IAAI,yDAAa,CAAA;AAE9B,4DAA4D;AAC5D,eAAO,MAAM,OAAO;;;;6DAAyC,CAAA;AAE7D,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AACjD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB,cAAc,CAAC,EAAE,cAAc,CAAA;CAChC,CAAC,CAAA;AAEF,4HAA4H;AAC5H,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAUzC,CAAA;AAID,wEAAwE;AACxE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAyBvC,CAAA;AAIH,sEAAsE;AACtE,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAA;IACvB,aAAa,EAAE,IAAI,CAAA;IACnB,cAAc,EAAE,MAAM,CAAA;IACtB,YAAY,EAAE,IAAI,CAAA;CACnB,CAAC,CAAA;AAEF,2DAA2D;AAC3D,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC7D,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,WAAW,GAAG,UAAU,KAAK,OAAO,CAAA;IACzD,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACxB,WAAW,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE,KAAK,SAAS,CAAA;IACpE,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACpD,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAC,CAAA;AAMF,yGAAyG;AACzG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,GAAG,SAAS,MAAM,EAC9C,QAAQ,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAC/B,IAiLF,CAAA"}

package/dist/ui/tabs/index.js

@@ -1,8 +1,10 @@
-import { Array, Match as M, Option, Predicate, Schema as S, String, pipe, } from 'effect';
+import { Array, Match as M, Option, Schema as S, String, pipe } from 'effect';
 import { html } from '../../html';
 import { ts } from '../../schema';
 import { evo } from '../../struct';
 import * as Task from '../../task';
+import { keyToIndex } from '../keyboard';
+export { wrapIndex, findFirstEnabledIndex, keyToIndex } from '../keyboard';
 // MODEL
 /** Controls the tab list layout direction and which arrow keys navigate between tabs. */
 export const Orientation = S.Literal('Horizontal', 'Vertical');
@@ -46,30 +48,23 @@ export const update = (model, message) => M.value(message).pipe(M.withReturnType
                 activeIndex: () => index,
                 focusedIndex: () => index,
             }),
-            [Task.focus(tabSelector, () => NoOp.make())],
+            [Task.focus(tabSelector, () => NoOp())],
         ];
     },
     TabFocused: ({ index }) => {
         const tabSelector = `#${tabId(model.id, index)}`;
         return [
             evo(model, { focusedIndex: () => index }),
-            [Task.focus(tabSelector, () => NoOp.make())],
+            [Task.focus(tabSelector, () => NoOp())],
         ];
     },
     NoOp: () => [model, []],
 }));
-// KEYBOARD
-export const wrapIndex = (index, length) => ((index % length) + length) % length;
-export const findFirstEnabledIndex = (tabCount, focusedIndex, isDisabled) => (startIndex, direction) => pipe(tabCount, Array.makeBy((step) => wrapIndex(startIndex + step * direction, tabCount)), Array.findFirst(Predicate.not(isDisabled)), Option.getOrElse(() => focusedIndex));
-export const keyToIndex = (nextKey, previousKey, tabCount, focusedIndex, isDisabled) => {
-    const find = findFirstEnabledIndex(tabCount, focusedIndex, isDisabled);
-    return (key) => M.value(key).pipe(M.when(nextKey, () => find(focusedIndex + 1, 1)), M.when(previousKey, () => find(focusedIndex - 1, -1)), M.whenOr('Home', 'PageUp', () => find(0, 1)), M.whenOr('End', 'PageDown', () => find(tabCount - 1, -1)), M.orElse(() => focusedIndex));
-};
 const tabPanelId = (id, index) => `${id}-panel-${index}`;
 const tabId = (id, index) => `${id}-tab-${index}`;
 /** Renders a headless tab group with accessible ARIA roles, roving tabindex, and keyboard navigation. */
 export const view = (config) => {
-    const { div, empty, AriaControls, AriaDisabled, AriaLabelledBy, AriaOrientation, AriaSelected, Class, DataAttribute, Disabled, Hidden, Id, OnClick, OnKeyDown, Role, Tabindex, Type, keyed, } = html();
+    const { div, empty, AriaControls, AriaDisabled, AriaLabelledBy, AriaOrientation, AriaSelected, Class, DataAttribute, Disabled, Hidden, Id, OnClick, OnKeyDownPreventDefault, Role, Tabindex, Type, keyed, } = html();
     const { model, model: { id, orientation, activationMode, focusedIndex }, toMessage, tabs, tabToConfig, isTabDisabled, persistPanels, tabListElement = 'div', tabElement = 'button', panelElement = 'div', className, tabListClassName, } = config;
     const isDisabled = (index) => !!isTabDisabled &&
         pipe(tabs, Array.get(index), Option.exists((tab) => isTabDisabled(tab, index)));
@@ -81,15 +76,9 @@ export const view = (config) => {
         previousKey: 'ArrowUp',
     })), M.exhaustive);
     const resolveKeyIndex = keyToIndex(nextKey, previousKey, tabs.length, focusedIndex, isDisabled);
-    const handleAutomaticKeyDown = (key) => 
-    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-    M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => toMessage(TabSelected.make({ index: resolveKeyIndex(key) }))), M.whenOr('Enter', ' ', () => toMessage(TabSelected.make({ index: focusedIndex }))), M.orElse(() => toMessage(NoOp.make())));
-    const handleManualKeyDown = (key) => 
-    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-    M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => toMessage(TabFocused.make({ index: resolveKeyIndex(key) }))), M.whenOr('Enter', ' ', () => toMessage(TabSelected.make({ index: focusedIndex }))), M.orElse(() => toMessage(NoOp.make())));
-    const handleKeyDown = (key) => 
-    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-    M.value(activationMode).pipe(M.when('Automatic', () => handleAutomaticKeyDown(key)), M.when('Manual', () => handleManualKeyDown(key)), M.exhaustive);
+    const handleAutomaticKeyDown = (key) => M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => Option.some(toMessage(TabSelected({ index: resolveKeyIndex(key) })))), M.whenOr('Enter', ' ', () => Option.some(toMessage(TabSelected({ index: focusedIndex })))), M.orElse(() => Option.none()));
+    const handleManualKeyDown = (key) => M.value(key).pipe(M.whenOr(nextKey, previousKey, 'Home', 'End', 'PageUp', 'PageDown', () => Option.some(toMessage(TabFocused({ index: resolveKeyIndex(key) })))), M.whenOr('Enter', ' ', () => Option.some(toMessage(TabSelected({ index: focusedIndex })))), M.orElse(() => Option.none()));
+    const handleKeyDown = (key) => M.value(activationMode).pipe(M.when('Automatic', () => handleAutomaticKeyDown(key)), M.when('Manual', () => handleManualKeyDown(key)), M.exhaustive);
     const tabButtons = Array.map(tabs, (tab, index) => {
         const isActive = index === model.activeIndex;
         const isFocused = index === focusedIndex;
@@ -106,8 +95,8 @@ export const view = (config) => {
             ...(isActive ? [DataAttribute('selected', '')] : []),
             ...(isTabDisabledAtIndex
                 ? [Disabled(true), AriaDisabled(true), DataAttribute('disabled', '')]
-                : [OnClick(toMessage(TabSelected.make({ index })))]),
-            OnKeyDown(handleKeyDown),
+                : [OnClick(toMessage(TabSelected({ index })))]),
+            OnKeyDownPreventDefault(handleKeyDown),
         ], [tabConfig.buttonContent]);
     });
     const allPanels = Array.map(tabs, (tab, index) => {

package/dist/url/index.d.ts

@@ -11,11 +11,11 @@ export declare const Url: S.Struct<{
 export type Url = typeof Url.Type;
 /** Parses a URL string into a `Url`, returning `Option.None` if invalid. */
 export declare const fromString: (str: string) => Option.Option<{
+    readonly search: Option.Option<string>;
     readonly protocol: string;
     readonly host: string;
     readonly port: Option.Option<string>;
     readonly pathname: string;
-    readonly search: Option.Option<string>;
     readonly hash: Option.Option<string>;
 }>;
 /** Serializes a `Url` back to a string. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "foldkit",
-  "version": "0.17.0",
+  "version": "0.18.0",
   "description": "Elm-inspired UI framework powered by Effect",
   "type": "module",
   "main": "./dist/index.js",
@@ -43,10 +43,18 @@
       "types": "./dist/ui/index.d.ts",
       "import": "./dist/ui/index.js"
     },
+    "./ui/dialog": {
+      "types": "./dist/ui/dialog/public.d.ts",
+      "import": "./dist/ui/dialog/public.js"
+    },
     "./ui/disclosure": {
       "types": "./dist/ui/disclosure/public.d.ts",
       "import": "./dist/ui/disclosure/public.js"
     },
+    "./ui/menu": {
+      "types": "./dist/ui/menu/public.d.ts",
+      "import": "./dist/ui/menu/public.js"
+    },
     "./ui/tabs": {
       "types": "./dist/ui/tabs/public.d.ts",
       "import": "./dist/ui/tabs/public.js"
@@ -98,6 +106,7 @@
     "clean": "rimraf dist *.tsbuildinfo",
     "build": "pnpm run clean && tsc -b",
     "watch": "tsc -b --watch",
+    "lint": "eslint src --ignore-pattern '**/*.test.ts'",
     "typecheck": "tsc -b --noEmit",
     "test": "vitest run",
     "docs": "typedoc"