@elaraai/e3-ui 1.0.94 → 1.0.96

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/allocation/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACH,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EACpH,WAAW,EAAE,KAAK,QAAQ,EAC7B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAmB,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAOjE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;EAA2E,CAAC;AAE3G,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB;;;;;;EAA2B,CAAC;AAE7D,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D,kFAAkF;AAClF,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,QAAQ,IAAI;IAClD,IAAI,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IACvH,IAAI,EAAE,OAAO,YAAY,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC;CAC7E,CAAC;AAEF,4FAA4F;AAC5F,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,QAAQ,IAAI,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEvF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAKrF;AAED,4FAA4F;AAC5F,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,QAAQ,IAAI,UAAU,CAAC;IAAE,MAAM,EAAE,oBAAoB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC;AAEnJ;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAErF;AAMD;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;EAAuD,CAAC;AAE3F,wDAAwD;AACxD,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB;;;;EAA4E,CAAC;AAE3G,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;EAAuD,CAAC;AAEzF,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAC;AAEH,uDAAuD;AACvD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAEjE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;EAGjC,CAAC;AAEH,wDAAwD;AACxD,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;;EAAqC,CAAC;AAEtE,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAC;AAEH,uDAAuD;AACvD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAMjE;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;EAAqE,CAAC;AAE1G,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;EAE7B,CAAC;AAEH,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;EAErC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,MAAM,0BAA0B,GAAG,OAAO,0BAA0B,CAAC;AAE3E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIlC,CAAC;AAEH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE,uEAAuE;AACvE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;EAAsB,CAAC;AAEzD,uDAAuD;AACvD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAEjE,iEAAiE;AACjE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;EAAkB,CAAC;AAEjD,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;EAG/B,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D,6GAA6G;AAC7G,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,QAAQ,IAAI,UAAU,CAAC;IAClE,GAAG,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,oBAAoB,CAAC;IAAC,OAAO,EAAE,qBAAqB,CAAC;CAC5G,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAEnG;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAC;AAEH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAMrE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;EAAsE,CAAC;AAErG,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,uBAAuB;;;;;;;EAElC,CAAC;AAEH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;EAG9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D,uHAAuH;AACvH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,QAAQ,IAAI,UAAU,CAAC;IACpE,GAAG,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,qBAAqB,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;CAClI,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,wBAAgB,6BAA6B,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAIvG;AAED;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;;;;EAAwE,CAAC;AAE9G,0DAA0D;AAC1D,MAAM,MAAM,wBAAwB,GAAG,OAAO,wBAAwB,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;EAAoH,CAAC;AAEpJ,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;EAAuD,CAAC;AAEzF,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC"}

package/dist/src/allocation/types.js

