synstate-dom 0.0.0-stage → 0.2.0

package/dist/constant/derive.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.d.mts","sourceRoot":"","sources":["../../src/constant/derive.mts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG9D;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,EAAE,SAAS,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,aAC9D,EAAE,MACT,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,KACvC,QAAQ,CAAC,CAAC,CAmBZ,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC;KAC5E,CAAC,IAAI,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACtC,CAAC,CAAC"}

package/dist/constant/derive.mjs

@@ -0,0 +1,28 @@
+import { combine, isObservable, map, } from 'synstate';
+import { Arr } from 'ts-data-forge';
+import { asConstant, isView } from '../internal/index.mjs';
+import { toObservable } from './to-observable.mjs';
+
+
+
+
+
+
+
+
+export const derive = (bindables, fn) => {
+
+
+
+
+    const apply = (values) => 
+
+    fn(...values);
+    if (Arr.every(bindables, isConstant)) {
+        return asConstant(apply(bindables));
+    }
+    const observables = Arr.map(bindables, toObservable);
+    return combine(observables).pipe(map(apply));
+};
+const isConstant = (bindable) => !isView(bindable) && !isObservable(bindable);
+//# sourceMappingURL=derive.mjs.map

package/dist/constant/derive.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.mjs","sourceRoot":"","sources":["../../src/constant/derive.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,YAAY,EACZ,GAAG,GAEJ,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEpC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,SAAa,EACb,EAAwC,EAC3B,EAAE;IACf,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,oDAAoD;IACpD,MAAM,KAAK,GAAG,CAAC,MAA0B,EAAK,EAAE;IAC9C,iFAAiF;IACjF,EAAE,CAAC,GAAI,MAA6B,CAAC,CAAC;IAExC,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,WAAW,GAAkD,GAAG,CAAC,GAAG,CACxE,SAAS,EACT,YAAY,CACb,CAAC;IAEF,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC;AAOF,MAAM,UAAU,GAAG,CAAC,QAA2B,EAAW,EAAE,CAC1D,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC"}

package/dist/constant/index.d.mts

@@ -0,0 +1,7 @@
+export * from './bindable.mjs';
+export * from './constant.mjs';
+export * from './derive.mjs';
+export * from './map-bindable.mjs';
+export * from './to-observable.mjs';
+export * from './view.mjs';
+//# sourceMappingURL=index.d.mts.map

package/dist/constant/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/constant/index.mts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC"}

package/dist/constant/index.mjs

@@ -0,0 +1,7 @@
+export * from './bindable.mjs';
+export * from './constant.mjs';
+export * from './derive.mjs';
+export * from './map-bindable.mjs';
+export * from './to-observable.mjs';
+export * from './view.mjs';
+//# sourceMappingURL=index.mjs.map

package/dist/constant/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sourceRoot":"","sources":["../../src/constant/index.mts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC"}

package/dist/constant/map-bindable.d.mts

@@ -0,0 +1,10 @@
+import type { Bindable } from './bindable.mjs';
+/**
+ * Applies `fn` to the value of a {@link Bindable}, keeping its kind.
+ *
+ * - A constant gives a constant: `fn` runs once and no node is created.
+ * - A view gives a view with the two functions composed: no node is created.
+ * - An observable gives `bindable.pipe(map(fn))`.
+ */
+export declare const mapBindable: <A, B>(bindable: Bindable<A>, fn: (value: A) => B) => Bindable<B>;
+//# sourceMappingURL=map-bindable.d.mts.map

package/dist/constant/map-bindable.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"map-bindable.d.mts","sourceRoot":"","sources":["../../src/constant/map-bindable.mts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,YACpB,QAAQ,CAAC,CAAC,CAAC,MACjB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAClB,QAAQ,CAAC,CAAC,CAOmB,CAAC"}

package/dist/constant/map-bindable.mjs

