@elaraai/e3-ui 1.0.6 → 1.0.8

package/dist/src/data.d.ts

@@ -8,7 +8,7 @@
  * @packageDocumentation
  */
 import { NullType, BooleanType, FunctionType, StructType, VariantType, OptionType, type EastType, type ExprType } from '@elaraai/east';
-import { type TreePath } from '@elaraai/e3-types';
+import type { DatasetDef, TaskDef } from '@elaraai/e3';
 /**
  * The two operating modes for {@link Data.bind}.
  *
@@ -107,7 +107,7 @@ export declare const DataBindHandleType: <T extends EastType | string>(t: T) =>
 }>;
 /**
  * The TypeScript type of a {@link Data.bind} handle bound to source type `T`
- * — i.e. the return of `Data.bind([T], …)`.
+ * — i.e. the return of `Data.bind(dataset)` for a `DatasetDef<T>`.
  *
  * @remarks
  * Unlike the bare `binding` field (a {@link DiffBindingType} descriptor that is
@@ -172,17 +172,83 @@ export declare const bindPlatformFn: import("@elaraai/east").GenericPlatformDefi
  * @property mode - Operating mode. `"staged"` (default) buffers edits
  *   locally and commits on demand; `"direct"` writes through immediately.
  * @property patch - When supplied, the binding's commit / live writes
- *   target this patch dataset (typed `PatchType(T)`). Must be a static
- *   {@link TreePath} so manifest derivation can preload it; computed
- *   East-side path expressions are not supported. When omitted, writes
- *   target the source itself.
+ *   target this patch dataset (typed `PatchType(T)`) instead of the
+ *   source. Its path comes from the def, so it is statically known for
+ *   manifest derivation by construction.
  */
 export interface DataBindOptions {
     /** Operating mode — `"staged"` (default) or `"direct"`. */
     mode?: DataBindModeLiteral;
-    /** Optional separate patch dataset path. Must be statically known. */
-    patch?: TreePath;
+    /** Optional separate patch dataset (typed `PatchType(T)`) — the
+     *  binding's commit / live writes target it instead of the source. */
+    patch?: DatasetDef;
 }
