@foldkit/ui 0.112.0

package/dist/fileDrop/index.d.ts

@@ -0,0 +1,109 @@
+import { Option, Schema as S } from 'effect';
+import * as Command from 'foldkit/command';
+import { type ChildAttribute, type Html } from 'foldkit/html';
+/** Schema for the file-drop component's state.
+ *
+ * `isDragOver` controls the `data-drag-over` attribute on the root while a
+ * drag is hovering. The html layer's `OnDragEnter`/`OnDragLeave` handlers
+ * track the per-element active state internally so transitions between
+ * children of the zone do not flicker the boolean off-and-on. */
+export declare const Model: S.Struct<{
+    readonly id: S.String;
+    readonly isDragOver: S.Boolean;
+}>;
+export type Model = typeof Model.Type;
+/** Sent when a drag enters the drop zone. Flips `isDragOver` to true so
+ * the consumer's styling can highlight the zone. */
+export declare const EnteredDragZone: import("foldkit/schema").CallableTaggedStruct<"EnteredDragZone", {}>;
+/** Sent when a drag leaves the drop zone without dropping. Flips
+ * `isDragOver` back to false. */
+export declare const LeftDragZone: import("foldkit/schema").CallableTaggedStruct<"LeftDragZone", {}>;
+/** Sent when the user drops files on the zone or selects them via the
+ * hidden `<input type="file">`. Carries a non-empty list of `File`
+ * objects, resets `isDragOver`, and emits `ReceivedFiles` as an
+ * OutMessage. */
+export declare const DroppedFiles: import("foldkit/schema").CallableTaggedStruct<"DroppedFiles", {
+    files: S.NonEmptyArray<S.Schema<File>>;
+}>;
+/** Sent when a drop or input-change event fires without any files,
+ * typically a drag of non-file data (text, URLs, images from another
+ * page). Resets `isDragOver` and emits `RejectedNonFiles` as an
+ * OutMessage so the consumer can surface a message (e.g. "Only files are
+ * accepted"). */
+export declare const DroppedNonFiles: import("foldkit/schema").CallableTaggedStruct<"DroppedNonFiles", {}>;
+/** Union of all messages the file-drop component can produce. */
+export declare const Message: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"EnteredDragZone", {}>, import("foldkit/schema").CallableTaggedStruct<"LeftDragZone", {}>, import("foldkit/schema").CallableTaggedStruct<"DroppedFiles", {
+    files: S.NonEmptyArray<S.Schema<File>>;
+}>, import("foldkit/schema").CallableTaggedStruct<"DroppedNonFiles", {}>]>;
+export type Message = typeof Message.Type;
+/** Emitted when files arrive via drop or input-change. The consumer's
+ * parent update handles this to process the files (validate, upload,
+ * store in Model, etc.). The files list is non-empty. */
+export declare const ReceivedFiles: import("foldkit/schema").CallableTaggedStruct<"ReceivedFiles", {
+    files: S.NonEmptyArray<S.Schema<File>>;
+}>;
+/** Emitted when a drop or input-change event produces no files. The
+ * consumer's parent update handles this to surface a message (e.g. "Only
+ * files are accepted"). */
+export declare const RejectedNonFiles: import("foldkit/schema").CallableTaggedStruct<"RejectedNonFiles", {}>;
+/** The file-drop component's OutMessages: `ReceivedFiles` on the happy
+ * path and `RejectedNonFiles` when a drop event fires without files. */
+export declare const OutMessage: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"ReceivedFiles", {
+    files: S.NonEmptyArray<S.Schema<File>>;
+}>, import("foldkit/schema").CallableTaggedStruct<"RejectedNonFiles", {}>]>;
+export type OutMessage = typeof OutMessage.Type;
+/** Configuration for creating a file-drop model with `init`. */
+export type InitConfig = Readonly<{
+    id: string;
+}>;
+/** Creates an initial file-drop model. Drag state starts cleared. */
+export declare const init: (config: InitConfig) => Model;
+type UpdateReturn = readonly [
+    Model,
+    ReadonlyArray<Command.Command<Message>>,
+    Option.Option<OutMessage>
+];
+/** Processes a file-drop message and returns the next model, commands,
+ * and optional OutMessage. */
+export declare const update: (model: Model, message: Message) => UpdateReturn;
+/** Attribute groups the file-drop component provides to the consumer's
+ *  `toView` callback. */
+export type FileDropAttributes = Readonly<{
+    /** Attributes for the outer drop zone element (typically a `<label>`):
+     *  drag-and-drop handlers, `data-drag-over` while a drag hovers, and
+     *  `data-disabled` when disabled. */
+    root: ReadonlyArray<ChildAttribute>;
+    /** Attributes for a hidden `<input type="file">` nested inside the
+     *  root: file-change handler, `type`, `id`, `multiple`, `accept`, and
+     *  `sr-only` class. */
+    input: ReadonlyArray<ChildAttribute>;
+}>;
+/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field. */
+export type ViewInputs = Readonly<{
+    toView: (attributes: FileDropAttributes) => Html;
+    accept?: ReadonlyArray<string>;
+    multiple?: boolean;
+    isDisabled?: boolean;
+}>;
+/** Renders an accessible file-drop zone by publishing attribute groups
+ *  for a `<label>`-wrapped hidden file input. */
+export declare const view: import("foldkit/submodel").View<{
+    readonly id: string;
+    readonly isDragOver: boolean;
+}, {
+    readonly _tag: "EnteredDragZone";
+} | {
+    readonly _tag: "LeftDragZone";
+} | {
+    readonly _tag: "DroppedFiles";
+    readonly files: readonly [File, ...File[]];
+} | {
+    readonly _tag: "DroppedNonFiles";
+}, Readonly<{
+    toView: (attributes: FileDropAttributes) => Html;
+    accept?: ReadonlyArray<string>;
+    multiple?: boolean;
+    isDisabled?: boolean;
+}>>;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fileDrop/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAOrB;;;;;iEAKiE;AACjE,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;oDACoD;AACpD,eAAO,MAAM,eAAe,sEAAuB,CAAA;AACnD;iCACiC;AACjC,eAAO,MAAM,YAAY,mEAAoB,CAAA;AAC7C;;;iBAGiB;AACjB,eAAO,MAAM,YAAY;;EAEvB,CAAA;AACF;;;;iBAIiB;AACjB,eAAO,MAAM,eAAe,sEAAuB,CAAA;AAEnD,iEAAiE;AACjE,eAAO,MAAM,OAAO;;0EAKlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC;;yDAEyD;AACzD,eAAO,MAAM,aAAa;;EAExB,CAAA;AAEF;;2BAE2B;AAC3B,eAAO,MAAM,gBAAgB,uEAAwB,CAAA;AAErD;wEACwE;AACxE,eAAO,MAAM,UAAU;;2EAA6C,CAAA;AACpE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,gEAAgE;AAChE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;CACX,CAAC,CAAA;AAEF,qEAAqE;AACrE,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAIF,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAED;8BAC8B;AAC9B,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YAyBrD,CAAA;AAIH;yBACyB;AACzB,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC;;yCAEqC;IACrC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC;;2BAEuB;IACvB,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAChD,MAAM,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9B,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,UAAU,CAAC,EAAE,OAAO,CAAA;CACrB,CAAC,CAAA;AAQF;iDACiD;AACjD,eAAO,MAAM,IAAI;;;;;;;;;;;;;YAdP,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI;aACvC,aAAa,CAAC,MAAM,CAAC;eACnB,OAAO;iBACL,OAAO;GAmDrB,CAAA"}