@@ -0,0 +1,16 @@
+import { isObservable, map } from 'synstate';
+import { asConstant, isView } from '../internal/index.mjs';
+import { view } from './view.mjs';
+
+
+
+
+
+
+
+export const mapBindable = (bindable, fn) => isView(bindable)
+    ? bindable.open((source, inner) => view(source, (value) => fn(inner(value))))
+    : isObservable(bindable)
+        ? bindable.pipe(map(fn))
+        : asConstant(fn(bindable));
+//# sourceMappingURL=map-bindable.mjs.map

package/dist/constant/map-bindable.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"map-bindable.mjs","sourceRoot":"","sources":["../../src/constant/map-bindable.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAqB,EACrB,EAAmB,EACN,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC;IACd,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC9B,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC1C;IACH,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;QACtB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC"}

package/dist/constant/to-observable.d.mts

@@ -0,0 +1,12 @@
+import { type InitializedObservable } from 'synstate';
+import type { Bindable } from './bindable.mjs';
+/**
+ * Turns a {@link Bindable} into an observable: a constant becomes `just(value)`,
+ * a view becomes `source.pipe(map(fn))`, and an observable is returned as is.
+ *
+ * Only for where an observable is really needed, such as the projection of a
+ * `switchMap`: a constant made into an observable joins the graph, which
+ * {@link mapBindable} and {@link derive} avoid.
+ */
+export declare const toObservable: <T>(bindable: Bindable<T>) => InitializedObservable<T>;
+//# sourceMappingURL=to-observable.d.mts.map

package/dist/constant/to-observable.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"to-observable.d.mts","sourceRoot":"","sources":["../../src/constant/to-observable.mts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,KAAK,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAE/E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,YAClB,QAAQ,CAAC,CAAC,CAAC,KACpB,qBAAqB,CAAC,CAAC,CAKJ,CAAC"}

package/dist/constant/to-observable.mjs

@@ -0,0 +1,16 @@
+import { isObservable, just, map } from 'synstate';
+import { isView } from '../internal/index.mjs';
+
+
+
+
+
+
+
+
+export const toObservable = (bindable) => isView(bindable)
+    ? bindable.open((source, fn) => source.pipe(map(fn)))
+    : isObservable(bindable)
+        ? bindable
+        : just(bindable);
+//# sourceMappingURL=to-observable.mjs.map

package/dist/constant/to-observable.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"to-observable.mjs","sourceRoot":"","sources":["../../src/constant/to-observable.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAA8B,MAAM,UAAU,CAAC;AAC/E,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAG/C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,QAAqB,EACK,EAAE,CAC5B,MAAM,CAAC,QAAQ,CAAC;IACd,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;QACtB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC"}

package/dist/constant/view.d.mts

@@ -0,0 +1,25 @@
+import type { InitializedObservable } from 'synstate';
+import { viewTag } from '../internal/index.mjs';
+/**
+ * An observable and a function to apply to each of its values, bound without
+ * creating a node in the graph. Made by {@link view}.
+ *
+ * The source's value type is hidden behind `open`, which hands the pair back
+ * to a callback that is generic in it: whoever opens a view sees a source and
+ * a function that agree with each other, with no assertion on either side.
+ */
+export type View<T> = Readonly<{
+    [viewTag]: true;
+    open: <R>(use: <A>(source: InitializedObservable<A>, fn: (value: A) => T) => R) => R;
+}>;
+/**
+ * Pairs an observable with a light transformation, for a slot that takes a
+ * `Bindable`. The transformation runs in the binding's subscriber, so no node
+ * is added to the graph.
+ *
+ * `fn` runs once per value per binding: a view passed to two slots runs it
+ * twice. A heavy transformation, or one shared by several bindings, belongs in
+ * `source.pipe(map(fn))`.
+ */
+export declare const view: <A, T>(source: InitializedObservable<A>, fn: (value: A) => T) => View<T>;
+//# sourceMappingURL=view.d.mts.map

package/dist/constant/view.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.mts","sourceRoot":"","sources":["../../src/constant/view.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAChB,IAAI,EAAE,CAAC,CAAC,EACN,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KACjE,CAAC,CAAC;CACR,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,UACf,qBAAqB,CAAC,CAAC,CAAC,MAC5B,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAClB,IAAI,CAAC,CAAC,CAII,CAAC"}