@@ -0,0 +1,360 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Allocation's East types (#1371, `Builder Interfaces Spec.md` §6.3). A
+ * day is the board's reading of the app's own rows — each bin the app's row,
+ * with the roles the board reads from it — carried in the fit's and the
+ * check's requests and in the renderer, and stored nowhere: the bins and the
+ * days are the app's records. Beside them, the arrivals and resources an app
+ * gives the board, and the fit's question and answer.
+ *
+ * The types over a day take the app's bin row type, `R`: each is a
+ * constructor, and the same `R` gives the same East type (`isTypeEqual`), so a
+ * row type declared once matches the board's bin kind and the fit's request.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BooleanType, DateTimeType, DictType, FloatType, IntegerType, NullType, OptionType, StringType, StructType, VariantType, } from "@elaraai/east";
+import { StatusTokenType, TimeStepType } from "@elaraai/east-ui";
+import { ScheduleFitType, SchedulePeriodStatusType, ScheduleRefusalType } from "../schedule/types.js";
+// ============================================================================
+// The day, as the board reads it
+// ============================================================================
+/**
+ * A lane: it takes one bin each `every` (an hour by default), at its offset
+ * past it.
+ *
+ * @property key - Its key, what a bin's lane names: its row's key in the lanes' resource kind
+ * @property label - Its name (`B-1`)
+ * @property offset - How far past each slot's start its bins are booked (`minutes 15`)
+ */
+export const AllocationLaneType = StructType({ key: StringType, label: StringType, offset: TimeStepType });
+/**
+ * A day's status: Schedule's period status, read from the app's days record
+ * (`Schedule.periods`).
+ *
+ * @property draft - An editable day
+ * @property published - A read-only day, and when it was published when the app's published case holds the time
+ * @property other - Another case of the app's status, by its name: read-only
+ */
+export const AllocationStatusType = SchedulePeriodStatusType;
+/**
+ * One bin, as the board reads it from the app's row (`R`): its roles — one
+ * booking in a lane slot, and the quantity it puts on each resource — beside
+ * the row itself, every field of it.
+ *
+ * @remarks
+ * Composed from the bin kind's roles (its `rows` and `read`) and the row. A
+ * bin keeps what it was booked with — its kind and its hold come from its
+ * arrival when it is booked, as its row's other fields do, and stay with it
+ * when it moves — so a bin can differ from its arrival, as a delivery measured
+ * on arrival does. A reservation books no arrival, and holds no quantity, no
+ * kind and no hold.
+ *
+ * @typeParam R - The app's bin row type
+ * @param row - The app's bin row type
+ * @returns `StructType({ lane, at, arrival, quantity, kind, hold, parts, row })`
+ *
+ * @property lane - Its lane's key
+ * @property at - Its time; a batch's bins follow one minute apart
+ * @property arrival - The arrival it books, by key; `none` for a reservation
+ * @property quantity - Its quantity; 0 for a reservation
+ * @property kind - What it goes with on a resource (its arrival's kind when booked); `none` for a kind with no `kind` role
+ * @property hold - How long a resource holds it from the plan day (its arrival's hold when booked)
+ * @property parts - The quantity on each resource, by key; empty while it is not linked
+ * @property row - The app's row, every field of it
+ */
+export function AllocationBinTypeFor(row) {
+    return StructType({
+        lane: StringType, at: DateTimeType, arrival: OptionType(StringType), quantity: FloatType, kind: OptionType(StringType),
+        hold: TimeStepType, parts: DictType(StringType, FloatType), row,
+    });
+}
+/**
+ * One day of the app's bins, as the board reads them: its period's status and
+ * its bins, the drafts in place.
+ *
+ * @typeParam R - The app's bin row type
+ * @param row - The app's bin row type
+ * @returns `StructType({ status, bins })`
+ *
+ * @property status - The day's status, from the app's days record; a draft with no `periods`, or no row for the day
+ * @property bins - The bins whose `at` falls in the day, by their keys
+ */
+export function AllocationDayTypeFor(row) {
+    return StructType({ status: AllocationStatusType, bins: DictType(StringType, AllocationBinTypeFor(row)) });
+}
+// ============================================================================
+// Arrivals and resources
+// ============================================================================
+/**
+ * A span of time, `[from, to)`.
+ *
+ * @property from - Its start
+ * @property to - Its end
+ */
+export const AllocationIntervalType = StructType({ from: DateTimeType, to: DateTimeType });
+/**
+ * Other work on a resource: a job covering the plan day's start makes it busy
+ * until the job ends; one starting later is its next job.
+ *
+ * @property label - Its name (`C-3142`)
+ * @property start - When it starts
+ * @property end - When it ends, and the resource is released
+ */
+export const AllocationJobType = StructType({ label: StringType, start: DateTimeType, end: DateTimeType });
+/**
+ * One line of an arrival's details, shown read-only in a bin's inspector.
+ *
+ * @property label - Its label (`Settings`)
+ * @property value - Its text
+ */
+export const AllocationDetailType = StructType({ label: StringType, value: StringType });
+/**
+ * What the board books from: an arrival, resolved from the app's rows
+ * (`Allocation.arrivals`).
+ *
+ * @property key - Its key in the app's rows, what a bin's `arrival` names
+ * @property label - Its code on cards, chips and lists (`LD-2231`)
+ * @property meta - Its second line (`BRK · R2 · spec MC12`)
+ * @property quantity - Its quantity, booked whole unless split
+ * @property hold - How long a resource holds a bin of it
+ * @property kind - What it goes with: a resource holding the same kind ranks higher in `Allocation.fit`
+ * @property due - When it is due; overdue before the plan day
+ * @property window - Its ready window
+ * @property details - Read-only lines in a bin's inspector
+ */
+export const AllocationArrivalType = StructType({
+    key: StringType, label: StringType, meta: OptionType(StringType), quantity: FloatType, hold: TimeStepType, kind: OptionType(StringType),
+    due: OptionType(DateTimeType), window: OptionType(AllocationIntervalType), details: ArrayType(AllocationDetailType),
+});
+/**
+ * A resource bins are allocated to, resolved from the app's rows through its
+ * resource kind's accessors (`Schedule.resources`).
+ *
+ * @property key - Its key in the app's rows, what a bin's `parts` name
+ * @property label - Its name (`K-203`)
+ * @property group - Its group (`Hall B`)
+ * @property meta - Its free line (`Hall B · 40 m³`)
+ * @property note - A line about its next job, after the inspector's next fill
+ * @property min - Its minimum, in the quantity's unit
+ * @property max - Its maximum
+ * @property hold - How long a reservation on it is checked for, and how long it is held when it holds only reservations
+ * @property jobs - Other work on it
+ */
+export const AllocationResourceType = StructType({
+    key: StringType, label: StringType, group: OptionType(StringType), meta: OptionType(StringType), note: OptionType(StringType),
+    min: FloatType, max: FloatType, hold: TimeStepType, jobs: ArrayType(AllocationJobType),
+});
+/**
+ * The built-in rules an app may turn off.
+ *
+ * @property under - Whether `Allocation.fit` and `Allocation.check` warn under a resource's minimum
+ */
+export const AllocationRulesType = StructType({ under: BooleanType });
+/**
+ * Everything a fit and the checks read besides the day: the board's
+ * configuration, every arrival and every resource — whatever the narrowing
+ * hides.
+ *
+ * @property lanes - The lanes, in order
+ * @property every - The slot spacing
+ * @property arrivals - Every arrival, by key
+ * @property resources - Every resource, by key
+ * @property rules - The built-in rules
+ * @property unit - The quantity's unit (`m³`), or empty
+ */
+export const AllocationContextType = StructType({
+    lanes: ArrayType(AllocationLaneType), every: TimeStepType, arrivals: DictType(StringType, AllocationArrivalType),
+    resources: DictType(StringType, AllocationResourceType), rules: AllocationRulesType, unit: StringType,
+});
+// ============================================================================
+// Loads, candidates and fits
+// ============================================================================
+/**
+ * A resource's state on the plan day.
+ *
+ * @property free - It holds nothing and is not busy
+ * @property loading - It holds bins today
+ * @property busy - A job covers the day's start
+ */
+export const AllocationLoadStateType = VariantType({ free: NullType, loading: NullType, busy: NullType });
+/**
+ * A resource's load on the plan day.
+ *
+ * @property resource - The resource's key
+ * @property fill - What its bins put on it
+ * @property bins - How many bins are on it, reservations included
+ * @property hold - From the plan day for its longest bin's hold (its own hold when it holds only reservations); `none` with no bins
+ * @property state - Free, loading or busy
+ */
+export const AllocationLoadType = StructType({
+    resource: StringType, fill: FloatType, bins: IntegerType, hold: OptionType(AllocationIntervalType), state: AllocationLoadStateType,
+});
+/**
+ * A resource's line on the plan day, as its row and its bins' cards show it
+ * (A16, A19).
+ *
+ * @property text - Its line: the load it holds (`11 m³ · max 9 · 2 over`, `reserved · takes 26–48`, with `· 1 d into next job`), `busy until Fri 14`, or what it is and takes when free (`Hall B · 40 m³ · takes 20–40 m³`)
+ * @property tone - `danger` over its maximum, `warning` overlapping its next job or under its minimum, else `neutral`
+ * @property over - Whether it holds more than its maximum
+ * @property under - Whether it holds something, but less than its minimum
+ * @property overlap - Whether its hold runs into its next job
+ * @property next - Its next job: where an overlap starts
+ */
+export const AllocationResourceLineType = StructType({
+    text: StringType, tone: StatusTokenType, over: BooleanType, under: BooleanType, overlap: BooleanType, next: OptionType(AllocationJobType),
+});
+/**
+ * One quantity on one resource, against the drafted day: what a fit is asked
+ * about, one candidate at a time.
+ *
+ * @property day - The plan day
+ * @property bin - The bin it is for; `none` for an arrival not yet booked and for a new reservation
+ * @property reserve - Whether it reserves a slot (a reservation, or a bin booking no arrival): checked with no quantity, and refused when the resource is full
+ * @property quantity - What the resource would hold of it
+ * @property arrival - Its arrival, if it has one
+ * @property kind - Its kind
+ * @property resource - The resource
+ * @property load - The resource's load as the day stands
+ * @property after - What the resource would hold with it: the other bins' parts, and its quantity
+ * @property hold - From the plan day for the longer of its hold and the resource's other bins' holds
+ * @property spare - The days between the hold's end and the resource's next job; `none` with no next job
+ * @property kindMates - Whether a bin of its kind is already on the resource
+ * @property otherMates - Whether the resource holds other bins, none of its kind
+ * @property rules - The built-in rules
+ * @property unit - The quantity's unit
+ */
+export const AllocationCandidateType = StructType({
+    day: DateTimeType, bin: OptionType(StringType), reserve: BooleanType, quantity: FloatType, arrival: OptionType(AllocationArrivalType),
+    kind: OptionType(StringType), resource: AllocationResourceType, load: AllocationLoadType, after: FloatType, hold: AllocationIntervalType,
+    spare: OptionType(FloatType), kindMates: BooleanType, otherMates: BooleanType, rules: AllocationRulesType, unit: StringType,
+});
+/** Why something does not fit — Schedule's, shared with the Roster. */
+export const AllocationRefusalType = ScheduleRefusalType;
+/** One verdict of a fit — Schedule's, shared with the Roster. */
+export const AllocationFitType = ScheduleFitType;
+/**
+ * The question a fit answers.
+ *
+ * @property place - Where can this subject — a bin, or an arrival — go with this quantity: a verdict per resource
+ * @property take - What can this resource take: a verdict per bin, one per arrival the day has not booked, and one for reserving an empty slot on it
+ */
+export const AllocationFitAskType = VariantType({
+    place: StructType({ subject: VariantType({ bin: StringType, arrival: StringType }), quantity: FloatType }),
+    take: StructType({ resource: StringType }),
+});
+/**
+ * One question to the app's fit, about the drafted day.
+ *
+ * @typeParam R - The app's bin row type
+ * @param row - The app's bin row type
+ * @returns `StructType({ day, plan, ask, context })`
+ *
+ * @property day - The plan day
+ * @property plan - The day as drafted: each bin its roles and its own row
+ * @property ask - The question
+ * @property context - Every arrival and resource, and the board's configuration
+ */
+export function AllocationFitRequestTypeFor(row) {
+    return StructType({ day: DateTimeType, plan: AllocationDayTypeFor(row), ask: AllocationFitAskType, context: AllocationContextType });
+}
+/**
+ * A fit's answer. It echoes its question, so the board matches each answer to
+ * the question it asked.
+ *
+ * @property ask - The question answered
+ * @property resources - A place's verdicts, by resource
+ * @property bins - A take's verdicts, by bin
+ * @property arrivals - A take's verdicts for booking each arrival the day has not booked onto the resource, by arrival (the Table's arrival Chooser, a reservation's Book list)
+ * @property reserve - A take's verdict for reserving an empty slot
+ * @property basis - How the fits are ranked, in words (`ranked by load, kind and spare days`)
+ */
+export const AllocationFitResultType = StructType({
+    ask: AllocationFitAskType, resources: DictType(StringType, AllocationFitType), bins: DictType(StringType, AllocationFitType),
+    arrivals: DictType(StringType, AllocationFitType), reserve: OptionType(AllocationFitType), basis: StringType,
+});
+// ============================================================================
+// Issues and slots
+// ============================================================================
+/**
+ * An issue's fix.
+ *
+ * @property choose - Choose a resource for the bin
+ * @property move - Open this bin's resource choices (`Move LD-2205…`)
+ * @property find - Find a fit for the bin's unallocated quantity
+ */
+export const AllocationFixType = VariantType({ choose: NullType, move: StringType, find: NullType });
+/**
+ * What an issue is about.
+ *
+ * @property unlinked - A bin with no resource
+ * @property unallocated - A bin whose parts leave some of it unallocated
+ * @property over - A resource over its maximum
+ * @property under - A resource under its minimum
+ * @property overlap - A resource whose hold runs into its next job
+ * @property custom - One of the app's, by its group's name (`Spec mismatch`)
+ */
+export const AllocationIssueKindType = VariantType({
+    unlinked: NullType, unallocated: NullType, over: NullType, under: NullType, overlap: NullType, custom: StringType,
+});
+/**
+ * One warning about the drafted day. Issues never block Save or Publish.
+ *
+ * @property kind - What it is about
+ * @property tone - Its tone; warning and danger issues are counted, neutral and info ones listed only
+ * @property title - Its title (`K-207`)
+ * @property detail - Its detail (`44 m³ · max 40 · 4 over · over max`)
+ * @property bin - The bin it is about, if any
+ * @property resource - The resource it is about, if any
+ * @property flag - A bin card's short mark (`≠ spec`)
+ * @property fix - Its fix
+ */
+export const AllocationIssueType = StructType({
+    kind: AllocationIssueKindType, tone: StatusTokenType, title: StringType, detail: StringType,
+    bin: OptionType(StringType), resource: OptionType(StringType), flag: OptionType(StringType), fix: OptionType(AllocationFixType),
+});
+/**
+ * What the app's `check` is given: the drafted day and every load.
+ *
+ * @typeParam R - The app's bin row type
+ * @param row - The app's bin row type
+ * @returns `StructType({ day, plan, context, loads })`
+ *
+ * @property day - The plan day
+ * @property plan - The day as drafted: each bin its roles and its own row, which the app's check reads
+ * @property context - Every arrival and resource
+ * @property loads - Every resource's load, by key
+ */
+export function AllocationCheckContextTypeFor(row) {
+    return StructType({
+        day: DateTimeType, plan: AllocationDayTypeFor(row), context: AllocationContextType, loads: DictType(StringType, AllocationLoadType),
+    });
+}
+/**
+ * A slot's state.
+ *
+ * @property free - No bin is in it
+ * @property booked - A bin booking an arrival is in it
+ * @property reserved - Only reservations are in it
+ */
+export const AllocationSlotStatusType = VariantType({ free: NullType, booked: NullType, reserved: NullType });
+/**
+ * One lane slot of the plan day: a Table's row, or one per bin of its batch.
+ *
+ * @property lane - Its lane's key
+ * @property at - Its time: the slot's start and its lane's offset
+ * @property status - Free, booked or reserved
+ * @property bins - Its bins, by time
+ */
+export const AllocationSlotType = StructType({ lane: StringType, at: DateTimeType, status: AllocationSlotStatusType, bins: ArrayType(StringType) });
+/**
+ * The board's layout.
+ *
+ * @property timeline - Lanes, links and resources
+ * @property table - One row per slot
+ */
+export const AllocationLayoutType = VariantType({ timeline: NullType, table: NullType });
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/allocation/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACH,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EACpH,WAAW,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEtG,+EAA+E;AAC/E,iCAAiC;AACjC,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;AAK3G;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,wBAAwB,CAAC;AAc7D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,oBAAoB,CAAqB,GAAM;IAC3D,OAAO,UAAU,CAAC;QACd,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;QACtH,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG;KAClE,CAAoC,CAAC;AAC1C,CAAC;AAKD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAqB,GAAM;IAC3D,OAAO,UAAU,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAoC,CAAC;AAClJ,CAAC;AAED,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;AAK3F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;AAK3G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AAKzF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IACvI,GAAG,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,oBAAoB,CAAC;CACtH,CAAC,CAAC;AAKH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;IAC7C,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7H,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,iBAAiB,CAAC;CACzF,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AAKtE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,KAAK,EAAE,SAAS,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAChH,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU;CACxG,CAAC,CAAC;AAKH,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAK1G;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IACzC,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,uBAAuB;CACrI,CAAC,CAAC;AAKH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,UAAU,CAAC;IACjD,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,iBAAiB,CAAC;CAC5I,CAAC,CAAC;AAKH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC;IAC9C,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,qBAAqB,CAAC;IACrI,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sBAAsB;IACxI,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU;CAC9H,CAAC,CAAC;AAKH,uEAAuE;AACvE,MAAM,CAAC,MAAM,qBAAqB,GAAG,mBAAmB,CAAC;AAKzD,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAKjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAC;IAC5C,KAAK,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IAC1G,IAAI,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;CAC7C,CAAC,CAAC;AAUH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAqB,GAAM;IAClE,OAAO,UAAU,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAA2C,CAAC;AACnL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC;IAC9C,GAAG,EAAE,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IAC5H,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU;CAC/G,CAAC,CAAC;AAKH,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKrG;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU;CACpH,CAAC,CAAC;AAKH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC1C,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU;IAC3F,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,iBAAiB,CAAC;CAClI,CAAC,CAAC;AAUH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,6BAA6B,CAAqB,GAAM;IACpE,OAAO,UAAU,CAAC;QACd,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;KACtI,CAA6C,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;AAK9G;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAKpJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC"}

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