package/dist/fileDrop/index.js

@@ -0,0 +1,127 @@
+import { Array, Match as M, Option, Schema as S } from 'effect';
+import * as File from 'foldkit/file';
+import { childAttributes, html, } from 'foldkit/html';
+import { m } from 'foldkit/message';
+import { evo } from 'foldkit/struct';
+import { defineView } from 'foldkit/submodel';
+// MODEL
+/** Schema for the file-drop component's state.
+ *
+ * `isDragOver` controls the `data-drag-over` attribute on the root while a
+ * drag is hovering. The html layer's `OnDragEnter`/`OnDragLeave` handlers
+ * track the per-element active state internally so transitions between
+ * children of the zone do not flicker the boolean off-and-on. */
+export const Model = S.Struct({
+    id: S.String,
+    isDragOver: S.Boolean,
+});
+// MESSAGE
+/** Sent when a drag enters the drop zone. Flips `isDragOver` to true so
+ * the consumer's styling can highlight the zone. */
+export const EnteredDragZone = m('EnteredDragZone');
+/** Sent when a drag leaves the drop zone without dropping. Flips
+ * `isDragOver` back to false. */
+export const LeftDragZone = m('LeftDragZone');
+/** Sent when the user drops files on the zone or selects them via the
+ * hidden `<input type="file">`. Carries a non-empty list of `File`
+ * objects, resets `isDragOver`, and emits `ReceivedFiles` as an
+ * OutMessage. */
+export const DroppedFiles = m('DroppedFiles', {
+    files: S.NonEmptyArray(File.File),
+});
+/** Sent when a drop or input-change event fires without any files,
+ * typically a drag of non-file data (text, URLs, images from another
+ * page). Resets `isDragOver` and emits `RejectedNonFiles` as an
+ * OutMessage so the consumer can surface a message (e.g. "Only files are
+ * accepted"). */
+export const DroppedNonFiles = m('DroppedNonFiles');
+/** Union of all messages the file-drop component can produce. */
+export const Message = S.Union([
+    EnteredDragZone,
+    LeftDragZone,
+    DroppedFiles,
+    DroppedNonFiles,
+]);
+// OUT MESSAGE
+/** Emitted when files arrive via drop or input-change. The consumer's
+ * parent update handles this to process the files (validate, upload,
+ * store in Model, etc.). The files list is non-empty. */
+export const ReceivedFiles = m('ReceivedFiles', {
+    files: S.NonEmptyArray(File.File),
+});
+/** Emitted when a drop or input-change event produces no files. The
+ * consumer's parent update handles this to surface a message (e.g. "Only
+ * files are accepted"). */
+export const RejectedNonFiles = m('RejectedNonFiles');
+/** The file-drop component's OutMessages: `ReceivedFiles` on the happy
+ * path and `RejectedNonFiles` when a drop event fires without files. */
+export const OutMessage = S.Union([ReceivedFiles, RejectedNonFiles]);
+/** Creates an initial file-drop model. Drag state starts cleared. */
+export const init = (config) => ({
+    id: config.id,
+    isDragOver: false,
+});
+/** Processes a file-drop message and returns the next model, commands,
+ * and optional OutMessage. */
+export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
+    EnteredDragZone: () => [
+        evo(model, { isDragOver: () => true }),
+        [],
+        Option.none(),
+    ],
+    LeftDragZone: () => [
+        evo(model, { isDragOver: () => false }),
+        [],
+        Option.none(),
+    ],
+    DroppedFiles: ({ files }) => [
+        evo(model, { isDragOver: () => false }),
+        [],
+        Option.some(ReceivedFiles({ files })),
+    ],
+    DroppedNonFiles: () => [
+        evo(model, { isDragOver: () => false }),
+        [],
+        Option.some(RejectedNonFiles()),
+    ],
+}));
+const dispatchDroppedFiles = (files) => Array.match(files, {
+    onEmpty: () => DroppedNonFiles(),
+    onNonEmpty: nonEmptyFiles => DroppedFiles({ files: [...nonEmptyFiles] }),
+});
+/** Renders an accessible file-drop zone by publishing attribute groups
+ *  for a `<label>`-wrapped hidden file input. */
+export const view = defineView((model, viewInputs) => {
+    const h = html();
+    const { id, isDragOver } = model;
+    const { toView, accept, multiple = false, isDisabled = false } = viewInputs;
+    const stateAttributes = [
+        ...(isDragOver ? [h.DataAttribute('drag-over', '')] : []),
+        ...(isDisabled ? [h.DataAttribute('disabled', '')] : []),
+    ];
+    const rootAttributes = isDisabled
+        ? stateAttributes
+        : [
+            ...stateAttributes,
+            h.OnDragEnter(EnteredDragZone()),
+            h.OnDragLeave(LeftDragZone()),
+            h.AllowDrop(),
+            h.OnDropFiles(dispatchDroppedFiles),
+        ];
+    const inputAttributes = [
+        h.Id(id),
+        h.Type('file'),
+        h.Class('sr-only'),
+        ...(multiple ? [h.Multiple(true)] : []),
+        ...(accept !== undefined && accept.length > 0
+            ? [h.Accept(accept.join(','))]
+            : []),
+        ...(isDisabled
+            ? [h.Disabled(true)]
+            : [h.OnFileChange(dispatchDroppedFiles)]),
+    ];
+    return toView({
+        root: childAttributes(rootAttributes),
+        input: childAttributes(inputAttributes),
+    });
+});