package/dist/constant/view.mjs

@@ -0,0 +1,15 @@
+import { viewTag } from '../internal/index.mjs';
+
+
+
+
+
+
+
+
+
+export const view = (source, fn) => ({
+    [viewTag]: true,
+    open: (use) => use(source, fn),
+});
+//# sourceMappingURL=view.mjs.map

package/dist/constant/view.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.mjs","sourceRoot":"","sources":["../../src/constant/view.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAiBhD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,MAAgC,EAChC,EAAmB,EACV,EAAE,CACX,CAAC;IACC,CAAC,OAAO,CAAC,EAAE,IAAI;IACf,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;CAC/B,CAAU,CAAC"}

package/dist/control/for.d.mts

@@ -0,0 +1,29 @@
+import { type InitializedObservable } from 'synstate';
+import { type Bindable } from '../constant/index.mjs';
+import { type JSX } from '../jsx/index.mjs';
+/**
+ * Mounts one row per element of `items`, matched across updates by `key`
+ * (SPEC.md 8.4).
+ *
+ * `children` is called once per key, inside a scope of the row's own, with
+ * observables of the element and its index. The index is made only for a
+ * `children` that declares a second parameter (`children.length >= 2`); one
+ * that reads it otherwise, through a rest parameter or `arguments`, is given
+ * `undefined`.
+ *
+ * A row whose key stays is not rebuilt: its `item$` and `index$` are derived
+ * from `items`, so they update in the ordinary propagation, and nothing is
+ * written during it. A key that goes disposes its row's scope and removes its
+ * nodes; the rows that stay are moved as little as the longest increasing
+ * subsequence allows.
+ *
+ * `key` is required, as in React; `(_, i) => i` matches rows by position. A
+ * key that appears twice is reported with `console.error`, and its later
+ * occurrences are rebuilt on every update.
+ */
+export declare const For: <T>({ items, key, children, }: Readonly<{
+    items: Bindable<readonly T[]>;
+    key: (item: T, index: number) => unknown;
+    children: (item$: InitializedObservable<T>, index$: InitializedObservable<number>) => JSX.Element;
+}>) => JSX.Element;
+//# sourceMappingURL=for.d.mts.map

package/dist/control/for.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"for.d.mts","sourceRoot":"","sources":["../../src/control/for.mts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,qBAAqB,EAG3B,MAAM,UAAU,CAAC;AAGlB,OAAO,EAAgB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAsB,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAGhE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,6BAIlB,QAAQ,CAAC;IACV,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9B,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;IACzC,QAAQ,EAAE,CACR,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,KAClC,GAAG,CAAC,OAAO,CAAC;CAClB,CAAC,KAAG,GAAG,CAAC,OAwML,CAAC"}

package/dist/control/for.mjs

