@gjermundgaraba-designs/pixel-paper 0.26.0 → 0.27.0

package/dist/src/reel/layout.js

@@ -1,42 +1,31 @@
 import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
-// The reel's layout, apart from its Model: the panes, columns and requests the application
-// holds and applies, where a held pane may land, and how places are said.
-import { Array, Equal, Match, Number, Option, Predicate, Record, Schema, pipe } from "effect";
+import { Array, Equal, Match, Number, Option, Predicate, Record, Schema, pipe, } from "effect";
 import { defineMessageUnion } from "foldkit/message";
 import { defineTaggedUnion } from "foldkit/schema";
 import { LOCALE } from "../locale/locale.js";
-// LAYOUT SCHEMAS
 /** Schema for one pane as the reel knows it: its id, unique in the reel and the application's
  *  to keep, its name in words (its grip, its splitter and what screen readers hear), and its
  *  share of its column's height, a weight against its neighbours'. */
 export const Pane = Schema.Struct({
     id: Schema.String,
     label: Schema.String,
-    weight: Schema.Number,
+    weight: Schema.Finite,
 });
-/** Schema for one column: its id, unique among the reel's columns and the application's to
- *  keep, its width, a fraction of the reel's visible width (1 fills it), and its panes, top
- *  to bottom. A column `apply` makes for a pane pulled out takes the pane's id (`notes`, or
- *  `notes/2` where a column has it), so pane and column ids share one namespace. */
 export const Column = Schema.Struct({
     id: Schema.String,
-    width: Schema.Number,
+    width: Schema.Finite,
     panes: Schema.NonEmptyArray(Pane),
 });
 /** Schema for a reel's layout: its columns, left to right. The application's to keep. */
 export const Layout = Schema.Array(Column);
-/** What a move is said of: a pane, or a column (a key moves one), by its id. */
 export const Subject = defineTaggedUnion({
     Pane: { paneId: Schema.String },
     Column: { columnId: Schema.String },
 });
-/** Where a held pane would land: into a column, at a place among its other panes, or in the
- *  gap before a column (none: after the last), as a column of its own. */
 export const Target = defineTaggedUnion({
-    Into: { columnId: Schema.String, index: Schema.Number },
+    Into: { columnId: Schema.String, index: Schema.Finite },
     Gap: { maybeBeforeColumnId: Schema.Option(Schema.String) },
 });
-// REQUEST
 /** Union of what a reel asks the application to do to its layout, which the application
  *  applies (`apply` does it) or not, by id, so a request still means what it meant after the
  *  layout changed under it. `MovedPane`: a pane into a column, at `toIndex` among that
@@ -44,32 +33,45 @@ export const Target = defineTaggedUnion({
  *  (none: after the last). `MovedColumn`: a column to before another (none: last).
  *  `ResizedColumn`: a column's width. `ResizedPanes`: a column's panes' weights, by pane id. */
 export const OutMessage = defineMessageUnion({
-    MovedPane: { paneId: Schema.String, toColumnId: Schema.String, toIndex: Schema.Number },
-    PulledOutPane: { paneId: Schema.String, maybeBeforeColumnId: Schema.Option(Schema.String) },
-    MovedColumn: { columnId: Schema.String, maybeBeforeColumnId: Schema.Option(Schema.String) },
-    ResizedColumn: { columnId: Schema.String, width: Schema.Number },
+    MovedPane: {
+        paneId: Schema.String,
+        toColumnId: Schema.String,
+        toIndex: Schema.Finite,
+    },
+    PulledOutPane: {
+        paneId: Schema.String,
+        maybeBeforeColumnId: Schema.Option(Schema.String),
+    },
+    MovedColumn: {
+        columnId: Schema.String,
+        maybeBeforeColumnId: Schema.Option(Schema.String),
+    },
+    ResizedColumn: { columnId: Schema.String, width: Schema.Finite },
     ResizedPanes: {
         columnId: Schema.String,
-        weights: Schema.Record(Schema.String, Schema.Number),
+        weights: Schema.Record(Schema.String, Schema.Finite),
     },
 });
-/** A splitter: the one after a column, which sizes its width, or the one below a pane, which
- *  shares the height between it and the pane under it. */
 export const Splitter = defineTaggedUnion({
     Width: { columnId: Schema.String },
     Split: { abovePaneId: Schema.String },
 });