+/**
+ * Bind a dataset to a reactive view of its current value, with optional
+ * local staging or a separate server-backed patch dataset.
+ *
+ * Takes the {@link DatasetDef} returned by `e3.input` (or a {@link TaskDef},
+ * which binds its output dataset) — the binding's path and value type are
+ * both taken from the def, the same way task wiring does.
+ *
+ * @typeParam T - The East type of the source dataset value (from the def).
+ * @param dataset - The dataset (or task) definition to bind.
+ * @param options - {@link DataBindOptions}. When omitted, defaults to
+ *   `{ mode: "staged" }` (no separate patch dataset, edits buffered
+ *   locally until commit).
+ * @returns A handle struct described by {@link DataBindHandleType} —
+ *   `read` / `write` / `writeAndStart` / `source` / `pending` /
+ *   `commit` / `discard` / `has` / `status` / `binding`.
+ *
+ * @remarks
+ * Per-mode semantics matrix (rows are `mode × patch`, columns are
+ * methods):
+ *
+ * | mode    | patch   | `read()`                            | `write(v)`                              | `commit()`                                          | `discard()`                  | `pending()`         |
+ * |---------|---------|-------------------------------------|-----------------------------------------|-----------------------------------------------------|------------------------------|---------------------|
+ * | direct  | absent  | source                              | dataset write                           | no-op                                               | no-op                        | always false        |
+ * | direct  | present | apply(source, patch dataset)        | write diff(source, v) → patch dataset   | apply patch → source; clear patch dataset           | clear patch dataset          | patch non-trivial   |
+ * | staged  | absent  | buffered ?? source                  | update buffer (pin snapshot first time) | apply buffer → source; drop buffer                  | drop buffer                  | buffer non-empty    |
+ * | staged  | present | buffered ?? apply(source, patch)    | update buffer                           | write diff(source, buffer) → patch dataset; drop buffer | drop buffer (patch intact) | buffer non-empty  |
+ *
+ * `writeAndStart(v)` kicks the workspace dataflow after the write — only
+ * meaningful for `mode = "direct"` without a `patch` dataset; in other
+ * modes it falls back to `write(v)` (the workspace dataflow is triggered
+ * on `commit` instead).
+ *
+ * The `binding` field surfaces this binding's descriptor as a
+ * {@link DiffBindingType} value — pass it directly to
+ * {@link Diff.Root}'s `bindings` array to surface the in-flight change
+ * in a Diff card.
+ *
+ * Use inside `Reactive.Root` so `read` / `pending` / `status` re-fire
+ * on every dataset or staging-buffer change.
+ *
+ * @example
+ * ```ts
+ * import { East, FloatType, NullType } from "@elaraai/east";
+ * import { Reactive, Slider, UIComponentType } from "@elaraai/east-ui";
+ * import { Data, Diff } from "@elaraai/e3-ui";
+ * import * as e3 from "@elaraai/e3";
+ *
+ * const thresholdInput = e3.input("threshold", FloatType, 38.0);
+ *
+ * // Mirrors `dataBindStaged` in test/data.examples.ts.
+ * const dataBindStaged = East.function([], UIComponentType, _$ => {
+ *     return Reactive.Root(East.function([], UIComponentType, $ => {
+ *         const view = $.let(Data.bind(thresholdInput));
+ *         const value = $.let(view.read(), FloatType);
+ *         return Slider.Root(value, {
+ *             min: 30.0, max: 60.0, step: 1.0,
+ *             onChangeEnd: East.function([FloatType], NullType, ($, v) => {
+ *                  $(view.write(v));
+ *             }),
+ *         });
+ *     }));
+ * });
+ * ```
+ */
+declare function bindData<T extends EastType>(dataset: DatasetDef<T> | TaskDef<T>, options?: DataBindOptions): BoundValue<T>;
 /**
  * The Data namespace — reactive dataset binding for e3 UI tasks.
  *
@@ -195,68 +261,7 @@ export interface DataBindOptions {
  * datasets change.
  */
 export declare const Data: {
-    /**
-     * Bind a dataset path to a reactive view of its current value, with
-     * optional local staging or a separate server-backed patch dataset.
-     *
-     * @typeParam T - The East type of the source dataset value.
-     * @param types - Single-element type-args tuple `[T]`.
-     * @param source - The source dataset path.
-     * @param options - {@link DataBindOptions}. When omitted, defaults to
-     *   `{ mode: "staged" }` (no separate patch dataset, edits buffered
-     *   locally until commit).
-     * @returns A handle struct described by {@link DataBindHandleType} —
-     *   `read` / `write` / `writeAndStart` / `source` / `pending` /
-     *   `commit` / `discard` / `has` / `status` / `binding`.
-     *
-     * @remarks
-     * Per-mode semantics matrix (rows are `mode × patch`, columns are
-     * methods):
-     *
-     * | mode    | patch   | `read()`                            | `write(v)`                              | `commit()`                                          | `discard()`                  | `pending()`         |
-     * |---------|---------|-------------------------------------|-----------------------------------------|-----------------------------------------------------|------------------------------|---------------------|
-     * | direct  | absent  | source                              | dataset write                           | no-op                                               | no-op                        | always false        |
-     * | direct  | present | apply(source, patch dataset)        | write diff(source, v) → patch dataset   | apply patch → source; clear patch dataset           | clear patch dataset          | patch non-trivial   |
-     * | staged  | absent  | buffered ?? source                  | update buffer (pin snapshot first time) | apply buffer → source; drop buffer                  | drop buffer                  | buffer non-empty    |
-     * | staged  | present | buffered ?? apply(source, patch)    | update buffer                           | write diff(source, buffer) → patch dataset; drop buffer | drop buffer (patch intact) | buffer non-empty  |
-     *
-     * `writeAndStart(v)` kicks the workspace dataflow after the write — only
-     * meaningful for `mode = "direct"` without a `patch` dataset; in other
-     * modes it falls back to `write(v)` (the workspace dataflow is triggered
-     * on `commit` instead).
-     *
-     * The `binding` field surfaces this binding's descriptor as a
-     * {@link DiffBindingType} value — pass it directly to
-     * {@link Diff.Root}'s `bindings` array to surface the in-flight change
-     * in a Diff card.
-     *
-     * Use inside `Reactive.Root` so `read` / `pending` / `status` re-fire
-     * on every dataset or staging-buffer change.
-     *
-     * @example
-     * ```ts
-     * import { East, FloatType, NullType } from "@elaraai/east";
-     * import { Reactive, Slider, UIComponentType } from "@elaraai/east-ui";
-     * import { Data, Diff } from "@elaraai/e3-ui";
-     * import * as e3 from "@elaraai/e3";
-     *
-     * const thresholdInput = e3.input("threshold", FloatType, 38.0);
-     *
-     * // Mirrors `dataBindStaged` in test/data.examples.ts.
-     * const dataBindStaged = East.function([], UIComponentType, _$ => {
-     *     return Reactive.Root(East.function([], UIComponentType, $ => {
-     *         const view = $.let(Data.bind([FloatType], thresholdInput.path));
-     *         const value = $.let(view.read(), FloatType);
-     *         return Slider.Root(value, {
-     *             min: 30.0, max: 60.0, step: 1.0,
-     *             onChangeEnd: East.function([FloatType], NullType, ($, v) => {
-     *                  $(view.write(v));
-     *             }),
-     *         });
-     *     }));
-     * });
-     * ```
-     */
-    readonly bind: <T extends EastType>(types: [T], source: TreePath, options?: DataBindOptions) => BoundValue<T>;
+    readonly bind: typeof bindData;
 };