@@ -0,0 +1,201 @@
+import { createInitializedSyncChildObservable, createScope, getCurrentScope, map, onScopeDispose, } from 'synstate';
+import { Arr, Optional } from 'ts-data-forge';
+import { toObservable } from '../constant/index.mjs';
+import { bindValue } from '../internal/index.mjs';
+import { mountable, toNodes } from '../jsx/index.mjs';
+import { longestIncreasingSubsequence } from './longest-increasing-subsequence.mjs';
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+export const For = ({ items, key, children, }) => mountable(() => {
+    const parent = getCurrentScope();
+    const anchor = document.createComment('');
+    const entries$ = toObservable(items).pipe(map((list) => toEntries(list, key)));
+
+
+
+    const usesIndex = children.length >= 2;
+    const callChildren = children;
+    const mut_rows = new Map();
+    const rowStarts = new WeakSet();
+    const mut_initial = { nodes: [] };
+
+    const createRow = (rowKey, entry) => {
+        const scope = createScope(parent);
+        const start = document.createComment('');
+        rowStarts.add(start);
+        const nodes = scope.run(() => {
+            const item$ = rowField(entries$, rowKey, entry.item, (e) => e.item);
+            return toNodes((usesIndex
+                ? callChildren(item$, rowField(entries$, rowKey, entry.index, (e) => e.index))
+                : callChildren(item$)).mount());
+        });
+        const row = { scope, start };
+        scope.run(() => {
+            onScopeDispose(() => {
+                for (const node of rowNodes(row)) {
+                    node.remove();
+                }
+            });
+        });
+        mut_rows.set(rowKey, row);
+        return Arr.toUnshifted(start)(nodes);
+    };
+
+    const rowNodes = (row) => {
+        const mut_nodes = [row.start];
+        for (let mut_node = row.start.nextSibling; mut_node !== null && mut_node !== anchor && !rowStarts.has(mut_node); mut_node = mut_node.nextSibling) {
+            mut_nodes.push(mut_node);
+        }
+        return mut_nodes;
+    };
+
+
+
+
+
+
+    const removeAllAtOnceIfEveryKeyGoes = (previousOrder, entries) => {
+        if (!Arr.isNonEmpty(previousOrder) ||
+            previousOrder.some((rowKey) => entries.byKey.has(rowKey))) {
+            return;
+        }
+        const first = mut_rows.get(previousOrder[0]);
+        if (first === undefined) {
+            return;
+        }
+        const range = document.createRange();
+        range.setStartBefore(first.start);
+        range.setEndBefore(anchor);
+        range.deleteContents();
+    };
+    bindValue(entries$, (entries) => {
+        const previousOrder = Array.from(mut_rows.keys());
+        if (anchor.parentNode !== null) {
+            removeAllAtOnceIfEveryKeyGoes(previousOrder, entries);
+        }
+        for (const [rowKey, row] of mut_rows) {
+            if (entries.byKey.has(rowKey)) {
+                continue;
+            }
+            row.scope.dispose();
+            mut_rows.delete(rowKey);
+        }
+        if (anchor.parentNode === null) {
+            mut_initial.nodes = entries.order.flatMap((rowKey) => {
+                const entry = entries.byKey.get(rowKey);
+                return entry === undefined ? [] : createRow(rowKey, entry);
+            });
+            return;
+        }
+        if (Arr.eq(previousOrder, entries.order)) {
+            return;
+        }
+        const previousPosition = new Map(previousOrder
+            .filter((rowKey) => mut_rows.has(rowKey))
+            .map((rowKey, position) => [rowKey, position]));
+        const positions = entries.order.map((rowKey) => previousPosition.get(rowKey) ?? -1);
+        const stay = longestIncreasingSubsequence(positions.filter((position) => position >= 0));
+        const staying = new Set(positions
+            .filter((position) => position >= 0)
+            .filter((_, k) => stay.has(k)));
+        let mut_next = anchor;
+        for (const rowKey of entries.order.toReversed()) {
+            const existing = mut_rows.get(rowKey);
+            if (existing === undefined) {
+                const entry = entries.byKey.get(rowKey);
+                if (entry === undefined) {
+                    continue;
+                }
+                const [start, ...rest] = createRow(rowKey, entry);
+                if (start !== undefined) {
+                    mut_next.before(start, ...rest);
+                    mut_next = start;
+                }
+                continue;
+            }
+            if (!staying.has(previousPosition.get(rowKey) ?? -1)) {
+                mut_next.before(...rowNodes(existing));
+            }
+            mut_next = existing.start;
+        }
+        reorderMap(mut_rows, entries.order);
+    });
+    return Arr.toPushed(mut_initial.nodes, anchor);
+});
+const toEntries = (list, key) => {
+    const mut_byKey = new Map();
+    const order = list.map((item, index) => {
+        const itemKey = key(item, index);
+        if (!mut_byKey.has(itemKey)) {
+            mut_byKey.set(itemKey, { item, index });
+            return itemKey;
+        }
+        console.error('synstate-dom: For found the key', itemKey, 'more than once; keys must be unique.');
+
+        const duplicateKey = Symbol('duplicate key');
+        mut_byKey.set(duplicateKey, { item, index });
+        return duplicateKey;
+    });
+    return { order, byKey: mut_byKey };
+};
+
+
+
+
+
+
+
+
+const rowField = (entries$, rowKey, initialValue, field) => createInitializedSyncChildObservable({ parents: [entries$], initialValue: Optional.some(initialValue) }, ({ setNext }) => {
+    let mut_previous = initialValue;
+    return (updateToken) => {
+        const sn = entries$.getSnapshot();
+        if (entries$.updateToken !== updateToken || Optional.isNone(sn)) {
+            return;
+        }
+        const entry = sn.value.byKey.get(rowKey);
+        if (entry === undefined) {
+            return;
+        }
+        const next = field(entry);
+        if (Object.is(next, mut_previous)) {
+            return;
+        }
+        mut_previous = next;
+        setNext(next, updateToken);
+    };
+});
+
+const reorderMap = (mut_rows, order) => {
+    const rows = Arr.generate(function* () {
+        for (const rowKey of order) {
+            const row = mut_rows.get(rowKey);
+            if (row !== undefined) {
+                yield [rowKey, row];
+            }
+        }
+    });
+    mut_rows.clear();
+    for (const [rowKey, row] of rows) {
+        mut_rows.set(rowKey, row);
+    }
+};
+//# sourceMappingURL=for.mjs.map

