@elaraai/e3-ui 1.0.94 → 1.0.96

package/dist/src/allocation/adapters.d.ts

@@ -0,0 +1,159 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Allocation's adapters (#1371, `Builder Interfaces Spec.md` §6.1, §6.4):
+ * what the board books from, the app's keyed rows read as arrivals through
+ * accessors, `(row, key) => …`, each reified once into one East function and
+ * called per row, as `Schedule.resources` reifies its own; and the board's
+ * lanes and resources, built from their `Schedule.resources` kinds' accessors
+ * the same way. The board writes none of them: it writes the app's bins
+ * (`Schedule.events`) and its days (`Schedule.periods`).
+ *
+ * An arrival's `values` gives a bin booked from it the fields no role maps
+ * (B13). Those are the bin kind's, which only the tag holds, so `values` is
+ * reified there, at the bin kind's own fields (`allocationInitial`).
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BlobType, DateTimeType, FloatType, FunctionType, OptionType, StringType, type DictType, type EastType, type ExprType, type StructType, type SubtypeExprOrValue } from "@elaraai/east";
+import { TimeStepType } from "@elaraai/east-ui";
+import type { ScheduleResourceKind } from "../schedule/resources.js";
+import { AllocationArrivalType, AllocationDetailType, AllocationIntervalType, AllocationLaneType, AllocationResourceType } from "./types.js";
+/** Brands an arrivals declaration, so the tag knows one from any other value. @internal */
+export declare const ALLOCATION_ARRIVALS: unique symbol;
+/**
+ * One of an arrival's accessors: what it reads from the app's row and its key.
+ *
+ * @typeParam R - The app's row type
+ * @typeParam T - What it returns
+ */
+export type AllocationArrivalAccessor<R extends EastType, T extends EastType> = (row: ExprType<R>, key: ExprType<StringType>) => SubtypeExprOrValue<T>;
+/**
+ * Accessors reading an app's rows as arrivals, what the board books from
+ * (§6.4).
+ *
+ * @typeParam R - The app's row type
+ */
+export interface AllocationArrivalsConfig<R extends EastType> {
+    /** Its code on cards, chips, captions and lists (`LD-2231`). */
+    label: AllocationArrivalAccessor<R, StringType>;
+    /** Its quantity, booked whole unless split: a bin booked from it takes it as its own. */
+    quantity: AllocationArrivalAccessor<R, FloatType>;
+    /** How long a resource holds a bin of it (`variant("days", 8)`): a bin booked from it keeps it. */
+    hold: AllocationArrivalAccessor<R, TimeStepType>;
+    /** What it goes with: a resource holding the same kind ranks it higher in `Allocation.fit`, and a bin booked from it keeps it. Omitted, none. */
+    kind?: AllocationArrivalAccessor<R, OptionType<StringType>>;
+    /** Its card's second line and the Table chip's tail (`BRK · R2 · spec MC12`). */
+    meta?: AllocationArrivalAccessor<R, OptionType<StringType>>;
+    /** When it is due: overdue before the plan day. */
+    due?: AllocationArrivalAccessor<R, OptionType<DateTimeType>>;
+    /** Its ready window, `[from, to)`. */
+    window?: AllocationArrivalAccessor<R, OptionType<AllocationIntervalType>>;
+    /** Read-only lines in a bin's inspector (`Settings`). */
+    details?: AllocationArrivalAccessor<R, ArrayType<AllocationDetailType>>;
+    /**
+     * A booked bin's own fields: the fields of the bin kind's row that no role maps, which a bin booked from it starts
+     * with (`(l) => ({ specBooked: l.spec, … })`). Omitted, each takes its type's default, as a reservation's always do.
+     */
+    values?: (row: ExprType<R>, key: ExprType<StringType>) => unknown;
+}
+/**
+ * An arrivals declaration: the app's rows and their accessors, each reified
+ * once (`Allocation.arrivals`), and the `values` the tag reifies at the bin
+ * kind's own fields.
+ */
+export interface AllocationArrivals {
+    /** The brand. */
+    readonly [ALLOCATION_ARRIVALS]: true;
+    /** Every arrival's row, by key. Erased, so arrivals of any rows are one declaration. */
+    readonly rows: ExprType<DictType<StringType, EastType>>;
+    /** The rows' type. */
+    readonly rowType: EastType;
+    /** One arrival from its row and its key: its accessors, each reified once and called once. */
+    readonly arrival: ExprType<FunctionType<[EastType, StringType], AllocationArrivalType>>;
+    /** The author's `values`, reified by the tag at the bin kind's own fields; `undefined` without one. */
+    readonly values: ((row: ExprType<EastType>, key: ExprType<StringType>) => unknown) | undefined;
+}
+/**
+ * Declares what the board books from: the arrivals, read from the app's keyed
+ * rows (§6.4).
+ *
+ * @typeParam R - The app's row type
+ * @param rows - Every arrival's row, by key — usually a record's `read()`: fits, checks and the library read every one
+ * @param config - The accessors; `values`, a booked bin's own fields
+ * @returns The declaration `<Allocation arrivals>` takes
+ * @throws {Error} When the rows are not a Dict keyed by String, or an accessor returns another type than it takes, naming what it returns
+ *
+ * @remarks
+ * Booking an arrival writes the bin's roles — `arrival` its key, `quantity`,
+ * `kind` and `hold` from these accessors, `parts` empty, `at` and `resource`
+ * where it is booked — and `values`' struct into the row's other fields.
+ *
+ * @example
+ * ```tsx
+ * import { DictType, FloatType, StringType, StructType, variant } from "@elaraai/east";
+ * import { Allocation, Data } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * const Load = StructType({ code: StringType, m3: FloatType, dryingDays: FloatType });
+ * const loads = e3.record("loads", DictType(StringType, Load), new Map());
+ *
+ * // Inside the board's Reactive body: every load the day may book.
+ * const arrivals = Allocation.arrivals(Data.bind(loads).read(), { label: (l) => l.code, quantity: (l) => l.m3, hold: (l) => variant("days", l.dryingDays) });
+ * ```
+ */
+export declare function allocationArrivals<R extends EastType>(rows: ExprType<DictType<StringType, R>>, config: AllocationArrivalsConfig<R>): AllocationArrivals;
+/**
+ * Whether a value is an arrivals declaration (`Allocation.arrivals`).
+ *
+ * @param value - What an app passed as `arrivals`
+ * @returns Whether it is one
+ * @internal
+ */
+export declare function isAllocationArrivals(value: unknown): value is AllocationArrivals;
+/**
+ * Every arrival, read from the app's rows through the declaration's
+ * accessors, each called once per row, in the rows' key order.
+ *
+ * @param arrivals - The declaration
+ * @returns Every arrival
+ * @internal
+ */
+export declare function allocationArrivalsOf(arrivals: AllocationArrivals): ExprType<ArrayType<AllocationArrivalType>>;
+/**
+ * The fields a bin booked from an arrival starts with, by the arrival's key:
+ * its `values`, as bytes at the bin kind's own fields (B13) — what the bin
+ * kind's `create` takes beside the bin's roles.
+ *
+ * @param arrivals - The declaration
+ * @param values - The bin kind's own fields, the ones no role maps (`allocationValues`)
+ * @returns An East function from an arrival's key to its starting fields as bytes at `values`; `none` for a key the arrivals do not hold, and for every key without `values`, so each field takes its type's default
+ * @throws {Error} When `values` returns another struct than `values`: a field missing, one the bin kind's own fields lack, or one of another type, naming both
+ * @internal
+ */
+export declare function allocationInitial(arrivals: AllocationArrivals, values: StructType): ExprType<FunctionType<[StringType], OptionType<BlobType>>>;
+/**
+ * The lanes, built from the lanes' resource kind's accessors, each called
+ * once per row, in key order (§6.2): each takes a bin each `every`, at its
+ * `offset` past the slot's start — on the slot itself without one.
+ *
+ * @param kind - The lanes' resource kind, read whole and keyed by String
+ * @returns Every lane
+ * @throws {Error} For a kind read a window at a time, which the tag refuses before it builds the lanes
+ * @internal
+ */
+export declare function allocationLanesOf(kind: ScheduleResourceKind<EastType, EastType>): ExprType<ArrayType<AllocationLaneType>>;
+/**
+ * The resources, built from the resources' kind's accessors, each called once
+ * per row, in key order (§6.2): every resource, whatever the narrowing shows,
+ * as fits, checks and totals read them.
+ *
+ * @param kind - The resources' kind, read whole and keyed by String, with `min` and `max`
+ * @returns Every resource; one with no `group` has none, no `note` none, no `hold` no time, and no `jobs` none
+ * @throws {Error} For a kind read a window at a time, or with no `min` or `max`, which the tag refuses before it builds the resources
+ * @internal
+ */
+export declare function allocationResourcesOf(kind: ScheduleResourceKind<EastType, EastType>): ExprType<ArrayType<AllocationResourceType>>;
+//# sourceMappingURL=adapters.d.ts.map