+export {};
 //# sourceMappingURL=data.d.ts.map

package/dist/src/data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../src/data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAEH,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,UAAU,EAIV,KAAK,QAAQ,EACb,KAAK,QAAQ,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAmC,KAAK,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAMnF;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB;;;EAG3B,CAAC;AACH,+CAA+C;AAC/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEtD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;EAI1B,CAAC;AACH,8CAA8C;AAC9C,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC;AAMrD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,QAAQ,GAAG,MAAM,EAAE,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;EAWlE,CAAC;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAMhG;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiB1B,CAAC;AAMF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe;IAC5B,2DAA2D;IAC3D,IAAI,CAAC,EAAG,mBAAmB,CAAC;IAC5B,sEAAsE;IACtE,KAAK,CAAC,EAAE,QAAQ,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,IAAI;IACb;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6DG;oBACE,CAAC,SAAS,QAAQ,SACZ,CAAC,CAAC,CAAC,UACF,QAAQ,YACN,eAAe,KAC1B,UAAU,CAAC,CAAC,CAAC;CAaV,CAAC"}
+{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../src/data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAEH,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,UAAU,EAIV,KAAK,QAAQ,EACb,KAAK,QAAQ,EAChB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAMvD;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB;;;EAG3B,CAAC;AACH,+CAA+C;AAC/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEtD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;EAI1B,CAAC;AACH,8CAA8C;AAC9C,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC;AAMrD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,QAAQ,GAAG,MAAM,EAAE,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;EAWlE,CAAC;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAMhG;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiB1B,CAAC;AAMF;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC5B,2DAA2D;IAC3D,IAAI,CAAC,EAAG,mBAAmB,CAAC;IAC5B;0EACsE;IACtE,KAAK,CAAC,EAAE,UAAU,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AACH,iBAAS,QAAQ,CAAC,CAAC,SAAS,QAAQ,EAChC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EACnC,OAAO,CAAC,EAAE,eAAe,GAC1B,UAAU,CAAC,CAAC,CAAC,CAYf;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,IAAI;;CAEP,CAAC"}

package/dist/src/data.js

@@ -104,6 +104,84 @@ export const bindPlatformFn = East.genericPlatform("data_bind", ["T"], [TreePath
     status: FunctionType([], DatasetStatusType),
     binding: DiffBindingType,
 }), { optional: true });