@@ -187,6 +187,20 @@ export declare const FuncBindHandleType: <I extends EastType[], O extends EastTy
  * @typeParam O - Return East type.
  */
 export type BoundFunc<I extends EastType[], O extends EastType> = ExprType<ReturnType<typeof FuncBindHandleType<I, O>>>;
+/**
+ * What a {@link Func.bind} handle of a one-argument function asks and
+ * answers, read from the handle's type: its `call`'s one input and its
+ * `read`'s result. A tag that takes a bound function checks the handle it is
+ * given with this, then holds each type to its own with `isTypeEqual`.
+ *
+ * @param handle - What an app passed where a `Func.bind` handle goes
+ * @returns The function's argument type and result type, or `undefined` for a value that is no `Func.bind` handle of a one-argument function
+ * @internal
+ */
+export declare function boundFuncSignature(handle: unknown): {
+    asks: EastType;
+    answers: EastType;
+} | undefined;
 /**
  * The underlying `Func.bind` platform-function definition. End-users
  * should call {@link Func.bind} (the typed factory in this module);

package/dist/src/bind/func.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"func.d.ts","sourceRoot":"","sources":["../../../src/bind/func.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EAEH,SAAS,EACT,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,EACX,KAAK,QAAQ,EACb,KAAK,QAAQ,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,cAAc;;;;;;EAMzB,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;EAWxB,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;EAE1B,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC;AAMrD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EACvE,QAAQ,CAAC,GAAG,CAAC,CAAC,EACd,QAAQ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASX,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,IAC1D,QAAQ,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAM1D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB,+FAM9B,CAAC;AAqBF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB;IAC3B,2EAA2E;;IAE3E,wEAAwE;;IAExE,6CAA6C;;;;;;;;IAE7C,mDAAmD;;;;;;;;;;;;;;;;;;;;;;;;IAEnD,wCAAwC;;IAExC,uCAAuC;;CAEjC,CAAC;AAMX;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,iBAAS,YAAY,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EACpE,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAO3B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,IAAI;;CAEP,CAAC"}
+{"version":3,"file":"func.d.ts","sourceRoot":"","sources":["../../../src/bind/func.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EAGH,SAAS,EACT,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,EACX,KAAK,QAAQ,EACb,KAAK,QAAQ,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,cAAc;;;;;;EAMzB,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;EAWxB,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;EAE1B,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC;AAMrD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EACvE,QAAQ,CAAC,GAAG,CAAC,CAAC,EACd,QAAQ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASX,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,IAC1D,QAAQ,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,OAAO,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAAG,SAAS,CAQrG;AAMD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB,+FAM9B,CAAC;AAqBF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB;IAC3B,2EAA2E;;IAE3E,wEAAwE;;IAExE,6CAA6C;;;;;;;;IAE7C,mDAAmD;;;;;;;;;;;;;;;;;;;;;;;;IAEnD,wCAAwC;;IAExC,uCAAuC;;CAEjC,CAAC;AAMX;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,iBAAS,YAAY,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EACpE,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAO3B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,IAAI;;CAEP,CAAC"}

package/dist/src/bind/func.js

@@ -14,7 +14,7 @@
  *
  * @packageDocumentation
  */