package/dist/src/allocation/adapters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapters.d.ts","sourceRoot":"","sources":["../../../src/allocation/adapters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAc,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAE9F,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,UAAU,EAAE,KAAK,kBAAkB,EACxF,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE7I,2FAA2F;AAC3F,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAAsC,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,MAAM,yBAAyB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,CAAC;AAEvJ;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB,CAAC,CAAC,SAAS,QAAQ;IACxD,gEAAgE;IAChE,KAAK,EAAE,yBAAyB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAChD,yFAAyF;IACzF,QAAQ,EAAE,yBAAyB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAClD,mGAAmG;IACnG,IAAI,EAAE,yBAAyB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IACjD,iJAAiJ;IACjJ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,iFAAiF;IACjF,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,mDAAmD;IACnD,GAAG,CAAC,EAAE,yBAAyB,CAAC,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7D,sCAAsC;IACtC,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAC1E,yDAAyD;IACzD,OAAO,CAAC,EAAE,yBAAyB,CAAC,CAAC,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACxE;;;OAGG;IACH,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC;CACrE;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IAC/B,iBAAiB;IACjB,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC;IACrC,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxD,sBAAsB;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,8FAA8F;IAC9F,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACxF,uGAAuG;IACvG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;CAClG;AAKD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAiDvJ;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAM7G;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAwB9I;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,CAkBzH;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAiCjI"}

