foldkit-primitives 0.15.4 → 0.16.0

package/dist/dom/pointer-drag.d.ts

@@ -0,0 +1,132 @@
+import { Schema } from "effect";
+import * as Mount from "foldkit/mount";
+export declare const DragZone: Schema.Literals<readonly ["before", "inside", "after"]>;
+export type DragZone = typeof DragZone.Type;
+/**
+ * A marked descendant under the pointer, and the zone of it the pointer is in.
+ * `part` is the value of the `part` attribute on the element found, such as
+ * the empty Region of a node a drop goes into; a place with one is `inside`.
+ */
+export declare const DragPlace: Schema.Struct<{
+  readonly id: Schema.String;
+  readonly zone: Schema.Literals<readonly ["before", "inside", "after"]>;
+  readonly part: Schema.optionalKey<Schema.String>;
+}>;
+export type DragPlace = typeof DragPlace.Type;
+export declare const DragStarted: Schema.TaggedStruct<"DragStarted", {
+  /** The marked descendant being dragged. */
+  readonly id: Schema.String;
+}>;
+export type DragStarted = typeof DragStarted.Type;
+export declare const DraggedOver: Schema.TaggedStruct<"DraggedOver", {
+  /** Where the pointer is, or `null` over nothing marked, or over what is dragged. */
+  readonly over: Schema.NullOr<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly zone: Schema.Literals<readonly ["before", "inside", "after"]>;
+    readonly part: Schema.optionalKey<Schema.String>;
+  }>>;
+  /**
+   * For a drag onto `targets`: whether the pointer is inside the region they
+   * are in, so `over: null` with `region: true` is its empty space (an empty
+   * page, the space below the last node). Absent for a drag among its own.
+   */
+  readonly region: Schema.optionalKey<Schema.Boolean>;
+}>;
+export type DraggedOver = typeof DraggedOver.Type;
+export declare const DragDropped: Schema.TaggedStruct<"DragDropped", {
+  readonly id: Schema.String;
+  readonly over: Schema.NullOr<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly zone: Schema.Literals<readonly ["before", "inside", "after"]>;
+    readonly part: Schema.optionalKey<Schema.String>;
+  }>>;
+  /** As `DraggedOver`'s: released inside the `targets` region. */
+  readonly region: Schema.optionalKey<Schema.Boolean>;
+}>;
+export type DragDropped = typeof DragDropped.Type;
+export declare const DragCancelled: Schema.TaggedStruct<"DragCancelled", {
+  readonly id: Schema.String;
+}>;
+export type DragCancelled = typeof DragCancelled.Type;
+export type DragFact = DragStarted | DraggedOver | DragDropped | DragCancelled;
+/** How far, in CSS pixels, a press moves before it is a drag rather than a click. */
+export declare const DRAG_THRESHOLD = 4;
+/**
+ * How long a finger is held still before its press is a drag. A touch that moves first is a
+ * scroll, so a list of draggable rows still scrolls under a finger.
+ */
+export declare const HOLD_TO_DRAG_MS = 400;
+/** How far, in CSS pixels, a held finger may wander before the hold is a scroll. */
+export declare const HOLD_SLOP = 8;
+interface Box {
+  readonly top: number;
+  readonly height: number;
+}
+/** The zone of a box a vertical position falls in, by thirds. */
+export declare const zoneOf: (box: Box, y: number) => DragZone;
+/**
+ * An element's box. An element drawn as `display: contents` has none, so its
+ * first child's stands for it, as an editor's node wrapper's does.
+ */
+export declare const boxOf: (element: Element) => Box;
+/**
+ * Dragging one marked descendant of an element onto another, as a Mount. A
+ * descendant is marked by an attribute whose value is its id, as `Targets`
+ * marks them; a press on one that then moves past a threshold starts a drag (a
+ * finger's, held still for `HOLD_TO_DRAG_MS`, as a touch that moves first scrolls), and
+ * the pointer's place over another marked descendant is reported with the
+ * zone of it the pointer is in: its first third (`before`), its middle
+ * (`inside`), or its last third (`after`). Releasing drops, and Escape or a
+ * cancelled pointer ends the drag with nothing dropped.
+ *
+ * It writes no roles, no `tabindex` and no key handling, so the marked
+ * elements can be anything: a tree's rows, a canvas's nodes. The keyboard's way
+ * to do what a drag does is the parent's to give. Geometry is measured when the
+ * pointer moves and never kept; what a drop means is the parent's `update`.
+ */
+export declare const PointerDrag: Mount.MountDefinitionWithArgs<"PointerDrag", {
+  /** The attribute that marks a descendant, holding its id. */
+  attribute: Schema.String;
+  /**
+   * Where a drag may land, when not on the element's own marked descendants:
+   * the elements marked by `attribute` inside the one `within` selects, such
+   * as a palette's Blocks dragged onto a page. A drop's `over` is then one of
+   * those; what is dragged is still one of the element's own. `within` is
+   * looked for nearest first, under the element's closest ancestor that holds
+   * a match, so two editors on one page each drop onto their own.
+   */
+  targets: Schema.optionalKey<Schema.Struct<{
+    readonly attribute: Schema.String;
+    readonly within: Schema.String;
+  }>>;
+  /**
+   * An attribute that names a part of what a drop lands on, on an element
+   * also marked as one: a place over it carries the part and is `inside`.
+   */
+  part: Schema.optionalKey<Schema.String>;
+}, {
+  readonly _tag: "DragStarted";
+  readonly id: string;
+} | {
+  readonly _tag: "DraggedOver";
+  readonly over: {
+    readonly id: string;
+    readonly zone: "after" | "before" | "inside";
+    readonly part?: string;
+  } | null;
+  readonly region?: boolean;
+} | {
+  readonly _tag: "DragDropped";
+  readonly id: string;
+  readonly over: {
+    readonly id: string;
+    readonly zone: "after" | "before" | "inside";
+    readonly part?: string;
+  } | null;
+  readonly region?: boolean;
+} | {
+  readonly _tag: "DragCancelled";
+  readonly id: string;
+}>;
+export {};
+//# sourceMappingURL=pointer-drag.d.ts.map

package/dist/dom/pointer-drag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-drag.d.ts","names":[],"sources":["../../src/dom/pointer-drag.ts"],"mappings":";;qBAIa,UAAQ,OAAA;YACT,kBAAkB,SAAS;;;;;;qBAO1B,WAAS,OAAA;;;;;YAKV,mBAAmB,UAAU;qBAE5B,aAAW,OAAA;;;;YAIZ,qBAAqB,YAAY;qBAEhC,aAAW,OAAA;;;;;;;;;;;;;;YAUZ,qBAAqB,YAAY;qBAEhC,aAAW,OAAA;;;;;;;;;;YAMZ,qBAAqB,YAAY;qBAEhC,eAAa,OAAA;;;YACd,uBAAuB,cAAc;YAErC,WAAW,cAAc,cAAc,cAAc;;qBAGpD;;;;;qBAMA;;qBAGA;UAEH;WACC;WACA;;;qBAIE,SAAM,KAAS,KAAG,cAAc;;;;;qBAUhC,QAAK,SAAa,YAAU;;;;;;;;;;;;;;;;qBAgC5B,aAAW,MAAA"}