-import { East, ArrayType, BooleanType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType, } from '@elaraai/east';
+import { East, Expr, ArrayType, BooleanType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType, } from '@elaraai/east';
 // ============================================================================
 // Status + error types
 // ============================================================================
@@ -125,6 +125,27 @@ export const FuncBindHandleType = (inputs, output) => StructType({
     cancel: FunctionType([], NullType),
     binding: FuncBindingType,
 });
+/**
+ * What a {@link Func.bind} handle of a one-argument function asks and
+ * answers, read from the handle's type: its `call`'s one input and its
+ * `read`'s result. A tag that takes a bound function checks the handle it is
+ * given with this, then holds each type to its own with `isTypeEqual`.
+ *
+ * @param handle - What an app passed where a `Func.bind` handle goes
+ * @returns The function's argument type and result type, or `undefined` for a value that is no `Func.bind` handle of a one-argument function
+ * @internal
+ */
+export function boundFuncSignature(handle) {
+    if (!(handle instanceof Expr))
+        return undefined;
+    const type = Expr.type(handle);
+    if (type.type !== "Struct" || type.fields["binding"] === undefined)
+        return undefined;
+    const call = type.fields["call"], read = type.fields["read"];
+    const asks = call?.type === "Function" && call.inputs.length === 1 ? call.inputs[0] : undefined;
+    const answers = read?.type === "Function" && read.output.type === "Variant" ? read.output.cases["some"] : undefined;
+    return asks === undefined || answers === undefined ? undefined : { asks, answers };
+}
 // ============================================================================
 // Platform function — single generic over the instantiated handle type.
 // ============================================================================