package/dist/src/allocation/adapters.js

@@ -0,0 +1,241 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Allocation's adapters (#1371, `Builder Interfaces Spec.md` §6.1, §6.4):
+ * what the board books from, the app's keyed rows read as arrivals through
+ * accessors, `(row, key) => …`, each reified once into one East function and
+ * called per row, as `Schedule.resources` reifies its own; and the board's
+ * lanes and resources, built from their `Schedule.resources` kinds' accessors
+ * the same way. The board writes none of them: it writes the app's bins
+ * (`Schedule.events`) and its days (`Schedule.periods`).
+ *
+ * An arrival's `values` gives a bin booked from it the fields no role maps
+ * (B13). Those are the bin kind's, which only the tag holds, so `values` is
+ * reified there, at the bin kind's own fields (`allocationInitial`).
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BlobType, DateTimeType, East, Expr, FloatType, FunctionType, OptionType, StringType, isSubtype, isTypeEqual, none, printType, some, variant, } from "@elaraai/east";
+import { TimeStepType } from "@elaraai/east-ui";
+import { scheduleAccessor } from "../schedule/accessor.js";
+import { AllocationArrivalType, AllocationDetailType, AllocationIntervalType, AllocationLaneType, AllocationResourceType } from "./types.js";
+/** Brands an arrivals declaration, so the tag knows one from any other value. @internal */
+export const ALLOCATION_ARRIVALS = Symbol("Allocation.arrivals");
+/**
+ * Declares what the board books from: the arrivals, read from the app's keyed
+ * rows (§6.4).
+ *
+ * @typeParam R - The app's row type
+ * @param rows - Every arrival's row, by key — usually a record's `read()`: fits, checks and the library read every one
+ * @param config - The accessors; `values`, a booked bin's own fields
+ * @returns The declaration `<Allocation arrivals>` takes
+ * @throws {Error} When the rows are not a Dict keyed by String, or an accessor returns another type than it takes, naming what it returns
+ *
+ * @remarks
+ * Booking an arrival writes the bin's roles — `arrival` its key, `quantity`,
+ * `kind` and `hold` from these accessors, `parts` empty, `at` and `resource`
+ * where it is booked — and `values`' struct into the row's other fields.
+ *
+ * @example
+ * ```tsx
+ * import { DictType, FloatType, StringType, StructType, variant } from "@elaraai/east";
+ * import { Allocation, Data } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * const Load = StructType({ code: StringType, m3: FloatType, dryingDays: FloatType });
+ * const loads = e3.record("loads", DictType(StringType, Load), new Map());
+ *
+ * // Inside the board's Reactive body: every load the day may book.
+ * const arrivals = Allocation.arrivals(Data.bind(loads).read(), { label: (l) => l.code, quantity: (l) => l.m3, hold: (l) => variant("days", l.dryingDays) });
+ * ```
+ */
+export function allocationArrivals(rows, config) {
+    const where = "Allocation.arrivals";
+    const type = rows instanceof Expr ? Expr.type(rows) : undefined;
+    if (type === undefined || type.type !== "Dict" || !isTypeEqual(type.key, StringType)) {
+        throw new Error(`${where}: arrivals are a Dict keyed by String — a record's read() — and these are ${type === undefined ? "no East value" : printType(type)}`);
+    }
+    const rowType = type.value;
+    const given = config;
+    for (const prop of ["label", "quantity", "hold"]) {
+        if (typeof given[prop] !== "function")
+            throw new Error(`${where}: \`${prop}\` is an accessor, (row, key) => …, which the board reads of every arrival — give it`);
+    }
+    // Each accessor, one East function, called per row (`shared/reify.ts`' rule), held to the type it returns.
+    const accessor = (prop, out, what, fn) => fn === undefined ? undefined
+        : scheduleAccessor(rowType, StringType, out, fn, (returns) => `${where}: \`${prop}\` returns ${what} — and this one returns ${returns}`);
+    const optString = OptionType(StringType);
+    const label = accessor("label", StringType, "a String, an arrival's code", given.label);
+    const quantity = accessor("quantity", FloatType, "a Float, an arrival's quantity", given.quantity);
+    const hold = accessor("hold", TimeStepType, "a TimeStep, how long a resource holds a bin of it", given.hold);
+    const kind = accessor("kind", optString, "an Option of a String, what an arrival goes with on a resource", given.kind);
+    const meta = accessor("meta", optString, "an Option of a String, an arrival's second line", given.meta);
+    const due = accessor("due", OptionType(DateTimeType), "an Option of a DateTime, when an arrival is due", given.due);
+    const window = accessor("window", OptionType(AllocationIntervalType), "an Option of an Allocation.Types.Interval, an arrival's ready window", given.window);
+    const details = accessor("details", ArrayType(AllocationDetailType), "an Array of Allocation.Types.Detail, the lines a bin's inspector shows", given.details);
+    // One arrival from its row: each accessor called once.
+    const arrival = East.function([rowType, StringType], AllocationArrivalType, ($, row, key) => {
+        const call = (fn, otherwise) => {
+            if (fn === undefined)
+                return otherwise;
+            const bound = $.const(fn);
+            return bound(row, key);
+        };
+        const labelOf = $.const(label);
+        const quantityOf = $.const(quantity);
+        const holdOf = $.const(hold);
+        return {
+            key, label: labelOf(row, key), meta: call(meta, East.value(none, optString)),
+            quantity: quantityOf(row, key), hold: holdOf(row, key), kind: call(kind, East.value(none, optString)),
+            due: call(due, East.value(none, OptionType(DateTimeType))), window: call(window, East.value(none, OptionType(AllocationIntervalType))),
+            details: call(details, East.value([], ArrayType(AllocationDetailType))),
+        };
+    });
+    return {
+        [ALLOCATION_ARRIVALS]: true,
+        rows: rows,
+        rowType,
+        arrival: arrival,
+        values: given.values,
+    };
+}
+/**
+ * Whether a value is an arrivals declaration (`Allocation.arrivals`).
+ *
+ * @param value - What an app passed as `arrivals`
+ * @returns Whether it is one
+ * @internal
+ */
+export function isAllocationArrivals(value) {
+    return typeof value === "object" && value !== null && !(value instanceof Expr) && value[ALLOCATION_ARRIVALS] === true;
+}
+/**
+ * Every arrival, read from the app's rows through the declaration's
+ * accessors, each called once per row, in the rows' key order.
+ *
+ * @param arrivals - The declaration
+ * @returns Every arrival
+ * @internal
+ */
+export function allocationArrivalsOf(arrivals) {
+    const make = arrivals.arrival;
+    return arrivals.rows.toArray(($, row, key) => {
+        const arrivalOf = $.const(make);
+        return arrivalOf(row, key);
+    });
+}
+/**
+ * The fields a bin booked from an arrival starts with, by the arrival's key:
+ * its `values`, as bytes at the bin kind's own fields (B13) — what the bin
+ * kind's `create` takes beside the bin's roles.
+ *
+ * @param arrivals - The declaration
+ * @param values - The bin kind's own fields, the ones no role maps (`allocationValues`)
+ * @returns An East function from an arrival's key to its starting fields as bytes at `values`; `none` for a key the arrivals do not hold, and for every key without `values`, so each field takes its type's default
+ * @throws {Error} When `values` returns another struct than `values`: a field missing, one the bin kind's own fields lack, or one of another type, naming both
+ * @internal
+ */
+export function allocationInitial(arrivals, values) {
+    const given = arrivals.values;
+    if (given === undefined) {
+        return East.function([StringType], OptionType(BlobType), (_$, _key) => East.value(none, OptionType(BlobType)));
+    }
+    // What `values` returns, as East infers it from its own body: an object literal missing a field, or holding one the
+    // struct lacks, is a struct of another shape, refused naming both rather than read as East would convert it.
+    const inferred = Expr.type(East.function([arrivals.rowType, StringType], undefined, (_$, row, key) => given(row, key))).output;
+    if (!isSubtype(inferred, values)) {
+        throw new Error(`Allocation.arrivals: \`values\` returns a booked bin's own fields, the bin kind's fields no role maps — ${printType(values)} — ` +
+            `and this one returns ${printType(inferred)}`);
+    }
+    const start = East.function([arrivals.rowType, StringType], values, (_$, row, key) => given(row, key));
+    const rows = arrivals.rows;
+    return East.function([StringType], OptionType(BlobType), ($, key) => {
+        const all = $.const(rows);
+        const startOf = $.const(start);
+        const result = $.let(none, OptionType(BlobType));
+        $.match(all.tryGet(key), {
+            some: ($2, row) => { $2.assign(result, some(East.Blob.encodeBeast(startOf(row, key), "v2"))); },
+        });
+        return result;
+    });
+}
+/**
+ * The lanes, built from the lanes' resource kind's accessors, each called
+ * once per row, in key order (§6.2): each takes a bin each `every`, at its
+ * `offset` past the slot's start — on the slot itself without one.
+ *
+ * @param kind - The lanes' resource kind, read whole and keyed by String
+ * @returns Every lane
+ * @throws {Error} For a kind read a window at a time, which the tag refuses before it builds the lanes
+ * @internal
+ */
+export function allocationLanesOf(kind) {
+    if (kind.source === undefined)
+        throw new Error("Allocation: the lanes' kind is read whole — give its rows as a Dict, usually a record's read()");
+    const { label, offset } = kind.accessors;
+    const lane = East.function([kind.rowType, kind.keyType], AllocationLaneType, ($, row, key) => {
+        const labelOf = $.const(label);
+        let at;
+        if (offset === undefined) {
+            at = variant("minutes", 0.0);
+        }
+        else {
+            const offsetOf = $.const(offset);
+            at = offsetOf(row, key);
+        }
+        return { key: key, label: labelOf(row, key), offset: at };
+    });
+    return kind.source.toArray(($, row, key) => {
+        const make = $.const(lane);
+        return make(row, key);
+    });
+}
+/**
+ * The resources, built from the resources' kind's accessors, each called once
+ * per row, in key order (§6.2): every resource, whatever the narrowing shows,
+ * as fits, checks and totals read them.
+ *
+ * @param kind - The resources' kind, read whole and keyed by String, with `min` and `max`
+ * @returns Every resource; one with no `group` has none, no `note` none, no `hold` no time, and no `jobs` none
+ * @throws {Error} For a kind read a window at a time, or with no `min` or `max`, which the tag refuses before it builds the resources
+ * @internal
+ */
+export function allocationResourcesOf(kind) {
+    const a = kind.accessors;
+    const { min, max } = a;
+    if (kind.source === undefined || min === undefined || max === undefined) {
+        throw new Error("Allocation: the resources' kind is read whole and gives each resource's `min` and `max` — Schedule.resources(rows, { …, min, max })");
+    }
+    const resource = East.function([kind.rowType, kind.keyType], AllocationResourceType, ($, row, key) => {
+        const call = (fn, otherwise) => {
+            if (fn === undefined)
+                return otherwise;
+            const bound = $.const(fn);
+            return bound(row, key);
+        };
+        const labelOf = $.const(a.label);
+        const metaOf = $.const(a.meta);
+        const minOf = $.const(min);
+        const maxOf = $.const(max);
+        let group;
+        if (a.group === undefined) {
+            group = none;
+        }
+        else {
+            const groupOf = $.const(a.group);
+            group = some(groupOf(row, key));
+        }
+        return {
+            key: key, label: labelOf(row, key), group, meta: metaOf(row, key),
+            note: call(a.note, East.value(none, OptionType(StringType))), min: minOf(row, key), max: maxOf(row, key),
+            hold: call(a.hold, East.value(variant("days", 0.0), TimeStepType)), jobs: call(a.jobs, East.value([], AllocationResourceType.fields.jobs)),
+        };
+    });
+    return kind.source.toArray(($, row, key) => {
+        const make = $.const(resource);
+        return make(row, key);
+    });
+}
+//# sourceMappingURL=adapters.js.map