package/dist/dom/pointer-drag.js

@@ -0,0 +1,307 @@
+import { Effect, Queue, Schema, Stream } from "effect";
+import * as Mount from "foldkit/mount";
+import { targetOf } from "./targets.js";
+// src/dom/pointer-drag.ts
+const DragZone = Schema.Literals([
+	"before",
+	"inside",
+	"after"
+]);
+/**
+* A marked descendant under the pointer, and the zone of it the pointer is in.
+* `part` is the value of the `part` attribute on the element found, such as
+* the empty Region of a node a drop goes into; a place with one is `inside`.
+*/
+const DragPlace = Schema.Struct({
+	id: Schema.String,
+	zone: DragZone,
+	part: Schema.optionalKey(Schema.String)
+});
+const DragStarted = Schema.TaggedStruct("DragStarted", { 
+/** The marked descendant being dragged. */
+id: Schema.String });
+const DraggedOver = Schema.TaggedStruct("DraggedOver", {
+	/** Where the pointer is, or `null` over nothing marked, or over what is dragged. */
+	over: Schema.NullOr(DragPlace),
+	/**
+	* For a drag onto `targets`: whether the pointer is inside the region they
+	* are in, so `over: null` with `region: true` is its empty space (an empty
+	* page, the space below the last node). Absent for a drag among its own.
+	*/
+	region: Schema.optionalKey(Schema.Boolean)
+});
+const DragDropped = Schema.TaggedStruct("DragDropped", {
+	id: Schema.String,
+	over: Schema.NullOr(DragPlace),
+	/** As `DraggedOver`'s: released inside the `targets` region. */
+	region: Schema.optionalKey(Schema.Boolean)
+});
+const DragCancelled = Schema.TaggedStruct("DragCancelled", { id: Schema.String });
+/** How far, in CSS pixels, a press moves before it is a drag rather than a click. */
+const DRAG_THRESHOLD = 4;
+/**
+* How long a finger is held still before its press is a drag. A touch that moves first is a
+* scroll, so a list of draggable rows still scrolls under a finger.
+*/
+const HOLD_TO_DRAG_MS = 400;
+/** How far, in CSS pixels, a held finger may wander before the hold is a scroll. */
+const HOLD_SLOP = 8;
+/** The zone of a box a vertical position falls in, by thirds. */
+const zoneOf = (box, y) => {
+	if (box.height <= 0) return "inside";
+	const at = (y - box.top) / box.height;
+	return at < 1 / 3 ? "before" : at > 2 / 3 ? "after" : "inside";
+};
+/**
+* An element's box. An element drawn as `display: contents` has none, so its
+* first child's stands for it, as an editor's node wrapper's does.
+*/
+const boxOf = (element) => {
+	const own = element.getBoundingClientRect();
+	if (own.width > 0 || own.height > 0) return own;
+	const child = element.firstElementChild;
+	return child === null ? own : boxOf(child);
+};
+/**
+* Dragging one marked descendant of an element onto another, as a Mount. A
+* descendant is marked by an attribute whose value is its id, as `Targets`
+* marks them; a press on one that then moves past a threshold starts a drag (a
+* finger's, held still for `HOLD_TO_DRAG_MS`, as a touch that moves first scrolls), and
+* the pointer's place over another marked descendant is reported with the
+* zone of it the pointer is in: its first third (`before`), its middle
+* (`inside`), or its last third (`after`). Releasing drops, and Escape or a
+* cancelled pointer ends the drag with nothing dropped.
+*
+* It writes no roles, no `tabindex` and no key handling, so the marked
+* elements can be anything: a tree's rows, a canvas's nodes. The keyboard's way
+* to do what a drag does is the parent's to give. Geometry is measured when the
+* pointer moves and never kept; what a drop means is the parent's `update`.
+*/
+const PointerDrag = Mount.defineStream("PointerDrag", {
+	messages: [
+		DragStarted,
+		DraggedOver,
+		DragDropped,
+		DragCancelled
+	],
+	args: {
+		/** The attribute that marks a descendant, holding its id. */
+		attribute: Schema.String,
+		/**
+		* Where a drag may land, when not on the element's own marked descendants:
+		* the elements marked by `attribute` inside the one `within` selects, such
+		* as a palette's Blocks dragged onto a page. A drop's `over` is then one of
+		* those; what is dragged is still one of the element's own. `within` is
+		* looked for nearest first, under the element's closest ancestor that holds
+		* a match, so two editors on one page each drop onto their own.
+		*/
+		targets: Schema.optionalKey(Schema.Struct({
+			attribute: Schema.String,
+			within: Schema.String
+		})),
+		/**
+		* An attribute that names a part of what a drop lands on, on an element
+		* also marked as one: a place over it carries the part and is `inside`.
+		*/
+		part: Schema.optionalKey(Schema.String)
+	},
+	execute: ({ element, attribute, targets, part }) => Stream.callback((queue) => Effect.acquireRelease(Effect.sync(() => {
+		const owner = element.ownerDocument;
+		const landsOn = targets?.attribute ?? attribute;
+		const regionOf = (within) => {
+			for (let at = element.parentElement; at !== null; at = at.parentElement) {
+				const found = at.querySelector(within);
+				if (found !== null) return found;
+			}
+			return null;
+		};
+		const find = (from) => {
+			if (!(from instanceof Element)) return {
+				marked: null,
+				inRegion: false
+			};
+			const region = targets === void 0 ? element : regionOf(targets.within);
+			const marked = from.closest(`[${landsOn}]`);
+			return {
+				marked: marked !== null && region !== null && region.contains(marked) ? marked : null,
+				inRegion: targets !== void 0 && region !== null && region.contains(from)
+			};
+		};
+		let pressed = null;
+		let holding;
+		const begin = (id) => {
+			dragging = id;
+			owner.getSelection()?.removeAllRanges();
+			Queue.offerUnsafe(queue, DragStarted.make({ id }));
+		};
+		let dragging = null;
+		let over = null;
+		let inRegion = false;
+		let swallowClick = false;
+		const placeAt = (event) => {
+			const under = typeof owner.elementFromPoint === "function" && event.clientX !== void 0 ? owner.elementFromPoint(event.clientX, event.clientY ?? 0) : null;
+			const { marked, inRegion: region } = find(under ?? event.target);
+			const id = marked?.getAttribute(landsOn) ?? null;
+			const named = part === void 0 ? null : marked?.getAttribute(part) ?? null;
+			return {
+				place: marked === null || id === null || targets === void 0 && id === dragging ? null : named === null ? {
+					id,
+					zone: zoneOf(boxOf(marked), event.clientY ?? 0)
+				} : {
+					id,
+					zone: "inside",
+					part: named
+				},
+				region
+			};
+		};
+		/** The region flag a fact carries: only for a drag onto `targets`. */
+		const withRegion = (region) => targets === void 0 ? {} : { region };
+		const ours = (event) => pressed !== null && (pressed.pointer === void 0 || event.pointerId === pressed.pointer);
+		const end = (dropped, at, inside = false) => {
+			clearTimeout(holding);
+			holding = void 0;
+			const id = dragging;
+			if (id !== null && at?.clientX !== void 0 && at.clientY !== void 0) {
+				const { place, region } = placeAt(at);
+				over = place;
+				inRegion = region;
+			}
+			pressed = null;
+			dragging = null;
+			const last = over;
+			const lastRegion = inRegion;
+			over = null;
+			inRegion = false;
+			release();
+			if (id === null) return;
+			swallowClick = dropped && inside;
+			Queue.offerUnsafe(queue, dropped ? DragDropped.make({
+				id,
+				over: last,
+				...withRegion(lastRegion)
+			}) : DragCancelled.make({ id }));
+		};
+		const onDocument = [
+			["pointermove", (event) => {
+				const positioned = event;
+				if (!ours(positioned) || pressed === null) return;
+				if (positioned.buttons !== void 0 && (positioned.buttons & 1) === 0) return end(false);
+				if (dragging === null) {
+					const moved = Math.hypot((positioned.clientX ?? 0) - pressed.x, (positioned.clientY ?? 0) - pressed.y);
+					if (pressed.touch) return moved < 8 ? void 0 : end(false);
+					if (moved < 4) return;
+					begin(pressed.id);
+				}
+				const { place, region } = placeAt(positioned);
+				if (place?.id === over?.id && place?.zone === over?.zone && place?.part === over?.part && region === inRegion) return;
+				over = place;
+				inRegion = region;
+				Queue.offerUnsafe(queue, DraggedOver.make({
+					over: place,
+					...withRegion(region)
+				}));
+			}],
+			["pointerup", (event) => {
+				if (!ours(event)) return;
+				if (dragging === null) end(false);
+				else end(true, event, event.target instanceof Node && element.contains(event.target));
+			}],
+			["pointercancel", (event) => {
+				if (ours(event)) end(false);
+			}]
+		];
+		const onEscape = (event) => {
+			if (pressed === null || event.key !== "Escape") return;
+			event.preventDefault();
+			event.stopPropagation();
+			end(false);
+		};
+		const heldStill = (event) => {
+			if (dragging !== null) event.preventDefault();
+		};
+		const noMenu = (event) => {
+			if (pressed?.touch === true) event.preventDefault();
+		};
+		let listening = false;
+		const listen = () => {
+			if (listening) return;
+			listening = true;
+			for (const [type, listener] of onDocument) owner.addEventListener(type, listener);
+			owner.addEventListener("keydown", onEscape, true);
+			owner.addEventListener("touchmove", heldStill, { passive: false });
+			owner.addEventListener("contextmenu", noMenu);
+		};
+		const release = () => {
+			if (!listening) return;
+			listening = false;
+			for (const [type, listener] of onDocument) owner.removeEventListener(type, listener);
+			owner.removeEventListener("keydown", onEscape, true);
+			owner.removeEventListener("touchmove", heldStill);
+			owner.removeEventListener("contextmenu", noMenu);
+		};
+		const onElement = [
+			[
+				"pointerdown",
+				(event) => {
+					const positioned = event;
+					swallowClick = false;
+					if (pressed !== null) return;
+					if ((positioned.button ?? 0) !== 0) return;
+					if (event.target instanceof Element && event.target.closest("[contenteditable]:not([contenteditable=\"false\"])") !== null) return;
+					const id = targetOf(element, event.target, attribute);
+					if (id === null) return;
+					const touch = positioned.pointerType === "touch";
+					pressed = {
+						id,
+						pointer: positioned.pointerId,
+						x: positioned.clientX ?? 0,
+						y: positioned.clientY ?? 0,
+						touch
+					};
+					listen();
+					if (touch) holding = setTimeout(() => {
+						holding = void 0;
+						if (pressed !== null && dragging === null) begin(pressed.id);
+					}, 400);
+				},
+				false
+			],
+			[
+				"click",
+				(event) => {
+					if (!swallowClick) return;
+					swallowClick = false;
+					event.preventDefault();
+					event.stopImmediatePropagation();
+				},
+				true
+			],
+			[
+				"dragstart",
+				(event) => event.preventDefault(),
+				false
+			]
+		];
+		for (const [type, listener, capture] of onElement) element.addEventListener(type, listener, capture);
+		const callout = element instanceof HTMLElement ? element.style.getPropertyValue("-webkit-touch-callout") : void 0;
+		if (element instanceof HTMLElement) element.style.setProperty("-webkit-touch-callout", "none");
+		const stop = () => {
+			clearTimeout(holding);
+			release();
+			if (!(element instanceof HTMLElement)) return;
+			if (callout === void 0 || callout === "") element.style.removeProperty("-webkit-touch-callout");
+			else element.style.setProperty("-webkit-touch-callout", callout);
+		};
+		return {
+			onElement,
+			stop
+		};
+	}), ({ onElement, stop }) => Effect.sync(() => {
+		for (const [type, listener, capture] of onElement) element.removeEventListener(type, listener, capture);
+		stop();
+	})))
+});
+export { DRAG_THRESHOLD, DragCancelled, DragDropped, DragPlace, DragStarted, DragZone, DraggedOver, HOLD_SLOP, HOLD_TO_DRAG_MS, PointerDrag, boxOf, zoneOf };
+
+//# sourceMappingURL=pointer-drag.js.map