package/dist/src/bind/func.js.map

@@ -1 +1 @@
-{"version":3,"file":"func.js","sourceRoot":"","sources":["../../../src/bind/func.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EACH,IAAI,EACJ,SAAS,EACT,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,GAGd,MAAM,eAAe,CAAC;AAGvB,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;IACtC,IAAI,EAAO,QAAQ;IACnB,OAAO,EAAI,QAAQ;IACnB,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAK,QAAQ;IACnB,SAAS,EAAE,QAAQ;CACtB,CAAC,CAAC;AAOH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;IACpC,IAAI,EAAE,WAAW,CAAC;QACd,MAAM,EAAK,UAAU,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAChD,OAAO,EAAI,UAAU,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,SAAS,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QACjE,SAAS,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;QAC1C,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;KACjD,CAAC;IACF,OAAO,EAAE,UAAU;IACnB,MAAM,EAAG,UAAU;IACnB,MAAM,EAAG,UAAU;CACtB,CAAC,CAAC;AAOH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACtC,IAAI,EAAE,UAAU;CACnB,CAAC,CAAC;AAOH,+EAA+E;AAC/E,4CAA4C;AAC5C,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAC9B,MAAc,EACd,MAAS,EACX,EAAE,CAAC,UAAU,CAAC;IACZ,IAAI,EAAK,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;IACvC,IAAI,EAAK,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,EAAG,YAAY,CAAC,EAAE,EAAE,cAAc,CAAC;IACzC,KAAK,EAAI,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IACtC,MAAM,EAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACnC,OAAO,EAAE,eAAe;CAC3B,CAAC,CAAC;AAkBH,+EAA+E;AAC/E,wEAAwE;AACxE,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,eAAe,CAClD,eAAe,EACf,CAAC,GAAG,CAAC,EACL,CAAC,UAAU,CAAC,EACZ,GAAG,EACH,EAAE,QAAQ,EAAE,IAAI,EAAE,CACrB,CAAC;AAEF,4EAA4E;AAC5E,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,+BAA+B;AAC/B,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,iFAAiF;AACjF,8EAA8E;AAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACzH,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACtH,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3G,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACpH,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1G,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAErG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B,2EAA2E;IAC3E,IAAI,EAAE,aAAa;IACnB,wEAAwE;IACxE,IAAI,EAAE,aAAa;IACnB,6CAA6C;IAC7C,MAAM,EAAE,eAAe;IACvB,mDAAmD;IACnD,KAAK,EAAE,cAAc;IACrB,wCAAwC;IACxC,OAAO,EAAE,gBAAgB;IACzB,uCAAuC;IACvC,MAAM,EAAE,eAAe;CACjB,CAAC;AAEX,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,SAAS,YAAY,CACjB,EAA+B;IAE/B,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACzE,mEAAmE;IACnE,sEAAsE;IACtE,0DAA0D;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAClD,OAAO,kBAAkB,CAAC,CAAC,UAAU,CAAC,EAAE,SAAS,CAA8B,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAChB,IAAI,EAAE,YAAY;CACZ,CAAC"}
+{"version":3,"file":"func.js","sourceRoot":"","sources":["../../../src/bind/func.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EACH,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,GAGd,MAAM,eAAe,CAAC;AAGvB,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;IACtC,IAAI,EAAO,QAAQ;IACnB,OAAO,EAAI,QAAQ;IACnB,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAK,QAAQ;IACnB,SAAS,EAAE,QAAQ;CACtB,CAAC,CAAC;AAOH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;IACpC,IAAI,EAAE,WAAW,CAAC;QACd,MAAM,EAAK,UAAU,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAChD,OAAO,EAAI,UAAU,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,SAAS,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QACjE,SAAS,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;QAC1C,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;KACjD,CAAC;IACF,OAAO,EAAE,UAAU;IACnB,MAAM,EAAG,UAAU;IACnB,MAAM,EAAG,UAAU;CACtB,CAAC,CAAC;AAOH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACtC,IAAI,EAAE,UAAU;CACnB,CAAC,CAAC;AAOH,+EAA+E;AAC/E,4CAA4C;AAC5C,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAC9B,MAAc,EACd,MAAS,EACX,EAAE,CAAC,UAAU,CAAC;IACZ,IAAI,EAAK,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;IACvC,IAAI,EAAK,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,EAAG,YAAY,CAAC,EAAE,EAAE,cAAc,CAAC;IACzC,KAAK,EAAI,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;IACtC,MAAM,EAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC;IACnC,OAAO,EAAE,eAAe;CAC3B,CAAC,CAAC;AAkBH;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAe;IAC9C,IAAI,CAAC,CAAC,MAAM,YAAY,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAa,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpH,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACvF,CAAC;AAED,+EAA+E;AAC/E,wEAAwE;AACxE,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,eAAe,CAClD,eAAe,EACf,CAAC,GAAG,CAAC,EACL,CAAC,UAAU,CAAC,EACZ,GAAG,EACH,EAAE,QAAQ,EAAE,IAAI,EAAE,CACrB,CAAC;AAEF,4EAA4E;AAC5E,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,+BAA+B;AAC/B,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,iFAAiF;AACjF,8EAA8E;AAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACzH,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACtH,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3G,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACpH,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1G,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAErG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B,2EAA2E;IAC3E,IAAI,EAAE,aAAa;IACnB,wEAAwE;IACxE,IAAI,EAAE,aAAa;IACnB,6CAA6C;IAC7C,MAAM,EAAE,eAAe;IACvB,mDAAmD;IACnD,KAAK,EAAE,cAAc;IACrB,wCAAwC;IACxC,OAAO,EAAE,gBAAgB;IACzB,uCAAuC;IACvC,MAAM,EAAE,eAAe;CACjB,CAAC;AAEX,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,SAAS,YAAY,CACjB,EAA+B;IAE/B,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACzE,mEAAmE;IACnE,sEAAsE;IACtE,0DAA0D;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAClD,OAAO,kBAAkB,CAAC,CAAC,UAAU,CAAC,EAAE,SAAS,CAA8B,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAChB,IAAI,EAAE,YAAY;CACZ,CAAC"}