foldkit 0.17.0 → 0.19.0

package/dist/ui/menu/index.js

@@ -0,0 +1,502 @@
+import { Array, Match as M, Option, Schema as S, String as Str, pipe, } from 'effect';
+import { OptionExt } from '../../effectExtensions';
+import { html } from '../../html';
+import { m } from '../../message';
+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 transition animation state, tracking enter/leave phases for CSS transition coordination. */
+export const TransitionState = S.Literal('Idle', 'EnterStart', 'EnterAnimating', 'LeaveStart', 'LeaveAnimating');
+const PointerOrigin = S.Struct({
+    screenX: S.Number,
+    screenY: S.Number,
+    timeStamp: S.Number,
+});
+/** 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,
+    isAnimated: S.Boolean,
+    isModal: S.Boolean,
+    transitionState: TransitionState,
+    maybeActiveItemIndex: S.OptionFromSelf(S.Number),
+    activationTrigger: ActivationTrigger,
+    searchQuery: S.String,
+    searchVersion: S.Number,
+    maybeLastPointerPosition: S.OptionFromSelf(S.Struct({ screenX: S.Number, screenY: S.Number })),
+    maybeLastButtonPointerType: S.OptionFromSelf(S.String),
+    maybePointerOrigin: S.OptionFromSelf(PointerOrigin),
+});
+// 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 = m('Opened', {
+    maybeActiveItemIndex: S.OptionFromSelf(S.Number),
+});
+/** Sent when the menu closes via Escape key or backdrop click. */
+export const Closed = m('Closed');
+/** Sent when focus leaves the menu items container via Tab key. */
+export const ClosedByTab = m('ClosedByTab');
+/** Sent when an item is highlighted via arrow keys or mouse hover. Includes activation trigger. */
+export const ActivatedItem = m('ActivatedItem', {
+    index: S.Number,
+    activationTrigger: ActivationTrigger,
+});
+/** Sent when the mouse leaves an enabled item. */
+export const DeactivatedItem = m('DeactivatedItem');
+/** Sent when an item is selected via Enter, Space, or click. */
+export const SelectedItem = m('SelectedItem', { index: S.Number });
+/** Sent when Enter or Space is pressed on the active item, triggering a programmatic click on the DOM element. */
+export const RequestedItemClick = m('RequestedItemClick', {
+    index: S.Number,
+});
+/** Sent when a printable character is typed for typeahead search. */
+export const Searched = m('Searched', {
+    key: S.String,
+    maybeTargetIndex: S.OptionFromSelf(S.Number),
+});
+/** Sent after the search debounce period to clear the accumulated query. */
+export const ClearedSearch = m('ClearedSearch', { version: S.Number });
+/** Sent when the pointer moves over a menu item, carrying screen coordinates for tracked-pointer comparison. */
+export const MovedPointerOverItem = m('MovedPointerOverItem', {
+    index: S.Number,
+    screenX: S.Number,
+    screenY: S.Number,
+});
+/** Placeholder message used when no action is needed. */
+export const NoOp = m('NoOp');
+/** Sent internally when a double-rAF completes, advancing the transition to its animating phase. */
+export const AdvancedTransitionFrame = m('AdvancedTransitionFrame');
+/** Sent internally when all CSS transitions on the menu items container have completed. */
+export const EndedTransition = m('EndedTransition');
+/** Sent when the user presses a pointer device on the menu button. Records pointer type and toggles for mouse. */
+export const PressedPointerOnButton = m('PressedPointerOnButton', {
+    pointerType: S.String,
+    button: S.Number,
+    screenX: S.Number,
+    screenY: S.Number,
+    timeStamp: S.Number,
+});
+/** Sent when the user releases a pointer on the items container, enabling drag-to-select for mouse. */
+export const ReleasedPointerOnItems = m('ReleasedPointerOnItems', {
+    screenX: S.Number,
+    screenY: S.Number,
+    timeStamp: S.Number,
+});
+/** Union of all messages the menu component can produce. */
+export const Message = S.Union(Opened, Closed, ClosedByTab, ActivatedItem, DeactivatedItem, SelectedItem, MovedPointerOverItem, RequestedItemClick, Searched, ClearedSearch, NoOp, AdvancedTransitionFrame, EndedTransition, PressedPointerOnButton, ReleasedPointerOnItems);
+// INIT
+const SEARCH_DEBOUNCE_MILLISECONDS = 350;
+const POINTER_HOLD_THRESHOLD_MILLISECONDS = 200;
+const POINTER_MOVEMENT_THRESHOLD_PIXELS = 5;
+/** Creates an initial menu model from a config. Defaults to closed with no active item. */
+export const init = (config) => ({
+    id: config.id,
+    isOpen: false,
+    isAnimated: config.isAnimated ?? false,
+    isModal: config.isModal ?? true,
+    transitionState: 'Idle',
+    maybeActiveItemIndex: Option.none(),
+    activationTrigger: 'Keyboard',
+    searchQuery: '',
+    searchVersion: 0,
+    maybeLastPointerPosition: Option.none(),
+    maybeLastButtonPointerType: Option.none(),
+    maybePointerOrigin: Option.none(),
+});
+// UPDATE
+const closedModel = (model) => evo(model, {
+    isOpen: () => false,
+    transitionState: () => (model.isAnimated ? 'LeaveStart' : 'Idle'),
+    maybeActiveItemIndex: () => Option.none(),
+    activationTrigger: () => 'Keyboard',
+    searchQuery: () => '',
+    searchVersion: () => 0,
+    maybeLastPointerPosition: () => Option.none(),
+    maybeLastButtonPointerType: () => Option.none(),
+    maybePointerOrigin: () => 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) => {
+    const maybeNextFrameCommand = OptionExt.when(model.isAnimated, Task.nextFrame(() => AdvancedTransitionFrame()));
+    const maybeLockScrollCommand = OptionExt.when(model.isModal, Task.lockScroll(() => NoOp()));
+    const maybeUnlockScrollCommand = OptionExt.when(model.isModal, Task.unlockScroll(() => NoOp()));
+    const maybeInertOthersCommand = OptionExt.when(model.isModal, Task.inertOthers(model.id, [buttonSelector(model.id), itemsSelector(model.id)], () => NoOp()));
+    const maybeRestoreInertCommand = OptionExt.when(model.isModal, Task.restoreInert(model.id, () => NoOp()));
+    return M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+        Opened: ({ maybeActiveItemIndex }) => {
+            const nextModel = evo(model, {
+                isOpen: () => true,
+                transitionState: () => (model.isAnimated ? 'EnterStart' : 'Idle'),
+                maybeActiveItemIndex: () => maybeActiveItemIndex,
+                activationTrigger: () => Option.match(maybeActiveItemIndex, {
+                    onNone: () => 'Pointer',
+                    onSome: () => 'Keyboard',
+                }),
+                searchQuery: () => '',
+                searchVersion: () => 0,
+                maybeLastPointerPosition: () => Option.none(),
+            });
+            return [
+                nextModel,
+                pipe(Array.getSomes([
+                    maybeNextFrameCommand,
+                    maybeLockScrollCommand,
+                    maybeInertOthersCommand,
+                ]), Array.prepend(Task.focus(itemsSelector(model.id), () => NoOp()))),
+            ];
+        },
+        Closed: () => [
+            closedModel(model),
+            pipe(Array.getSomes([
+                maybeNextFrameCommand,
+                maybeUnlockScrollCommand,
+                maybeRestoreInertCommand,
+            ]), Array.prepend(Task.focus(buttonSelector(model.id), () => NoOp()))),
+        ],
+        ClosedByTab: () => [
+            closedModel(model),
+            Array.getSomes([
+                maybeNextFrameCommand,
+                maybeUnlockScrollCommand,
+                maybeRestoreInertCommand,
+            ]),
+        ],
+        ActivatedItem: ({ index, activationTrigger }) => [
+            evo(model, {
+                maybeActiveItemIndex: () => Option.some(index),
+                activationTrigger: () => activationTrigger,
+            }),
+            activationTrigger === 'Keyboard'
+                ? [Task.scrollIntoView(itemSelector(model.id, index), () => NoOp())]
+                : [],
+        ],
+        MovedPointerOverItem: ({ 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 }),
+                }),
+                [],
+            ];
+        },
+        DeactivatedItem: () => model.activationTrigger === 'Pointer'
+            ? [evo(model, { maybeActiveItemIndex: () => Option.none() }), []]
+            : [model, []],
+        SelectedItem: () => [
+            closedModel(model),
+            pipe(Array.getSomes([
+                maybeNextFrameCommand,
+                maybeUnlockScrollCommand,
+                maybeRestoreInertCommand,
+            ]), Array.prepend(Task.focus(buttonSelector(model.id), () => NoOp()))),
+        ],
+        RequestedItemClick: ({ index }) => [
+            model,
+            [Task.clickElement(itemSelector(model.id, index), () => 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, () => ClearedSearch({ version: nextSearchVersion })),
+                ],
+            ];
+        },
+        ClearedSearch: ({ version }) => {
+            if (version !== model.searchVersion) {
+                return [model, []];
+            }
+            return [evo(model, { searchQuery: () => '' }), []];
+        },
+        AdvancedTransitionFrame: () => M.value(model.transitionState).pipe(M.withReturnType(), M.when('EnterStart', () => [
+            evo(model, { transitionState: () => 'EnterAnimating' }),
+            [
+                Task.waitForTransitions(itemsSelector(model.id), () => EndedTransition()),
+            ],
+        ]), M.when('LeaveStart', () => [
+            evo(model, { transitionState: () => 'LeaveAnimating' }),
+            [
+                Task.waitForTransitions(itemsSelector(model.id), () => EndedTransition()),
+            ],
+        ]), M.orElse(() => [model, []])),
+        EndedTransition: () => M.value(model.transitionState).pipe(M.withReturnType(), M.whenOr('EnterAnimating', 'LeaveAnimating', () => [
+            evo(model, { transitionState: () => 'Idle' }),
+            [],
+        ]), M.orElse(() => [model, []])),
+        PressedPointerOnButton: ({ pointerType, button, screenX, screenY, timeStamp, }) => {
+            const withPointerType = evo(model, {
+                maybeLastButtonPointerType: () => Option.some(pointerType),
+            });
+            if (pointerType !== 'mouse' || button !== 0) {
+                return [withPointerType, []];
+            }
+            if (model.isOpen) {
+                return [
+                    closedModel(withPointerType),
+                    pipe(Array.getSomes([
+                        maybeNextFrameCommand,
+                        maybeUnlockScrollCommand,
+                        maybeRestoreInertCommand,
+                    ]), Array.prepend(Task.focus(buttonSelector(model.id), () => NoOp()))),
+                ];
+            }
+            const nextModel = evo(withPointerType, {
+                isOpen: () => true,
+                transitionState: () => (model.isAnimated ? 'EnterStart' : 'Idle'),
+                maybeActiveItemIndex: () => Option.none(),
+                activationTrigger: () => 'Pointer',
+                searchQuery: () => '',
+                searchVersion: () => 0,
+                maybeLastPointerPosition: () => Option.none(),
+                maybePointerOrigin: () => Option.some({ screenX, screenY, timeStamp }),
+            });
+            return [
+                nextModel,
+                pipe(Array.getSomes([
+                    maybeNextFrameCommand,
+                    maybeLockScrollCommand,
+                    maybeInertOthersCommand,
+                ]), Array.prepend(Task.focus(itemsSelector(model.id), () => NoOp()))),
+            ];
+        },
+        ReleasedPointerOnItems: ({ screenX, screenY, timeStamp }) => {
+            const hasNoOrigin = Option.isNone(model.maybePointerOrigin);
+            const hasNoActiveItem = Option.isNone(model.maybeActiveItemIndex);
+            const isMovementBelowThreshold = Option.exists(model.maybePointerOrigin, origin => Math.abs(screenX - origin.screenX) <
+                POINTER_MOVEMENT_THRESHOLD_PIXELS &&
+                Math.abs(screenY - origin.screenY) <
+                    POINTER_MOVEMENT_THRESHOLD_PIXELS);
+            const isHoldTimeBelowThreshold = Option.exists(model.maybePointerOrigin, origin => timeStamp - origin.timeStamp < POINTER_HOLD_THRESHOLD_MILLISECONDS);
+            if (hasNoOrigin ||
+                isMovementBelowThreshold ||
+                isHoldTimeBelowThreshold ||
+                hasNoActiveItem) {
+                return [model, []];
+            }
+            return [
+                model,
+                [
+                    Task.clickElement(itemSelector(model.id, model.maybeActiveItemIndex.value), () => NoOp()),
+                ],
+            ];
+        },
+        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, OnKeyUpPreventDefault, OnPointerDown, OnPointerLeave, OnPointerMove, OnPointerUp, Role, Tabindex, Type, keyed, } = html();
+    const { model: { id, isOpen, transitionState, maybeActiveItemIndex, searchQuery, maybeLastButtonPointerType, }, toMessage, items, itemToConfig, isItemDisabled, itemToSearchText = (item) => item, isButtonDisabled, buttonContent, buttonClassName, itemsClassName, backdropClassName, className, itemGroupKey, groupToHeading, groupClassName, separatorClassName, } = config;
+    const isLeaving = transitionState === 'LeaveStart' || transitionState === 'LeaveAnimating';
+    const isVisible = isOpen || isLeaving;
+    const transitionAttributes = M.value(transitionState).pipe(M.when('EnterStart', () => [
+        DataAttribute('closed', ''),
+        DataAttribute('enter', ''),
+        DataAttribute('transition', ''),
+    ]), M.when('EnterAnimating', () => [
+        DataAttribute('enter', ''),
+        DataAttribute('transition', ''),
+    ]), M.when('LeaveStart', () => [
+        DataAttribute('leave', ''),
+        DataAttribute('transition', ''),
+    ]), M.when('LeaveAnimating', () => [
+        DataAttribute('closed', ''),
+        DataAttribute('leave', ''),
+        DataAttribute('transition', ''),
+    ]), M.orElse(() => []));
+    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 handleButtonPointerDown = (pointerType, button, screenX, screenY, timeStamp) => Option.some(toMessage(PressedPointerOnButton({
+        pointerType,
+        button,
+        screenX,
+        screenY,
+        timeStamp,
+    })));
+    const handleButtonClick = () => {
+        const isMouse = Option.exists(maybeLastButtonPointerType, type => type === 'mouse');
+        if (isMouse) {
+            return toMessage(NoOp());
+        }
+        else if (isOpen) {
+            return toMessage(Closed());
+        }
+        else {
+            return toMessage(Opened({ maybeActiveItemIndex: Option.none() }));
+        }
+    };
+    const handleSpaceKeyUp = (key) => OptionExt.when(key === ' ', toMessage(NoOp()));
+    const resolveActiveIndex = keyToIndex('ArrowDown', 'ArrowUp', items.length, Option.getOrElse(maybeActiveItemIndex, () => 0), isDisabled);
+    const searchForKey = (key) => {
+        const nextQuery = searchQuery + key;
+        const maybeTargetIndex = resolveTypeaheadMatch(items, nextQuery, maybeActiveItemIndex, isDisabled, itemToSearchText, Str.isNonEmpty(searchQuery));
+        return Option.some(toMessage(Searched({ key, maybeTargetIndex })));
+    };
+    const handleItemsKeyDown = (key) => M.value(key).pipe(M.when('Escape', () => Option.some(toMessage(Closed()))), M.when('Enter', () => Option.map(maybeActiveItemIndex, index => toMessage(RequestedItemClick({ index })))), M.when(' ', () => Str.isNonEmpty(searchQuery)
+        ? searchForKey(' ')
+        : Option.map(maybeActiveItemIndex, index => toMessage(RequestedItemClick({ index })))), M.whenOr('ArrowDown', 'ArrowUp', 'Home', 'End', 'PageUp', 'PageDown', () => Option.some(toMessage(ActivatedItem({
+        index: resolveActiveIndex(key),
+        activationTrigger: 'Keyboard',
+    })))), M.when(key => key.length === 1, () => searchForKey(key)), M.orElse(() => Option.none()));
+    const handleItemsPointerUp = (screenX, screenY, pointerType, timeStamp) => OptionExt.when(pointerType === 'mouse', toMessage(ReleasedPointerOnItems({ screenX, screenY, timeStamp })));
+    const buttonAttributes = [
+        Id(`${id}-button`),
+        Type('button'),
+        Class(buttonClassName),
+        AriaHasPopup('menu'),
+        AriaExpanded(isVisible),
+        AriaControls(`${id}-items`),
+        ...(isButtonDisabled
+            ? [AriaDisabled(true), DataAttribute('disabled', '')]
+            : [
+                OnPointerDown(handleButtonPointerDown),
+                OnKeyDownPreventDefault(handleButtonKeyDown),
+                OnKeyUpPreventDefault(handleSpaceKeyUp),
+                OnClick(handleButtonClick()),
+            ]),
+        ...(isVisible ? [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),
+        ...transitionAttributes,
+        ...(isLeaving
+            ? []
+            : [
+                OnKeyDownPreventDefault(handleItemsKeyDown),
+                OnKeyUpPreventDefault(handleSpaceKeyUp),
+                OnPointerUp(handleItemsPointerUp),
+                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,
+        });
+        const isInteractive = !isDisabledItem && !isLeaving;
+        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', '')]
+                : []),
+            ...(isInteractive
+                ? [
+                    OnClick(toMessage(SelectedItem({ index }))),
+                    OnPointerMove((screenX, screenY, pointerType) => OptionExt.when(pointerType !== 'touch', toMessage(MovedPointerOverItem({ index, screenX, screenY })))),
+                    OnPointerLeave(pointerType => OptionExt.when(pointerType !== 'touch', toMessage(DeactivatedItem()))),
+                ]
+                : []),
+        ], [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),
+        ...(isLeaving ? [] : [OnClick(toMessage(Closed()))]),
+    ], []);
+    const renderedItems = renderGroupedItems();
+    const visibleContent = [
+        backdrop,
+        keyed('div')(`${id}-items-container`, itemsContainerAttributes, renderedItems),
+    ];
+    const wrapperAttributes = [
+        ...(className ? [Class(className)] : []),
+        ...(isVisible ? [DataAttribute('open', '')] : []),
+    ];
+    return div(wrapperAttributes, [
+        keyed('button')(`${id}-button`, buttonAttributes, [buttonContent]),
+        ...(isVisible ? visibleContent : []),
+    ]);
+};

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

@@ -0,0 +1,3 @@
+export { init, update, view, Model, Message, TransitionState } from './index';
+export type { ActivationTrigger, Opened, Closed, ClosedByTab, ActivatedItem, DeactivatedItem, SelectedItem, MovedPointerOverItem, Searched, ClearedSearch, NoOp, AdvancedTransitionFrame, EndedTransition, 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,eAAe,EAAE,MAAM,SAAS,CAAA;AAE7E,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,WAAW,EACX,aAAa,EACb,eAAe,EACf,YAAY,EACZ,oBAAoB,EACpB,QAAQ,EACR,aAAa,EACb,IAAI,EACJ,uBAAuB,EACvB,eAAe,EACf,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, TransitionState } 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;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAKpD,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;;EAAwC,CAAA;AAChE,wFAAwF;AACxF,eAAO,MAAM,UAAU;;EAAuC,CAAA;AAC9D,kGAAkG;AAClG,eAAO,MAAM,IAAI,yDAAY,CAAA;AAE7B,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"}