package/dist/control/for.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"for.mjs","sourceRoot":"","sources":["../../src/control/for.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,EACpC,WAAW,EACX,eAAe,EACf,GAAG,EACH,cAAc,GAIf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAiB,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAY,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAK,EACtB,KAAK,EACL,GAAG,EACH,QAAQ,GAQR,EAAe,EAAE,CACjB,SAAS,CAAC,GAAG,EAAE;IACb,MAAM,MAAM,GAAG,eAAe,EAAE,CAAC;IAEjC,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IAE1C,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CACvC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CACpC,CAAC;IAEF,yEAAyE;IACzE,uEAAuE;IACvE,8BAA8B;IAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;IAEvC,MAAM,YAAY,GAKd,QAAQ,CAAC;IAEb,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEzC,MAAM,SAAS,GAAG,IAAI,OAAO,EAAQ,CAAC;IAEtC,MAAM,WAAW,GAAoC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAEnE,uEAAuE;IACvE,MAAM,SAAS,GAAG,CAChB,MAAe,EACf,KAAe,EACO,EAAE;QACxB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAEzC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAErB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAEpE,OAAO,OAAO,CACZ,CAAC,SAAS;gBACR,CAAC,CAAC,YAAY,CACV,KAAK,EACL,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CACxD;gBACH,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CACtB,CAAC,KAAK,EAAE,CACV,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,GAAG,GAAQ,EAAE,KAAK,EAAE,KAAK,EAAW,CAAC;QAE3C,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACb,cAAc,CAAC,GAAG,EAAE;gBAClB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAE1B,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,CAAC,GAAQ,EAAwB,EAAE;QAClD,MAAM,SAAS,GAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAE3C,KACE,IAAI,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,EACpC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EACpE,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAC/B,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;;;;OAKG;IACH,MAAM,6BAA6B,GAAG,CACpC,aAAiC,EACjC,OAAmB,EACb,EAAE;QACR,IACE,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC;YAC9B,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACzD,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAE7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QAErC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAElC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAE3B,KAAK,CAAC,cAAc,EAAE,CAAC;IACzB,CAAC,CAAC;IAEF,SAAS,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAElD,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC/B,6BAA6B,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAEpB,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;QAED,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC/B,WAAW,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBACnD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAExC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC7D,CAAC,CAAC,CAAC;YAEH,OAAO;QACT,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,CAAC,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO;QACT,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,aAAa;aACV,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aACxC,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CACjD,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CACjC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAC/C,CAAC;QAEF,MAAM,IAAI,GAAG,4BAA4B,CACvC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,CAC9C,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,SAAS;aACN,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC;aACnC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACjC,CAAC;QAEF,IAAI,QAAQ,GAAc,MAAM,CAAC;QAEjC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAExC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,SAAS;gBACX,CAAC;gBAED,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAElD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;oBAEhC,QAAQ,GAAG,KAAK,CAAC;gBACnB,CAAC;gBAED,SAAS;YACX,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,QAAQ,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzC,CAAC;YAED,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC5B,CAAC;QAED,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,OAAO,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAgBL,MAAM,SAAS,GAAG,CAChB,IAAkB,EAClB,GAAwC,EAC5B,EAAE;IACd,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAE/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAEjC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAExC,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,CAAC,KAAK,CACX,iCAAiC,EACjC,OAAO,EACP,sCAAsC,CACvC,CAAC;QAEF,yDAAyD;QACzD,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;QAE7C,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAE7C,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,QAAQ,GAAG,CACf,QAAgC,EAChC,MAAe,EACf,YAAe,EACf,KAA6B,EACH,EAAE,CAC5B,oCAAoC,CAClC,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAClE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;IACd,IAAI,YAAY,GAAG,YAAY,CAAC;IAEhC,OAAO,CAAC,WAAW,EAAE,EAAE;QACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QAElC,IAAI,QAAQ,CAAC,WAAW,KAAK,WAAW,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEzC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;YAClC,OAAO;QACT,CAAC;QAED,YAAY,GAAG,IAAI,CAAC;QAEpB,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7B,CAAC,CAAC;AACJ,CAAC,CACF,CAAC;AAEJ,+EAA+E;AAC/E,MAAM,UAAU,GAAG,CACjB,QAA2B,EAC3B,KAAyB,EACnB,EAAE;IACR,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAU,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,EAAE,CAAC;IAEjB,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC,CAAC"}