-/** A resize: a column's width, or its panes' weights. */
-export const Resize = Schema.Union([OutMessage.ResizedColumn, OutMessage.ResizedPanes]);
+export const Resize = Schema.Union([
+    OutMessage.ResizedColumn,
+    OutMessage.ResizedPanes,
+]);
 const placesOf = (layout) => __foldkitBrandViewResult((Array.flatMap(layout, (column, columnIndex) => __foldkitBrandViewResult((Array.map(column.panes, (pane, row) => (__foldkitBrandViewResult(({ column, columnIndex, row, pane }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~2")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placesOf");
 export const placeOf = (layout, paneId) => __foldkitBrandViewResult((Array.findFirst(placesOf(layout), (place) => __foldkitBrandViewResult((place.pane.id === paneId), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~3"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placeOf");
-export const placeAt = (layout, columnIndex, row) => __foldkitBrandViewResult((Option.flatMap(Array.get(layout, columnIndex), (column) => __foldkitBrandViewResult((Option.map(Array.get(column.panes, row), (pane) => (__foldkitBrandViewResult(({ column, columnIndex, row, pane }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~5")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~4"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placeAt");
+export const placeAt = (layout, columnIndex, row) => __foldkitBrandViewResult((Option.flatMap(Array.get(layout, columnIndex), (column) => __foldkitBrandViewResult((Option.map(Array.get(column.panes, row), (pane) => (__foldkitBrandViewResult(({
+    column,
+    columnIndex,
+    row,
+    pane,
+}), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~5")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~4"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placeAt");
 export const firstPlace = (layout) => __foldkitBrandViewResult((placeAt(layout, 0, 0)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#firstPlace");
 const columnIndexOf = (layout, columnId) => __foldkitBrandViewResult((Array.findFirstIndex(layout, (column) => __foldkitBrandViewResult((column.id === columnId), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~6"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#columnIndexOf");
 const columnOf = (layout, columnId) => __foldkitBrandViewResult((Array.findFirst(layout, (column) => __foldkitBrandViewResult((column.id === columnId), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~7"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#columnOf");
-/** The id of the column after the one at `columnIndex`: none after the last. */
 const nextColumnId = (layout, columnIndex) => __foldkitBrandViewResult((Option.map(Array.get(layout, columnIndex + 1), (column) => __foldkitBrandViewResult((column.id), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~8"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#nextColumnId");
-// a running mean, which never passes the largest weight, where the weights' sum may overflow
 const meanWeight = (panes) => __foldkitBrandViewResult((Array.match(panes, {
     onEmpty: () => __foldkitBrandViewResult((1), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onEmpty"),
     onNonEmpty: (some) => __foldkitBrandViewResult((Array.reduce(some, 0, (mean, pane, index) => __foldkitBrandViewResult((mean + (pane.weight - mean) / (index + 1)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~9"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNonEmpty"),
@@ -79,33 +81,34 @@ const insertAt = (items, index, item) => {
     const [before, after] = Array.splitAt(items, Number.clamp(index, { minimum: 0, maximum: items.length }));
     return __foldkitBrandViewResult((Array.appendAll(Array.append(before, item), after)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#insertAt");
 };
-/** `layout` with the pane `paneId` taken out, and any column it leaves empty gone. */
 const without = (layout, paneId) => __foldkitBrandViewResult((Array.flatMap(layout, (column) => {
     const others = othersIn(column, paneId);
-    return __foldkitBrandViewResult((Array.isReadonlyArrayNonEmpty(others) ? [{ ...column, panes: others }] : []), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~11");
+    return __foldkitBrandViewResult((Array.isReadonlyArrayNonEmpty(others)
+        ? [{ ...column, panes: others }]
+        : []), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~11");
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#without");
-/** Where a column goes when it is put before `maybeBeforeColumnId`: none when that column is
- *  not in `layout`. */
 const gapIndex = (layout, maybeBeforeColumnId) => __foldkitBrandViewResult((Option.match(maybeBeforeColumnId, {
     onNone: () => __foldkitBrandViewResult((Option.some(layout.length)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone"),
     onSome: (columnId) => __foldkitBrandViewResult((columnIndexOf(layout, columnId)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#gapIndex");
-/** A column id for a column made for `paneId`: the pane's own id, or the first `id/2`,
- *  `id/3`… no column in `layout` has. */
 const freshColumnId = (layout, paneId, suffix = 1) => {
     const candidate = suffix === 1 ? paneId : `${paneId}/${suffix}`;
     return __foldkitBrandViewResult((Array.some(layout, (column) => __foldkitBrandViewResult((column.id === candidate), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~12"))
         ? freshColumnId(layout, paneId, suffix + 1)
         : candidate), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#freshColumnId");
 };
-const movePane = (layout, paneId, toColumnId, toIndex) => __foldkitBrandViewResult((Option.match(Option.all({ from: placeOf(layout, paneId), to: columnOf(layout, toColumnId) }), {
+const movePane = (layout, paneId, toColumnId, toIndex) => __foldkitBrandViewResult((Option.match(Option.all({
+    from: placeOf(layout, paneId),
+    to: columnOf(layout, toColumnId),
+}), {
     onNone: () => __foldkitBrandViewResult((layout), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~2"),
     onSome: ({ from, to }) => {
         const others = othersIn(to, paneId);
         const weight = to.id === from.column.id ? from.pane.weight : meanWeight(others);
         const panes = insertAt(others, toIndex, { ...from.pane, weight });
-        // the target column keeps its place even when the pane was alone in it
-        return __foldkitBrandViewResult((Array.flatMap(layout, (column) => __foldkitBrandViewResult((column.id === toColumnId ? [{ ...column, panes }] : without([column], paneId)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~13"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~2");
+        return __foldkitBrandViewResult((Array.flatMap(layout, (column) => __foldkitBrandViewResult((column.id === toColumnId
+            ? [{ ...column, panes }]
+            : without([column], paneId)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~13"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~2");
     },
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#movePane");
 const pullOutPane = (layout, paneId, maybeBeforeColumnId) => __foldkitBrandViewResult((Option.match(placeOf(layout, paneId), {
@@ -158,15 +161,8 @@ export const apply = (layout, request) => __foldkitBrandViewResult((OutMessage.m
         }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~18"))),
     }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~17")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#ResizedPanes"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#apply");
-/** Whether `request` changes `layout`: a move, a drop or a stop that would leave it as it is
- *  is passed over. */
 export const isChange = (layout, request) => __foldkitBrandViewResult((!Equal.equals(apply(layout, request), layout)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#isChange");
-// WIDTHS
-/** How close a width is to a preset to count as it. */
 const PRESET_TOLERANCE = 0.01;
-/** The widths a column cycles through, as fractions of the reel's visible width, with the
- *  words they are said in. They live here, not in the tokens, because they are words as much
- *  as sizes. */
 const PRESETS = [
     { width: 1 / 3, words: "a third of the width" },
     { width: 1 / 2, words: "half the width" },
@@ -179,22 +175,19 @@ export const widthWords = (width) => __foldkitBrandViewResult((Option.match(pres
     onNone: () => __foldkitBrandViewResult((`${percent(width)}% of the width`), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~6"),
     onSome: ({ words }) => __foldkitBrandViewResult((words), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~6"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#widthWords");
-/** The next preset wider than `width`, or the narrowest past the widest. */
 export const nextPreset = (width) => __foldkitBrandViewResult((Option.getOrElse(Array.findFirst(PRESETS, (preset) => __foldkitBrandViewResult((preset.width > width + PRESET_TOLERANCE), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~21")), () => __foldkitBrandViewResult((Array.headNonEmpty(PRESETS)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~22")).width), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#nextPreset");
-// WORDS
-/** The words a place is said in. `{pane}` is a pane's label and `{column}` a column's
- *  number, counted from one. */
 const WORDS = {
     columnSubject: "column with {pane}",
     place: "column {column} of {columns}",
     stackedPlace: "{row} of {rows} in column {column} of {columns}",
 };
-/** What a place is called when a drop or a move would leave the pane or column where it is. */
 export const WHERE_IT_WAS = "where it was";
 export const fill = (template, fields) => __foldkitBrandViewResult((Array.reduce(Object.entries(fields), template, (text, [key, value]) => __foldkitBrandViewResult((text.replaceAll(`{${key}}`, Predicate.isNumber(value) ? value.toLocaleString(LOCALE) : value)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~23"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#fill");
 export const subjectWords = (layout, subject) => __foldkitBrandViewResult((Subject.match(subject, {
     Pane: ({ paneId }) => __foldkitBrandViewResult((Option.map(placeOf(layout, paneId), ({ pane }) => __foldkitBrandViewResult((pane.label), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~24"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Pane"),
-    Column: ({ columnId }) => __foldkitBrandViewResult((Option.map(columnOf(layout, columnId), (column) => __foldkitBrandViewResult((fill(WORDS.columnSubject, { pane: Array.headNonEmpty(column.panes).label })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~25"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Column"),
+    Column: ({ columnId }) => __foldkitBrandViewResult((Option.map(columnOf(layout, columnId), (column) => __foldkitBrandViewResult((fill(WORDS.columnSubject, {
+        pane: Array.headNonEmpty(column.panes).label,
+    })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~25"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Column"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#subjectWords");
 export const placeWords = (layout, place) => {
     const rows = place.column.panes.length;
@@ -204,54 +197,50 @@ export const placeWords = (layout, place) => {
         row: place.row + 1,
         rows,
     };
-    return __foldkitBrandViewResult((rows > 1 ? fill(WORDS.stackedPlace, fields) : fill(WORDS.place, fields)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placeWords");
+    return __foldkitBrandViewResult((rows > 1
+        ? fill(WORDS.stackedPlace, fields)
+        : fill(WORDS.place, fields)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#placeWords");
 };
-/** Where `subject` sits in `layout`, in words. */
 export const whereWords = (layout, subject) => __foldkitBrandViewResult((Subject.match(subject, {
     Pane: ({ paneId }) => __foldkitBrandViewResult((Option.map(placeOf(layout, paneId), (place) => __foldkitBrandViewResult((placeWords(layout, place)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~26"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Pane~2"),
     Column: ({ columnId }) => __foldkitBrandViewResult((Option.map(columnIndexOf(layout, columnId), (column) => __foldkitBrandViewResult((fill(WORDS.place, { column: column + 1, columns: layout.length })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~27"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Column~2"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#whereWords");
-// TARGETS
-/** Where the pane `paneId` is now, as a target. */
 export const originOf = (layout, paneId) => __foldkitBrandViewResult((Option.map(placeOf(layout, paneId), ({ column, row }) => __foldkitBrandViewResult((Target.Into({ columnId: column.id, index: row })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~28"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#originOf");
-/** What dropping the pane `paneId` at `target` asks of the layout: none where it would
- *  change nothing (where it is, or a target whose column is gone). */
 export const requestOf = (layout, paneId, target) => __foldkitBrandViewResult((Option.liftPredicate(Target.match(target, {
     Into: ({ columnId, index }) => __foldkitBrandViewResult((OutMessage.MovedPane({ paneId, toColumnId: columnId, toIndex: index })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Into"),
     Gap: ({ maybeBeforeColumnId }) => __foldkitBrandViewResult((OutMessage.PulledOutPane({ paneId, maybeBeforeColumnId })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Gap"),
 }), (request) => __foldkitBrandViewResult((isChange(layout, request)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~29"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#requestOf");
-/** Where the pane `paneId` would be once dropped at `target`, in words. */
 export const landingWords = (layout, paneId, target) => __foldkitBrandViewResult((Option.match(requestOf(layout, paneId, target), {
     onNone: () => __foldkitBrandViewResult((WHERE_IT_WAS), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~7"),
     onSome: (request) => __foldkitBrandViewResult((Option.getOrElse(whereWords(apply(layout, request), Subject.Pane({ paneId })), () => __foldkitBrandViewResult((WHERE_IT_WAS), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~30"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~7"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#landingWords");
-/** The column a target sits in or before (the last, for the gap after it), which a keyboard
- *  step scrolls to. */
 export const columnOfTarget = (layout, target) => __foldkitBrandViewResult((Target.match(target, {
     Into: ({ columnId }) => __foldkitBrandViewResult((Option.some(columnId)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Into~2"),
     Gap: ({ maybeBeforeColumnId }) => __foldkitBrandViewResult((Option.orElse(maybeBeforeColumnId, () => __foldkitBrandViewResult((Option.map(Array.last(layout), ({ id }) => __foldkitBrandViewResult((id), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~32"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~31"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Gap~2"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#columnOfTarget");
 export const Step = Schema.Literals(["Up", "Down", "Left", "Right"]);
-// A keyboard step reads the layout as a row of stops: the gap before each column (even), then
-// the column itself (odd), and the gap after the last.
 const stopOf = (layout, target) => __foldkitBrandViewResult((Target.match(target, {
     Into: ({ columnId }) => __foldkitBrandViewResult((Option.map(columnIndexOf(layout, columnId), (column) => __foldkitBrandViewResult((column * 2 + 1), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~33"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Into~3"),
     Gap: ({ maybeBeforeColumnId }) => __foldkitBrandViewResult((Option.map(gapIndex(layout, maybeBeforeColumnId), (gap) => __foldkitBrandViewResult((gap * 2), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~34"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Gap~3"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#stopOf");
-/** Whether the column `target` names (into it, or the gap before it) is still in `layout`. */
 export const isTargetPresent = (layout, target) => __foldkitBrandViewResult((Option.isSome(stopOf(layout, target))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#isTargetPresent");
+const roomIn = (column, paneId) => __foldkitBrandViewResult((othersIn(column, paneId).length), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#roomIn");
 const targetAtStop = (layout, paneId, stop, row) => __foldkitBrandViewResult((stop % 2 === 0
     ? Target.Gap({
         maybeBeforeColumnId: Option.map(Array.get(layout, stop / 2), ({ id }) => __foldkitBrandViewResult((id), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~35")),
     })
     : Option.match(Array.get(layout, (stop - 1) / 2), {
         onNone: () => __foldkitBrandViewResult((Target.Gap({ maybeBeforeColumnId: Option.none() })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~8"),
-        onSome: (column) => __foldkitBrandViewResult((Target.Into({ columnId: column.id, index: Math.min(row, roomIn(column, paneId)) })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~8"),
+        onSome: (column) => __foldkitBrandViewResult((Target.Into({
+            columnId: column.id,
+            index: Math.min(row, roomIn(column, paneId)),
+        })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~8"),
     })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#targetAtStop");
-/** The last index the pane `paneId` may take among a column's panes. */
-const roomIn = (column, paneId) => __foldkitBrandViewResult((othersIn(column, paneId).length), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#roomIn");
 const stepOnce = (layout, paneId, target, step) => {
-    const row = Target.match(target, { Into: ({ index }) => __foldkitBrandViewResult((index), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Into~4"), Gap: () => __foldkitBrandViewResult((0), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Gap~4") });
+    const row = Target.match(target, {
+        Into: ({ index }) => __foldkitBrandViewResult((index), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Into~4"),
+        Gap: () => __foldkitBrandViewResult((0), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Gap~4"),
+    });
     return __foldkitBrandViewResult((Option.match(stopOf(layout, target), {
         onNone: () => __foldkitBrandViewResult((target), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~9"),
         onSome: (stop) => __foldkitBrandViewResult((Match.value(step).pipe(Match.withReturnType(), Match.when("Left", () => __foldkitBrandViewResult((targetAtStop(layout, paneId, Math.max(stop - 1, 0), row)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~36")), Match.when("Right", () => __foldkitBrandViewResult((targetAtStop(layout, paneId, Math.min(stop + 1, layout.length * 2), row)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~37")), Match.whenOr("Up", "Down", () => __foldkitBrandViewResult((Target.match(target, {
@@ -269,104 +258,90 @@ const stepOnce = (layout, paneId, target, step) => {
         })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~38")), Match.exhaustive)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~9"),
     })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#stepOnce");
 };
-/** A keyboard step of the pane `paneId` from `target`: left and right cross from a column to
- *  the gap beside it and on to the next column, up and down move among a column's panes. A
- *  stop where the drop would change nothing is passed over, but for where the pane started;
- *  with nothing further that way, it stays (where the pane started, if the target's column has
- *  gone). */
+const presentOrOrigin = (layout, target, origin) => __foldkitBrandViewResult((isTargetPresent(layout, target)
+    ? target
+    : Option.getOrElse(origin, () => __foldkitBrandViewResult((target), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~39"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#presentOrOrigin");
+const isChangingDropOrOrigin = (layout, paneId, origin, candidate) => __foldkitBrandViewResult((Option.isSome(requestOf(layout, paneId, candidate)) ||
+    Option.exists(origin, (place) => __foldkitBrandViewResult((Equal.equals(place, candidate)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~40"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#isChangingDropOrOrigin");
+const stopAndRowCount = (layout) => __foldkitBrandViewResult((layout.length * 2 + Array.length(placesOf(layout))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#stopAndRowCount");
 export const steppedTarget = (layout, paneId, target, step) => {
     const origin = originOf(layout, paneId);
-    // a target whose column has gone steps from where the pane started instead
-    const start = isTargetPresent(layout, target) ? target : Option.getOrElse(origin, () => __foldkitBrandViewResult((target), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~39"));
-    const isStop = (candidate) => __foldkitBrandViewResult((Option.isSome(requestOf(layout, paneId, candidate)) ||
-        Option.exists(origin, (place) => __foldkitBrandViewResult((Equal.equals(place, candidate)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~40"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#isStop");
-    const walk = (from, left) => {
+    const start = presentOrOrigin(layout, target, origin);
+    const walkPastUnchangingStops = (from, left) => {
         const next = stepOnce(layout, paneId, from, step);
         if (Equal.equals(next, from) || left === 0) {
-            return __foldkitBrandViewResult((start), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#walk");
+            return __foldkitBrandViewResult((start), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#walkPastUnchangingStops");
         }
-        return __foldkitBrandViewResult((isStop(next) ? next : walk(next, left - 1)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#walk");
+        return __foldkitBrandViewResult((isChangingDropOrOrigin(layout, paneId, origin, next)
+            ? next
+            : walkPastUnchangingStops(next, left - 1)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#walkPastUnchangingStops");
     };
-    return __foldkitBrandViewResult((walk(start, layout.length * 2 + Array.length(placesOf(layout)))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#steppedTarget");
+    return __foldkitBrandViewResult((walkPastUnchangingStops(start, stopAndRowCount(layout))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#steppedTarget");
 };
-/** The share of a column's width, from either edge, where a pointer over it means the gap
- *  beside it (a column of its own) rather than a place among its panes, up to `EDGE_MAX`
- *  pixels. */
-const EDGE_SHARE = 0.2;
-const EDGE_MAX = 48;
-const gapBefore = (columns, gap) => __foldkitBrandViewResult((Target.Gap({ maybeBeforeColumnId: Option.map(Array.get(columns, gap), ({ id }) => __foldkitBrandViewResult((id), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~41")) })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#gapBefore");
-/** Where a pointer at (`clientX`, `clientY`) over a reel whose columns sit at `columns`, left
- *  to right, would drop a pane. Over a column's edge band (or over a gap, or past the last
- *  column) it lands in that gap, as a column of its own; over the rest of a column it lands
- *  among that column's other panes, after each whose middle is above the pointer.
- *  `slotMiddlesOf` gives the vertical middles of a column's slots, by its index, the held
- *  pane's left out: it is asked for the column the pointer is over alone, and only when the
- *  pointer is among its panes. */
-export const targetAtPoint = (columns, clientX, clientY, slotMiddlesOf) => __foldkitBrandViewResult((pipe(Array.findFirstIndex(columns, ({ right }) => __foldkitBrandViewResult((clientX <= right), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~42")), Option.flatMap((index) => __foldkitBrandViewResult((Option.map(Array.get(columns, index), (box) => (__foldkitBrandViewResult(({ index, box }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~44")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~43")), Option.match({
+const GAP_BAND_SHARE = 0.2;
+const GAP_BAND_MAX = 48;
+const gapBefore = (columns, gap) => __foldkitBrandViewResult((Target.Gap({
+    maybeBeforeColumnId: Option.map(Array.get(columns, gap), ({ id }) => __foldkitBrandViewResult((id), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~41")),
+})), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#gapBefore");
+const gapBandOf = ({ left, right }) => __foldkitBrandViewResult((Math.min((right - left) * GAP_BAND_SHARE, GAP_BAND_MAX)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#gapBandOf");
+const columnUnderOrRightOf = (columns, clientX) => __foldkitBrandViewResult((pipe(Array.findFirstIndex(columns, ({ right }) => __foldkitBrandViewResult((clientX <= right), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~42")), Option.flatMap((index) => __foldkitBrandViewResult((Option.map(Array.get(columns, index), (box) => (__foldkitBrandViewResult(({ index, box }), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~44")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~43")))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#columnUnderOrRightOf");
+const slotsAbove = (slotMiddles, clientY) => __foldkitBrandViewResult((Array.filter(slotMiddles, (middle) => __foldkitBrandViewResult((middle < clientY), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~45")).length), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#slotsAbove");
+export const targetAtPoint = (columns, clientX, clientY, slotMiddlesOf) => __foldkitBrandViewResult((Option.match(columnUnderOrRightOf(columns, clientX), {
     onNone: () => __foldkitBrandViewResult((gapBefore(columns, columns.length)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onNone~11"),
-    onSome: ({ index, box: { id, left, right } }) => {
-        const band = Math.min((right - left) * EDGE_SHARE, EDGE_MAX);
-        if (clientX < left + band) {
+    onSome: ({ index, box }) => {
+        const band = gapBandOf(box);
+        if (clientX < box.left + band) {
             return __foldkitBrandViewResult((gapBefore(columns, index)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~11");
         }
-        else if (clientX > right - band) {
+        else if (clientX > box.right - band) {
             return __foldkitBrandViewResult((gapBefore(columns, index + 1)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~11");
         }
-        else {
-            return __foldkitBrandViewResult((Target.Into({
-                columnId: id,
-                index: Array.filter(slotMiddlesOf(index), (middle) => __foldkitBrandViewResult((middle < clientY), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~45")).length,
-            })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~11");
-        }
+        return __foldkitBrandViewResult((Target.Into({
+            columnId: box.id,
+            index: slotsAbove(slotMiddlesOf(index), clientY),
+        })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#onSome~11");
     },
-}))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#targetAtPoint");
-// RESIZE
-/** The narrowest a column's width goes by a splitter, and the least share of its column a pane
- *  keeps: the stylesheet keeps both on screen at their minimums, so these only keep a stored
- *  size from reaching nothing. */
-const WIDTH_FLOOR = 0.1;
-const SHARE_FLOOR = 0.05;
+})), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#targetAtPoint");
+const COLUMN_WIDTH_FLOOR = 0.1;
+const PANE_SHARE_FLOOR = 0.05;
 const PRECISION = 10_000;
 const rounded = (value) => __foldkitBrandViewResult((Math.round(value * PRECISION) / PRECISION), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#rounded");
-/** `weight`, at least `floor`, to four decimals, or, where a step of four decimals is more than
- *  `floor` (a column whose weights total under a five-hundredth, or two panes that small), to
- *  the first power of ten no more than it, so that it never rounds to nothing. A weight too
- *  large or a floor too small to scale by that power is left as it is. */
+const precisionFinerThan = (floor) => __foldkitBrandViewResult((Math.max(PRECISION, 10 ** Math.ceil(-Math.log10(floor)))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#precisionFinerThan");
 const roundedOver = (weight, floor) => {
-    const precision = Math.max(PRECISION, 10 ** Math.ceil(-Math.log10(floor)));
+    const precision = precisionFinerThan(floor);
     const scaled = weight * precision;
-    return __foldkitBrandViewResult((globalThis.Number.isFinite(scaled) ? Math.round(scaled) / precision : weight), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#roundedOver");
+    const isScalable = globalThis.Number.isFinite(scaled);
+    return __foldkitBrandViewResult((isScalable ? Math.round(scaled) / precision : weight), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#roundedOver");
+};
+const resizedColumn = (layout, columnId, share) => __foldkitBrandViewResult((Option.map(columnOf(layout, columnId), (column) => __foldkitBrandViewResult((OutMessage.ResizedColumn({
+    columnId,
+    width: rounded(Number.clamp(column.width + share, {
+        minimum: COLUMN_WIDTH_FLOOR,
+        maximum: 1,
+    })),
+})), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~46"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#resizedColumn");
+const paneWeightFloor = (total, pair) => __foldkitBrandViewResult((Math.max(Math.min(total * PANE_SHARE_FLOOR, pair / 2), globalThis.Number.MIN_VALUE)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#paneWeightFloor");
+const sharedPair = (column, above, below, share) => {
+    const total = Number.sumAll(Array.map(column.panes, ({ weight }) => __foldkitBrandViewResult((weight), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~47")));
+    const pair = above.weight + below.weight;
+    const floor = paneWeightFloor(total, pair);
+    const nextAbove = Number.clamp(above.weight + share * total, {
+        minimum: floor,
+        maximum: pair - floor,
+    });
+    const isShareMovable = globalThis.Number.isFinite(total);
+    return __foldkitBrandViewResult((OutMessage.ResizedPanes({
+        columnId: column.id,
+        weights: isShareMovable
+            ? {
+                [above.id]: roundedOver(nextAbove, floor),
+                [below.id]: roundedOver(pair - nextAbove, floor),
+            }
+            : { [above.id]: above.weight, [below.id]: below.weight },
+    })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#sharedPair");
 };
-/** What moving `splitter` by `share` asks of the layout, from the sizes the layout holds (not
- *  the sizes printed, which the stylesheet may hold at a minimum): a width splitter adds
- *  `share` to its column's width; a pane splitter moves `share` of its column's height from
- *  the pane below it to the pane above, leaving each a weight above nothing however small the
- *  column. None when what it sizes is gone. */
 export const resizeOf = (layout, splitter, share) => __foldkitBrandViewResult((Splitter.match(splitter, {
-    Width: ({ columnId }) => __foldkitBrandViewResult((Option.map(columnOf(layout, columnId), (column) => __foldkitBrandViewResult((OutMessage.ResizedColumn({
-        columnId,
-        width: rounded(Number.clamp(column.width + share, { minimum: WIDTH_FLOOR, maximum: 1 })),
-    })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~46"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Width"),
-    Split: ({ abovePaneId }) => __foldkitBrandViewResult((Option.flatMap(placeOf(layout, abovePaneId), ({ column, row, pane: above }) => __foldkitBrandViewResult((Option.map(Array.get(column.panes, row + 1), (below) => {
-        const total = Number.sumAll(Array.map(column.panes, ({ weight }) => __foldkitBrandViewResult((weight), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~49")));
-        const pair = above.weight + below.weight;
-        // a column so small that a twentieth of it is no number keeps the least there is
-        const floor = Math.max(Math.min(total * SHARE_FLOOR, pair / 2), globalThis.Number.MIN_VALUE);
-        const nextAbove = Number.clamp(above.weight + share * total, {
-            minimum: floor,
-            maximum: pair - floor,
-        });
-        return __foldkitBrandViewResult((OutMessage.ResizedPanes({
-            columnId: column.id,
-            weights: globalThis.Number.isFinite(total)
-                ? {
-                    [above.id]: roundedOver(nextAbove, floor),
-                    [below.id]: roundedOver(pair - nextAbove, floor),
-                }
-                : // weights that total past the largest number have no share to move: they stay
-                    { [above.id]: above.weight, [below.id]: below.weight },
-        })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~48");
-    })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~47"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Split"),
+    Width: ({ columnId }) => __foldkitBrandViewResult((resizedColumn(layout, columnId, share)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Width"),
+    Split: ({ abovePaneId }) => __foldkitBrandViewResult((Option.flatMap(placeOf(layout, abovePaneId), ({ column, row, pane: above }) => __foldkitBrandViewResult((Option.map(Array.get(column.panes, row + 1), (below) => __foldkitBrandViewResult((sharedPair(column, above, below, share)), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~49"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#anonymous~48"))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#Split"),
 })), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#resizeOf");
-/** Whether what `splitter` sizes is still in `layout`. */
 export const isSplitterPresent = (layout, splitter) => __foldkitBrandViewResult((Option.isSome(resizeOf(layout, splitter, 0))), "@gjermundgaraba-designs/pixel-paper/src/reel/layout.js#isSplitterPresent");

package/dist/src/reel/reel.d.ts

@@ -4,25 +4,26 @@ import type { Html } from "foldkit/html";
 import * as Mount from "foldkit/mount";
 import * as Subscription from "foldkit/subscription";
 import type * as Update from "foldkit/update";
-import { type Layout, OutMessage, type Pane } from "./layout.ts";
+import { OutMessage } from "./layout.ts";
+import type { Layout, Pane } from "./layout.ts";
 /** Schema for a reel: its id, the focused pane, what is held and a splitter being dragged. All
  *  of it is this client's; the layout is the application's. */
 export declare const Model: Schema.Struct<{
     readonly id: Schema.String;
     readonly maybeFocus: Schema.Option<Schema.Struct<{
         readonly paneId: Schema.String;
-        readonly column: Schema.Number;
-        readonly row: Schema.Number;
+        readonly column: Schema.Finite;
+        readonly row: Schema.Finite;
     }>>;
     readonly maybeHeld: Schema.Option<Schema.Struct<{
         readonly paneId: Schema.String;
         readonly by: import("foldkit/schema").TaggedUnion<{
             readonly Pointer: {
-                pointerId: Schema.Number;
-                pressX: Schema.Number;
-                pressY: Schema.Number;
-                x: Schema.Number;
-                y: Schema.Number;
+                pointerId: Schema.Finite;
+                pressX: Schema.Finite;
+                pressY: Schema.Finite;
+                x: Schema.Finite;
+                y: Schema.Finite;
                 isCarrying: Schema.Boolean;
             };
             readonly Keyboard: {};
@@ -30,7 +31,7 @@ export declare const Model: Schema.Struct<{
         readonly maybeTarget: Schema.Option<import("foldkit/schema").TaggedUnion<{
             readonly Into: {
                 columnId: Schema.String;
-                index: Schema.Number;
+                index: Schema.Finite;
             };
             readonly Gap: {
                 maybeBeforeColumnId: Schema.Option<Schema.String>;
@@ -46,15 +47,15 @@ export declare const Model: Schema.Struct<{
                 abovePaneId: Schema.String;
             };
         }>;
-        readonly pointerId: Schema.Number;
-        readonly pressX: Schema.Number;
-        readonly pressY: Schema.Number;
+        readonly pointerId: Schema.Finite;
+        readonly pressX: Schema.Finite;
+        readonly pressY: Schema.Finite;
         readonly maybeResize: Schema.Option<Schema.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"ResizedColumn", {
             readonly columnId: Schema.String;
-            readonly width: Schema.Number;
+            readonly width: Schema.Finite;
         }>, import("foldkit/schema").CallableTaggedStruct<"ResizedPanes", {
             readonly columnId: Schema.String;
-            readonly weights: Schema.$Record<Schema.String, Schema.Number>;
+            readonly weights: Schema.$Record<Schema.String, Schema.Finite>;
         }>]>>;
     }>>;
 }>;
@@ -68,20 +69,20 @@ export type Arrangement = typeof Arrangement.Type;
 export declare const Message: import("foldkit/message").MessageUnion<{
     readonly PressedGrip: {
         paneId: Schema.String;
-        pointerId: Schema.Number;
-        clientX: Schema.Number;
-        clientY: Schema.Number;
+        pointerId: Schema.Finite;
+        clientX: Schema.Finite;
+        clientY: Schema.Finite;
     };
     readonly PressedGripKey: {
         paneId: Schema.String;
     };
     readonly MovedPointer: {
-        readonly clientX: Schema.Number;
-        readonly clientY: Schema.Number;
+        readonly clientX: Schema.Finite;
+        readonly clientY: Schema.Finite;
         readonly maybeTarget: Schema.Option<import("foldkit/schema").TaggedUnion<{
             readonly Into: {
                 columnId: Schema.String;
-                index: Schema.Number;
+                index: Schema.Finite;
             };
             readonly Gap: {
                 maybeBeforeColumnId: Schema.Option<Schema.String>;
@@ -89,12 +90,12 @@ export declare const Message: import("foldkit/message").MessageUnion<{
         }>>;
     };
     readonly ReleasedPointer: {
-        readonly clientX: Schema.Number;
-        readonly clientY: Schema.Number;
+        readonly clientX: Schema.Finite;
+        readonly clientY: Schema.Finite;
         readonly maybeTarget: Schema.Option<import("foldkit/schema").TaggedUnion<{
             readonly Into: {
                 columnId: Schema.String;
-                index: Schema.Number;
+                index: Schema.Finite;
             };
             readonly Gap: {
                 maybeBeforeColumnId: Schema.Option<Schema.String>;
@@ -126,15 +127,15 @@ export declare const Message: import("foldkit/message").MessageUnion<{
                 abovePaneId: Schema.String;
             };
         }>;
-        pointerId: Schema.Number;
-        clientX: Schema.Number;
-        clientY: Schema.Number;
+        pointerId: Schema.Finite;
+        clientX: Schema.Finite;
+        clientY: Schema.Finite;
     };
     readonly MovedSplitter: {
-        share: Schema.Number;
+        share: Schema.Finite;
     };
     readonly ReleasedSplitter: {
-        share: Schema.Number;
+        share: Schema.Finite;
     };
     readonly CancelledSplitter: {};
     readonly PressedSplitterKey: {
@@ -146,7 +147,7 @@ export declare const Message: import("foldkit/message").MessageUnion<{
                 abovePaneId: Schema.String;
             };
         }>;
-        share: Schema.Number;
+        share: Schema.Finite;
     };
     readonly CompletedAnnounceReel: {};
     readonly CompletedFocusPane: {};
@@ -878,8 +879,8 @@ export declare const subscriptions: <Prefix extends string>(keyPrefix: Prefix) =
  *  pressed. Measures the source once, when the copy appears. */
 export declare const SizeLiftedPane: Mount.MountDefinitionWithArgs<"SizeLiftedPane", {
     sourceSelector: Schema.String;
-    pressX: Schema.Number;
-    pressY: Schema.Number;
+    pressX: Schema.Finite;
+    pressY: Schema.Finite;
 }, {
     readonly _tag: "CompletedSizeLiftedPane";
 }>;
@@ -888,7 +889,7 @@ export declare const SizeLiftedPane: Mount.MountDefinitionWithArgs<"SizeLiftedPa
 export type PaneRender = Readonly<{
     /** The title bar's `lead`: the pane's grip, a quiet glyph button named "Move <label>", or
      *  nothing under tabs, where a pane does not move. */
-    lead: ReadonlyArray<Html>;
+    lead: readonly Html[];
     /** The window's id, unique in the document. */
     id: string;
 }>;
@@ -907,7 +908,7 @@ export type ViewInputs = Readonly<{
      *  their tabs (`Tabs`). Pass the same to `perform`. */
     arrangement?: Arrangement;
     /** What a pane's tab prints before its label: a kind glyph. Nothing when not given. */
-    toTabLeadView?: (pane: Pane) => ReadonlyArray<Html>;
+    toTabLeadView?: (pane: Pane) => readonly Html[];
 }>;
 /**
  * A row of columns wider than the view when it must be, each a stack of panes, scrolled
@@ -1088,7 +1089,7 @@ export declare const view: import("foldkit/submodel").View<{
      *  their tabs (`Tabs`). Pass the same to `perform`. */
     arrangement?: Arrangement;
     /** What a pane's tab prints before its label: a kind glyph. Nothing when not given. */
-    toTabLeadView?: (pane: Pane) => ReadonlyArray<Html>;
+    toTabLeadView?: (pane: Pane) => readonly Html[];
 }>>;
 export {};
 //# sourceMappingURL=reel.d.ts.map