package/dist/fileDrop/public.d.ts

@@ -0,0 +1,3 @@
+export { init, update, view, Model, Message, OutMessage, ReceivedFiles, EnteredDragZone, LeftDragZone, DroppedFiles, DroppedNonFiles, RejectedNonFiles, } from './index.js';
+export type { InitConfig, ViewInputs, FileDropAttributes } from './index.js';
+//# sourceMappingURL=public.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/fileDrop/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,OAAO,EACP,UAAU,EACV,aAAa,EACb,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,gBAAgB,GACjB,MAAM,YAAY,CAAA;AAEnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA"}

package/dist/fileDrop/public.js

@@ -0,0 +1 @@
+export { init, update, view, Model, Message, OutMessage, ReceivedFiles, EnteredDragZone, LeftDragZone, DroppedFiles, DroppedNonFiles, RejectedNonFiles, } from './index.js';

package/dist/group.d.ts

@@ -0,0 +1,8 @@
+/** A contiguous segment of items sharing the same group key. */
+export type Segment<A> = Readonly<{
+    key: string;
+    items: ReadonlyArray<A>;
+}>;
+/** Groups items into contiguous segments by a key function. Adjacent items with the same key are collected into a single segment. */
+export declare const groupContiguous: <A>(items: ReadonlyArray<A>, toKey: (item: A, index: number) => string) => ReadonlyArray<Segment<A>>;
+//# sourceMappingURL=group.d.ts.map