package/dist/control/if.d.mts

@@ -0,0 +1,16 @@
+import type { Bindable } from '../constant/index.mjs';
+import { type JSX } from '../jsx/index.mjs';
+/**
+ * Mounts `then` while `cond` is `true` and `else` while it is `false`
+ * (SPEC.md 8.2). Nothing is mounted for an omitted `else`.
+ *
+ * Both branches are descriptions, so only the one chosen is mounted. A branch
+ * is rebuilt only when `cond` flips; flipping disposes the previous branch's
+ * scope and removes its nodes. A constant `cond` mounts one branch once.
+ */
+export declare const If: ({ cond, then, else: elseBranch, }: Readonly<{
+    cond: Bindable<boolean>;
+    then: JSX.Element;
+    else?: JSX.Element;
+}>) => JSX.Element;
+//# sourceMappingURL=if.d.mts.map

package/dist/control/if.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if.d.mts","sourceRoot":"","sources":["../../src/control/if.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAa,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAGvD;;;;;;;GAOG;AACH,eAAO,MAAM,EAAE,sCAIZ,QAAQ,CAAC;IACV,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACxB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;CACpB,CAAC,KAAG,GAAG,CAAC,OAON,CAAC"}

package/dist/control/if.mjs

@@ -0,0 +1,12 @@
+import { mountable } from '../jsx/index.mjs';
+import { mountSwitch } from './mount-switch.mjs';
+
+
+
+
+
+
+
+
+export const If = ({ cond, then, else: elseBranch, }) => mountable(() => mountSwitch(cond, (value) => value, (value) => (value ? then : elseBranch)));
+//# sourceMappingURL=if.mjs.map

package/dist/control/if.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"if.mjs","sourceRoot":"","sources":["../../src/control/if.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAY,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACjB,IAAI,EACJ,IAAI,EACJ,IAAI,EAAE,UAAU,GAKhB,EAAe,EAAE,CACjB,SAAS,CAAC,GAAG,EAAE,CACb,WAAW,CACT,IAAI,EACJ,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAChB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CACvC,CACF,CAAC"}

package/dist/control/index.d.mts