package/dist/src/allocation/adapters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapters.js","sourceRoot":"","sources":["../../../src/allocation/adapters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EACvI,IAAI,EAAE,OAAO,GAEhB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE7I,2FAA2F;AAC3F,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAC;AA6DhF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAqB,IAAuC,EAAE,MAAmC;IAC/H,MAAM,KAAK,GAAG,qBAAqB,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAuB,CAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/F,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAe,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6EAA6E,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnK,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAiB,CAAC;IACvC,MAAM,KAAK,GAAG,MAAuD,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAU,EAAE,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,sFAAsF,CAAC,CAAC;IACtK,CAAC;IACD,2GAA2G;IAC3G,MAAM,QAAQ,GAAG,CAAqB,IAAY,EAAE,GAAM,EAAE,IAAY,EAAE,EAA+D,EAAE,EAAE,CACzI,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS;QACxB,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,EAAiF,EAC1H,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,KAAK,OAAO,IAAI,cAAc,IAAI,2BAA2B,OAAO,EAAE,CAAC,CAAC;IACpG,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,6BAA6B,EAAE,KAAK,CAAC,KAAK,CAAE,CAAC;IACzF,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,EAAE,gCAAgC,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC;IACpG,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,mDAAmD,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;IAC9G,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,gEAAgE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,iDAAiD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACxG,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,iDAAiD,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACpH,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,sEAAsE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5J,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC,EAAE,wEAAwE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9J,uDAAuD;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACxF,MAAM,IAAI,GAAS,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE;YACjC,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACvC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1B,OAAO,KAAK,CAAC,GAAY,EAAE,GAAY,CAAU,CAAC;QACtD,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO;YACH,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC9F,QAAQ,EAAE,UAAU,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACzI,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACtI,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;SAC1E,CAAC;IACN,CAAC,CAAC,CAAC;IACH,OAAO;QACH,CAAC,mBAAmB,CAAC,EAAE,IAAI;QAC3B,IAAI,EAAE,IAA2D;QACjE,OAAO;QACP,OAAO,EAAE,OAA2F;QACpG,MAAM,EAAE,KAAK,CAAC,MAAM;KACvB,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAc;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,YAAY,IAAI,CAAC,IAAK,KAA6C,CAAC,mBAAmB,CAAC,KAAK,IAAI,CAAC;AACnK,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAA4B;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAC9B,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,OAAO,SAAS,CAAC,GAAY,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC,CAA0D,CAAC;AAChE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAA4B,EAAE,MAAkB;IAC9E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnH,CAAC;IACD,oHAAoH;IACpH,6GAA6G;IAC7G,MAAM,QAAQ,GAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAClG,KAAK,CAAC,GAAG,EAAE,GAAG,CAAuB,CAAoB,CAAkB,CAAC,MAAkB,CAAC;IACnG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,2GAA2G,SAAS,CAAC,MAAM,CAAC,KAAK;YAC7I,wBAAwB,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAiC,CAAC,CAAC;IACvI,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAChE,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YACrB,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAY,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC3G,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAA8C;IAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,gGAAgG,CAAC,CAAC;IACjJ,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,EAAoC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjC,EAAE,GAAG,QAAQ,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,GAA2B,EAAE,KAAK,EAAE,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxG,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC;IAC5C,CAAC,CAAuD,CAAC;AAC7D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAA8C;IAChF,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACzB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,qIAAqI,CAAC,CAAC;IAC3J,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACjG,MAAM,IAAI,GAAS,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE;YACjC,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACvC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1B,OAAO,KAAK,CAAC,GAAY,EAAE,GAAY,CAAU,CAAC;QACtD,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,KAAiD,CAAC;QACtD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,CAAC;YACJ,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,OAAO;YACH,GAAG,EAAE,GAA2B,EAAE,KAAK,EAAE,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAY,EAAE,GAAY,CAAC;YAC7H,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAY,EAAE,GAAY,CAAC;YAC5I,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;SAC7I,CAAC;IACN,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC;IAC5C,CAAC,CAA2D,CAAC;AACjE,CAAC"}