+/**
+ * Bind a dataset to a reactive view of its current value, with optional
+ * local staging or a separate server-backed patch dataset.
+ *
+ * Takes the {@link DatasetDef} returned by `e3.input` (or a {@link TaskDef},
+ * which binds its output dataset) — the binding's path and value type are
+ * both taken from the def, the same way task wiring does.
+ *
+ * @typeParam T - The East type of the source dataset value (from the def).
+ * @param dataset - The dataset (or task) definition to bind.
+ * @param options - {@link DataBindOptions}. When omitted, defaults to
+ *   `{ mode: "staged" }` (no separate patch dataset, edits buffered
+ *   locally until commit).
+ * @returns A handle struct described by {@link DataBindHandleType} —
+ *   `read` / `write` / `writeAndStart` / `source` / `pending` /
+ *   `commit` / `discard` / `has` / `status` / `binding`.
+ *
+ * @remarks
+ * Per-mode semantics matrix (rows are `mode × patch`, columns are
+ * methods):
+ *
+ * | mode    | patch   | `read()`                            | `write(v)`                              | `commit()`                                          | `discard()`                  | `pending()`         |
+ * |---------|---------|-------------------------------------|-----------------------------------------|-----------------------------------------------------|------------------------------|---------------------|
+ * | direct  | absent  | source                              | dataset write                           | no-op                                               | no-op                        | always false        |
+ * | direct  | present | apply(source, patch dataset)        | write diff(source, v) → patch dataset   | apply patch → source; clear patch dataset           | clear patch dataset          | patch non-trivial   |
+ * | staged  | absent  | buffered ?? source                  | update buffer (pin snapshot first time) | apply buffer → source; drop buffer                  | drop buffer                  | buffer non-empty    |
+ * | staged  | present | buffered ?? apply(source, patch)    | update buffer                           | write diff(source, buffer) → patch dataset; drop buffer | drop buffer (patch intact) | buffer non-empty  |
+ *
+ * `writeAndStart(v)` kicks the workspace dataflow after the write — only
+ * meaningful for `mode = "direct"` without a `patch` dataset; in other
+ * modes it falls back to `write(v)` (the workspace dataflow is triggered
+ * on `commit` instead).
+ *
+ * The `binding` field surfaces this binding's descriptor as a
+ * {@link DiffBindingType} value — pass it directly to
+ * {@link Diff.Root}'s `bindings` array to surface the in-flight change
+ * in a Diff card.
+ *
+ * Use inside `Reactive.Root` so `read` / `pending` / `status` re-fire
+ * on every dataset or staging-buffer change.
+ *
+ * @example
+ * ```ts
+ * import { East, FloatType, NullType } from "@elaraai/east";
+ * import { Reactive, Slider, UIComponentType } from "@elaraai/east-ui";
+ * import { Data, Diff } from "@elaraai/e3-ui";
+ * import * as e3 from "@elaraai/e3";
+ *
+ * const thresholdInput = e3.input("threshold", FloatType, 38.0);
+ *
+ * // Mirrors `dataBindStaged` in test/data.examples.ts.
+ * const dataBindStaged = East.function([], UIComponentType, _$ => {
+ *     return Reactive.Root(East.function([], UIComponentType, $ => {
+ *         const view = $.let(Data.bind(thresholdInput));
+ *         const value = $.let(view.read(), FloatType);
+ *         return Slider.Root(value, {
+ *             min: 30.0, max: 60.0, step: 1.0,
+ *             onChangeEnd: East.function([FloatType], NullType, ($, v) => {
+ *                  $(view.write(v));
+ *             }),
+ *         });
+ *     }));
+ * });
+ * ```
+ */
+function bindData(dataset, options) {
+    // A TaskDef binds its output dataset; a DatasetDef binds itself.
+    const def = dataset.kind === 'task' ? dataset.output : dataset;
+    // Source / patch paths come from the defs, so they are statically known
+    // by construction — manifest derivation (`deriveManifest`) needs each as
+    // a single literal `Value` IR node, which `East.value(...)` forces.
+    const sourceValue = East.value(def.path, TreePathType);
+    const modeValue = East.value(variant(options?.mode ?? "staged", null), DataBindModeType);
+    const patchValue = options?.patch === undefined
+        ? East.value(none, OptionType(TreePathType))
+        : East.value(some(options.patch.path), OptionType(TreePathType));
+    return bindPlatformFn([def.type], sourceValue, patchValue, modeValue);
+}
 /**
  * The Data namespace — reactive dataset binding for e3 UI tasks.
  *
@@ -116,80 +194,6 @@ export const bindPlatformFn = East.genericPlatform("data_bind", ["T"], [TreePath
  * datasets change.
  */
 export const Data = {
-    /**
-     * Bind a dataset path to a reactive view of its current value, with
-     * optional local staging or a separate server-backed patch dataset.
-     *
-     * @typeParam T - The East type of the source dataset value.
-     * @param types - Single-element type-args tuple `[T]`.
-     * @param source - The source dataset path.
-     * @param options - {@link DataBindOptions}. When omitted, defaults to
-     *   `{ mode: "staged" }` (no separate patch dataset, edits buffered
-     *   locally until commit).
-     * @returns A handle struct described by {@link DataBindHandleType} —
-     *   `read` / `write` / `writeAndStart` / `source` / `pending` /
-     *   `commit` / `discard` / `has` / `status` / `binding`.
-     *
-     * @remarks
-     * Per-mode semantics matrix (rows are `mode × patch`, columns are
-     * methods):
-     *
-     * | mode    | patch   | `read()`                            | `write(v)`                              | `commit()`                                          | `discard()`                  | `pending()`         |
-     * |---------|---------|-------------------------------------|-----------------------------------------|-----------------------------------------------------|------------------------------|---------------------|
-     * | direct  | absent  | source                              | dataset write                           | no-op                                               | no-op                        | always false        |
-     * | direct  | present | apply(source, patch dataset)        | write diff(source, v) → patch dataset   | apply patch → source; clear patch dataset           | clear patch dataset          | patch non-trivial   |
-     * | staged  | absent  | buffered ?? source                  | update buffer (pin snapshot first time) | apply buffer → source; drop buffer                  | drop buffer                  | buffer non-empty    |
-     * | staged  | present | buffered ?? apply(source, patch)    | update buffer                           | write diff(source, buffer) → patch dataset; drop buffer | drop buffer (patch intact) | buffer non-empty  |
-     *
-     * `writeAndStart(v)` kicks the workspace dataflow after the write — only
-     * meaningful for `mode = "direct"` without a `patch` dataset; in other
-     * modes it falls back to `write(v)` (the workspace dataflow is triggered
-     * on `commit` instead).
-     *
-     * The `binding` field surfaces this binding's descriptor as a
-     * {@link DiffBindingType} value — pass it directly to
-     * {@link Diff.Root}'s `bindings` array to surface the in-flight change
-     * in a Diff card.
-     *
-     * Use inside `Reactive.Root` so `read` / `pending` / `status` re-fire
-     * on every dataset or staging-buffer change.
-     *
-     * @example
-     * ```ts
-     * import { East, FloatType, NullType } from "@elaraai/east";
-     * import { Reactive, Slider, UIComponentType } from "@elaraai/east-ui";
-     * import { Data, Diff } from "@elaraai/e3-ui";
-     * import * as e3 from "@elaraai/e3";
-     *
-     * const thresholdInput = e3.input("threshold", FloatType, 38.0);
-     *
-     * // Mirrors `dataBindStaged` in test/data.examples.ts.
-     * const dataBindStaged = East.function([], UIComponentType, _$ => {
-     *     return Reactive.Root(East.function([], UIComponentType, $ => {
-     *         const view = $.let(Data.bind([FloatType], thresholdInput.path));
-     *         const value = $.let(view.read(), FloatType);
-     *         return Slider.Root(value, {
-     *             min: 30.0, max: 60.0, step: 1.0,
-     *             onChangeEnd: East.function([FloatType], NullType, ($, v) => {
-     *                  $(view.write(v));
-     *             }),
-     *         });
-     *     }));
-     * });
-     * ```
-     */
-    bind(types, source, options) {
-        // Source / patch paths must be statically known so manifest
-        // derivation (`deriveManifest`) can preload them. We wrap each
-        // explicitly via `East.value(...)` to force a single literal
-        // `Value` IR node — the only IR shape `derive.ts` needs to
-        // handle.
-        const sourceValue = East.value(source, TreePathType);
-        const modeValue = East.value(variant(options?.mode ?? "staged", null), DataBindModeType);
-        const patchValue = options?.patch === undefined
-            ? East.value(none, OptionType(TreePathType))
-            : East.value(some(options.patch), OptionType(TreePathType));
-        return bindPlatformFn(types, sourceValue, patchValue, modeValue);
-    },
+    bind: bindData,
 };
 //# sourceMappingURL=data.js.map