package/dist/dom/pointer-drag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-drag.js","names":[],"sources":["../../src/dom/pointer-drag.ts"],"sourcesContent":["import { Effect, Queue, Schema, Stream } from 'effect'\nimport * as Mount from 'foldkit/mount'\nimport { targetOf } from './targets.js'\n\nexport const DragZone = Schema.Literals(['before', 'inside', 'after'])\nexport type DragZone = typeof DragZone.Type\n\n/**\n * A marked descendant under the pointer, and the zone of it the pointer is in.\n * `part` is the value of the `part` attribute on the element found, such as\n * the empty Region of a node a drop goes into; a place with one is `inside`.\n */\nexport const DragPlace = Schema.Struct({\n  id: Schema.String,\n  zone: DragZone,\n  part: Schema.optionalKey(Schema.String),\n})\nexport type DragPlace = typeof DragPlace.Type\n\nexport const DragStarted = Schema.TaggedStruct('DragStarted', {\n  /** The marked descendant being dragged. */\n  id: Schema.String,\n})\nexport type DragStarted = typeof DragStarted.Type\n\nexport const DraggedOver = Schema.TaggedStruct('DraggedOver', {\n  /** Where the pointer is, or `null` over nothing marked, or over what is dragged. */\n  over: Schema.NullOr(DragPlace),\n  /**\n   * For a drag onto `targets`: whether the pointer is inside the region they\n   * are in, so `over: null` with `region: true` is its empty space (an empty\n   * page, the space below the last node). Absent for a drag among its own.\n   */\n  region: Schema.optionalKey(Schema.Boolean),\n})\nexport type DraggedOver = typeof DraggedOver.Type\n\nexport const DragDropped = Schema.TaggedStruct('DragDropped', {\n  id: Schema.String,\n  over: Schema.NullOr(DragPlace),\n  /** As `DraggedOver`'s: released inside the `targets` region. */\n  region: Schema.optionalKey(Schema.Boolean),\n})\nexport type DragDropped = typeof DragDropped.Type\n\nexport const DragCancelled = Schema.TaggedStruct('DragCancelled', { id: Schema.String })\nexport type DragCancelled = typeof DragCancelled.Type\n\nexport type DragFact = DragStarted | DraggedOver | DragDropped | DragCancelled\n\n/** How far, in CSS pixels, a press moves before it is a drag rather than a click. */\nexport const DRAG_THRESHOLD = 4\n\n/**\n * How long a finger is held still before its press is a drag. A touch that moves first is a\n * scroll, so a list of draggable rows still scrolls under a finger.\n */\nexport const HOLD_TO_DRAG_MS = 400\n\n/** How far, in CSS pixels, a held finger may wander before the hold is a scroll. */\nexport const HOLD_SLOP = 8\n\ninterface Box {\n  readonly top: number\n  readonly height: number\n}\n\n/** The zone of a box a vertical position falls in, by thirds. */\nexport const zoneOf = (box: Box, y: number): DragZone => {\n  if (box.height <= 0) return 'inside'\n  const at = (y - box.top) / box.height\n  return at < 1 / 3 ? 'before' : at > 2 / 3 ? 'after' : 'inside'\n}\n\n/**\n * An element's box. An element drawn as `display: contents` has none, so its\n * first child's stands for it, as an editor's node wrapper's does.\n */\nexport const boxOf = (element: Element): Box => {\n  const own = element.getBoundingClientRect()\n  if (own.width > 0 || own.height > 0) return own\n  const child = element.firstElementChild\n  return child === null ? own : boxOf(child)\n}\n\ntype Positioned = Event & {\n  readonly clientX?: number\n  readonly clientY?: number\n  readonly button?: number\n  readonly buttons?: number\n  readonly pointerId?: number\n  readonly pointerType?: string\n  readonly key?: string\n}\n\n/**\n * Dragging one marked descendant of an element onto another, as a Mount. A\n * descendant is marked by an attribute whose value is its id, as `Targets`\n * marks them; a press on one that then moves past a threshold starts a drag (a\n * finger's, held still for `HOLD_TO_DRAG_MS`, as a touch that moves first scrolls), and\n * the pointer's place over another marked descendant is reported with the\n * zone of it the pointer is in: its first third (`before`), its middle\n * (`inside`), or its last third (`after`). Releasing drops, and Escape or a\n * cancelled pointer ends the drag with nothing dropped.\n *\n * It writes no roles, no `tabindex` and no key handling, so the marked\n * elements can be anything: a tree's rows, a canvas's nodes. The keyboard's way\n * to do what a drag does is the parent's to give. Geometry is measured when the\n * pointer moves and never kept; what a drop means is the parent's `update`.\n */\nexport const PointerDrag = Mount.defineStream('PointerDrag', {\n  messages: [DragStarted, DraggedOver, DragDropped, DragCancelled],\n  args: {\n    /** The attribute that marks a descendant, holding its id. */\n    attribute: Schema.String,\n    /**\n     * Where a drag may land, when not on the element's own marked descendants:\n     * the elements marked by `attribute` inside the one `within` selects, such\n     * as a palette's Blocks dragged onto a page. A drop's `over` is then one of\n     * those; what is dragged is still one of the element's own. `within` is\n     * looked for nearest first, under the element's closest ancestor that holds\n     * a match, so two editors on one page each drop onto their own.\n     */\n    targets: Schema.optionalKey(Schema.Struct({ attribute: Schema.String, within: Schema.String })),\n    /**\n     * An attribute that names a part of what a drop lands on, on an element\n     * also marked as one: a place over it carries the part and is `inside`.\n     */\n    part: Schema.optionalKey(Schema.String),\n  },\n  execute: ({ element, attribute, targets, part }) =>\n    Stream.callback<DragFact>(queue =>\n      Effect.acquireRelease(\n        Effect.sync(() => {\n          const owner = element.ownerDocument\n          // What a drop lands on: the element's own marked descendants, or those of `targets`.\n          const landsOn = targets?.attribute ?? attribute\n          // Looked for at each move, so a redraw that replaced it is followed.\n          const regionOf = (within: string): Element | null => {\n            for (let at = element.parentElement; at !== null; at = at.parentElement) {\n              const found = at.querySelector(within)\n              if (found !== null) return found\n            }\n            return null\n          }\n          const find = (from: EventTarget | null) => {\n            if (!(from instanceof Element)) return { marked: null, inRegion: false }\n            const region = targets === undefined ? element : regionOf(targets.within)\n            const marked = from.closest(`[${landsOn}]`)\n            return {\n              marked: marked !== null && region !== null && region.contains(marked) ? marked : null,\n              // Only a drag onto `targets` tells its region's empty space from elsewhere.\n              inRegion: targets !== undefined && region !== null && region.contains(from),\n            }\n          }\n          // A press not yet a drag, or a drag under way: one pointer's, the first down.\n          let pressed: {\n            readonly id: string\n            readonly pointer: number | undefined\n            readonly x: number\n            readonly y: number\n            /** A finger's: a drag once held still, a scroll if it moves first. */\n            readonly touch: boolean\n          } | null = null\n          let holding: ReturnType<typeof setTimeout> | undefined\n          const begin = (id: string) => {\n            dragging = id\n            owner.getSelection()?.removeAllRanges()\n            Queue.offerUnsafe(queue, DragStarted.make({ id }))\n          }\n          let dragging: string | null = null\n          let over: DragPlace | null = null\n          let inRegion = false\n          // The click that ends a drag is not a press on what it ends over.\n          let swallowClick = false\n\n          const placeAt = (event: Positioned) => {\n            // Touch and pen capture the pointer to where it went down, so the\n            // event's target is the dragged element: ask what is under it instead.\n            const under =\n              typeof owner.elementFromPoint === 'function' && event.clientX !== undefined\n                ? owner.elementFromPoint(event.clientX, event.clientY ?? 0)\n                : null\n            const { marked, inRegion: region } = find(under ?? event.target)\n            const id = marked?.getAttribute(landsOn) ?? null\n            // Over itself is over nothing, where what is dragged is among what it lands on.\n            const named = part === undefined ? null : (marked?.getAttribute(part) ?? null)\n            const place: DragPlace | null =\n              marked === null || id === null || (targets === undefined && id === dragging)\n                ? null\n                : named === null\n                  ? { id, zone: zoneOf(boxOf(marked), event.clientY ?? 0) }\n                  : { id, zone: 'inside', part: named }\n            return { place, region }\n          }\n          /** The region flag a fact carries: only for a drag onto `targets`. */\n          const withRegion = (region: boolean) => (targets === undefined ? {} : { region })\n          const ours = (event: Positioned) =>\n            pressed !== null &&\n            (pressed.pointer === undefined || event.pointerId === pressed.pointer)\n          // `inside`: the release was on the container, so its click will reach it.\n          // The release is hit-tested again: the layout may have moved since\n          // the last move (a scroll, a row that shifted), and the drop says\n          // where the pointer was let go, not where it was last seen. A\n          // release with no position of its own keeps the last move's answer.\n          const end = (dropped: boolean, at?: Positioned, inside = false) => {\n            clearTimeout(holding)\n            holding = undefined\n            const id = dragging\n            if (id !== null && at?.clientX !== undefined && at.clientY !== undefined) {\n              const { place, region } = placeAt(at)\n              over = place\n              inRegion = region\n            }\n            pressed = null\n            dragging = null\n            const last = over\n            const lastRegion = inRegion\n            over = null\n            inRegion = false\n            release()\n            if (id === null) return\n            swallowClick = dropped && inside\n            Queue.offerUnsafe(\n              queue,\n              dropped\n                ? DragDropped.make({ id, over: last, ...withRegion(lastRegion) })\n                : DragCancelled.make({ id }),\n            )\n          }\n\n          const onDocument: ReadonlyArray<readonly [string, (event: Event) => void]> = [\n            [\n              'pointermove',\n              event => {\n                const positioned = event as Positioned\n                if (!ours(positioned) || pressed === null) return\n                // Released where no pointerup reached us, such as over a frame.\n                if (positioned.buttons !== undefined && (positioned.buttons & 1) === 0)\n                  return end(false)\n                if (dragging === null) {\n                  const moved = Math.hypot(\n                    (positioned.clientX ?? 0) - pressed.x,\n                    (positioned.clientY ?? 0) - pressed.y,\n                  )\n                  // A finger that moves before its hold is up is scrolling, not dragging.\n                  if (pressed.touch) return moved < HOLD_SLOP ? undefined : end(false)\n                  if (moved < DRAG_THRESHOLD) return\n                  begin(pressed.id)\n                }\n                const { place, region } = placeAt(positioned)\n                if (\n                  place?.id === over?.id &&\n                  place?.zone === over?.zone &&\n                  place?.part === over?.part &&\n                  region === inRegion\n                )\n                  return\n                over = place\n                inRegion = region\n                Queue.offerUnsafe(queue, DraggedOver.make({ over: place, ...withRegion(region) }))\n              },\n            ],\n            [\n              'pointerup',\n              event => {\n                if (!ours(event as Positioned)) return\n                if (dragging === null) end(false)\n                else\n                  end(\n                    true,\n                    event as Positioned,\n                    event.target instanceof Node && element.contains(event.target),\n                  )\n              },\n            ],\n            [\n              'pointercancel',\n              event => {\n                if (ours(event as Positioned)) end(false)\n              },\n            ],\n          ]\n          // Heard on the way down, and kept there: an Escape that ends a drag is the\n          // drag's, not also the focused element's (a canvas that would deselect).\n          const onEscape = (event: Event) => {\n            if (pressed === null || (event as Positioned).key !== 'Escape') return\n            event.preventDefault()\n            event.stopPropagation()\n            end(false)\n          }\n          // Once a finger's drag is under way, the browser must not take its moves for a scroll,\n          // and a held finger opens no menu of its own (Android's `contextmenu`). Not passive:\n          // only a listener that may cancel can keep the page still.\n          const heldStill = (event: Event) => {\n            if (dragging !== null) event.preventDefault()\n          }\n          const noMenu = (event: Event) => {\n            if (pressed?.touch === true) event.preventDefault()\n          }\n          // The document is listened to only while a press is under way.\n          let listening = false\n          const listen = () => {\n            if (listening) return\n            listening = true\n            for (const [type, listener] of onDocument) owner.addEventListener(type, listener)\n            owner.addEventListener('keydown', onEscape, true)\n            owner.addEventListener('touchmove', heldStill, { passive: false })\n            owner.addEventListener('contextmenu', noMenu)\n          }\n          const release = () => {\n            if (!listening) return\n            listening = false\n            for (const [type, listener] of onDocument) owner.removeEventListener(type, listener)\n            owner.removeEventListener('keydown', onEscape, true)\n            owner.removeEventListener('touchmove', heldStill)\n            owner.removeEventListener('contextmenu', noMenu)\n          }\n\n          const onElement: ReadonlyArray<readonly [string, (event: Event) => void, boolean]> = [\n            [\n              'pointerdown',\n              event => {\n                const positioned = event as Positioned\n                // Any press is past the drop a swallowed click was waiting for.\n                swallowClick = false\n                // A second pointer while one is down is not a new drag.\n                if (pressed !== null) return\n                if ((positioned.button ?? 0) !== 0) return\n                // A press in text being edited selects text: it is no drag.\n                if (\n                  event.target instanceof Element &&\n                  event.target.closest('[contenteditable]:not([contenteditable=\"false\"])') !== null\n                )\n                  return\n                const id = targetOf(element, event.target, attribute)\n                if (id === null) return\n                const touch = positioned.pointerType === 'touch'\n                pressed = {\n                  id,\n                  pointer: positioned.pointerId,\n                  x: positioned.clientX ?? 0,\n                  y: positioned.clientY ?? 0,\n                  touch,\n                }\n                listen()\n                if (touch) {\n                  holding = setTimeout(() => {\n                    holding = undefined\n                    if (pressed !== null && dragging === null) begin(pressed.id)\n                  }, HOLD_TO_DRAG_MS)\n                }\n              },\n              false,\n            ],\n            [\n              'click',\n              event => {\n                if (!swallowClick) return\n                swallowClick = false\n                event.preventDefault()\n                event.stopImmediatePropagation()\n              },\n              true,\n            ],\n            // A link or an image would start the browser's own drag instead.\n            ['dragstart', event => event.preventDefault(), false],\n          ]\n          for (const [type, listener, capture] of onElement)\n            element.addEventListener(type, listener, capture)\n          // No callout of iOS's own over a finger held to drag, on anything inside (inherited).\n          const callout =\n            element instanceof HTMLElement\n              ? element.style.getPropertyValue('-webkit-touch-callout')\n              : undefined\n          if (element instanceof HTMLElement) {\n            element.style.setProperty('-webkit-touch-callout', 'none')\n          }\n          // Ended mid-hold: the hold must not start a drag after it.\n          const stop = () => {\n            clearTimeout(holding)\n            release()\n            if (!(element instanceof HTMLElement)) return\n            if (callout === undefined || callout === '') {\n              element.style.removeProperty('-webkit-touch-callout')\n            } else element.style.setProperty('-webkit-touch-callout', callout)\n          }\n          return { onElement, stop }\n        }),\n        ({ onElement, stop }) =>\n          Effect.sync(() => {\n            for (const [type, listener, capture] of onElement)\n              element.removeEventListener(type, listener, capture)\n            stop()\n          }),\n      ),\n    ),\n})\n"],"mappings":";;;;AAIA,MAAa,WAAW,OAAO,SAAS;CAAC;CAAU;CAAU;AAAO,CAAC;;;;;;AAQrE,MAAa,YAAY,OAAO,OAAO;CACrC,IAAI,OAAO;CACX,MAAM;CACN,MAAM,OAAO,YAAY,OAAO,MAAM;AACxC,CAAC;AAGD,MAAa,cAAc,OAAO,aAAa,eAAe;;AAE5D,IAAI,OAAO,OACb,CAAC;AAGD,MAAa,cAAc,OAAO,aAAa,eAAe;;CAE5D,MAAM,OAAO,OAAO,SAAS;;;;;;CAM7B,QAAQ,OAAO,YAAY,OAAO,OAAO;AAC3C,CAAC;AAGD,MAAa,cAAc,OAAO,aAAa,eAAe;CAC5D,IAAI,OAAO;CACX,MAAM,OAAO,OAAO,SAAS;;CAE7B,QAAQ,OAAO,YAAY,OAAO,OAAO;AAC3C,CAAC;AAGD,MAAa,gBAAgB,OAAO,aAAa,iBAAiB,EAAE,IAAI,OAAO,OAAO,CAAC;;AAMvF,MAAa,iBAAiB;;;;;AAM9B,MAAa,kBAAkB;;AAG/B,MAAa,YAAY;;AAQzB,MAAa,UAAU,KAAU,MAAwB;CACvD,IAAI,IAAI,UAAU,GAAG,OAAO;CAC5B,MAAM,MAAM,IAAI,IAAI,OAAO,IAAI;CAC/B,OAAO,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,IAAI,UAAU;AACxD;;;;;AAMA,MAAa,SAAS,YAA0B;CAC9C,MAAM,MAAM,QAAQ,sBAAsB;CAC1C,IAAI,IAAI,QAAQ,KAAK,IAAI,SAAS,GAAG,OAAO;CAC5C,MAAM,QAAQ,QAAQ;CACtB,OAAO,UAAU,OAAO,MAAM,MAAM,KAAK;AAC3C;;;;;;;;;;;;;;;;AA2BA,MAAa,cAAc,MAAM,aAAa,eAAe;CAC3D,UAAU;EAAC;EAAa;EAAa;EAAa;CAAa;CAC/D,MAAM;;EAEJ,WAAW,OAAO;;;;;;;;;EASlB,SAAS,OAAO,YAAY,OAAO,OAAO;GAAE,WAAW,OAAO;GAAQ,QAAQ,OAAO;EAAO,CAAC,CAAC;;;;;EAK9F,MAAM,OAAO,YAAY,OAAO,MAAM;CACxC;CACA,UAAU,EAAE,SAAS,WAAW,SAAS,WACvC,OAAO,UAAmB,UACxB,OAAO,eACL,OAAO,WAAW;EAChB,MAAM,QAAQ,QAAQ;EAEtB,MAAM,UAAU,SAAS,aAAa;EAEtC,MAAM,YAAY,WAAmC;GACnD,KAAK,IAAI,KAAK,QAAQ,eAAe,OAAO,MAAM,KAAK,GAAG,eAAe;IACvE,MAAM,QAAQ,GAAG,cAAc,MAAM;IACrC,IAAI,UAAU,MAAM,OAAO;GAC7B;GACA,OAAO;EACT;EACA,MAAM,QAAQ,SAA6B;GACzC,IAAI,EAAE,gBAAgB,UAAU,OAAO;IAAE,QAAQ;IAAM,UAAU;GAAM;GACvE,MAAM,SAAS,YAAY,KAAA,IAAY,UAAU,SAAS,QAAQ,MAAM;GACxE,MAAM,SAAS,KAAK,QAAQ,IAAI,QAAQ,EAAE;GAC1C,OAAO;IACL,QAAQ,WAAW,QAAQ,WAAW,QAAQ,OAAO,SAAS,MAAM,IAAI,SAAS;IAEjF,UAAU,YAAY,KAAA,KAAa,WAAW,QAAQ,OAAO,SAAS,IAAI;GAC5E;EACF;EAEA,IAAI,UAOO;EACX,IAAI;EACJ,MAAM,SAAS,OAAe;GAC5B,WAAW;GACX,MAAM,aAAa,CAAC,EAAE,gBAAgB;GACtC,MAAM,YAAY,OAAO,YAAY,KAAK,EAAE,GAAG,CAAC,CAAC;EACnD;EACA,IAAI,WAA0B;EAC9B,IAAI,OAAyB;EAC7B,IAAI,WAAW;EAEf,IAAI,eAAe;EAEnB,MAAM,WAAW,UAAsB;GAGrC,MAAM,QACJ,OAAO,MAAM,qBAAqB,cAAc,MAAM,YAAY,KAAA,IAC9D,MAAM,iBAAiB,MAAM,SAAS,MAAM,WAAW,CAAC,IACxD;GACN,MAAM,EAAE,QAAQ,UAAU,WAAW,KAAK,SAAS,MAAM,MAAM;GAC/D,MAAM,KAAK,QAAQ,aAAa,OAAO,KAAK;GAE5C,MAAM,QAAQ,SAAS,KAAA,IAAY,OAAQ,QAAQ,aAAa,IAAI,KAAK;GAOzE,OAAO;IAAE,OALP,WAAW,QAAQ,OAAO,QAAS,YAAY,KAAA,KAAa,OAAO,WAC/D,OACA,UAAU,OACR;KAAE;KAAI,MAAM,OAAO,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC;IAAE,IACtD;KAAE;KAAI,MAAM;KAAU,MAAM;IAAM;IAC1B;GAAO;EACzB;;EAEA,MAAM,cAAc,WAAqB,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;EAC/E,MAAM,QAAQ,UACZ,YAAY,SACX,QAAQ,YAAY,KAAA,KAAa,MAAM,cAAc,QAAQ;EAMhE,MAAM,OAAO,SAAkB,IAAiB,SAAS,UAAU;GACjE,aAAa,OAAO;GACpB,UAAU,KAAA;GACV,MAAM,KAAK;GACX,IAAI,OAAO,QAAQ,IAAI,YAAY,KAAA,KAAa,GAAG,YAAY,KAAA,GAAW;IACxE,MAAM,EAAE,OAAO,WAAW,QAAQ,EAAE;IACpC,OAAO;IACP,WAAW;GACb;GACA,UAAU;GACV,WAAW;GACX,MAAM,OAAO;GACb,MAAM,aAAa;GACnB,OAAO;GACP,WAAW;GACX,QAAQ;GACR,IAAI,OAAO,MAAM;GACjB,eAAe,WAAW;GAC1B,MAAM,YACJ,OACA,UACI,YAAY,KAAK;IAAE;IAAI,MAAM;IAAM,GAAG,WAAW,UAAU;GAAE,CAAC,IAC9D,cAAc,KAAK,EAAE,GAAG,CAAC,CAC/B;EACF;EAEA,MAAM,aAAuE;GAC3E,CACE,gBACA,UAAS;IACP,MAAM,aAAa;IACnB,IAAI,CAAC,KAAK,UAAU,KAAK,YAAY,MAAM;IAE3C,IAAI,WAAW,YAAY,KAAA,MAAc,WAAW,UAAU,OAAO,GACnE,OAAO,IAAI,KAAK;IAClB,IAAI,aAAa,MAAM;KACrB,MAAM,QAAQ,KAAK,OAChB,WAAW,WAAW,KAAK,QAAQ,IACnC,WAAW,WAAW,KAAK,QAAQ,CACtC;KAEA,IAAI,QAAQ,OAAO,OAAO,QAAA,IAAoB,KAAA,IAAY,IAAI,KAAK;KACnE,IAAI,QAAA,GAAwB;KAC5B,MAAM,QAAQ,EAAE;IAClB;IACA,MAAM,EAAE,OAAO,WAAW,QAAQ,UAAU;IAC5C,IACE,OAAO,OAAO,MAAM,MACpB,OAAO,SAAS,MAAM,QACtB,OAAO,SAAS,MAAM,QACtB,WAAW,UAEX;IACF,OAAO;IACP,WAAW;IACX,MAAM,YAAY,OAAO,YAAY,KAAK;KAAE,MAAM;KAAO,GAAG,WAAW,MAAM;IAAE,CAAC,CAAC;GACnF,CACF;GACA,CACE,cACA,UAAS;IACP,IAAI,CAAC,KAAK,KAAmB,GAAG;IAChC,IAAI,aAAa,MAAM,IAAI,KAAK;SAE9B,IACE,MACA,OACA,MAAM,kBAAkB,QAAQ,QAAQ,SAAS,MAAM,MAAM,CAC/D;GACJ,CACF;GACA,CACE,kBACA,UAAS;IACP,IAAI,KAAK,KAAmB,GAAG,IAAI,KAAK;GAC1C,CACF;EACF;EAGA,MAAM,YAAY,UAAiB;GACjC,IAAI,YAAY,QAAS,MAAqB,QAAQ,UAAU;GAChE,MAAM,eAAe;GACrB,MAAM,gBAAgB;GACtB,IAAI,KAAK;EACX;EAIA,MAAM,aAAa,UAAiB;GAClC,IAAI,aAAa,MAAM,MAAM,eAAe;EAC9C;EACA,MAAM,UAAU,UAAiB;GAC/B,IAAI,SAAS,UAAU,MAAM,MAAM,eAAe;EACpD;EAEA,IAAI,YAAY;EAChB,MAAM,eAAe;GACnB,IAAI,WAAW;GACf,YAAY;GACZ,KAAK,MAAM,CAAC,MAAM,aAAa,YAAY,MAAM,iBAAiB,MAAM,QAAQ;GAChF,MAAM,iBAAiB,WAAW,UAAU,IAAI;GAChD,MAAM,iBAAiB,aAAa,WAAW,EAAE,SAAS,MAAM,CAAC;GACjE,MAAM,iBAAiB,eAAe,MAAM;EAC9C;EACA,MAAM,gBAAgB;GACpB,IAAI,CAAC,WAAW;GAChB,YAAY;GACZ,KAAK,MAAM,CAAC,MAAM,aAAa,YAAY,MAAM,oBAAoB,MAAM,QAAQ;GACnF,MAAM,oBAAoB,WAAW,UAAU,IAAI;GACnD,MAAM,oBAAoB,aAAa,SAAS;GAChD,MAAM,oBAAoB,eAAe,MAAM;EACjD;EAEA,MAAM,YAA+E;GACnF;IACE;KACA,UAAS;KACP,MAAM,aAAa;KAEnB,eAAe;KAEf,IAAI,YAAY,MAAM;KACtB,KAAK,WAAW,UAAU,OAAO,GAAG;KAEpC,IACE,MAAM,kBAAkB,WACxB,MAAM,OAAO,QAAQ,oDAAkD,MAAM,MAE7E;KACF,MAAM,KAAK,SAAS,SAAS,MAAM,QAAQ,SAAS;KACpD,IAAI,OAAO,MAAM;KACjB,MAAM,QAAQ,WAAW,gBAAgB;KACzC,UAAU;MACR;MACA,SAAS,WAAW;MACpB,GAAG,WAAW,WAAW;MACzB,GAAG,WAAW,WAAW;MACzB;KACF;KACA,OAAO;KACP,IAAI,OACF,UAAU,iBAAiB;MACzB,UAAU,KAAA;MACV,IAAI,YAAY,QAAQ,aAAa,MAAM,MAAM,QAAQ,EAAE;KAC7D,GAAA,GAAkB;IAEtB;IACA;GACF;GACA;IACE;KACA,UAAS;KACP,IAAI,CAAC,cAAc;KACnB,eAAe;KACf,MAAM,eAAe;KACrB,MAAM,yBAAyB;IACjC;IACA;GACF;GAEA;IAAC;KAAa,UAAS,MAAM,eAAe;IAAG;GAAK;EACtD;EACA,KAAK,MAAM,CAAC,MAAM,UAAU,YAAY,WACtC,QAAQ,iBAAiB,MAAM,UAAU,OAAO;EAElD,MAAM,UACJ,mBAAmB,cACf,QAAQ,MAAM,iBAAiB,uBAAuB,IACtD,KAAA;EACN,IAAI,mBAAmB,aACrB,QAAQ,MAAM,YAAY,yBAAyB,MAAM;EAG3D,MAAM,aAAa;GACjB,aAAa,OAAO;GACpB,QAAQ;GACR,IAAI,EAAE,mBAAmB,cAAc;GACvC,IAAI,YAAY,KAAA,KAAa,YAAY,IACvC,QAAQ,MAAM,eAAe,uBAAuB;QAC/C,QAAQ,MAAM,YAAY,yBAAyB,OAAO;EACnE;EACA,OAAO;GAAE;GAAW;EAAK;CAC3B,CAAC,IACA,EAAE,WAAW,WACZ,OAAO,WAAW;EAChB,KAAK,MAAM,CAAC,MAAM,UAAU,YAAY,WACtC,QAAQ,oBAAoB,MAAM,UAAU,OAAO;EACrD,KAAK;CACP,CAAC,CACL,CACF;AACJ,CAAC"}

package/dist/dom/pointer-position.d.ts

@@ -0,0 +1,133 @@
+import { Schema } from "effect";
+import * as Mount from "foldkit/mount";
+/**
+ * A place in an element's padding box, in CSS pixels from its top left
+ * corner, and the pointer's pressure there (0 to 1; a mouse reads 0.5 while
+ * a button is down). A captured pointer can be outside the box, so `x` and
+ * `y` can be negative or past its size.
+ */
+export declare const PointerPoint: Schema.Struct<{
+  readonly x: Schema.Number;
+  readonly y: Schema.Number;
+  readonly pressure: Schema.Number;
+}>;
+export type PointerPoint = typeof PointerPoint.Type;
+export declare const PointerPressed: Schema.TaggedStruct<"PointerPressed", {
+  readonly width: Schema.Number;
+  readonly height: Schema.Number;
+  readonly point: Schema.Struct<{
+    readonly x: Schema.Number;
+    readonly y: Schema.Number;
+    readonly pressure: Schema.Number;
+  }>;
+  /** `mouse`, `pen` or `touch`, as the browser names it. */
+  readonly pointerType: Schema.String;
+}>;
+export type PointerPressed = typeof PointerPressed.Type;
+export declare const PointerMoved: Schema.TaggedStruct<"PointerMoved", {
+  readonly width: Schema.Number;
+  readonly height: Schema.Number;
+  /** Where the pointer is now. */
+  readonly point: Schema.Struct<{
+    readonly x: Schema.Number;
+    readonly y: Schema.Number;
+    readonly pressure: Schema.Number;
+  }>;
+  /**
+   * Every place it passed since the last move, ending with `point`: the
+   * browser's coalesced events, so a fast stroke keeps its curve. Just
+   * `point` where the browser coalesces none.
+   */
+  readonly points: Schema.$Array<Schema.Struct<{
+    readonly x: Schema.Number;
+    readonly y: Schema.Number;
+    readonly pressure: Schema.Number;
+  }>>;
+}>;
+export type PointerMoved = typeof PointerMoved.Type;
+export declare const PointerReleased: Schema.TaggedStruct<"PointerReleased", {
+  /** `false` when the pointer was cancelled, lost its capture, or pressed again unreleased. */
+  readonly completed: Schema.Boolean;
+}>;
+export type PointerReleased = typeof PointerReleased.Type;
+export type PointerFact = PointerPressed | PointerMoved | PointerReleased;
+interface Sides {
+  readonly top: number;
+  readonly right: number;
+  readonly bottom: number;
+  readonly left: number;
+}
+export interface Rect {
+  readonly left: number;
+  readonly top: number;
+  readonly width: number;
+  readonly height: number;
+}
+/**
+ * The padding box of an element whose border box is `rect`: inside its
+ * border, padding included. An absolutely positioned child (a thumb, a
+ * stroke) is laid out against it, so a place read here is where that child
+ * sits, whatever padding a stylist adds.
+ */
+export declare const paddingBoxOf: (layout: {
+  readonly rect: Rect;
+  readonly border: Sides;
+}) => Rect;
+/**
+ * An element's padding box now, in the viewport, as `PointerPosition`
+ * measures it: for a size kept beside its places, which a `ResizeObserver`'s
+ * content box does not match once the element has padding. Read from the
+ * bounding rectangle and the computed border, since `clientWidth` and
+ * `clientLeft` round to whole pixels.
+ */
+export declare const measurePaddingBox: (element: Element) => Rect;
+/**
+ * Where one pointer is inside an element, as a Mount, for a surface the
+ * pointer draws on or points into (a color area, a dial, a signature pad): a
+ * primary press, each move until the release, and the release, each with
+ * the place in the element's padding box and the box's size. The box is
+ * measured at each event, so an element that moved or resized is followed.
+ * Coordinates are raw, left to right and top down whatever the direction:
+ * what a place means (a share, an angle, a reading direction) is the parent's.
+ *
+ * The pointer is captured from press to release, so a drag that leaves the
+ * element is still heard, and the moves and the release are listened to only
+ * meanwhile. A press keeps the browser's own focus and text selection away,
+ * and a second pointer while one is down is ignored.
+ */
+export declare const PointerPosition: Mount.MountDefinitionWithArgs<"PointerPosition", {
+  /**
+   * A descendant to focus on a press, found by this selector (a thumb), so
+   * the keys go on from where the pointer left it.
+   */
+  focus: Schema.optionalKey<Schema.String>;
+}, {
+  readonly _tag: "PointerPressed";
+  readonly width: number;
+  readonly height: number;
+  readonly point: {
+    readonly x: number;
+    readonly y: number;
+    readonly pressure: number;
+  };
+  readonly pointerType: string;
+} | {
+  readonly _tag: "PointerMoved";
+  readonly width: number;
+  readonly height: number;
+  readonly point: {
+    readonly x: number;
+    readonly y: number;
+    readonly pressure: number;
+  };
+  readonly points: readonly {
+    readonly x: number;
+    readonly y: number;
+    readonly pressure: number;
+  }[];
+} | {
+  readonly _tag: "PointerReleased";
+  readonly completed: boolean;
+}>;
+export {};
+//# sourceMappingURL=pointer-position.d.ts.map

package/dist/dom/pointer-position.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-position.d.ts","names":[],"sources":["../../src/dom/pointer-position.ts"],"mappings":";;;;;;;;qBASa,cAAY,OAAA;;;;;YAKb,sBAAsB,aAAa;qBAKlC,gBAAc,OAAA;;;;;;;;;;;YAMf,wBAAwB,eAAe;qBAEtC,cAAY,OAAA;;;;;;;;;;;;;;;;;;;;YAWb,sBAAsB,aAAa;qBAElC,iBAAe,OAAA;;;;YAIhB,yBAAyB,gBAAgB;YAEzC,cAAc,iBAAiB,eAAe;UAEhD;WACC;WACA;WACA;WACA;;iBAGM;WACN;WACA;WACA;WACA;;;;;;;;qBASE,eAAY;WAAuB,MAAM;WAAe,QAAQ;MAAU;;;;;;;;qBAwB1E,oBAAiB,SAAa,YAAU;;;;;;;;;;;;;;;qBA0BxC,iBAAe,MAAA"}