package/dist/group.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"group.d.ts","sourceRoot":"","sources":["../src/group.ts"],"names":[],"mappings":"AAEA,gEAAgE;AAChE,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAA;AAE3E,qIAAqI;AACrI,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,CAW1B,CAAA"}

package/dist/group.js

@@ -0,0 +1,13 @@
+import { Array } from 'effect';
+/** Groups items into contiguous segments by a key function. Adjacent items with the same key are collected into a single segment. */
+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];
+    });
+};

package/dist/index.d.ts

@@ -0,0 +1,25 @@
+export * as Animation from './animation/public.js';
+export * as Button from './button/public.js';
+export * as Calendar from './calendar/public.js';
+export * as DatePicker from './datePicker/public.js';
+export * as Checkbox from './checkbox/public.js';
+export * as Combobox from './combobox/public.js';
+export * as Dialog from './dialog/public.js';
+export * as DragAndDrop from './dragAndDrop/public.js';
+export * as Disclosure from './disclosure/public.js';
+export * as Fieldset from './fieldset/public.js';
+export * as FileDrop from './fileDrop/public.js';
+export * as Input from './input/public.js';
+export * as Listbox from './listbox/public.js';
+export * as Menu from './menu/public.js';
+export * as Popover from './popover/public.js';
+export * as RadioGroup from './radioGroup/public.js';
+export * as Select from './select/public.js';
+export * as Slider from './slider/public.js';
+export * as Switch from './switch/public.js';
+export * as Textarea from './textarea/public.js';
+export * as Tabs from './tabs/public.js';
+export * as Toast from './toast/public.js';
+export * as Tooltip from './tooltip/public.js';
+export * as VirtualList from './virtualList/public.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAA;AAClD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAA;AACtD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAA;AAC1C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAA;AAChD,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAA;AAC1C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAA"}

