foldkit-primitives 0.15.3 → 0.16.0

package/dist/interaction/list-navigation.js

@@ -0,0 +1,168 @@
+import { Effect, Option, Schema } from "effect";
+import { defineMessageUnion } from "foldkit/message";
+import { Bundle } from "foldkit-bundle";
+import { clearQuery, perInput } from "../internal.js";
+import { Behavior, Capability } from "foldkit-mixins";
+import * as RovingTabindex from "./roving-tabindex.js";
+import * as Typeahead from "./typeahead.js";
+// src/interaction/list-navigation.ts
+/**
+* Keyboard navigation of a list in one placement: a roving tab stop, type to
+* find, and PageUp and PageDown. One Bundle holds the current item's id and
+* the typeahead query, so a printable key can move the pointer and extend the
+* query in one transition, which two placements cannot do under `virtual`.
+* The resolver allows one owner per event on a slot, so a host that needs
+* both arrows and typeahead takes this, not `RovingTabindex` plus `Typeahead`.
+*/
+const Model = Schema.Struct({
+	current: Schema.NullOr(Schema.String),
+	query: Schema.String,
+	generation: Schema.Number
+});
+const Message = defineMessageUnion({
+	/** An item became current: focused, or reached by a key. */
+	Focused: { id: Schema.String },
+	/** A printable key extended the query; `match` is the item it now picks, if any. */
+	Typed: {
+		char: Schema.String,
+		match: Schema.NullOr(Schema.String)
+	},
+	Expired: { generation: Schema.Number },
+	Cleared: {}
+});
+const Args = Schema.Struct({
+	orientation: RovingTabindex.Orientation,
+	loop: Schema.Boolean,
+	virtual: Schema.Boolean,
+	/** How long the typeahead query survives after the last key. */
+	timeoutMs: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())),
+	/** How many enabled items PageUp and PageDown move. */
+	page: Schema.Number.pipe(Schema.check(Schema.isInt()), Schema.check(Schema.isGreaterThan(0)))
+});
+const bundle = Bundle.make("ListNavigation", {
+	Model,
+	Message,
+	args: Args,
+	init: () => ({ model: {
+		current: null,
+		query: "",
+		generation: 0
+	} }),
+	update: (model, message, args) => Message.match(message, {
+		Focused: ({ id }) => model.current === id ? { model } : { model: {
+			...model,
+			current: id
+		} },
+		Typed: ({ char, match }) => {
+			const generation = model.generation + 1;
+			return {
+				model: {
+					current: match ?? model.current,
+					query: model.query + char,
+					generation
+				},
+				commands: [{
+					name: "ListNavigation.expire",
+					args: { generation },
+					effect: Effect.as(Effect.sleep(args.timeoutMs), Message.Expired({ generation }))
+				}]
+			};
+		},
+		Expired: ({ generation }) => generation === model.generation ? clearQuery(model) : { model },
+		Cleared: () => clearQuery(model)
+	})
+});
+const keyOutcome = (items, texts, state, key, modifiers, options) => {
+	const from = state.current === null ? -1 : items.indexOf(state.current);
+	const moved = RovingTabindex.move(items.enabled, from, key, modifiers, options);
+	const movedId = moved === void 0 ? void 0 : items.ids[moved];
+	if (movedId !== void 0) return {
+		_tag: "Navigate",
+		id: movedId
+	};
+	if (!Typeahead.isPrintable(key, modifiers)) return void 0;
+	if (key === " " && state.query === "") return void 0;
+	const found = Typeahead.match(texts, items.enabled, state.query + key, from);
+	return {
+		_tag: "Type",
+		char: key,
+		match: found === void 0 ? null : items.ids[found] ?? null
+	};
+};
+/**
+* Wires a placed `ListNavigation` to the slots. The container gets one key
+* handler: arrows, Home, End, PageUp and PageDown move by id; a printable key
+* extends the query and moves to its match. Each item gets `tabindex` and
+* `OnFocus` as under `RovingTabindex`. Under `virtual` nothing takes DOM focus
+* and the container carries `aria-activedescendant`.
+*/
+const behavior = (declared, args) => (slots) => (options) => {
+	const wrap = (message) => declared.wrapper.make(message);
+	const focused = (id) => wrap(Message.Focused({ id }));
+	const slice = (input) => input[declared.field];
+	const itemsOf = perInput(options.items);
+	const outcomeMessage = (outcome) => outcome._tag === "Navigate" ? focused(outcome.id) : wrap(Message.Typed({
+		char: outcome.char,
+		match: outcome.match
+	}));
+	return Behavior.forSlots(slots)({
+		[options.container]: Behavior.slot({
+			requires: { capability: Capability.Interactive },
+			attributes: ({ input, h }) => {
+				const items = itemsOf(input);
+				const state = slice(input);
+				const moveOptions = {
+					orientation: args.orientation,
+					loop: args.loop,
+					direction: options.direction?.(input) ?? "ltr",
+					page: args.page
+				};
+				const typeahead = options.typeahead !== false;
+				const decide = (key, modifiers) => {
+					const current = state.current;
+					if (key === "Enter" && options.commit !== void 0 && !modifiers.shiftKey && !modifiers.ctrlKey && !modifiers.altKey && !modifiers.metaKey && current !== null) {
+						const currentIndex = items.indexOf(current);
+						if (currentIndex !== -1 && !items.isDisabled(currentIndex)) return Option.some({
+							_tag: "Commit",
+							id: current,
+							message: options.commit(input, current)
+						});
+					}
+					const result = keyOutcome(items, items.ids.map((_, index) => options.text(input, index)), state, key, modifiers, moveOptions);
+					if (!typeahead && result !== void 0 && result._tag === "Type") return Option.none();
+					if (result === void 0) return Option.none();
+					return Option.some({
+						_tag: "Key",
+						outcome: result
+					});
+				};
+				const messageOf = (decision) => {
+					if (decision._tag === "Commit") return decision.message;
+					return outcomeMessage(decision.outcome);
+				};
+				const stop = RovingTabindex.tabStop(items, state.current);
+				const stopId = stop === -1 ? void 0 : items.ids[stop];
+				if (args.virtual) return [h.OnKeyDownPreventDefault((key, modifiers) => Option.map(decide(key, modifiers), messageOf)), ...stopId === void 0 ? [] : [h.AriaActiveDescendant(stopId)]];
+				return [h.OnKeyDownFocus((key, modifiers) => Option.map(decide(key, modifiers), (decision) => {
+					if (decision._tag === "Commit") return {
+						focusSelector: RovingTabindex.idSelector(decision.id),
+						message: decision.message
+					};
+					const result = decision.outcome;
+					const target = result._tag === "Navigate" ? result.id : result.match ?? state.current;
+					return {
+						focusSelector: target === null ? ":not(*)" : RovingTabindex.idSelector(target),
+						message: outcomeMessage(result)
+					};
+				}))];
+			}
+		}),
+		[options.item]: Behavior.slot({
+			requires: { capability: Capability.Focusable },
+			attributes: ({ input, h, item }) => item === void 0 ? [] : RovingTabindex.itemAttributes(h, itemsOf(input), slice(input).current, item, args.virtual, focused)
+		})
+	}, { name: "ListNavigation" });
+};
+export { Args, Message, Model, behavior, bundle, keyOutcome };
+
+//# sourceMappingURL=list-navigation.js.map