package/dist/src/data.js.map

@@ -1 +1 @@
-{"version":3,"file":"data.js","sourceRoot":"","sources":["../../src/data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EACH,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,OAAO,GAGV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAiB,MAAM,mBAAmB,CAAC;AAEnF,+EAA+E;AAC/E,oEAAoE;AACpE,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;IACxC,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACnB,CAAC,CAAC;AAOH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACtC,MAAM,EAAE,YAAY;IACpB,KAAK,EAAG,UAAU,CAAC,YAAY,CAAC;IAChC,IAAI,EAAI,gBAAgB;CAC3B,CAAC,CAAC;AAIH,+EAA+E;AAC/E,4CAA4C;AAC5C,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAA8B,CAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAChF,IAAI,EAAW,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,KAAK,EAAU,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;IAC1C,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;IAC1C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,GAAG,EAAY,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAClD,OAAO,EAAQ,eAAe;CACjC,CAAC,CAAC;AAwBH,+EAA+E;AAC/E,iDAAiD;AACjD,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,CAC9C,WAAW,EACX,CAAC,GAAG,CAAC,EACL,CAAC,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC,EAC1D,UAAU,CAAC;IACP,IAAI,EAAW,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC;IACpC,KAAK,EAAU,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAC5C,aAAa,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC;IACpC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,GAAG,EAAY,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAClD,OAAO,EAAQ,eAAe;CACjC,CAAC,EACF,EAAE,QAAQ,EAAE,IAAI,EAAE,CACrB,CAAC;AAwBF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6DG;IACH,IAAI,CACA,KAAU,EACV,MAAgB,EAChB,OAAyB;QAEzB,4DAA4D;QAC5D,+DAA+D;QAC/D,6DAA6D;QAC7D,2DAA2D;QAC3D,UAAU;QACV,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACzF,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,KAAK,SAAS;YAC3C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC;YAC5C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;QAChE,OAAO,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAkB,CAAC;IACtF,CAAC;CACK,CAAC"}
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../src/data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EACH,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,OAAO,GAGV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAGpE,+EAA+E;AAC/E,oEAAoE;AACpE,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;IACxC,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACnB,CAAC,CAAC;AAOH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACtC,MAAM,EAAE,YAAY;IACpB,KAAK,EAAG,UAAU,CAAC,YAAY,CAAC;IAChC,IAAI,EAAI,gBAAgB;CAC3B,CAAC,CAAC;AAIH,+EAA+E;AAC/E,4CAA4C;AAC5C,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAA8B,CAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAChF,IAAI,EAAW,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,KAAK,EAAU,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;IAC1C,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;IAC1C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,GAAG,EAAY,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAClD,OAAO,EAAQ,eAAe;CACjC,CAAC,CAAC;AAwBH,+EAA+E;AAC/E,iDAAiD;AACjD,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,CAC9C,WAAW,EACX,CAAC,GAAG,CAAC,EACL,CAAC,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC,EAC1D,UAAU,CAAC;IACP,IAAI,EAAW,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC;IACpC,KAAK,EAAU,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAC5C,aAAa,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC;IACpC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,OAAO,EAAQ,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACzC,GAAG,EAAY,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IAC5C,MAAM,EAAS,YAAY,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAClD,OAAO,EAAQ,eAAe;CACjC,CAAC,EACF,EAAE,QAAQ,EAAE,IAAI,EAAE,CACrB,CAAC;AAwBF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AACH,SAAS,QAAQ,CACb,OAAmC,EACnC,OAAyB;IAEzB,iEAAiE;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/D,wEAAwE;IACxE,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,KAAK,SAAS;QAC3C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IACrE,OAAO,cAAc,CAAC,CAAC,GAAG,CAAC,IAAS,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAkB,CAAC;AAChG,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAChB,IAAI,EAAE,QAAQ;CACR,CAAC"}

package/dist/src/decision/bind.d.ts

@@ -52,7 +52,7 @@ export type CommitStateType = typeof CommitStateType;
 /**
  * Build the judgements dataset type for a constraint contract — staged
  * judgements keyed by case id. Bind it with
- * `Data.bind([Decision.Types.Judgements(Contract)], judgementsInput.path)`.
+ * `Data.bind(judgementsInput)`.
  */
 export declare function judgementsType<C extends EastType = DecisionConstraintType>(constraint?: C): DictType<StringType, StructType<{
     readonly caseId: StringType;
@@ -4549,10 +4549,10 @@ export declare const decisionBindPlatformFn: import("@elaraai/east").GenericPlat
  * Options for {@link decisionBind}.
  *
  * @property decisions - The bound decision views — one
- *   `Data.bind([ArrayType(Decision.Types.Decision)], …)` handle per
+ *   `Data.bind(…)` handle per
  *   reasoning task (source ⊕ patch each)
  * @property judgements - The bound judgements view —
- *   `Data.bind([Decision.Types.Judgements(Contract)], …)` (the staged
+ *   `Data.bind(…)` (the staged
  *   operator input)
  * @property slice - Optional initial state for the handle-owned slice over
  *   the queue (`Slice.state({ filters: [...] })`). Seeded once; the
@@ -4584,8 +4584,8 @@ export interface DecisionBindOptions<C extends EastType = DecisionConstraintType
  *
  * @example
  * ```tsx
- * const rosterView = $.let(Data.bind([ArrayType(Decision.Types.Decision)], rosterOut.path, { patch: rosterPatch.path }));
- * const judgementsView = $.let(Data.bind([Decision.Types.Judgements(RosterConstraint)], judgementsInput.path));
+ * const rosterView = $.let(Data.bind(rosterOut, { patch: rosterPatch }));
+ * const judgementsView = $.let(Data.bind(judgementsInput));
  * const handle = $.let(Decision.bind([RosterConstraint], { decisions: [rosterView], judgements: judgementsView }));
  * ```
  */

package/dist/src/decision/bind.js

@@ -56,7 +56,7 @@ export const CommitStateType = VariantType({
 /**
  * Build the judgements dataset type for a constraint contract — staged
  * judgements keyed by case id. Bind it with
- * `Data.bind([Decision.Types.Judgements(Contract)], judgementsInput.path)`.
+ * `Data.bind(judgementsInput)`.
  */
 export function judgementsType(constraint) {
     return DictType(StringType, judgementInputType(constraint));

package/dist/src/derive.d.ts

@@ -7,7 +7,8 @@
  *
  * Finds every `Data.bind(...)` platform call (the walker recurses into
  * nested `FunctionIR` bodies) and reads its source + (optional) patch
- * path arguments.
+ * path arguments, plus every `Func.bind(...)` platform call and reads
+ * its literal function name.
  *
  * Both arguments are required to be statically known JS-side
  * `TreePath`s — the public `Data.bind` factory enforces this through

package/dist/src/derive.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../src/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,EAAE,EAA8C,MAAM,eAAe,CAAC;AAGpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAKlD,yDAAyD;AACzD,wBAAgB,cAAc,CAC1B,EAAE,EAAE;IAAE,IAAI,IAAI;QAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,GAC3B,YAAY,CA4Bd"}
+{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../src/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,EAAE,EAA8C,MAAM,eAAe,CAAC;AAGpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAQlD,yDAAyD;AACzD,wBAAgB,cAAc,CAC1B,EAAE,EAAE;IAAE,IAAI,IAAI;QAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,GAC3B,YAAY,CAiCd"}

package/dist/src/derive.js

@@ -5,13 +5,20 @@
 import { variant, walkIR, literalValueOf } from '@elaraai/east';
 /** Platform-fn name we extract paths from. */
 const DATA_BIND = "data_bind";
+/** Platform-fn name we extract bound function names from. */
+const FUNCTION_BIND = "function_bind";
 /** Walk `fn`'s IR and derive its bound-path manifest. */
 export function deriveManifest(fn) {
     const paths = [];
+    const functions = [];
     walkIR(fn.toIR().ir, (node) => {
         if (node.type !== 'Platform')
             return;
         const platform = node;
+        if (platform.value.name === FUNCTION_BIND) {
+            functions.push(readFunctionName(platform.value.arguments[0]));
+            return;
+        }
         if (platform.value.name !== DATA_BIND)
             return;
         // arg[0] — source: always a NewArray of Variant("field", Value(string)).
@@ -30,7 +37,22 @@ export function deriveManifest(fn) {
             throw new Error(`Data.bind: patch variant tag must be "some" or "none"; got "${patchVariant.case}".`);
         }
     });
-    return { paths: dedupePaths(paths) };
+    return { paths: dedupePaths(paths), functions: [...new Set(functions)] };
+}
+/**
+ * Read a literal function name from a `Value` IR node — the only shape
+ * `Func.bind` produces (its TS signature requires a JS string).
+ */
+function readFunctionName(ir) {
+    if (ir.type !== 'Value') {
+        throw new Error(`Func.bind: the function name must be a literal string; got dynamic IR (${ir.type}). ` +
+            `Pass a JS string, not a computed expression.`);
+    }
+    const name = literalValueOf(ir);
+    if (typeof name !== 'string') {
+        throw new Error(`Func.bind: the function name must be a string literal; got ${typeof name}.`);
+    }
+    return name;
 }
 /**
  * Read a literal `TreePath` from a `NewArray` IR node. Each element is

package/dist/src/derive.js.map

@@ -1 +1 @@
-{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../src/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwBH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAIhE,8CAA8C;AAC9C,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC1B,EAA0B;IAE1B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,MAAM,QAAQ,GAAG,IAAkB,CAAC;QACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QAE9C,yEAAyE;QACzE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAC,CAAC,CAAC;QAE5D,iEAAiE;QACjE,qDAAqD;QACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAC;QACnD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACX,wEAAwE,QAAQ,CAAC,IAAI,IAAI,CAC5F,CAAC;QACN,CAAC;QACD,MAAM,YAAY,GAAI,QAAsB,CAAC,KAAK,CAAC;QACnD,IAAI,YAAY,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,KAAW,CAAC,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACX,+DAA+D,YAAY,CAAC,IAAI,IAAI,CACvF,CAAC;QACN,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,EAAM;IACxB,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACX,+DAA+D,EAAE,CAAC,IAAI,KAAK;YAC3E,sEAAsE,CACzE,CAAC;IACN,CAAC;IACD,OAAQ,EAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAS,EAAE,EAAE;QACrD,MAAM,CAAC,GAAG,KAAkB,CAAC;QAC7B,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,KAAgB,CAAW,CAAC;QACrE,OAAO,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../src/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAyBH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAIhE,8CAA8C;AAC9C,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,6DAA6D;AAC7D,MAAM,aAAa,GAAG,eAAe,CAAC;AAEtC,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC1B,EAA0B;IAE1B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,MAAM,QAAQ,GAAG,IAAkB,CAAC;QACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAC,CAAC,CAAC;YACpE,OAAO;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QAE9C,yEAAyE;QACzE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAC,CAAC,CAAC;QAE5D,iEAAiE;QACjE,qDAAqD;QACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAC;QACnD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACX,wEAAwE,QAAQ,CAAC,IAAI,IAAI,CAC5F,CAAC;QACN,CAAC;QACD,MAAM,YAAY,GAAI,QAAsB,CAAC,KAAK,CAAC;QACnD,IAAI,YAAY,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,KAAW,CAAC,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACX,+DAA+D,YAAY,CAAC,IAAI,IAAI,CACvF,CAAC;QACN,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,EAAM;IAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACX,0EAA0E,EAAE,CAAC,IAAI,KAAK;YACtF,8CAA8C,CACjD,CAAC;IACN,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,EAAa,CAAC,CAAC;IAC3C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,8DAA8D,OAAO,IAAI,GAAG,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,EAAM;IACxB,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACX,+DAA+D,EAAE,CAAC,IAAI,KAAK;YAC3E,sEAAsE,CACzE,CAAC;IACN,CAAC;IACD,OAAQ,EAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAS,EAAE,EAAE;QACrD,MAAM,CAAC,GAAG,KAAkB,CAAC;QAC7B,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,KAAgB,CAAW,CAAC;QACrE,OAAO,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/src/diff.d.ts

@@ -271,7 +271,7 @@ export declare const Diff: {
      * // Mirrors `diffDefaults` in test/diff.examples.ts (wired via Assert.examples).
      * const diffDefaults = East.function([], UIComponentType, _$ => {
      *     return Reactive.Root(East.function([], UIComponentType, $ => {
-     *         const view = $.let(Data.bind([FloatType], maxWeeklyHoursInput.path));
+     *         const view = $.let(Data.bind(maxWeeklyHoursInput));
      *         return Diff.Root({ bindings: [view.binding] });
      *     }));
      * });

package/dist/src/diff.js

@@ -162,7 +162,7 @@ export const Diff = {
      * // Mirrors `diffDefaults` in test/diff.examples.ts (wired via Assert.examples).
      * const diffDefaults = East.function([], UIComponentType, _$ => {
      *     return Reactive.Root(East.function([], UIComponentType, $ => {
-     *         const view = $.let(Data.bind([FloatType], maxWeeklyHoursInput.path));
+     *         const view = $.let(Data.bind(maxWeeklyHoursInput));
      *         return Diff.Root({ bindings: [view.binding] });
      *     }));
      * });