package/dist/index.js

@@ -0,0 +1,24 @@
+export * as Animation from './animation/public.js';
+export * as Button from './button/public.js';
+export * as Calendar from './calendar/public.js';
+export * as DatePicker from './datePicker/public.js';
+export * as Checkbox from './checkbox/public.js';
+export * as Combobox from './combobox/public.js';
+export * as Dialog from './dialog/public.js';
+export * as DragAndDrop from './dragAndDrop/public.js';
+export * as Disclosure from './disclosure/public.js';
+export * as Fieldset from './fieldset/public.js';
+export * as FileDrop from './fileDrop/public.js';
+export * as Input from './input/public.js';
+export * as Listbox from './listbox/public.js';
+export * as Menu from './menu/public.js';
+export * as Popover from './popover/public.js';
+export * as RadioGroup from './radioGroup/public.js';
+export * as Select from './select/public.js';
+export * as Slider from './slider/public.js';
+export * as Switch from './switch/public.js';
+export * as Textarea from './textarea/public.js';
+export * as Tabs from './tabs/public.js';
+export * as Toast from './toast/public.js';
+export * as Tooltip from './tooltip/public.js';
+export * as VirtualList from './virtualList/public.js';

package/dist/input/index.d.ts

@@ -0,0 +1,26 @@
+import type { Attribute } from 'foldkit/html';
+import type { Html } from 'foldkit/html';
+/** Attribute groups the input component provides to the consumer's `toView` callback. */
+export type InputAttributes<ParentMessage> = Readonly<{
+    input: ReadonlyArray<Attribute<ParentMessage>>;
+    label: ReadonlyArray<Attribute<ParentMessage>>;
+    description: ReadonlyArray<Attribute<ParentMessage>>;
+}>;
+/** Configuration for rendering an input with `view`. */
+export type ViewConfig<ParentMessage> = Readonly<{
+    id: string;
+    toView: (attributes: InputAttributes<ParentMessage>) => Html;
+    onInput?: (value: string) => ParentMessage;
+    value?: string;
+    isDisabled?: boolean;
+    isInvalid?: boolean;
+    isAutofocus?: boolean;
+    name?: string;
+    type?: string;
+    placeholder?: string;
+}>;
+/** Generates the description element ID from the input's base ID. */
+export declare const descriptionId: (id: string) => string;
+/** Renders an accessible input by building ARIA attribute groups and delegating layout to the consumer's `toView` callback. */
+export declare const view: <ParentMessage>(config: ViewConfig<ParentMessage>) => Html;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/input/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE7C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAIxC,yFAAyF;AACzF,MAAM,MAAM,eAAe,CAAC,aAAa,IAAI,QAAQ,CAAC;IACpD,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAA;CACrD,CAAC,CAAA;AAEF,wDAAwD;AACxD,MAAM,MAAM,UAAU,CAAC,aAAa,IAAI,QAAQ,CAAC;IAC/C,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,aAAa,CAAC,KAAK,IAAI,CAAA;IAC5D,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,aAAa,CAAA;IAC1C,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAC,CAAA;AAEF,qEAAqE;AACrE,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,MAA6B,CAAA;AAExE,+HAA+H;AAC/H,eAAO,MAAM,IAAI,GAAI,aAAa,EAChC,QAAQ,UAAU,CAAC,aAAa,CAAC,KAChC,IA6DF,CAAA"}

package/dist/input/index.js

