foldkit 0.17.0 → 0.18.0

package/dist/task/index.d.ts

@@ -1,11 +1,11 @@
-import { DateTime, Effect } from 'effect';
+import { DateTime, Duration, Effect } from 'effect';
 /**
  * Creates a command that gets the current UTC time and passes it to a message constructor.
  * This is similar to Elm's `Task.perform` with `Time.now`.
  *
  * @example
  * ```typescript
- * Task.getTime(utc => GotTime.make({ utc }))
+ * Task.getTime(utc => GotTime({ utc }))
  * ```
  */
 export declare const getTime: <Message>(f: (utc: DateTime.Utc) => Message) => Effect.Effect<Message>;
@@ -15,7 +15,7 @@ export declare const getTime: <Message>(f: (utc: DateTime.Utc) => Message) => Ef
  *
  * @example
  * ```typescript
- * Task.getTimeZone(zone => GotTimeZone.make({ zone }))
+ * Task.getTimeZone(zone => GotTimeZone({ zone }))
  * ```
  */
 export declare const getTimeZone: <Message>(f: (zone: DateTime.TimeZone) => Message) => Effect.Effect<Message>;
@@ -25,7 +25,7 @@ export declare const getTimeZone: <Message>(f: (zone: DateTime.TimeZone) => Mess
  *
  * @example
  * ```typescript
- * Task.getZonedTime(zoned => GotTime.make({ zoned }))
+ * Task.getZonedTime(zoned => GotTime({ zoned }))
  * ```
  */
 export declare const getZonedTime: <Message>(f: (zoned: DateTime.Zoned) => Message) => Effect.Effect<Message>;
@@ -35,52 +35,75 @@ export declare const getZonedTime: <Message>(f: (zoned: DateTime.Zoned) => Messa
  *
  * @example
  * ```typescript
- * Task.getZonedTimeIn('America/New_York', zoned => GotNYTime.make({ zoned }))
+ * Task.getZonedTimeIn('America/New_York', zoned => GotNYTime({ zoned }))
  * ```
  */
 export declare const getZonedTimeIn: <Message>(zoneId: string, f: (zoned: DateTime.Zoned) => Message) => Effect.Effect<Message, string>;
 /**
  * Creates a command that focuses an element by selector and passes the result to a message constructor.
- * Returns true if the element was found and focused, false otherwise.
+ * Passes true if the element was found and focused, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to focus.
  * This follows the same approach as Elm's Browser.Dom.focus.
  *
  * @example
  * ```typescript
- * Task.focus('#email-input', success => InputFocused.make({ success }))
+ * Task.focus('#email-input', success => InputFocused({ success }))
  * ```
  */
 export declare const focus: <Message>(selector: string, f: (success: boolean) => Message) => Effect.Effect<Message>;
 /**
  * Creates a command that opens a dialog element as a modal using `showModal()`.
- * Returns true if the element was found and opened, false otherwise.
+ * Passes true if the element was found and opened, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to show.
  *
  * @example
  * ```typescript
- * Task.showModal('#my-dialog', success => ModalOpened.make({ success }))
+ * Task.showModal('#my-dialog', success => ModalOpened({ success }))
  * ```
  */
 export declare const showModal: <Message>(selector: string, f: (success: boolean) => Message) => Effect.Effect<Message>;
 /**
  * Creates a command that closes a dialog element using `.close()`.
- * Returns true if the element was found and closed, false otherwise.
+ * Passes true if the element was found and closed, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to close.
  *
  * @example
  * ```typescript
- * Task.closeModal('#my-dialog', success => ModalClosed.make({ success }))
+ * Task.closeModal('#my-dialog', success => ModalClosed({ success }))
  * ```
  */
 export declare const closeModal: <Message>(selector: string, f: (success: boolean) => Message) => Effect.Effect<Message>;
+/**
+ * Creates a command that resolves to a message after a delay.
+ * Useful for debouncing, such as clearing a typeahead search query.
+ *
+ * @example
+ * ```typescript
+ * Task.delay(350, () => SearchCleared({ version: model.searchVersion }))
+ * Task.delay(Duration.seconds(1), () => TimedOut())
+ * ```
+ */
+export declare const delay: <Message>(duration: Duration.DurationInput, f: () => Message) => Effect.Effect<Message>;
 /**
  * Creates a command that generates a random integer between min (inclusive) and max (exclusive)
  * and passes it to a message constructor.
  *
  * @example
  * ```typescript
- * Task.randomInt(0, 100, value => GotRandom.make({ value }))
+ * Task.randomInt(0, 100, value => GotRandom({ value }))
+ * ```
+ */
+/**
+ * Creates a command that scrolls an element into view by selector and passes the result to a message constructor.
+ * Passes true if the element was found and scrolled, false otherwise.
+ * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to scroll.
+ * Uses `{ block: 'nearest' }` to avoid unnecessary scrolling when the element is already visible.
+ *
+ * @example
+ * ```typescript
+ * Task.scrollIntoView('#active-item', success => ItemScrolled({ success }))
  * ```
  */
+export declare const scrollIntoView: <Message>(selector: string, f: (success: boolean) => Message) => Effect.Effect<Message>;
 export declare const randomInt: <Message>(min: number, max: number, f: (value: number) => Message) => Effect.Effect<Message>;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEjD;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,EAC7B,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,KAAK,OAAO,KAChC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAgC,CAAA;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,EACjC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,KAAK,OAAO,KACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAmD,CAAA;AAE3E;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,EAClC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,KAAK,OAAO,KACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAMpB,CAAA;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,EACpC,QAAQ,MAAM,EACd,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,KAAK,OAAO,KACpC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAS5B,CAAA;AAEJ;;;;;;;;;;GAUG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,EAC3B,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,EAC/B,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,EAChC,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,EAC/B,KAAK,MAAM,EACX,KAAK,MAAM,EACX,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KAC5B,MAAM,CAAC,MAAM,CAAC,OAAO,CAC6C,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAE3D;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,EAC7B,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,KAAK,OAAO,KAChC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAgC,CAAA;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,EACjC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,KAAK,OAAO,KACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAmD,CAAA;AAE3E;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,EAClC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,KAAK,OAAO,KACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAMpB,CAAA;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,EACpC,QAAQ,MAAM,EACd,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,KAAK,OAAO,KACpC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAS5B,CAAA;AAEJ;;;;;;;;;;GAUG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,EAC3B,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,EAC/B,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,EAChC,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ;;;;;;;;;GASG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,EAC3B,UAAU,QAAQ,CAAC,aAAa,EAChC,GAAG,MAAM,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,CAIpB,CAAA;AAEJ;;;;;;;;GAQG;AACH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,EACpC,UAAU,MAAM,EAChB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAWpB,CAAA;AAEJ,eAAO,MAAM,SAAS,GAAI,OAAO,EAC/B,KAAK,MAAM,EACX,KAAK,MAAM,EACX,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KAC5B,MAAM,CAAC,MAAM,CAAC,OAAO,CAC6C,CAAA"}

package/dist/task/index.js

@@ -5,7 +5,7 @@ import { DateTime, Effect, Option } from 'effect';
  *
  * @example
  * ```typescript
- * Task.getTime(utc => GotTime.make({ utc }))
+ * Task.getTime(utc => GotTime({ utc }))
  * ```
  */
 export const getTime = (f) => Effect.map(DateTime.now, f);
@@ -15,7 +15,7 @@ export const getTime = (f) => Effect.map(DateTime.now, f);
  *
  * @example
  * ```typescript
- * Task.getTimeZone(zone => GotTimeZone.make({ zone }))
+ * Task.getTimeZone(zone => GotTimeZone({ zone }))
  * ```
  */
 export const getTimeZone = (f) => Effect.sync(() => f(DateTime.zoneMakeLocal()));
@@ -25,7 +25,7 @@ export const getTimeZone = (f) => Effect.sync(() => f(DateTime.zoneMakeLocal()))
  *
  * @example
  * ```typescript
- * Task.getZonedTime(zoned => GotTime.make({ zoned }))
+ * Task.getZonedTime(zoned => GotTime({ zoned }))
  * ```
  */
 export const getZonedTime = (f) => Effect.gen(function* () {
@@ -40,7 +40,7 @@ export const getZonedTime = (f) => Effect.gen(function* () {
  *
  * @example
  * ```typescript
- * Task.getZonedTimeIn('America/New_York', zoned => GotNYTime.make({ zoned }))
+ * Task.getZonedTimeIn('America/New_York', zoned => GotNYTime({ zoned }))
  * ```
  */
 export const getZonedTimeIn = (zoneId, f) => Effect.gen(function* () {
@@ -54,13 +54,13 @@ export const getZonedTimeIn = (zoneId, f) => Effect.gen(function* () {
 });
 /**
  * Creates a command that focuses an element by selector and passes the result to a message constructor.
- * Returns true if the element was found and focused, false otherwise.
+ * Passes true if the element was found and focused, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to focus.
  * This follows the same approach as Elm's Browser.Dom.focus.
  *
  * @example
  * ```typescript
- * Task.focus('#email-input', success => InputFocused.make({ success }))
+ * Task.focus('#email-input', success => InputFocused({ success }))
  * ```
  */
 export const focus = (selector, f) => Effect.async((resume) => {
@@ -77,12 +77,12 @@ export const focus = (selector, f) => Effect.async((resume) => {
 });
 /**
  * Creates a command that opens a dialog element as a modal using `showModal()`.
- * Returns true if the element was found and opened, false otherwise.
+ * Passes true if the element was found and opened, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to show.
  *
  * @example
  * ```typescript
- * Task.showModal('#my-dialog', success => ModalOpened.make({ success }))
+ * Task.showModal('#my-dialog', success => ModalOpened({ success }))
  * ```
  */
 export const showModal = (selector, f) => Effect.async((resume) => {
@@ -99,12 +99,12 @@ export const showModal = (selector, f) => Effect.async((resume) => {
 });
 /**
  * Creates a command that closes a dialog element using `.close()`.
- * Returns true if the element was found and closed, false otherwise.
+ * Passes true if the element was found and closed, false otherwise.
  * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to close.
  *
  * @example
  * ```typescript
- * Task.closeModal('#my-dialog', success => ModalClosed.make({ success }))
+ * Task.closeModal('#my-dialog', success => ModalClosed({ success }))
  * ```
  */
 export const closeModal = (selector, f) => Effect.async((resume) => {
@@ -119,13 +119,50 @@ export const closeModal = (selector, f) => Effect.async((resume) => {
         }
     });
 });
+/**
+ * Creates a command that resolves to a message after a delay.
+ * Useful for debouncing, such as clearing a typeahead search query.
+ *
+ * @example
+ * ```typescript
+ * Task.delay(350, () => SearchCleared({ version: model.searchVersion }))
+ * Task.delay(Duration.seconds(1), () => TimedOut())
+ * ```
+ */
+export const delay = (duration, f) => Effect.gen(function* () {
+    yield* Effect.sleep(duration);
+    return f();
+});
 /**
  * Creates a command that generates a random integer between min (inclusive) and max (exclusive)
  * and passes it to a message constructor.
  *
  * @example
  * ```typescript
- * Task.randomInt(0, 100, value => GotRandom.make({ value }))
+ * Task.randomInt(0, 100, value => GotRandom({ value }))
  * ```
  */
+/**
+ * Creates a command that scrolls an element into view by selector and passes the result to a message constructor.
+ * Passes true if the element was found and scrolled, false otherwise.
+ * Uses requestAnimationFrame to ensure the DOM tree is updated and nodes exist before attempting to scroll.
+ * Uses `{ block: 'nearest' }` to avoid unnecessary scrolling when the element is already visible.
+ *
+ * @example
+ * ```typescript
+ * Task.scrollIntoView('#active-item', success => ItemScrolled({ success }))
+ * ```
+ */
+export const scrollIntoView = (selector, f) => Effect.async((resume) => {
+    requestAnimationFrame(() => {
+        const element = document.querySelector(selector);
+        if (element instanceof HTMLElement) {
+            element.scrollIntoView({ block: 'nearest' });
+            resume(Effect.succeed(f(true)));
+        }
+        else {
+            resume(Effect.succeed(f(false)));
+        }
+    });
+});
 export const randomInt = (min, max, f) => Effect.sync(() => f(Math.floor(Math.random() * (max - min)) + min));

package/dist/task/public.d.ts

@@ -1,2 +1,2 @@
-export { getTime, getTimeZone, getZonedTime, getZonedTimeIn, focus, randomInt, } from './index';
+export { getTime, getTimeZone, getZonedTime, getZonedTimeIn, focus, showModal, closeModal, delay, scrollIntoView, randomInt, } from './index';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/task/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,WAAW,EACX,YAAY,EACZ,cAAc,EACd,KAAK,EACL,SAAS,GACV,MAAM,SAAS,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/task/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,WAAW,EACX,YAAY,EACZ,cAAc,EACd,KAAK,EACL,SAAS,EACT,UAAU,EACV,KAAK,EACL,cAAc,EACd,SAAS,GACV,MAAM,SAAS,CAAA"}

package/dist/task/public.js

@@ -1 +1 @@
-export { getTime, getTimeZone, getZonedTime, getZonedTimeIn, focus, randomInt, } from './index';
+export { getTime, getTimeZone, getZonedTime, getZonedTimeIn, focus, showModal, closeModal, delay, scrollIntoView, randomInt, } from './index';

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

@@ -8,13 +8,13 @@ export declare const Model: S.Struct<{
 }>;
 export type Model = typeof Model.Type;
 /** Sent when the dialog should open. Triggers the showModal command. */
-export declare const Opened: S.TaggedStruct<"Opened", {}>;
+export declare const Opened: import("../../schema").CallableTaggedStruct<"Opened", {}>;
 /** Sent when the dialog should close (Escape key, backdrop click, or programmatic). Triggers the closeModal command. */
-export declare const Closed: S.TaggedStruct<"Closed", {}>;
+export declare const Closed: import("../../schema").CallableTaggedStruct<"Closed", {}>;
 /** Placeholder message used when no action is needed, such as after a showModal or closeModal command completes. */
-export declare const NoOp: S.TaggedStruct<"NoOp", {}>;
+export declare const NoOp: import("../../schema").CallableTaggedStruct<"NoOp", {}>;
 /** Union of all messages the dialog component can produce. */
-export declare const Message: S.Union<[S.TaggedStruct<"Opened", {}>, S.TaggedStruct<"Closed", {}>, S.TaggedStruct<"NoOp", {}>]>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"Opened", {}>, import("../../schema").CallableTaggedStruct<"Closed", {}>, import("../../schema").CallableTaggedStruct<"NoOp", {}>]>;
 export type Opened = typeof Opened.Type;
 export type Closed = typeof Closed.Type;
 export type NoOp = typeof NoOp.Type;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/dialog/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAGxD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAOpD,8FAA8F;AAC9F,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,wEAAwE;AACxE,eAAO,MAAM,MAAM,8BAAe,CAAA;AAClC,wHAAwH;AACxH,eAAO,MAAM,MAAM,8BAAe,CAAA;AAClC,oHAAoH;AACpH,eAAO,MAAM,IAAI,4BAAa,CAAA;AAE9B,8DAA8D;AAC9D,eAAO,MAAM,OAAO,mGAAgC,CAAA;AAEpD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAC,CAAA;AAEF,yEAAyE;AACzE,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAMF,0EAA0E;AAC1E,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CA4BvC,CAAA;AAIH,iGAAiG;AACjG,eAAO,MAAM,OAAO,GAAI,OAAO,KAAK,KAAG,MAA6B,CAAA;AAEpE,wGAAwG;AACxG,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,MAAmC,CAAA;AAEhF,wDAAwD;AACxD,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAA;IAC9C,YAAY,EAAE,IAAI,CAAA;IAClB,cAAc,EAAE,MAAM,CAAA;IACtB,iBAAiB,EAAE,MAAM,CAAA;IACzB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF,sGAAsG;AACtG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAG,IA6C3D,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/dialog/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAGxD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAOpD,8FAA8F;AAC9F,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,wEAAwE;AACxE,eAAO,MAAM,MAAM,2DAAe,CAAA;AAClC,wHAAwH;AACxH,eAAO,MAAM,MAAM,2DAAe,CAAA;AAClC,oHAAoH;AACpH,eAAO,MAAM,IAAI,yDAAa,CAAA;AAE9B,8DAA8D;AAC9D,eAAO,MAAM,OAAO,0LAAgC,CAAA;AAEpD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAC,CAAA;AAEF,yEAAyE;AACzE,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAMF,0EAA0E;AAC1E,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CA4BvC,CAAA;AAIH,iGAAiG;AACjG,eAAO,MAAM,OAAO,GAAI,OAAO,KAAK,KAAG,MAA6B,CAAA;AAEpE,wGAAwG;AACxG,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,MAAmC,CAAA;AAEhF,wDAAwD;AACxD,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAA;IAC9C,YAAY,EAAE,IAAI,CAAA;IAClB,cAAc,EAAE,MAAM,CAAA;IACtB,iBAAiB,EAAE,MAAM,CAAA;IACzB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF,sGAAsG;AACtG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAG,IA6C3D,CAAA"}

package/dist/ui/dialog/index.js

@@ -28,14 +28,14 @@ const dialogSelector = (id) => `#${id}`;
 /** Processes a dialog message and returns the next model and commands. */
 export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
     Opened: () => {
-        const maybeShowCommand = Option.liftPredicate(Task.showModal(dialogSelector(model.id), () => NoOp.make()), () => !model.isOpen);
+        const maybeShowCommand = Option.liftPredicate(Task.showModal(dialogSelector(model.id), () => NoOp()), () => !model.isOpen);
         return [
             evo(model, { isOpen: () => true }),
             Option.toArray(maybeShowCommand),
         ];
     },
     Closed: () => {
-        const maybeCloseCommand = Option.liftPredicate(Task.closeModal(dialogSelector(model.id), () => NoOp.make()), () => model.isOpen);
+        const maybeCloseCommand = Option.liftPredicate(Task.closeModal(dialogSelector(model.id), () => NoOp()), () => model.isOpen);
         return [
             evo(model, { isOpen: () => false }),
             Option.toArray(maybeCloseCommand),
@@ -56,11 +56,11 @@ export const view = (config) => {
         Id(id),
         AriaLabelledBy(`${id}-title`),
         AriaDescribedBy(`${id}-description`),
-        OnCancel(toMessage(Closed.make())),
+        OnCancel(toMessage(Closed())),
         ...(isOpen ? [DataAttribute('open', '')] : []),
         ...(className ? [Class(className)] : []),
     ];
-    const backdrop = keyed('div')(`${id}-backdrop`, [Class(backdropClassName), OnClick(toMessage(Closed.make()))], []);
+    const backdrop = keyed('div')(`${id}-backdrop`, [Class(backdropClassName), OnClick(toMessage(Closed()))], []);
     const panel = keyed('div')(`${id}-panel`, [Class(panelClassName)], [panelContent]);
     const content = isOpen ? [backdrop, panel] : [];
     return keyed('dialog')(id, dialogAttributes, content);

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

@@ -8,13 +8,13 @@ export declare const Model: S.Struct<{
 }>;
 export type Model = typeof Model.Type;
 /** Sent when the disclosure button is clicked. Toggles the open/closed state. */
-export declare const Toggled: S.TaggedStruct<"Toggled", {}>;
+export declare const Toggled: import("../../schema").CallableTaggedStruct<"Toggled", {}>;
 /** Sent to explicitly close the disclosure, regardless of its current state. */
-export declare const Closed: S.TaggedStruct<"Closed", {}>;
+export declare const Closed: import("../../schema").CallableTaggedStruct<"Closed", {}>;
 /** 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 disclosure component can produce. */
-export declare const Message: S.Union<[S.TaggedStruct<"Toggled", {}>, S.TaggedStruct<"Closed", {}>, S.TaggedStruct<"NoOp", {}>]>;
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"Toggled", {}>, import("../../schema").CallableTaggedStruct<"Closed", {}>, import("../../schema").CallableTaggedStruct<"NoOp", {}>]>;
 export type Toggled = typeof Toggled.Type;
 export type Closed = typeof Closed.Type;
 export type NoOp = typeof NoOp.Type;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/disclosure/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAGxD,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAOpD,kGAAkG;AAClG,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,iFAAiF;AACjF,eAAO,MAAM,OAAO,+BAAgB,CAAA;AACpC,gFAAgF;AAChF,eAAO,MAAM,MAAM,8BAAe,CAAA;AAClC,kGAAkG;AAClG,eAAO,MAAM,IAAI,4BAAa,CAAA;AAE9B,kEAAkE;AAClE,eAAO,MAAM,OAAO,oGAAiC,CAAA;AAErD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAC,CAAA;AAEF,6EAA6E;AAC7E,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAQF,8EAA8E;AAC9E,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CA4BvC,CAAA;AAIH,4DAA4D;AAC5D,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,KAAK,OAAO,CAAA;IACxD,eAAe,EAAE,MAAM,CAAA;IACvB,aAAa,EAAE,IAAI,CAAA;IACnB,cAAc,EAAE,MAAM,CAAA;IACtB,YAAY,EAAE,IAAI,CAAA;IAClB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF,oGAAoG;AACpG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAG,IAyF3D,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/disclosure/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAGxD,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAOpD,kGAAkG;AAClG,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,iFAAiF;AACjF,eAAO,MAAM,OAAO,4DAAgB,CAAA;AACpC,gFAAgF;AAChF,eAAO,MAAM,MAAM,2DAAe,CAAA;AAClC,kGAAkG;AAClG,eAAO,MAAM,IAAI,yDAAa,CAAA;AAE9B,kEAAkE;AAClE,eAAO,MAAM,OAAO,2LAAiC,CAAA;AAErD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAC,CAAA;AAEF,6EAA6E;AAC7E,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAQF,8EAA8E;AAC9E,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CA4BvC,CAAA;AAIH,4DAA4D;AAC5D,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,KAAK,OAAO,CAAA;IACxD,eAAe,EAAE,MAAM,CAAA;IACvB,aAAa,EAAE,IAAI,CAAA;IACnB,cAAc,EAAE,MAAM,CAAA;IACtB,YAAY,EAAE,IAAI,CAAA;IAClB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF,oGAAoG;AACpG,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAG,IAyF3D,CAAA"}

package/dist/ui/disclosure/index.js

@@ -29,14 +29,14 @@ const panelId = (id) => `${id}-panel`;
 /** Processes a disclosure message and returns the next model and commands. */
 export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
     Toggled: () => {
-        const maybeFocusCommand = Option.liftPredicate(Task.focus(`#${buttonId(model.id)}`, () => NoOp.make()), () => model.isOpen);
+        const maybeFocusCommand = Option.liftPredicate(Task.focus(`#${buttonId(model.id)}`, () => NoOp()), () => model.isOpen);
         return [
             evo(model, { isOpen: () => !model.isOpen }),
             Option.toArray(maybeFocusCommand),
         ];
     },
     Closed: () => {
-        const maybeFocusCommand = Option.liftPredicate(Task.focus(`#${buttonId(model.id)}`, () => NoOp.make()), () => model.isOpen);
+        const maybeFocusCommand = Option.liftPredicate(Task.focus(`#${buttonId(model.id)}`, () => NoOp()), () => model.isOpen);
         return [
             evo(model, { isOpen: () => false }),
             Option.toArray(maybeFocusCommand),
@@ -51,7 +51,7 @@ export const view = (config) => {
     const isNativeButton = buttonElement === 'button';
     const handleKeyDown = (key) => 
     /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-    M.value(key).pipe(M.whenOr('Enter', ' ', () => toMessage(Toggled.make())), M.orElse(() => toMessage(NoOp.make())));
+    M.value(key).pipe(M.whenOr('Enter', ' ', () => toMessage(Toggled())), M.orElse(() => toMessage(NoOp())));
     const disabledAttributes = [
         Disabled(true),
         AriaDisabled(true),
@@ -60,7 +60,7 @@ export const view = (config) => {
     const interactionAttributes = isDisabled
         ? disabledAttributes
         : [
-            OnClick(toMessage(Toggled.make())),
+            OnClick(toMessage(Toggled())),
             ...(!isNativeButton ? [OnKeyDown(handleKeyDown)] : []),
         ];
     const buttonAttributes = [

package/dist/ui/index.d.ts

@@ -1,4 +1,5 @@
 export * as Dialog from './dialog/public';
 export * as Disclosure from './disclosure/public';
+export * as Menu from './menu/public';
 export * as Tabs from './tabs/public';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ui/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ui/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA"}

package/dist/ui/index.js

@@ -1,3 +1,4 @@
 export * as Dialog from './dialog/public';
 export * as Disclosure from './disclosure/public';
+export * as Menu from './menu/public';
 export * as Tabs from './tabs/public';

package/dist/ui/keyboard.d.ts

@@ -0,0 +1,4 @@
+export declare const wrapIndex: (index: number, length: number) => number;
+export declare const findFirstEnabledIndex: (itemCount: number, focusedIndex: number, isDisabled: (index: number) => boolean) => (startIndex: number, direction: 1 | -1) => number;
+export declare const keyToIndex: (nextKey: string, previousKey: string, itemCount: number, focusedIndex: number, isDisabled: (index: number) => boolean) => ((key: string) => number);
+//# sourceMappingURL=keyboard.d.ts.map

package/dist/ui/keyboard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyboard.d.ts","sourceRoot":"","sources":["../../src/ui/keyboard.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,EAAE,QAAQ,MAAM,KAAG,MACpB,CAAA;AAEtC,eAAO,MAAM,qBAAqB,GAE9B,WAAW,MAAM,EACjB,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,WAAW,MAAM,EACjB,cAAc,MAAM,EACpB,YAAY,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KACrC,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAW1B,CAAA"}

package/dist/ui/keyboard.js

@@ -0,0 +1,7 @@
+import { Array, Match as M, Option, Predicate, pipe } from 'effect';
+export const wrapIndex = (index, length) => ((index % length) + length) % length;
+export const findFirstEnabledIndex = (itemCount, focusedIndex, isDisabled) => (startIndex, direction) => pipe(itemCount, Array.makeBy((step) => wrapIndex(startIndex + step * direction, itemCount)), Array.findFirst(Predicate.not(isDisabled)), Option.getOrElse(() => focusedIndex));
+export const keyToIndex = (nextKey, previousKey, itemCount, focusedIndex, isDisabled) => {
+    const find = findFirstEnabledIndex(itemCount, 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(itemCount - 1, -1)), M.orElse(() => focusedIndex));
+};

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

@@ -0,0 +1,136 @@
+import { Option, Schema as S } from 'effect';
+import type { Html } from '../../html';
+import type { Command } from '../../runtime/runtime';
+/** Schema for the activation trigger — whether the user interacted via mouse or keyboard. */
+export declare const ActivationTrigger: S.Literal<["Pointer", "Keyboard"]>;
+export type ActivationTrigger = typeof ActivationTrigger.Type;
+/** Schema for the menu component's state, tracking open/closed status, active item, activation trigger, and typeahead search. */
+export declare const Model: S.Struct<{
+    id: typeof S.String;
+    isOpen: typeof S.Boolean;
+    maybeActiveItemIndex: S.OptionFromSelf<typeof S.Number>;
+    activationTrigger: S.Literal<["Pointer", "Keyboard"]>;
+    searchQuery: typeof S.String;
+    searchVersion: typeof S.Number;
+    maybeLastPointerPosition: S.OptionFromSelf<S.Struct<{
+        screenX: typeof S.Number;
+        screenY: typeof S.Number;
+    }>>;
+}>;
+export type Model = typeof Model.Type;
+/** Sent when the menu opens via button click or keyboard. Contains an optional initial active item index — None for pointer, Some for keyboard. */
+export declare const Opened: import("../../schema").CallableTaggedStruct<"Opened", {
+    maybeActiveItemIndex: S.OptionFromSelf<typeof S.Number>;
+}>;
+/** Sent when the menu closes via Escape key or backdrop click. */
+export declare const Closed: import("../../schema").CallableTaggedStruct<"Closed", {}>;
+/** Sent when focus leaves the menu items container via Tab key. */
+export declare const ClosedByTab: import("../../schema").CallableTaggedStruct<"ClosedByTab", {}>;
+/** Sent when an item is highlighted via arrow keys or mouse hover. Includes activation trigger. */
+export declare const ItemActivated: import("../../schema").CallableTaggedStruct<"ItemActivated", {
+    index: typeof S.Number;
+    activationTrigger: S.Literal<["Pointer", "Keyboard"]>;
+}>;
+/** Sent when the mouse leaves an enabled item. */
+export declare const ItemDeactivated: import("../../schema").CallableTaggedStruct<"ItemDeactivated", {}>;
+/** Sent when an item is selected via Enter, Space, or click. */
+export declare const ItemSelected: import("../../schema").CallableTaggedStruct<"ItemSelected", {
+    index: typeof S.Number;
+}>;
+/** Sent when a printable character is typed for typeahead search. */
+export declare const Searched: import("../../schema").CallableTaggedStruct<"Searched", {
+    key: typeof S.String;
+    maybeTargetIndex: S.OptionFromSelf<typeof S.Number>;
+}>;
+/** Sent after the search debounce period to clear the accumulated query. */
+export declare const SearchCleared: import("../../schema").CallableTaggedStruct<"SearchCleared", {
+    version: typeof S.Number;
+}>;
+/** Sent when the pointer moves over a menu item, carrying screen coordinates for tracked-pointer comparison. */
+export declare const PointerMovedOverItem: import("../../schema").CallableTaggedStruct<"PointerMovedOverItem", {
+    index: typeof S.Number;
+    screenX: typeof S.Number;
+    screenY: typeof S.Number;
+}>;
+/** Placeholder message used when no action is needed. */
+export declare const NoOp: import("../../schema").CallableTaggedStruct<"NoOp", {}>;
+/** Union of all messages the menu component can produce. */
+export declare const Message: S.Union<[import("../../schema").CallableTaggedStruct<"Opened", {
+    maybeActiveItemIndex: S.OptionFromSelf<typeof S.Number>;
+}>, import("../../schema").CallableTaggedStruct<"Closed", {}>, import("../../schema").CallableTaggedStruct<"ClosedByTab", {}>, import("../../schema").CallableTaggedStruct<"ItemActivated", {
+    index: typeof S.Number;
+    activationTrigger: S.Literal<["Pointer", "Keyboard"]>;
+}>, import("../../schema").CallableTaggedStruct<"ItemDeactivated", {}>, import("../../schema").CallableTaggedStruct<"ItemSelected", {
+    index: typeof S.Number;
+}>, import("../../schema").CallableTaggedStruct<"PointerMovedOverItem", {
+    index: typeof S.Number;
+    screenX: typeof S.Number;
+    screenY: typeof S.Number;
+}>, import("../../schema").CallableTaggedStruct<"Searched", {
+    key: typeof S.String;
+    maybeTargetIndex: S.OptionFromSelf<typeof S.Number>;
+}>, import("../../schema").CallableTaggedStruct<"SearchCleared", {
+    version: typeof S.Number;
+}>, import("../../schema").CallableTaggedStruct<"NoOp", {}>]>;
+export type Opened = typeof Opened.Type;
+export type Closed = typeof Closed.Type;
+export type ClosedByTab = typeof ClosedByTab.Type;
+export type ItemActivated = typeof ItemActivated.Type;
+export type ItemDeactivated = typeof ItemDeactivated.Type;
+export type ItemSelected = typeof ItemSelected.Type;
+export type PointerMovedOverItem = typeof PointerMovedOverItem.Type;
+export type Searched = typeof Searched.Type;
+export type SearchCleared = typeof SearchCleared.Type;
+export type NoOp = typeof NoOp.Type;
+export type Message = typeof Message.Type;
+/** Configuration for creating a menu model with `init`. */
+export type InitConfig = Readonly<{
+    id: string;
+}>;
+/** Creates an initial menu model from a config. Defaults to closed with no active item. */
+export declare const init: (config: InitConfig) => Model;
+/** Processes a menu message and returns the next model and commands. */
+export declare const update: (model: Model, message: Message) => [Model, ReadonlyArray<Command<Message>>];
+/** Configuration for an individual menu item's appearance. */
+export type ItemConfig = Readonly<{
+    className: string;
+    content: Html;
+}>;
+/** Configuration for a group heading rendered above a group of items. */
+export type GroupHeading = Readonly<{
+    content: Html;
+    className: string;
+}>;
+/** Configuration for rendering a menu with `view`. */
+export type ViewConfig<Message, Item extends string> = Readonly<{
+    model: Model;
+    toMessage: (message: Opened | Closed | ClosedByTab | ItemActivated | ItemDeactivated | ItemSelected | PointerMovedOverItem | Searched) => Message;
+    items: ReadonlyArray<Item>;
+    itemToConfig: (item: Item, context: Readonly<{
+        isActive: boolean;
+        isDisabled: boolean;
+    }>) => ItemConfig;
+    isItemDisabled?: (item: Item, index: number) => boolean;
+    itemToSearchText?: (item: Item, index: number) => string;
+    isButtonDisabled?: boolean;
+    buttonContent: Html;
+    buttonClassName: string;
+    itemsClassName: string;
+    backdropClassName: string;
+    className?: string;
+    itemGroupKey?: (item: Item, index: number) => string;
+    groupToHeading?: (groupKey: string) => GroupHeading | undefined;
+    groupClassName?: string;
+    separatorClassName?: string;
+}>;
+type Segment<A> = Readonly<{
+    key: string;
+    items: ReadonlyArray<A>;
+}>;
+export declare const groupContiguous: <A>(items: ReadonlyArray<A>, toKey: (item: A, index: number) => string) => ReadonlyArray<Segment<A>>;
+/** 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 declare const resolveTypeaheadMatch: <Item extends string>(items: ReadonlyArray<Item>, query: string, maybeActiveItemIndex: Option.Option<number>, isDisabled: (index: number) => boolean, itemToSearchText: (item: Item, index: number) => string, isRefinement: boolean) => Option.Option<number>;
+/** Renders a headless menu with typeahead search, keyboard navigation, and aria-activedescendant focus management. */
+export declare const view: <Message, Item extends string>(config: ViewConfig<Message, Item>) => Html;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ui/menu/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EACN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAGf,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAQpD,6FAA6F;AAC7F,eAAO,MAAM,iBAAiB,oCAAmC,CAAA;AACjE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,iIAAiI;AACjI,eAAO,MAAM,KAAK;;;;;;;;;;;EAUhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,mJAAmJ;AACnJ,eAAO,MAAM,MAAM;;EAEjB,CAAA;AACF,kEAAkE;AAClE,eAAO,MAAM,MAAM,2DAAe,CAAA;AAClC,mEAAmE;AACnE,eAAO,MAAM,WAAW,gEAAoB,CAAA;AAC5C,mGAAmG;AACnG,eAAO,MAAM,aAAa;;;EAGxB,CAAA;AACF,kDAAkD;AAClD,eAAO,MAAM,eAAe,oEAAwB,CAAA;AACpD,gEAAgE;AAChE,eAAO,MAAM,YAAY;;EAA0C,CAAA;AACnE,qEAAqE;AACrE,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AACF,4EAA4E;AAC5E,eAAO,MAAM,aAAa;;EAA6C,CAAA;AACvE,gHAAgH;AAChH,eAAO,MAAM,oBAAoB;;;;EAI/B,CAAA;AACF,yDAAyD;AACzD,eAAO,MAAM,IAAI,yDAAa,CAAA;AAE9B,4DAA4D;AAC5D,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;6DAWnB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AACjD,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AACzD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AACnE,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAC3C,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAMzC,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;CACX,CAAC,CAAA;AAEF,2FAA2F;AAC3F,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAQxC,CAAA;AAmBF,wEAAwE;AACxE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAwFvC,CAAA;AAIH,8DAA8D;AAC9D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,SAAS,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,IAAI,CAAA;CACd,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;CAClB,CAAC,CAAA;AAEF,sDAAsD;AACtD,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC9D,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,CACT,OAAO,EACH,MAAM,GACN,MAAM,GACN,WAAW,GACX,aAAa,GACb,eAAe,GACf,YAAY,GACZ,oBAAoB,GACpB,QAAQ,KACT,OAAO,CAAA;IACZ,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,YAAY,EAAE,CACZ,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,QAAQ,CAAC;QAAE,QAAQ,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC,KAC1D,UAAU,CAAA;IACf,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACxD,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,aAAa,EAAE,IAAI,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;IACvB,cAAc,EAAE,MAAM,CAAA;IACtB,iBAAiB,EAAE,MAAM,CAAA;IACzB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACpD,cAAc,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAA;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B,CAAC,CAAA;AAEF,KAAK,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAA;AAEpE,eAAO,MAAM,eAAe,GAAI,CAAC,EAC/B,OAAO,aAAa,CAAC,CAAC,CAAC,EACvB,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,KACxC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAc1B,CAAA;AAID,oOAAoO;AACpO,eAAO,MAAM,qBAAqB,GAAI,IAAI,SAAS,MAAM,EACvD,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,OAAO,MAAM,EACb,sBAAsB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,YAAY,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,EACtC,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EACvD,cAAc,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CA2BtB,CAAA;AAED,sHAAsH;AACtH,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,IAAI,SAAS,MAAM,EAC/C,QAAQ,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,KAChC,IAoSF,CAAA"}