package/dist/interaction/list-navigation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-navigation.js","names":[],"sources":["../../src/interaction/list-navigation.ts"],"sourcesContent":["/**\n * Keyboard navigation of a list in one placement: a roving tab stop, type to\n * find, and PageUp and PageDown. One Bundle holds the current item's id and\n * the typeahead query, so a printable key can move the pointer and extend the\n * query in one transition, which two placements cannot do under `virtual`.\n * The resolver allows one owner per event on a slot, so a host that needs\n * both arrows and typeahead takes this, not `RovingTabindex` plus `Typeahead`.\n */\nimport { Effect, Option, Schema } from 'effect'\nimport type { HtmlBuilder, KeyboardModifiers } from 'foldkit/html'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type * as Update from 'foldkit/update'\nimport { Bundle, type Declared } from 'foldkit-bundle'\nimport { Behavior, Behaviors, Capability, type SlotItem } from 'foldkit-mixins'\nimport * as RovingTabindex from './roving-tabindex.js'\nimport * as Typeahead from './typeahead.js'\nimport { clearQuery, perInput } from '../internal.js'\n\nexport const Model = Schema.Struct({\n  current: Schema.NullOr(Schema.String),\n  query: Schema.String,\n  generation: Schema.Number,\n})\nexport type Model = typeof Model.Type\n\nexport const Message = defineMessageUnion({\n  /** An item became current: focused, or reached by a key. */\n  Focused: { id: Schema.String },\n  /** A printable key extended the query; `match` is the item it now picks, if any. */\n  Typed: { char: Schema.String, match: Schema.NullOr(Schema.String) },\n  Expired: { generation: Schema.Number },\n  Cleared: {},\n})\nexport type Message = typeof Message.Type\n\nexport const Args = Schema.Struct({\n  orientation: RovingTabindex.Orientation,\n  loop: Schema.Boolean,\n  virtual: Schema.Boolean,\n  /** How long the typeahead query survives after the last key. */\n  timeoutMs: Schema.Number.pipe(\n    Schema.check(Schema.isGreaterThan(0)),\n    Schema.check(Schema.isFinite()),\n  ),\n  /** How many enabled items PageUp and PageDown move. */\n  page: Schema.Number.pipe(Schema.check(Schema.isInt()), Schema.check(Schema.isGreaterThan(0))),\n})\nexport type Args = typeof Args.Type\n\nexport const bundle = Bundle.make('ListNavigation', {\n  Model,\n  Message,\n  args: Args,\n  init: () => ({ model: { current: null, query: '', generation: 0 } }),\n  update: (model, message, args) =>\n    Message.match<Update.Return<Model, Message>>(message, {\n      // Moving focus by key dispatches `Focused`, and the item's `OnFocus` reports it again.\n      Focused: ({ id }) =>\n        model.current === id ? { model } : { model: { ...model, current: id } },\n      Typed: ({ char, match }) => {\n        const generation = model.generation + 1\n        return {\n          model: { current: match ?? model.current, query: model.query + char, generation },\n          commands: [\n            {\n              name: 'ListNavigation.expire',\n              args: { generation },\n              effect: Effect.as(Effect.sleep(args.timeoutMs), Message.Expired({ generation })),\n            },\n          ],\n        }\n      },\n      Expired: ({ generation }) =>\n        generation === model.generation ? clearQuery(model) : { model },\n      Cleared: () => clearQuery(model),\n    }),\n})\n\nexport interface BehaviorOptions<Input, Slots, ParentMessage> {\n  readonly container: keyof Slots & string\n  /** The slot rendered once per item; must carry the item's id (see `Behaviors.Collection`). */\n  readonly item: keyof Slots & string\n  readonly items: (input: Input) => Behaviors.Collection.Items<unknown>\n  /** The text an item is matched by when typing. */\n  readonly text: (input: Input, index: number) => string\n  readonly direction?: (input: Input) => RovingTabindex.Direction\n  /**\n   * Whether a printable key moves the pointer. Off when the container is a\n   * text field: letters belong to the field, and arrows still navigate.\n   * Defaults to on.\n   */\n  readonly typeahead?: boolean\n  /**\n   * Enter on the current enabled item. One handler with the arrows: a second\n   * key handler on the same slot would be a second owner of `keydown`.\n   */\n  readonly commit?: (input: Input, id: string) => ParentMessage\n}\n\n/**\n * The key's outcome, before it is turned into an attribute: navigation to an\n * id, a typed character with its match, or nothing.\n */\nexport type KeyOutcome =\n  | { readonly _tag: 'Navigate'; readonly id: string }\n  | { readonly _tag: 'Type'; readonly char: string; readonly match: string | null }\n\nexport const keyOutcome = (\n  items: Behaviors.Collection.Items<unknown>,\n  texts: ReadonlyArray<string>,\n  state: { readonly current: string | null; readonly query: string },\n  key: string,\n  modifiers: KeyboardModifiers,\n  options: RovingTabindex.MoveOptions,\n): KeyOutcome | undefined => {\n  const from = state.current === null ? -1 : items.indexOf(state.current)\n  const moved = RovingTabindex.move(items.enabled, from, key, modifiers, options)\n  const movedId = moved === undefined ? undefined : items.ids[moved]\n  if (movedId !== undefined) return { _tag: 'Navigate', id: movedId }\n  if (!Typeahead.isPrintable(key, modifiers)) return undefined\n  if (key === ' ' && state.query === '') return undefined\n  const found = Typeahead.match(texts, items.enabled, state.query + key, from)\n  return { _tag: 'Type', char: key, match: found === undefined ? null : (items.ids[found] ?? null) }\n}\n\n/**\n * Wires a placed `ListNavigation` to the slots. The container gets one key\n * handler: arrows, Home, End, PageUp and PageDown move by id; a printable key\n * extends the query and moves to its match. Each item gets `tabindex` and\n * `OnFocus` as under `RovingTabindex`. Under `virtual` nothing takes DOM focus\n * and the container carries `aria-activedescendant`.\n */\nexport const behavior =\n  <Field extends string>(declared: Declared<typeof bundle, Field>, args: Args) =>\n  <Slots>(slots: Slots) =>\n  <Input extends { readonly [K in Field]: Model }, ParentMessage>(\n    options: BehaviorOptions<Input, Slots, ParentMessage>,\n  ): Behavior.NamedBehavior<Slots, Input, ParentMessage> => {\n    const wrap = (message: Message): ParentMessage =>\n      declared.wrapper.make(message) as unknown as ParentMessage\n    const focused = (id: string): ParentMessage => wrap(Message.Focused({ id }))\n    const slice = (input: Input): Model => input[declared.field]\n    const itemsOf = perInput(options.items)\n    const outcomeMessage = (outcome: KeyOutcome): ParentMessage =>\n      outcome._tag === 'Navigate'\n        ? focused(outcome.id)\n        : wrap(Message.Typed({ char: outcome.char, match: outcome.match }))\n    return Behavior.forSlots(slots)<Input, ParentMessage>(\n      {\n        [options.container]: Behavior.slot({\n          requires: { capability: Capability.Interactive },\n          attributes: ({\n            input,\n            h,\n          }: {\n            readonly input: Input\n            readonly h: HtmlBuilder<ParentMessage>\n          }) => {\n            const items = itemsOf(input)\n            const state = slice(input)\n            const moveOptions: RovingTabindex.MoveOptions = {\n              orientation: args.orientation,\n              loop: args.loop,\n              direction: options.direction?.(input) ?? 'ltr',\n              page: args.page,\n            }\n            const typeahead = options.typeahead !== false\n            // Commit is already a parent message. A key outcome still has to\n            // become one, and the focus path needs the id it should move to.\n            type Decision =\n              | { readonly _tag: 'Commit'; readonly id: string; readonly message: ParentMessage }\n              | { readonly _tag: 'Key'; readonly outcome: KeyOutcome }\n            const decide = (key: string, modifiers: KeyboardModifiers): Option.Option<Decision> => {\n              const current = state.current\n              if (\n                key === 'Enter' &&\n                options.commit !== undefined &&\n                !modifiers.shiftKey &&\n                !modifiers.ctrlKey &&\n                !modifiers.altKey &&\n                !modifiers.metaKey &&\n                current !== null\n              ) {\n                const currentIndex = items.indexOf(current)\n                if (currentIndex !== -1 && !items.isDisabled(currentIndex)) {\n                  return Option.some({\n                    _tag: 'Commit',\n                    id: current,\n                    message: options.commit(input, current),\n                  })\n                }\n              }\n              const result = keyOutcome(\n                items,\n                // Read on a key, not on every render.\n                items.ids.map((_, index) => options.text(input, index)),\n                state,\n                key,\n                modifiers,\n                moveOptions,\n              )\n              // A text field owns printable keys. Arrows still move the pointer.\n              if (!typeahead && result !== undefined && result._tag === 'Type') return Option.none()\n              if (result === undefined) return Option.none()\n              return Option.some({ _tag: 'Key', outcome: result })\n            }\n            const messageOf = (decision: Decision): ParentMessage => {\n              if (decision._tag === 'Commit') return decision.message\n              return outcomeMessage(decision.outcome)\n            }\n            const stop = RovingTabindex.tabStop(items, state.current)\n            const stopId = stop === -1 ? undefined : items.ids[stop]\n            if (args.virtual) {\n              return [\n                h.OnKeyDownPreventDefault((key, modifiers) =>\n                  Option.map(decide(key, modifiers), messageOf),\n                ),\n                ...(stopId === undefined ? [] : [h.AriaActiveDescendant(stopId)]),\n              ]\n            }\n            return [\n              h.OnKeyDownFocus((key, modifiers) =>\n                Option.map(decide(key, modifiers), decision => {\n                  if (decision._tag === 'Commit') {\n                    return {\n                      focusSelector: RovingTabindex.idSelector(decision.id),\n                      message: decision.message,\n                    }\n                  }\n                  const result = decision.outcome\n                  const target =\n                    result._tag === 'Navigate' ? result.id : (result.match ?? state.current)\n                  return {\n                    // `:not(*)` matches nothing: a typed key with no match and\n                    // nothing current moves no focus but is still recorded.\n                    focusSelector: target === null ? ':not(*)' : RovingTabindex.idSelector(target),\n                    message: outcomeMessage(result),\n                  }\n                }),\n              ),\n            ]\n          },\n        }),\n        [options.item]: Behavior.slot({\n          requires: { capability: Capability.Focusable },\n          attributes: ({\n            input,\n            h,\n            item,\n          }: {\n            readonly input: Input\n            readonly h: HtmlBuilder<ParentMessage>\n            readonly item?: SlotItem\n          }) =>\n            item === undefined\n              ? []\n              : RovingTabindex.itemAttributes(\n                  h,\n                  itemsOf(input),\n                  slice(input).current,\n                  item,\n                  args.virtual,\n                  focused,\n                ),\n        }),\n        // Keyed by values the caller chose; `forSlots` checks both keys exist.\n      } as unknown as Behavior.BehaviorSpec<Slots, Input, ParentMessage>,\n      { name: 'ListNavigation' },\n    )\n  }\n"],"mappings":";;;;;;;;;;;;;;;;AAkBA,MAAa,QAAQ,OAAO,OAAO;CACjC,SAAS,OAAO,OAAO,OAAO,MAAM;CACpC,OAAO,OAAO;CACd,YAAY,OAAO;AACrB,CAAC;AAGD,MAAa,UAAU,mBAAmB;;CAExC,SAAS,EAAE,IAAI,OAAO,OAAO;;CAE7B,OAAO;EAAE,MAAM,OAAO;EAAQ,OAAO,OAAO,OAAO,OAAO,MAAM;CAAE;CAClE,SAAS,EAAE,YAAY,OAAO,OAAO;CACrC,SAAS,CAAC;AACZ,CAAC;AAGD,MAAa,OAAO,OAAO,OAAO;CAChC,aAAa,eAAe;CAC5B,MAAM,OAAO;CACb,SAAS,OAAO;;CAEhB,WAAW,OAAO,OAAO,KACvB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;;CAEA,MAAM,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,MAAM,CAAC,GAAG,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,CAAC;AAC9F,CAAC;AAGD,MAAa,SAAS,OAAO,KAAK,kBAAkB;CAClD;CACA;CACA,MAAM;CACN,aAAa,EAAE,OAAO;EAAE,SAAS;EAAM,OAAO;EAAI,YAAY;CAAE,EAAE;CAClE,SAAS,OAAO,SAAS,SACvB,QAAQ,MAAqC,SAAS;EAEpD,UAAU,EAAE,SACV,MAAM,YAAY,KAAK,EAAE,MAAM,IAAI,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAG,EAAE;EACxE,QAAQ,EAAE,MAAM,YAAY;GAC1B,MAAM,aAAa,MAAM,aAAa;GACtC,OAAO;IACL,OAAO;KAAE,SAAS,SAAS,MAAM;KAAS,OAAO,MAAM,QAAQ;KAAM;IAAW;IAChF,UAAU,CACR;KACE,MAAM;KACN,MAAM,EAAE,WAAW;KACnB,QAAQ,OAAO,GAAG,OAAO,MAAM,KAAK,SAAS,GAAG,QAAQ,QAAQ,EAAE,WAAW,CAAC,CAAC;IACjF,CACF;GACF;EACF;EACA,UAAU,EAAE,iBACV,eAAe,MAAM,aAAa,WAAW,KAAK,IAAI,EAAE,MAAM;EAChE,eAAe,WAAW,KAAK;CACjC,CAAC;AACL,CAAC;AA+BD,MAAa,cACX,OACA,OACA,OACA,KACA,WACA,YAC2B;CAC3B,MAAM,OAAO,MAAM,YAAY,OAAO,KAAK,MAAM,QAAQ,MAAM,OAAO;CACtE,MAAM,QAAQ,eAAe,KAAK,MAAM,SAAS,MAAM,KAAK,WAAW,OAAO;CAC9E,MAAM,UAAU,UAAU,KAAA,IAAY,KAAA,IAAY,MAAM,IAAI;CAC5D,IAAI,YAAY,KAAA,GAAW,OAAO;EAAE,MAAM;EAAY,IAAI;CAAQ;CAClE,IAAI,CAAC,UAAU,YAAY,KAAK,SAAS,GAAG,OAAO,KAAA;CACnD,IAAI,QAAQ,OAAO,MAAM,UAAU,IAAI,OAAO,KAAA;CAC9C,MAAM,QAAQ,UAAU,MAAM,OAAO,MAAM,SAAS,MAAM,QAAQ,KAAK,IAAI;CAC3E,OAAO;EAAE,MAAM;EAAQ,MAAM;EAAK,OAAO,UAAU,KAAA,IAAY,OAAQ,MAAM,IAAI,UAAU;CAAM;AACnG;;;;;;;;AASA,MAAa,YACY,UAA0C,UACzD,WAEN,YACwD;CACxD,MAAM,QAAQ,YACZ,SAAS,QAAQ,KAAK,OAAO;CAC/B,MAAM,WAAW,OAA8B,KAAK,QAAQ,QAAQ,EAAE,GAAG,CAAC,CAAC;CAC3E,MAAM,SAAS,UAAwB,MAAM,SAAS;CACtD,MAAM,UAAU,SAAS,QAAQ,KAAK;CACtC,MAAM,kBAAkB,YACtB,QAAQ,SAAS,aACb,QAAQ,QAAQ,EAAE,IAClB,KAAK,QAAQ,MAAM;EAAE,MAAM,QAAQ;EAAM,OAAO,QAAQ;CAAM,CAAC,CAAC;CACtE,OAAO,SAAS,SAAS,KAAK,CAAC,CAC7B;GACG,QAAQ,YAAY,SAAS,KAAK;GACjC,UAAU,EAAE,YAAY,WAAW,YAAY;GAC/C,aAAa,EACX,OACA,QAII;IACJ,MAAM,QAAQ,QAAQ,KAAK;IAC3B,MAAM,QAAQ,MAAM,KAAK;IACzB,MAAM,cAA0C;KAC9C,aAAa,KAAK;KAClB,MAAM,KAAK;KACX,WAAW,QAAQ,YAAY,KAAK,KAAK;KACzC,MAAM,KAAK;IACb;IACA,MAAM,YAAY,QAAQ,cAAc;IAMxC,MAAM,UAAU,KAAa,cAA0D;KACrF,MAAM,UAAU,MAAM;KACtB,IACE,QAAQ,WACR,QAAQ,WAAW,KAAA,KACnB,CAAC,UAAU,YACX,CAAC,UAAU,WACX,CAAC,UAAU,UACX,CAAC,UAAU,WACX,YAAY,MACZ;MACA,MAAM,eAAe,MAAM,QAAQ,OAAO;MAC1C,IAAI,iBAAiB,MAAM,CAAC,MAAM,WAAW,YAAY,GACvD,OAAO,OAAO,KAAK;OACjB,MAAM;OACN,IAAI;OACJ,SAAS,QAAQ,OAAO,OAAO,OAAO;MACxC,CAAC;KAEL;KACA,MAAM,SAAS,WACb,OAEA,MAAM,IAAI,KAAK,GAAG,UAAU,QAAQ,KAAK,OAAO,KAAK,CAAC,GACtD,OACA,KACA,WACA,WACF;KAEA,IAAI,CAAC,aAAa,WAAW,KAAA,KAAa,OAAO,SAAS,QAAQ,OAAO,OAAO,KAAK;KACrF,IAAI,WAAW,KAAA,GAAW,OAAO,OAAO,KAAK;KAC7C,OAAO,OAAO,KAAK;MAAE,MAAM;MAAO,SAAS;KAAO,CAAC;IACrD;IACA,MAAM,aAAa,aAAsC;KACvD,IAAI,SAAS,SAAS,UAAU,OAAO,SAAS;KAChD,OAAO,eAAe,SAAS,OAAO;IACxC;IACA,MAAM,OAAO,eAAe,QAAQ,OAAO,MAAM,OAAO;IACxD,MAAM,SAAS,SAAS,KAAK,KAAA,IAAY,MAAM,IAAI;IACnD,IAAI,KAAK,SACP,OAAO,CACL,EAAE,yBAAyB,KAAK,cAC9B,OAAO,IAAI,OAAO,KAAK,SAAS,GAAG,SAAS,CAC9C,GACA,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,CAAC,EAAE,qBAAqB,MAAM,CAAC,CACjE;IAEF,OAAO,CACL,EAAE,gBAAgB,KAAK,cACrB,OAAO,IAAI,OAAO,KAAK,SAAS,IAAG,aAAY;KAC7C,IAAI,SAAS,SAAS,UACpB,OAAO;MACL,eAAe,eAAe,WAAW,SAAS,EAAE;MACpD,SAAS,SAAS;KACpB;KAEF,MAAM,SAAS,SAAS;KACxB,MAAM,SACJ,OAAO,SAAS,aAAa,OAAO,KAAM,OAAO,SAAS,MAAM;KAClE,OAAO;MAGL,eAAe,WAAW,OAAO,YAAY,eAAe,WAAW,MAAM;MAC7E,SAAS,eAAe,MAAM;KAChC;IACF,CAAC,CACH,CACF;GACF;EACF,CAAC;GACA,QAAQ,OAAO,SAAS,KAAK;GAC5B,UAAU,EAAE,YAAY,WAAW,UAAU;GAC7C,aAAa,EACX,OACA,GACA,WAMA,SAAS,KAAA,IACL,CAAC,IACD,eAAe,eACb,GACA,QAAQ,KAAK,GACb,MAAM,KAAK,CAAC,CAAC,SACb,MACA,KAAK,SACL,OACF;EACR,CAAC;CAEH,GACA,EAAE,MAAM,iBAAiB,CAC3B;AACF"}

package/dist/interaction/live-announce.d.ts

@@ -0,0 +1,70 @@
+import { Schema } from "effect";
+import { Bundle, Declared } from "foldkit-bundle";
+import { Html, HtmlBuilder } from "foldkit/html";
+export declare const Politeness: Schema.Literals<readonly ["polite", "assertive"]>;
+export type Politeness = typeof Politeness.Type;
+export declare const Model: Schema.Struct<{
+  readonly polite: Schema.String;
+  readonly assertive: Schema.String;
+  /** Waiting for the debounce to read. */
+  readonly pending: Schema.NullOr<Schema.Struct<{
+    readonly message: Schema.String;
+    readonly politeness: Schema.Literals<readonly ["polite", "assertive"]>;
+  }>>;
+  readonly generation: Schema.Number;
+}>;
+export type Model = typeof Model.Type;
+export declare const Message: import("foldkit/message").MessageUnion<{
+  readonly Announced: {
+    message: Schema.String;
+    politeness: Schema.Literals<readonly ["polite", "assertive"]>;
+  };
+  readonly Read: {
+    generation: Schema.Number;
+  };
+  readonly Cleared: {
+    generation: Schema.Number;
+  };
+}>;
+export type Message = typeof Message.Type;
+export declare const Args: Schema.Struct<{
+  /** A burst of announcements inside this window reads once, the last one. */
+  readonly debounceMs: Schema.Number;
+  /** How long the text stays in the region. */
+  readonly clearAfterMs: Schema.Number;
+}>;
+export type Args = typeof Args.Type;
+/** The text to put in the region so that `next` is read even when it equals `current`. */
+export declare const reread: (current: string, next: string) => string;
+export declare const bundle: Bundle.Bundle<"LiveAnnounce", {
+  readonly debounceMs: number;
+  readonly clearAfterMs: number;
+}, {
+  readonly polite: string;
+  readonly assertive: string;
+  readonly pending: {
+    readonly message: string;
+    readonly politeness: "assertive" | "polite";
+  } | null;
+  readonly generation: number;
+}, {
+  readonly _tag: "Announced";
+  readonly message: string;
+  readonly politeness: "assertive" | "polite";
+} | {
+  readonly _tag: "Cleared";
+  readonly generation: number;
+} | {
+  readonly _tag: "Read";
+  readonly generation: number;
+}, never, never, never, void, {}, {}>;
+/** The parent Message that announces `text`, to return from `update` or `onOut`. */
+export declare const say: <Field extends string>(declared: Declared<typeof bundle, Field>) => <ParentMessage>(text: string, politeness?: Politeness) => ParentMessage;
+export declare const REGION_ATTRIBUTE = "data-foldkit-plus-live";
+/**
+ * The two live regions. Render once, anywhere in the page, and hide them
+ * visually with a rule on `[data-foldkit-plus-live]`; they must stay in the
+ * accessibility tree, so no `display: none`.
+ */
+export declare const view: <ParentMessage>(model: Model, h: HtmlBuilder<ParentMessage>) => Html;
+//# sourceMappingURL=live-announce.d.ts.map

package/dist/interaction/live-announce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-announce.d.ts","names":[],"sources":["../../src/interaction/live-announce.ts"],"mappings":";;;qBAea,YAAU,OAAA;YACX,oBAAoB,WAAW;qBAE9B,OAAK,OAAA;;;;;;;;;;YAON,eAAe,MAAM;qBAEpB,mCAAO;;IACL,SAAO,OAAA;IAAiB,YAAU,OAAA;;;IACvC,YAAU,OAAA;;;IACP,YAAU,OAAA;;;YAEX,iBAAiB,QAAQ;qBAOxB,MAAI,OAAA;;;;;;YAML,cAAc,KAAK;;qBAKlB,SAAM,iBAAmB;qBAWzB,QAAM,OAAA;;;;;;;;;;;;;;;;;;;;;;;qBAwCN,MACV,sBAAoB,UAAY,gBAAgB,QAAQ,YACxD,eAAa,cAAc,aAAc,eAAwB;qBAKvD;;;;;;qBAOA,OAAQ,eAAa,OAAS,OAAK,GAAK,YAAY,mBAAiB"}

package/dist/interaction/live-announce.js

@@ -0,0 +1,115 @@
+import { Effect, Schema } from "effect";
+import { defineMessageUnion } from "foldkit/message";
+import { Bundle } from "foldkit-bundle";
+// src/interaction/live-announce.ts
+/**
+* Announcements for assistive technology: one Bundle, placed once, holds the
+* text of a polite and an assertive live region. An announcement waits
+* `debounceMs` so a burst reads once, then clears after `clearAfterMs`, both
+* on Effect's clock with a generation so a superseded timer changes nothing.
+* The same text twice gets a trailing no-break space toggled, which is what
+* makes a screen reader read it again. `view` renders the two regions; put it
+* once in the page and style them visually hidden.
+*/
+const Politeness = Schema.Literals(["polite", "assertive"]);
+const Model = Schema.Struct({
+	polite: Schema.String,
+	assertive: Schema.String,
+	/** Waiting for the debounce to read. */
+	pending: Schema.NullOr(Schema.Struct({
+		message: Schema.String,
+		politeness: Politeness
+	})),
+	generation: Schema.Number
+});
+const Message = defineMessageUnion({
+	Announced: {
+		message: Schema.String,
+		politeness: Politeness
+	},
+	Read: { generation: Schema.Number },
+	Cleared: { generation: Schema.Number }
+});
+const positive = Schema.Number.pipe(Schema.check(Schema.isGreaterThanOrEqualTo(0)), Schema.check(Schema.isFinite()));
+const Args = Schema.Struct({
+	/** A burst of announcements inside this window reads once, the last one. */
+	debounceMs: positive,
+	/** How long the text stays in the region. */
+	clearAfterMs: positive
+});
+const NBSP = "\xA0";
+/** The text to put in the region so that `next` is read even when it equals `current`. */
+const reread = (current, next) => current === next ? `${next}${NBSP}` : current === `${next}${NBSP}` ? next : next;
+const after = (ms, message, name, generation) => ({
+	name,
+	args: { generation },
+	effect: Effect.as(Effect.sleep(ms), message)
+});
+const bundle = Bundle.make("LiveAnnounce", {
+	Model,
+	Message,
+	args: Args,
+	init: () => ({ model: {
+		polite: "",
+		assertive: "",
+		pending: null,
+		generation: 0
+	} }),
+	update: (model, message, args) => Message.match(message, {
+		Announced: ({ message: text, politeness }) => {
+			const generation = model.generation + 1;
+			return {
+				model: {
+					...model,
+					pending: {
+						message: text,
+						politeness
+					},
+					generation
+				},
+				commands: [after(args.debounceMs, Message.Read({ generation }), "LiveAnnounce.read", generation)]
+			};
+		},
+		Read: ({ generation }) => {
+			if (generation !== model.generation || model.pending === null) return { model };
+			const { message: text, politeness } = model.pending;
+			const region = politeness === "polite" ? "polite" : "assertive";
+			return {
+				model: {
+					...model,
+					pending: null,
+					[region]: reread(model[region], text)
+				},
+				commands: [after(args.clearAfterMs, Message.Cleared({ generation }), "LiveAnnounce.clear", generation)]
+			};
+		},
+		Cleared: ({ generation }) => generation === model.generation ? { model: {
+			...model,
+			polite: "",
+			assertive: ""
+		} } : { model }
+	})
+});
+/** The parent Message that announces `text`, to return from `update` or `onOut`. */
+const say = (declared) => (text, politeness = "polite") => declared.wrapper.make(Message.Announced({
+	message: text,
+	politeness
+}));
+const REGION_ATTRIBUTE = "data-foldkit-plus-live";
+/**
+* The two live regions. Render once, anywhere in the page, and hide them
+* visually with a rule on `[data-foldkit-plus-live]`; they must stay in the
+* accessibility tree, so no `display: none`.
+*/
+const view = (model, h) => h.div([h.Attribute(REGION_ATTRIBUTE, "regions")], [h.div([
+	h.Attribute(REGION_ATTRIBUTE, "polite"),
+	h.AriaLive("polite"),
+	h.AriaAtomic(true)
+], [model.polite]), h.div([
+	h.Attribute(REGION_ATTRIBUTE, "assertive"),
+	h.AriaLive("assertive"),
+	h.AriaAtomic(true)
+], [model.assertive])]);
+export { Args, Message, Model, Politeness, REGION_ATTRIBUTE, bundle, reread, say, view };
+
+//# sourceMappingURL=live-announce.js.map

package/dist/interaction/live-announce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-announce.js","names":[],"sources":["../../src/interaction/live-announce.ts"],"sourcesContent":["/**\n * Announcements for assistive technology: one Bundle, placed once, holds the\n * text of a polite and an assertive live region. An announcement waits\n * `debounceMs` so a burst reads once, then clears after `clearAfterMs`, both\n * on Effect's clock with a generation so a superseded timer changes nothing.\n * The same text twice gets a trailing no-break space toggled, which is what\n * makes a screen reader read it again. `view` renders the two regions; put it\n * once in the page and style them visually hidden.\n */\nimport { Effect, Schema } from 'effect'\nimport type { Html, HtmlBuilder } from 'foldkit/html'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type * as Update from 'foldkit/update'\nimport { Bundle, type Declared } from 'foldkit-bundle'\n\nexport const Politeness = Schema.Literals(['polite', 'assertive'])\nexport type Politeness = typeof Politeness.Type\n\nexport const Model = Schema.Struct({\n  polite: Schema.String,\n  assertive: Schema.String,\n  /** Waiting for the debounce to read. */\n  pending: Schema.NullOr(Schema.Struct({ message: Schema.String, politeness: Politeness })),\n  generation: Schema.Number,\n})\nexport type Model = typeof Model.Type\n\nexport const Message = defineMessageUnion({\n  Announced: { message: Schema.String, politeness: Politeness },\n  Read: { generation: Schema.Number },\n  Cleared: { generation: Schema.Number },\n})\nexport type Message = typeof Message.Type\n\nconst positive = Schema.Number.pipe(\n  Schema.check(Schema.isGreaterThanOrEqualTo(0)),\n  Schema.check(Schema.isFinite()),\n)\n\nexport const Args = Schema.Struct({\n  /** A burst of announcements inside this window reads once, the last one. */\n  debounceMs: positive,\n  /** How long the text stays in the region. */\n  clearAfterMs: positive,\n})\nexport type Args = typeof Args.Type\n\nconst NBSP = ' '\n\n/** The text to put in the region so that `next` is read even when it equals `current`. */\nexport const reread = (current: string, next: string): string =>\n  current === next ? `${next}${NBSP}` : current === `${next}${NBSP}` ? next : next\n\ntype Return = Update.Return<Model, Message>\n\nconst after = (ms: number, message: Message, name: string, generation: number) => ({\n  name,\n  args: { generation },\n  effect: Effect.as(Effect.sleep(ms), message),\n})\n\nexport const bundle = Bundle.make('LiveAnnounce', {\n  Model,\n  Message,\n  args: Args,\n  init: () => ({ model: { polite: '', assertive: '', pending: null, generation: 0 } }),\n  update: (model, message, args): Return =>\n    Message.match<Return>(message, {\n      Announced: ({ message: text, politeness }) => {\n        const generation = model.generation + 1\n        return {\n          model: { ...model, pending: { message: text, politeness }, generation },\n          commands: [\n            after(args.debounceMs, Message.Read({ generation }), 'LiveAnnounce.read', generation),\n          ],\n        }\n      },\n      Read: ({ generation }) => {\n        if (generation !== model.generation || model.pending === null) return { model }\n        const { message: text, politeness } = model.pending\n        const region = politeness === 'polite' ? 'polite' : 'assertive'\n        return {\n          model: { ...model, pending: null, [region]: reread(model[region], text) },\n          commands: [\n            after(\n              args.clearAfterMs,\n              Message.Cleared({ generation }),\n              'LiveAnnounce.clear',\n              generation,\n            ),\n          ],\n        }\n      },\n      Cleared: ({ generation }) =>\n        generation === model.generation\n          ? { model: { ...model, polite: '', assertive: '' } }\n          : { model },\n    }),\n})\n\n/** The parent Message that announces `text`, to return from `update` or `onOut`. */\nexport const say =\n  <Field extends string>(declared: Declared<typeof bundle, Field>) =>\n  <ParentMessage>(text: string, politeness: Politeness = 'polite'): ParentMessage =>\n    declared.wrapper.make(\n      Message.Announced({ message: text, politeness }),\n    ) as unknown as ParentMessage\n\nexport const REGION_ATTRIBUTE = 'data-foldkit-plus-live'\n\n/**\n * The two live regions. Render once, anywhere in the page, and hide them\n * visually with a rule on `[data-foldkit-plus-live]`; they must stay in the\n * accessibility tree, so no `display: none`.\n */\nexport const view = <ParentMessage>(model: Model, h: HtmlBuilder<ParentMessage>): Html =>\n  h.div(\n    [h.Attribute(REGION_ATTRIBUTE, 'regions')],\n    [\n      h.div(\n        [h.Attribute(REGION_ATTRIBUTE, 'polite'), h.AriaLive('polite'), h.AriaAtomic(true)],\n        [model.polite],\n      ),\n      h.div(\n        [h.Attribute(REGION_ATTRIBUTE, 'assertive'), h.AriaLive('assertive'), h.AriaAtomic(true)],\n        [model.assertive],\n      ),\n    ],\n  )\n"],"mappings":";;;;;;;;;;;;;AAeA,MAAa,aAAa,OAAO,SAAS,CAAC,UAAU,WAAW,CAAC;AAGjE,MAAa,QAAQ,OAAO,OAAO;CACjC,QAAQ,OAAO;CACf,WAAW,OAAO;;CAElB,SAAS,OAAO,OAAO,OAAO,OAAO;EAAE,SAAS,OAAO;EAAQ,YAAY;CAAW,CAAC,CAAC;CACxF,YAAY,OAAO;AACrB,CAAC;AAGD,MAAa,UAAU,mBAAmB;CACxC,WAAW;EAAE,SAAS,OAAO;EAAQ,YAAY;CAAW;CAC5D,MAAM,EAAE,YAAY,OAAO,OAAO;CAClC,SAAS,EAAE,YAAY,OAAO,OAAO;AACvC,CAAC;AAGD,MAAM,WAAW,OAAO,OAAO,KAC7B,OAAO,MAAM,OAAO,uBAAuB,CAAC,CAAC,GAC7C,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;AAEA,MAAa,OAAO,OAAO,OAAO;;CAEhC,YAAY;;CAEZ,cAAc;AAChB,CAAC;AAGD,MAAM,OAAO;;AAGb,MAAa,UAAU,SAAiB,SACtC,YAAY,OAAO,GAAG,OAAO,SAAS,YAAY,GAAG,OAAO,SAAS,OAAO;AAI9E,MAAM,SAAS,IAAY,SAAkB,MAAc,gBAAwB;CACjF;CACA,MAAM,EAAE,WAAW;CACnB,QAAQ,OAAO,GAAG,OAAO,MAAM,EAAE,GAAG,OAAO;AAC7C;AAEA,MAAa,SAAS,OAAO,KAAK,gBAAgB;CAChD;CACA;CACA,MAAM;CACN,aAAa,EAAE,OAAO;EAAE,QAAQ;EAAI,WAAW;EAAI,SAAS;EAAM,YAAY;CAAE,EAAE;CAClF,SAAS,OAAO,SAAS,SACvB,QAAQ,MAAc,SAAS;EAC7B,YAAY,EAAE,SAAS,MAAM,iBAAiB;GAC5C,MAAM,aAAa,MAAM,aAAa;GACtC,OAAO;IACL,OAAO;KAAE,GAAG;KAAO,SAAS;MAAE,SAAS;MAAM;KAAW;KAAG;IAAW;IACtE,UAAU,CACR,MAAM,KAAK,YAAY,QAAQ,KAAK,EAAE,WAAW,CAAC,GAAG,qBAAqB,UAAU,CACtF;GACF;EACF;EACA,OAAO,EAAE,iBAAiB;GACxB,IAAI,eAAe,MAAM,cAAc,MAAM,YAAY,MAAM,OAAO,EAAE,MAAM;GAC9E,MAAM,EAAE,SAAS,MAAM,eAAe,MAAM;GAC5C,MAAM,SAAS,eAAe,WAAW,WAAW;GACpD,OAAO;IACL,OAAO;KAAE,GAAG;KAAO,SAAS;MAAO,SAAS,OAAO,MAAM,SAAS,IAAI;IAAE;IACxE,UAAU,CACR,MACE,KAAK,cACL,QAAQ,QAAQ,EAAE,WAAW,CAAC,GAC9B,sBACA,UACF,CACF;GACF;EACF;EACA,UAAU,EAAE,iBACV,eAAe,MAAM,aACjB,EAAE,OAAO;GAAE,GAAG;GAAO,QAAQ;GAAI,WAAW;EAAG,EAAE,IACjD,EAAE,MAAM;CAChB,CAAC;AACL,CAAC;;AAGD,MAAa,OACY,cACP,MAAc,aAAyB,aACrD,SAAS,QAAQ,KACf,QAAQ,UAAU;CAAE,SAAS;CAAM;AAAW,CAAC,CACjD;AAEJ,MAAa,mBAAmB;;;;;;AAOhC,MAAa,QAAuB,OAAc,MAChD,EAAE,IACA,CAAC,EAAE,UAAU,kBAAkB,SAAS,CAAC,GACzC,CACE,EAAE,IACA;CAAC,EAAE,UAAU,kBAAkB,QAAQ;CAAG,EAAE,SAAS,QAAQ;CAAG,EAAE,WAAW,IAAI;AAAC,GAClF,CAAC,MAAM,MAAM,CACf,GACA,EAAE,IACA;CAAC,EAAE,UAAU,kBAAkB,WAAW;CAAG,EAAE,SAAS,WAAW;CAAG,EAAE,WAAW,IAAI;AAAC,GACxF,CAAC,MAAM,SAAS,CAClB,CACF,CACF"}

package/dist/interaction/long-press.d.ts

@@ -0,0 +1,102 @@
+import { Schema } from "effect";
+import { Bundle, Declared } from "foldkit-bundle";
+import { Behavior } from "foldkit-mixins";
+export declare const Model: Schema.Struct<{
+  /** Down, and the threshold has not passed. */
+  readonly holding: Schema.Boolean;
+  readonly pointerId: Schema.NullOr<Schema.Number>;
+  readonly key: Schema.NullOr<Schema.String>;
+  readonly generation: Schema.Number;
+}>;
+export type Model = typeof Model.Type;
+export declare const Message: import("foldkit/message").MessageUnion<{
+  readonly PointerDown: {
+    pointerId: Schema.Number;
+    button: Schema.Number;
+    pointerType: Schema.String;
+  };
+  readonly PointerUp: {
+    pointerId: Schema.Number;
+    pointerType: Schema.String;
+    shiftKey: Schema.Boolean;
+  };
+  readonly PointerCancelled: {
+    pointerId: Schema.Number;
+  };
+  readonly KeyDown: {
+    key: Schema.String;
+    repeat: Schema.Boolean;
+  };
+  readonly KeyUp: {
+    key: Schema.String;
+    shiftKey: Schema.Boolean;
+  };
+  readonly Clicked: {
+    detail: Schema.Number;
+    shiftKey: Schema.Boolean;
+  };
+  readonly Elapsed: {
+    generation: Schema.Number;
+    pointerType: Schema.Literals<readonly ["mouse", "touch", "pen", "keyboard", "virtual"]>;
+  };
+}>;
+export type Message = typeof Message.Type;
+export declare const LongPressed: Schema.TaggedStruct<"LongPressed", {
+  readonly pointerType: Schema.Literals<readonly ["mouse", "touch", "pen", "keyboard", "virtual"]>;
+}>;
+export type LongPressed = typeof LongPressed.Type;
+export declare const Args: Schema.Struct<{
+  readonly thresholdMs: Schema.Number;
+}>;
+export type Args = typeof Args.Type;
+export declare const bundle: Bundle.Bundle<"LongPress", {
+  readonly thresholdMs: number;
+}, {
+  readonly holding: boolean;
+  readonly pointerId: number | null;
+  readonly key: string | null;
+  readonly generation: number;
+}, {
+  readonly _tag: "Clicked";
+  readonly detail: number;
+  readonly shiftKey: boolean;
+} | {
+  readonly _tag: "Elapsed";
+  readonly generation: number;
+  readonly pointerType: "keyboard" | "mouse" | "pen" | "touch" | "virtual";
+} | {
+  readonly _tag: "KeyDown";
+  readonly key: string;
+  readonly repeat: boolean;
+} | {
+  readonly _tag: "KeyUp";
+  readonly key: string;
+  readonly shiftKey: boolean;
+} | {
+  readonly _tag: "PointerCancelled";
+  readonly pointerId: number;
+} | {
+  readonly _tag: "PointerDown";
+  readonly pointerId: number;
+  readonly button: number;
+  readonly pointerType: string;
+} | {
+  readonly _tag: "PointerUp";
+  readonly pointerId: number;
+  readonly pointerType: string;
+  readonly shiftKey: boolean;
+}, {
+  readonly _tag: "LongPressed";
+  readonly pointerType: "keyboard" | "mouse" | "pen" | "touch" | "virtual";
+}, never, never, void, {}, {}>;
+export interface BehaviorOptions<Slots> {
+  readonly target: keyof Slots & string;
+}
+/**
+ * Attaches `Press.events` to the target, mapped into this placement's
+ * Messages, and writes `data-holding` while the element is down. `Press` and
+ * `LongPress` on one slot are refused by the resolver (two Mounts of one
+ * name), so today a slot takes one of them.
+ */
+export declare const behavior: <Field extends string>(declared: Declared<typeof bundle, Field>) => <Slots>(slots: Slots) => <Input extends { readonly [K in Field]: Model; }, ParentMessage>(options: BehaviorOptions<Slots>) => Behavior.NamedBehavior<Slots, Input, ParentMessage>;
+//# sourceMappingURL=long-press.d.ts.map

package/dist/interaction/long-press.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"long-press.d.ts","names":[],"sources":["../../src/interaction/long-press.ts"],"mappings":";;;qBAgBa,OAAK,OAAA;;;;;;;YAON,eAAe,MAAM;qBAEpB,mCAAO;;IACH,WAAS,OAAA;IAAiB,QAAM,OAAA;IAAiB,aAAW,OAAA;;;IAC9D,WAAS,OAAA;IAAiB,aAAW,OAAA;IAAiB,UAAQ,OAAA;;;IACvD,WAAS,OAAA;;;IAClB,KAAG,OAAA;IAAiB,QAAM,OAAA;;;IAC5B,KAAG,OAAA;IAAiB,UAAQ,OAAA;;;IAC1B,QAAM,OAAA;IAAiB,UAAQ,OAAA;;;IAC/B,YAAU,OAAA;IAAiB,aAAW,OAAA;;;YAEvC,iBAAiB,QAAQ;qBAExB,aAAW,OAAA;;;YACZ,qBAAqB,YAAY;qBAEhC,MAAI,OAAA;;;YAML,cAAc,KAAK;qBAmClB,QAAM,OAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAiCF,gBAAgB;WACtB,cAAc;;;;;;;;qBASZ,WACV,sBAAoB,UAAY,gBAAgB,QAAQ,YACxD,OAAK,OAAS,WACd,0BAA0B,KAAK,QAAQ,UAAS,eAAa,SACnD,gBAAgB,WACxB,SAAS,cAAc,OAAO,OAAO"}

package/dist/interaction/long-press.js

@@ -0,0 +1,115 @@
+import { Effect, Schema } from "effect";
+import { defineMessageUnion } from "foldkit/message";
+import { Bundle } from "foldkit-bundle";
+import * as Mount from "foldkit/mount";
+import { Behavior, Capability } from "foldkit-mixins";
+import * as Press from "./press.js";
+// src/interaction/long-press.ts
+/**
+* LongPress: holding an element down for `thresholdMs` is one fact. It reads
+* the same facts `Press.events` reports; the threshold is a Command on
+* Effect's clock carrying a generation, so a release before it fires makes
+* its `Elapsed` a no-op. `LongPressed` is an OutMessage the placement must
+* handle. A short press is `Press`'s business, not this Bundle's.
+*/
+const Model = Schema.Struct({
+	/** Down, and the threshold has not passed. */
+	holding: Schema.Boolean,
+	pointerId: Schema.NullOr(Schema.Number),
+	key: Schema.NullOr(Schema.String),
+	generation: Schema.Number
+});
+const Message = defineMessageUnion({
+	PointerDown: {
+		pointerId: Schema.Number,
+		button: Schema.Number,
+		pointerType: Schema.String
+	},
+	PointerUp: {
+		pointerId: Schema.Number,
+		pointerType: Schema.String,
+		shiftKey: Schema.Boolean
+	},
+	PointerCancelled: { pointerId: Schema.Number },
+	KeyDown: {
+		key: Schema.String,
+		repeat: Schema.Boolean
+	},
+	KeyUp: {
+		key: Schema.String,
+		shiftKey: Schema.Boolean
+	},
+	Clicked: {
+		detail: Schema.Number,
+		shiftKey: Schema.Boolean
+	},
+	Elapsed: {
+		generation: Schema.Number,
+		pointerType: Press.PointerType
+	}
+});
+const LongPressed = Schema.TaggedStruct("LongPressed", { pointerType: Press.PointerType });
+const Args = Schema.Struct({ thresholdMs: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())) });
+const isActivationKey = (key) => key === "Enter" || key === " ";
+const released = (model) => ({
+	...model,
+	holding: false,
+	pointerId: null,
+	key: null
+});
+const start = (model, args, by, pointerType) => {
+	const generation = model.generation + 1;
+	return {
+		model: {
+			holding: true,
+			pointerId: "pointerId" in by ? by.pointerId : null,
+			key: "key" in by ? by.key : null,
+			generation
+		},
+		commands: [{
+			name: "LongPress.elapse",
+			args: { generation },
+			effect: Effect.as(Effect.sleep(args.thresholdMs), Message.Elapsed({
+				generation,
+				pointerType
+			}))
+		}]
+	};
+};
+const bundle = Bundle.make("LongPress", {
+	Model,
+	Message,
+	args: Args,
+	init: () => ({ model: {
+		holding: false,
+		pointerId: null,
+		key: null,
+		generation: 0
+	} }),
+	update: (model, message, args) => Message.match(message, {
+		PointerDown: ({ pointerId, button, pointerType }) => button !== 0 || model.holding ? { model } : start(model, args, { pointerId }, pointerType === "touch" || pointerType === "pen" ? pointerType : "mouse"),
+		PointerUp: ({ pointerId }) => model.pointerId === pointerId ? { model: released(model) } : { model },
+		PointerCancelled: ({ pointerId }) => model.pointerId === pointerId ? { model: released(model) } : { model },
+		KeyDown: ({ key, repeat }) => !isActivationKey(key) || repeat || model.holding ? { model } : start(model, args, { key }, "keyboard"),
+		KeyUp: ({ key }) => model.key === key ? { model: released(model) } : { model },
+		Clicked: () => ({ model }),
+		Elapsed: ({ generation, pointerType }) => model.holding && model.generation === generation ? {
+			model: released(model),
+			outMessage: LongPressed.make({ pointerType })
+		} : { model }
+	})
+});
+/**
+* Attaches `Press.events` to the target, mapped into this placement's
+* Messages, and writes `data-holding` while the element is down. `Press` and
+* `LongPress` on one slot are refused by the resolver (two Mounts of one
+* name), so today a slot takes one of them.
+*/
+const behavior = (declared) => (slots) => (options) => Behavior.forSlots(slots)({ [options.target]: Behavior.slot({
+	requires: { capability: Capability.Interactive },
+	attributes: ({ input, h }) => input[declared.field].holding ? [h.DataAttribute("holding", "true")] : [],
+	mount: () => Mount.mapMessage(Press.events(), (fact) => declared.wrapper.make(fact))
+}) }, { name: "LongPress" });
+export { Args, LongPressed, Message, Model, behavior, bundle };
+
+//# sourceMappingURL=long-press.js.map

package/dist/interaction/long-press.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"long-press.js","names":[],"sources":["../../src/interaction/long-press.ts"],"sourcesContent":["/**\n * LongPress: holding an element down for `thresholdMs` is one fact. It reads\n * the same facts `Press.events` reports; the threshold is a Command on\n * Effect's clock carrying a generation, so a release before it fires makes\n * its `Elapsed` a no-op. `LongPressed` is an OutMessage the placement must\n * handle. A short press is `Press`'s business, not this Bundle's.\n */\nimport { Effect, Schema } from 'effect'\nimport type { HtmlBuilder } from 'foldkit/html'\nimport { defineMessageUnion } from 'foldkit/message'\nimport * as Mount from 'foldkit/mount'\nimport type * as Update from 'foldkit/update'\nimport { Bundle, type Declared } from 'foldkit-bundle'\nimport { Behavior, Capability } from 'foldkit-mixins'\nimport * as Press from './press.js'\n\nexport const Model = Schema.Struct({\n  /** Down, and the threshold has not passed. */\n  holding: Schema.Boolean,\n  pointerId: Schema.NullOr(Schema.Number),\n  key: Schema.NullOr(Schema.String),\n  generation: Schema.Number,\n})\nexport type Model = typeof Model.Type\n\nexport const Message = defineMessageUnion({\n  PointerDown: { pointerId: Schema.Number, button: Schema.Number, pointerType: Schema.String },\n  PointerUp: { pointerId: Schema.Number, pointerType: Schema.String, shiftKey: Schema.Boolean },\n  PointerCancelled: { pointerId: Schema.Number },\n  KeyDown: { key: Schema.String, repeat: Schema.Boolean },\n  KeyUp: { key: Schema.String, shiftKey: Schema.Boolean },\n  Clicked: { detail: Schema.Number, shiftKey: Schema.Boolean },\n  Elapsed: { generation: Schema.Number, pointerType: Press.PointerType },\n})\nexport type Message = typeof Message.Type\n\nexport const LongPressed = Schema.TaggedStruct('LongPressed', { pointerType: Press.PointerType })\nexport type LongPressed = typeof LongPressed.Type\n\nexport const Args = Schema.Struct({\n  thresholdMs: Schema.Number.pipe(\n    Schema.check(Schema.isGreaterThan(0)),\n    Schema.check(Schema.isFinite()),\n  ),\n})\nexport type Args = typeof Args.Type\n\nconst isActivationKey = (key: string): boolean => key === 'Enter' || key === ' '\n\nconst released = (model: Model): Model => ({ ...model, holding: false, pointerId: null, key: null })\n\ntype Return = Update.ReturnWithOutMessage<Model, Message, LongPressed>\n\nconst start = (\n  model: Model,\n  args: Args,\n  by: { readonly pointerId: number } | { readonly key: string },\n  pointerType: Press.PointerType,\n): Return => {\n  const generation = model.generation + 1\n  return {\n    model: {\n      holding: true,\n      pointerId: 'pointerId' in by ? by.pointerId : null,\n      key: 'key' in by ? by.key : null,\n      generation,\n    },\n    commands: [\n      {\n        name: 'LongPress.elapse',\n        args: { generation },\n        effect: Effect.as(\n          Effect.sleep(args.thresholdMs),\n          Message.Elapsed({ generation, pointerType }),\n        ),\n      },\n    ],\n  }\n}\n\nexport const bundle = Bundle.make('LongPress', {\n  Model,\n  Message,\n  args: Args,\n  init: () => ({ model: { holding: false, pointerId: null, key: null, generation: 0 } }),\n  update: (model, message, args): Return =>\n    Message.match<Return>(message, {\n      PointerDown: ({ pointerId, button, pointerType }) =>\n        button !== 0 || model.holding\n          ? { model }\n          : start(\n              model,\n              args,\n              { pointerId },\n              pointerType === 'touch' || pointerType === 'pen' ? pointerType : 'mouse',\n            ),\n      PointerUp: ({ pointerId }) =>\n        model.pointerId === pointerId ? { model: released(model) } : { model },\n      PointerCancelled: ({ pointerId }) =>\n        model.pointerId === pointerId ? { model: released(model) } : { model },\n      KeyDown: ({ key, repeat }) =>\n        !isActivationKey(key) || repeat || model.holding\n          ? { model }\n          : start(model, args, { key }, 'keyboard'),\n      KeyUp: ({ key }) => (model.key === key ? { model: released(model) } : { model }),\n      Clicked: () => ({ model }),\n      Elapsed: ({ generation, pointerType }) =>\n        model.holding && model.generation === generation\n          ? { model: released(model), outMessage: LongPressed.make({ pointerType }) }\n          : { model },\n    }),\n})\n\nexport interface BehaviorOptions<Slots> {\n  readonly target: keyof Slots & string\n}\n\n/**\n * Attaches `Press.events` to the target, mapped into this placement's\n * Messages, and writes `data-holding` while the element is down. `Press` and\n * `LongPress` on one slot are refused by the resolver (two Mounts of one\n * name), so today a slot takes one of them.\n */\nexport const behavior =\n  <Field extends string>(declared: Declared<typeof bundle, Field>) =>\n  <Slots>(slots: Slots) =>\n  <Input extends { readonly [K in Field]: Model }, ParentMessage>(\n    options: BehaviorOptions<Slots>,\n  ): Behavior.NamedBehavior<Slots, Input, ParentMessage> =>\n    Behavior.forSlots(slots)<Input, ParentMessage>(\n      {\n        [options.target]: Behavior.slot({\n          requires: { capability: Capability.Interactive },\n          attributes: ({\n            input,\n            h,\n          }: {\n            readonly input: Input\n            readonly h: HtmlBuilder<ParentMessage>\n          }) => (input[declared.field].holding ? [h.DataAttribute('holding', 'true')] : []),\n          mount: () =>\n            Mount.mapMessage(\n              Press.events(),\n              // The facts are the same tagged structs; only the union differs.\n              (fact): ParentMessage =>\n                declared.wrapper.make(fact as unknown as Message) as unknown as ParentMessage,\n            ),\n        }),\n        // Keyed by a value the caller chose; `forSlots` checks the key exists.\n      } as unknown as Behavior.BehaviorSpec<Slots, Input, ParentMessage>,\n      { name: 'LongPress' },\n    )\n"],"mappings":";;;;;;;;;;;;;;AAgBA,MAAa,QAAQ,OAAO,OAAO;;CAEjC,SAAS,OAAO;CAChB,WAAW,OAAO,OAAO,OAAO,MAAM;CACtC,KAAK,OAAO,OAAO,OAAO,MAAM;CAChC,YAAY,OAAO;AACrB,CAAC;AAGD,MAAa,UAAU,mBAAmB;CACxC,aAAa;EAAE,WAAW,OAAO;EAAQ,QAAQ,OAAO;EAAQ,aAAa,OAAO;CAAO;CAC3F,WAAW;EAAE,WAAW,OAAO;EAAQ,aAAa,OAAO;EAAQ,UAAU,OAAO;CAAQ;CAC5F,kBAAkB,EAAE,WAAW,OAAO,OAAO;CAC7C,SAAS;EAAE,KAAK,OAAO;EAAQ,QAAQ,OAAO;CAAQ;CACtD,OAAO;EAAE,KAAK,OAAO;EAAQ,UAAU,OAAO;CAAQ;CACtD,SAAS;EAAE,QAAQ,OAAO;EAAQ,UAAU,OAAO;CAAQ;CAC3D,SAAS;EAAE,YAAY,OAAO;EAAQ,aAAa,MAAM;CAAY;AACvE,CAAC;AAGD,MAAa,cAAc,OAAO,aAAa,eAAe,EAAE,aAAa,MAAM,YAAY,CAAC;AAGhG,MAAa,OAAO,OAAO,OAAO,EAChC,aAAa,OAAO,OAAO,KACzB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC,EACF,CAAC;AAGD,MAAM,mBAAmB,QAAyB,QAAQ,WAAW,QAAQ;AAE7E,MAAM,YAAY,WAAyB;CAAE,GAAG;CAAO,SAAS;CAAO,WAAW;CAAM,KAAK;AAAK;AAIlG,MAAM,SACJ,OACA,MACA,IACA,gBACW;CACX,MAAM,aAAa,MAAM,aAAa;CACtC,OAAO;EACL,OAAO;GACL,SAAS;GACT,WAAW,eAAe,KAAK,GAAG,YAAY;GAC9C,KAAK,SAAS,KAAK,GAAG,MAAM;GAC5B;EACF;EACA,UAAU,CACR;GACE,MAAM;GACN,MAAM,EAAE,WAAW;GACnB,QAAQ,OAAO,GACb,OAAO,MAAM,KAAK,WAAW,GAC7B,QAAQ,QAAQ;IAAE;IAAY;GAAY,CAAC,CAC7C;EACF,CACF;CACF;AACF;AAEA,MAAa,SAAS,OAAO,KAAK,aAAa;CAC7C;CACA;CACA,MAAM;CACN,aAAa,EAAE,OAAO;EAAE,SAAS;EAAO,WAAW;EAAM,KAAK;EAAM,YAAY;CAAE,EAAE;CACpF,SAAS,OAAO,SAAS,SACvB,QAAQ,MAAc,SAAS;EAC7B,cAAc,EAAE,WAAW,QAAQ,kBACjC,WAAW,KAAK,MAAM,UAClB,EAAE,MAAM,IACR,MACE,OACA,MACA,EAAE,UAAU,GACZ,gBAAgB,WAAW,gBAAgB,QAAQ,cAAc,OACnE;EACN,YAAY,EAAE,gBACZ,MAAM,cAAc,YAAY,EAAE,OAAO,SAAS,KAAK,EAAE,IAAI,EAAE,MAAM;EACvE,mBAAmB,EAAE,gBACnB,MAAM,cAAc,YAAY,EAAE,OAAO,SAAS,KAAK,EAAE,IAAI,EAAE,MAAM;EACvE,UAAU,EAAE,KAAK,aACf,CAAC,gBAAgB,GAAG,KAAK,UAAU,MAAM,UACrC,EAAE,MAAM,IACR,MAAM,OAAO,MAAM,EAAE,IAAI,GAAG,UAAU;EAC5C,QAAQ,EAAE,UAAW,MAAM,QAAQ,MAAM,EAAE,OAAO,SAAS,KAAK,EAAE,IAAI,EAAE,MAAM;EAC9E,gBAAgB,EAAE,MAAM;EACxB,UAAU,EAAE,YAAY,kBACtB,MAAM,WAAW,MAAM,eAAe,aAClC;GAAE,OAAO,SAAS,KAAK;GAAG,YAAY,YAAY,KAAK,EAAE,YAAY,CAAC;EAAE,IACxE,EAAE,MAAM;CAChB,CAAC;AACL,CAAC;;;;;;;AAYD,MAAa,YACY,cACf,WAEN,YAEA,SAAS,SAAS,KAAK,CAAC,CACtB,GACG,QAAQ,SAAS,SAAS,KAAK;CAC9B,UAAU,EAAE,YAAY,WAAW,YAAY;CAC/C,aAAa,EACX,OACA,QAIK,MAAM,SAAS,MAAM,CAAC,UAAU,CAAC,EAAE,cAAc,WAAW,MAAM,CAAC,IAAI,CAAC;CAC/E,aACE,MAAM,WACJ,MAAM,OAAO,IAEZ,SACC,SAAS,QAAQ,KAAK,IAA0B,CACpD;AACJ,CAAC,EAEH,GACA,EAAE,MAAM,YAAY,CACtB"}

package/dist/interaction/move.d.ts

@@ -0,0 +1,10 @@
+import { Fact, Fact as Fact$1, Move as mount, MoveEnded, MoveStarted, Moved } from "../dom/move.js";
+import { Behavior } from "foldkit-mixins";
+export interface BehaviorOptions<Slots, ParentMessage> {
+  readonly handle: keyof Slots & string;
+  /** Turns each fact into the view's Message. */
+  readonly toMessage: (fact: Fact$1) => ParentMessage;
+}
+export declare const behavior: <Slots>(slots: Slots) => <Input, ParentMessage>(options: BehaviorOptions<Slots, ParentMessage>) => Behavior.NamedBehavior<Slots, Input, ParentMessage>;
+export { type Fact, MoveEnded, MoveStarted, Moved, mount };
+//# sourceMappingURL=move.d.ts.map