@@ -0,0 +1,43 @@
+import { Predicate } from 'effect';
+import { html } from 'foldkit/html';
+/** Generates the description element ID from the input's base ID. */
+export const descriptionId = (id) => `${id}-description`;
+/** Renders an accessible input by building ARIA attribute groups and delegating layout to the consumer's `toView` callback. */
+export const view = (config) => {
+    const h = html();
+    const { toView, id, onInput, value, isDisabled = false, isInvalid = false, isAutofocus = false, name, type = 'text', placeholder, } = config;
+    const disabledAttributes = isDisabled
+        ? [h.AriaDisabled(true), h.Disabled(true), h.DataAttribute('disabled', '')]
+        : [];
+    const invalidAttributes = isInvalid
+        ? [h.AriaInvalid(true), h.DataAttribute('invalid', '')]
+        : [];
+    const inputAttributes = Predicate.isNotUndefined(onInput) && !isDisabled ? [h.OnInput(onInput)] : [];
+    const valueAttributes = Predicate.isNotUndefined(value)
+        ? [h.Value(value)]
+        : [];
+    const autofocusAttributes = isAutofocus ? [h.Autofocus(true)] : [];
+    const nameAttributes = Predicate.isNotUndefined(name) ? [h.Name(name)] : [];
+    const placeholderAttributes = Predicate.isNotUndefined(placeholder)
+        ? [h.Placeholder(placeholder)]
+        : [];
+    const allInputAttributes = [
+        h.Id(id),
+        h.Type(type),
+        h.AriaDescribedBy(descriptionId(id)),
+        ...disabledAttributes,
+        ...invalidAttributes,
+        ...inputAttributes,
+        ...valueAttributes,
+        ...autofocusAttributes,
+        ...nameAttributes,
+        ...placeholderAttributes,
+    ];
+    const labelAttributes = [h.For(id)];
+    const descriptionAttributes = [h.Id(descriptionId(id))];
+    return toView({
+        input: allInputAttributes,
+        label: labelAttributes,
+        description: descriptionAttributes,
+    });
+};

package/dist/input/public.d.ts

@@ -0,0 +1,3 @@
+export { view, descriptionId } from './index.js';
+export type { ViewConfig, InputAttributes } from './index.js';
+//# sourceMappingURL=public.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/input/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAEhD,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA"}

package/dist/input/public.js

@@ -0,0 +1 @@
+export { view, descriptionId } from './index.js';

package/dist/internal/optionExtensions.d.ts

@@ -0,0 +1,6 @@
+import { Option } from 'effect';
+export declare const when: {
+    <A>(value: A): (condition: boolean) => Option.Option<A>;
+    <A>(condition: boolean, value: A): Option.Option<A>;
+};
+//# sourceMappingURL=optionExtensions.d.ts.map

package/dist/internal/optionExtensions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionExtensions.d.ts","sourceRoot":"","sources":["../../src/internal/optionExtensions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEzC,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvD,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAKpD,CAAA"}

package/dist/internal/optionExtensions.js

@@ -0,0 +1,2 @@
+import { Function, Option } from 'effect';
+export const when = Function.dual(2, (condition, value) => Option.liftPredicate(value, () => condition));

package/dist/keyboard.d.ts

@@ -0,0 +1,6 @@
+/** Whether a keyboard event key is a single printable character (not a named key like "Enter" or "ArrowDown"). */
+export declare const isPrintableKey: (key: string) => boolean;
+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/keyboard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyboard.d.ts","sourceRoot":"","sources":["../src/keyboard.ts"],"names":[],"mappings":"AAEA,kHAAkH;AAClH,eAAO,MAAM,cAAc,GAAI,KAAK,MAAM,KAAG,OAA2B,CAAA;AAExE,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,MAMtC,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/keyboard.js

@@ -0,0 +1,9 @@
+import { Array, Match as M, Option, Predicate, pipe } from 'effect';
+/** Whether a keyboard event key is a single printable character (not a named key like "Enter" or "ArrowDown"). */
+export const isPrintableKey = (key) => key.length === 1;
+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));
+};