@@ -0,0 +1,6 @@
+export * from './for.mjs';
+export * from './if.mjs';
+export * from './match-optional.mjs';
+export * from './match-result.mjs';
+export * from './portal.mjs';
+//# sourceMappingURL=index.d.mts.map

package/dist/control/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/control/index.mts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC"}

package/dist/control/index.mjs

@@ -0,0 +1,6 @@
+export * from './for.mjs';
+export * from './if.mjs';
+export * from './match-optional.mjs';
+export * from './match-result.mjs';
+export * from './portal.mjs';
+//# sourceMappingURL=index.mjs.map

package/dist/control/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sourceRoot":"","sources":["../../src/control/index.mts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC"}

package/dist/control/longest-increasing-subsequence.d.mts

@@ -0,0 +1,7 @@
+/**
+ * The positions in `values` of one longest strictly increasing subsequence,
+ * in O(n log n). `For` keeps the rows at these positions in place and moves
+ * only the others (SPEC.md 8.4).
+ */
+export declare const longestIncreasingSubsequence: (values: readonly number[]) => ReadonlySet<number>;
+//# sourceMappingURL=longest-increasing-subsequence.d.mts.map

package/dist/control/longest-increasing-subsequence.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"longest-increasing-subsequence.d.mts","sourceRoot":"","sources":["../../src/control/longest-increasing-subsequence.mts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,WAC/B,SAAS,MAAM,EAAE,KACxB,WAAW,CAAC,MAAM,CA6BpB,CAAC"}

package/dist/control/longest-increasing-subsequence.mjs

@@ -0,0 +1,37 @@
+
+
+
+
+
+export const longestIncreasingSubsequence = (values) => {
+
+    const mut_tails = [];
+
+    const mut_previous = [];
+    for (const [i, value] of values.entries()) {
+        const k = lowerBound(mut_tails, (position) => (values[position] ?? 0) < value);
+        mut_previous[i] = k > 0 ? mut_tails[k - 1] : undefined;
+        mut_tails[k] = i;
+    }
+    const mut_result = new Set();
+    for (let mut_i = mut_tails.at(-1); mut_i !== undefined; mut_i = mut_previous[mut_i]) {
+        mut_result.add(mut_i);
+    }
+    return mut_result;
+};
+
+const lowerBound = (sorted, isBefore) => {
+    let mut_low = 0;
+    let mut_high = sorted.length;
+    while (mut_low < mut_high) {
+        const middle = Math.floor((mut_low + mut_high) / 2);
+        if (isBefore(sorted[middle] ?? 0)) {
+            mut_low = middle + 1;
+        }
+        else {
+            mut_high = middle;
+        }
+    }
+    return mut_low;
+};
+//# sourceMappingURL=longest-increasing-subsequence.mjs.map

package/dist/control/longest-increasing-subsequence.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"longest-increasing-subsequence.mjs","sourceRoot":"","sources":["../../src/control/longest-increasing-subsequence.mts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAAyB,EACJ,EAAE;IACvB,0FAA0F;IAC1F,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,0EAA0E;IAC1E,MAAM,YAAY,GAA2B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,UAAU,CAClB,SAAS,EACT,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAC9C,CAAC;QAEF,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEvD,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KACE,IAAI,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAC5B,KAAK,KAAK,SAAS,EACnB,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,EAC3B,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,iEAAiE;AACjE,MAAM,UAAU,GAAG,CACjB,MAAyB,EACzB,QAAsC,EAC9B,EAAE;IACV,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,IAAI,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,OAAO,OAAO,GAAG,QAAQ,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAEpD,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAClC,OAAO,GAAG,MAAM,GAAG,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,MAAM,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

package/dist/control/match-optional.d.mts

@@ -0,0 +1,19 @@
+import { type InitializedObservable } from 'synstate';
+import { Optional } from 'ts-data-forge';
+import { type Bindable } from '../constant/index.mjs';
+import { type JSX } from '../jsx/index.mjs';
+/**
+ * Mounts `some` while `value` holds a value and `none` while it is empty
+ * (SPEC.md 8.3).
+ *
+ * `some` is called once per change from empty to present, with an observable
+ * of the value narrowed to `T`. While the value stays present, new values flow
+ * through that observable rather than rebuilding the branch. It is derived
+ * from `value`, not written to, so nothing is written during propagation.
+ */
+export declare const MatchOptional: <T>({ value, some, none, }: Readonly<{
+    value: Bindable<Optional<T>>;
+    some: (value$: InitializedObservable<T>) => JSX.Element;
+    none?: JSX.Element;
+}>) => JSX.Element;
+//# sourceMappingURL=match-optional.d.mts.map

package/dist/control/match-optional.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-optional.d.mts","sourceRoot":"","sources":["../../src/control/match-optional.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,qBAAqB,EAC3B,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAgB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAa,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAGvD;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,0BAI5B,QAAQ,CAAC;IACV,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,EAAE,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC;IACxD,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;CACpB,CAAC,KAAG,GAAG,CAAC,OAYN,CAAC"}

package/dist/control/match-optional.mjs

@@ -0,0 +1,21 @@
+import { filter, map, withInitialValue, } from 'synstate';
+import { Optional } from 'ts-data-forge';
+import { toObservable } from '../constant/index.mjs';
+import { mountable } from '../jsx/index.mjs';
+import { mountSwitch } from './mount-switch.mjs';
+
+
+
+
+
+
+
+
+
+export const MatchOptional = ({ value, some, none, }) => mountable(() => mountSwitch(value, Optional.isSome, (isSome, current) => isSome && Optional.isSome(current)
+    ? some(toObservable(value)
+        .pipe(filter(Optional.isSome))
+        .pipe(map((o) => o.value))
+        .pipe(withInitialValue(current.value)))
+    : none));
+//# sourceMappingURL=match-optional.mjs.map

package/dist/control/match-optional.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-optional.mjs","sourceRoot":"","sources":["../../src/control/match-optional.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,GAAG,EACH,gBAAgB,GAEjB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,YAAY,EAAiB,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,SAAS,EAAY,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAK,EAChC,KAAK,EACL,IAAI,EACJ,IAAI,GAKJ,EAAe,EAAE,CACjB,SAAS,CAAC,GAAG,EAAE,CACb,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CACtD,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC,CAAC,IAAI,CACF,YAAY,CAAC,KAAK,CAAC;SAChB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAC7B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACzB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACzC;IACH,CAAC,CAAC,IAAI,CACT,CACF,CAAC"}

package/dist/control/match-result.d.mts

@@ -0,0 +1,19 @@
+import { type InitializedObservable } from 'synstate';
+import { Result } from 'ts-data-forge';
+import { type Bindable } from '../constant/index.mjs';
+import { type JSX } from '../jsx/index.mjs';
+/**
+ * Mounts `ok` while `value` is `Ok` and `err` while it is `Err`
+ * (SPEC.md 8.3).
+ *
+ * Each branch is called once per change of tag, with an observable of the
+ * value narrowed to `S` or `E`; while the tag stays the same, new values flow
+ * through that observable rather than rebuilding the branch. It is derived
+ * from `value`, not written to, so nothing is written during propagation.
+ */
+export declare const MatchResult: <S, E>({ value, ok, err, }: Readonly<{
+    value: Bindable<Result<S, E>>;
+    ok: (value$: InitializedObservable<S>) => JSX.Element;
+    err: (error$: InitializedObservable<E>) => JSX.Element;
+}>) => JSX.Element;
+//# sourceMappingURL=match-result.d.mts.map

package/dist/control/match-result.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-result.d.mts","sourceRoot":"","sources":["../../src/control/match-result.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,qBAAqB,EAC3B,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EAAgB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAa,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAGvD;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,uBAI7B,QAAQ,CAAC;IACV,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,EAAE,EAAE,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC;IACtD,GAAG,EAAE,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC;CACxD,CAAC,KAAG,GAAG,CAAC,OAmBN,CAAC"}