@elaraai/e3-ui 1.0.103 → 1.0.105

package/dist/src/flowchart/details.d.ts

@@ -0,0 +1,469 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Flowchart's details (#1507, `Flowchart Records Spec.md` §3, R18–R21):
+ * `Flowchart.details` and its four reads — `Flowchart.figure`, `.histogram`,
+ * `.list` and `.tags` — over the app's rows keyed as a kind's are, read only.
+ *
+ * - **A read is a frozen description behind a phantom brand**, as the Plan's
+ *   named reads are (`plan/reads.ts`): the row it reads, its kind, where it
+ *   shows and, for tags, whether the legend lists them. The row is inferred
+ *   where the read is placed — in a `Flowchart.details` array — so a field
+ *   name is checked against the row it reads, and a misfit is a type error
+ *   naming the fields that fit (R20). A read's return type keeps its show and
+ *   its legend from inference (`NoInfer`), so each is the one given — `"all"`
+ *   and `false` unless given — wherever the read is placed, and `details`'
+ *   keeps its row and its reads from the place it is put, so a kind's `details`
+ *   never infers them in its stead.
+ * - **One array, in order** (R21): each kind's `details` is one array of
+ *   reads, any mix of the four, drawn in its order and shown in full, in the
+ *   same order, in the inspector, each where its `show` says. A transition's
+ *   label draws lines, so its tags and histograms take `show: "inspector"`: a
+ *   type error otherwise, with its words.
+ * - **Read as the kind is** (R19): beside a kind read whole the details bind
+ *   `Data.bind(record)`, read whole; beside one read through its source,
+ *   `Data.bindPaged(record)`, read by the drawn rows' keys, every key in one
+ *   request. They are read only (R18): `Record.bind` is refused.
+ * - **The row type never reaches the payload**: `values` turns a row's bytes
+ *   into one value a read, one type whatever the row holds.
+ * - **The rail's picks weigh them** (#1522, R43–R46): details that name a
+ *   source of the slice, `source`, are bound through their record's entries
+ *   index, and a pick of its Dict field's keys weighs each read the entries
+ *   hold, added up by kind in East — a figure adds, a histogram adds bin by
+ *   bin, a list adds by name and tags join — while `weigh: false` keeps a
+ *   read's own. `fold` turns a row's bytes and its picked entries' into one
+ *   value a read.
+ *
+ * What only the built value shows is refused as the Flowchart is built, in
+ * the tag's words (§3, "What the editor and the tag say").
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DictType, FloatType, IntegerType, OptionType, SetType, StringType, StructType, type EastType, type ExprType, type SubtypeExprOrValue } from "@elaraai/east";
+import { ColorSchemeType, StyleVariantType, type ColorSchemeLiteral, type IndexedSource, type StyleVariantLiteral } from "@elaraai/east-ui/internal";
+import type { FlowchartBinding } from "./kinds.js";
+import { FlowchartDetailsType, FlowchartTagColorType } from "./types.js";
+/** Fields of R a figure reads: a number, or an Option of one. */
+export type FlowchartFigureField<R extends StructType> = {
+    [K in keyof R["fields"] & string]: R["fields"][K] extends IntegerType | FloatType | OptionType<IntegerType | FloatType> ? K : never;
+}[keyof R["fields"] & string];
+/** Fields of R a histogram reads: a Dict from a duration to its count, both numbers — or, beside the app's bins, an Array of counts, one a bin. */
+export type FlowchartHistogramField<R extends StructType> = {
+    [K in keyof R["fields"] & string]: R["fields"][K] extends DictType<IntegerType | FloatType, IntegerType | FloatType> | ArrayType<IntegerType | FloatType> ? K : never;
+}[keyof R["fields"] & string];
+/** Fields of R a list reads: a Dict from an item's name to a number, or to a struct its draw reads. */
+export type FlowchartListField<R extends StructType> = {
+    [K in keyof R["fields"] & string]: R["fields"][K] extends DictType<StringType, IntegerType | FloatType | StructType> ? K : never;
+}[keyof R["fields"] & string];
+/** Fields of R a tags read reads: an Array or a Set of strings. */
+export type FlowchartTagsField<R extends StructType> = {
+    [K in keyof R["fields"] & string]: R["fields"][K] extends ArrayType<StringType> | SetType<StringType> ? K : never;
+}[keyof R["fields"] & string];
+/** An item of the list at F: what its draw is handed. */
+export type FlowchartListItem<R extends StructType, F extends FlowchartListField<R>> = R["fields"][F] extends DictType<StringType, infer V> ? V : never;
+/** The unit a histogram's durations are in; the axis prints them as 15m, 4h, 2d, 1w. */
+export type FlowchartDurationUnit = "minutes" | "hours" | "days";
+/**
+ * How the bars space the bins along the axis, in the Chart's words for its x
+ * scales (`ChartScaleLiteral`): `"band"`, a bar a bin whatever its span;
+ * `"linear"`, each bar as wide as its span.
+ */
+export type FlowchartBarScale = "band" | "linear";
+/** An edge the axis names: a number, printed as a duration in the unit, or the app's own words. */
+export type FlowchartTick = number | {
+    at: number;
+    label: string;
+};
+/** What a histogram takes beside its field. */
+export interface FlowchartHistogramOptions {
+    /** The unit its durations are in. */
+    unit: FlowchartDurationUnit;
+    /** False keeps the row's own beside the rail's picks, which add the entries' bin by bin otherwise (#1522): beside details that name a source. */
+    weigh?: boolean;
+    /** Its title; the field's name unless given. */
+    label?: string;
+    /** What is counted: `"parcels"`. */
+    counts?: string;
+    /** The app's edges, ascending, any spacing: a literal, or bound. Left out, every row's edges merged. */
+    bins?: SubtypeExprOrValue<ArrayType<FloatType>>;
+    /** `"band"` unless given. */
+    scale?: FlowchartBarScale;
+    /** The edges the axis names, besides the first; left out, round durations. */
+    ticks?: ReadonlyArray<FlowchartTick>;
+}
+/** A tag's look, as a Tag takes it: east-ui's `ColorSchemeType` and `StyleVariantType`. */
+export interface FlowchartTagColor {
+    /** Its palette. */
+    colorPalette: SubtypeExprOrValue<ColorSchemeType> | ColorSchemeLiteral;
+    /** Its variant: subtle unless given. */
+    variant?: SubtypeExprOrValue<StyleVariantType> | StyleVariantLiteral;
+}
+/**
+ * Where a read shows — `"all"`, the default: on the canvas, a state's card or
+ * a transition's label, and in the inspector; `"canvas"`: there alone;
+ * `"inspector"`: in the inspector alone. A variant on the wire, as the
+ * Schematic carries its narrowed `show`.
+ */
+export type FlowchartShow = "all" | "canvas" | "inspector";
+/** A read's kind. */
+export type FlowchartReadKind = "figure" | "histogram" | "list" | "tags";
+/** The phantom brand a read carries: what it reads, its kind, where it shows and whether the legend lists it. */
+export declare const FlowchartReadBrand: unique symbol;
+/** The type of {@link FlowchartReadBrand}. */
+export type FlowchartReadBrand = typeof FlowchartReadBrand;
+/**
+ * A read: a frozen description behind a phantom brand — the row R it reads,
+ * its kind K, where it shows (W) and, for tags, whether the legend lists them
+ * (L).
+ *
+ * @typeParam R - The details' row type, inferred where the read is placed
+ * @typeParam K - Its kind
+ * @typeParam W - Where it shows
+ * @typeParam L - Whether the legend lists it: tags only
+ */
+export type FlowchartRead<R extends StructType, K extends FlowchartReadKind, W extends FlowchartShow = FlowchartShow, L extends boolean = false> = {
+    readonly [FlowchartReadBrand]: {
+        row: R;
+        kind: K;
+        show: W;
+        legend: L;
+    };
+};
+/**
+ * A figure (R25): a number, or an Option of one — a line on the card or the
+ * label, its label and its value with its unit; the inspector's stats.
+ *
+ * @typeParam R - The details' row type, inferred where the read is placed
+ * @typeParam F - The field
+ * @typeParam W - Where it shows: `"all"` unless given
+ * @param field - The field it reads
+ * @param options - Its label — the field's name unless given — its unit, where it shows, and `weigh: false` to keep the
+ *   row's own beside the rail's picks — a share or an average — which add the entries' otherwise (#1522)
+ * @returns The read, for `Flowchart.details`
+ * @throws {Error} When the field is named by no string, or an option is of another kind
+ */
+export declare function flowchartFigure<R extends StructType, F extends FlowchartFigureField<R>, const W extends FlowchartShow = "all">(field: F, options?: {
+    label?: string;
+    unit?: string;
+    show?: W;
+    weigh?: boolean;
+}): FlowchartRead<R, "figure", NoInfer<W>>;
+/**
+ * A histogram (R26–R28): a Dict from a duration to its count, both numbers —
+ * or, beside the app's `bins`, an Array of counts, one a bin. The card's bars
+ * on their axis; the inspector's chart.
+ *
+ * @typeParam R - The details' row type, inferred where the read is placed
+ * @typeParam F - The field
+ * @typeParam W - Where it shows: `"all"` unless given
+ * @param field - The field it reads
+ * @param options - Its unit, its label, what it counts, the app's bins — required beside an Array of counts — how the bars
+ *   space them, the edges the axis names, where it shows, and `weigh: false` to keep the row's own beside the rail's picks
+ * @returns The read, for `Flowchart.details`
+ * @throws {Error} When the unit, the scale or a tick is none of its words, and when the bins' edges do not ascend —
+ *   "The bins' edges ascend — 12, then 4"
+ */
+export declare function flowchartHistogram<R extends StructType, F extends FlowchartHistogramField<R>, const W extends FlowchartShow = "all">(field: F, options: FlowchartHistogramOptions & {
+    show?: W;
+} & (R["fields"][F] extends ArrayType<IntegerType | FloatType> ? {
+    bins: SubtypeExprOrValue<ArrayType<FloatType>>;
+} : unknown)): FlowchartRead<R, "histogram", NoInfer<W>>;
+/**
+ * A list (R29): a Dict from an item's name to a number, or to a struct whose
+ * `draw` says which number is the value, and a note. Lines on a card, under
+ * the list's title, or under a transition's evidence; the inspector's list.
+ *
+ * @typeParam R - The details' row type, inferred where the read is placed
+ * @typeParam F - The field
+ * @typeParam W - Where it shows: `"all"` unless given
+ * @param field - The field it reads
+ * @param options - Its label, its unit, the lines it draws on the canvas — 2 on a card and 1 on a label unless given, at
+ *   most 3: the inspector lists every item — where it shows, and `weigh: false` to keep the row's own beside the rail's
+ *   picks, which add the entries' by name otherwise (#1522)
+ * @param draw - An item's value and its note, from the item, its name and the row: required for a Dict of structs.
+ *   Weighed, it draws the picked entries' items added up, each struct's numbers added and its lists joined
+ * @returns The read, for `Flowchart.details`
+ * @throws {Error} When `top` is not 1, 2 or 3, or `draw` is no function
+ */
+export declare function flowchartList<R extends StructType, F extends FlowchartListField<R>, const W extends FlowchartShow = "all">(field: F, options?: {
+    label?: string;
+    unit?: string;
+    top?: 1 | 2 | 3;
+    show?: W;
+    weigh?: boolean;
+}, // top: the card's or label's lines
+draw?: (item: ExprType<FlowchartListItem<R, F>>, name: ExprType<StringType>, row: ExprType<R>) => {
+    value: SubtypeExprOrValue<IntegerType | FloatType>;
+    note?: SubtypeExprOrValue<OptionType<StringType>>;
+}): FlowchartRead<R, "list", NoInfer<W>>;
+/**
+ * A tags read (R30, R31): an Array or a Set of strings, the row's tags. On a
+ * card, a list beside its label, wrapping to three lines; the inspector shows
+ * every tag.
+ *
+ * @typeParam R - The details' row type, inferred where the read is placed
+ * @typeParam F - The field
+ * @typeParam W - Where it shows: `"all"` unless given
+ * @typeParam L - Whether the canvas's legend lists the defined tags
+ * @param field - The field it reads
+ * @param options - Its label; each tag's look as a Tag takes it — `{ colorPalette, variant }`, first defined, first shown,
+ *   a literal or an Array the app binds (`Flowchart.Types.TagColor`) — a tag with none neutral and subtle; whether the
+ *   legend lists the defined tags, for tags on the canvas only; where it shows; and `weigh: false` to keep the row's own
+ *   beside the rail's picks, whose entries' tags join otherwise (#1522): a Set's as a Set does, in its order, an Array's
+ *   each once in the entries' key order
+ * @returns The read, for `Flowchart.details`
+ * @throws {Error} When a look's palette or variant is none of east-ui's, or `legend` is given beside `show: "inspector"` —
+ *   "Only tags on the canvas go in the legend — show them on the canvas, or drop legend"
+ */
+export declare function flowchartTags<R extends StructType, F extends FlowchartTagsField<R>, const W extends FlowchartShow = "all", const L extends boolean = false>(field: F, options?: {
+    label?: string;
+    colors?: Record<string, FlowchartTagColor> | SubtypeExprOrValue<ArrayType<typeof FlowchartTagColorType>>;
+    legend?: L;
+    show?: W;
+    weigh?: boolean;
+}): FlowchartRead<R, "tags", NoInfer<W>, NoInfer<L>>;
+/**
+ * The refusal's words as a type, as `plan/nested.ts` carries them: unknown
+ * unless a tags read in the legend shows in the inspector alone.
+ */
+export type FlowchartLegendOnCanvas<S> = S extends {
+    details: ReadonlyArray<infer D>;
+} ? [Extract<D, FlowchartRead<StructType, "tags", "inspector", true>>] extends [never] ? unknown : {
+    "Only tags on the canvas go in the legend — show them on the canvas, or drop legend": never;
+} : unknown;
+/**
+ * Whether a transition's label draws a details' reads, with its words as a
+ * type: `true` unless a histogram or a tags read shows on the canvas — a
+ * transition's label draws lines, figures and lists (R21).
+ */
+export type FlowchartLabelDraws<S> = S extends {
+    details: ReadonlyArray<infer D>;
+} ? [Extract<D, FlowchartRead<StructType, "histogram", "all" | "canvas", boolean>>] extends [never] ? [Extract<D, FlowchartRead<StructType, "tags", "all" | "canvas", boolean>>] extends [never] ? true : {
+    "A transition's label draws lines: a figure or a list — give the tags show: \"inspector\"": never;
+} : {
+    "A transition's label draws lines: a figure or a list — give the histogram show: \"inspector\"": never;
+} : true;
+/** What a kind's details take: every read, in the order drawn, and the source whose picks weigh them. */
+export interface FlowchartDetailsSpec<R extends StructType> {
+    /**
+     * The rail's source whose picks weigh them (#1522): a source of the
+     * Flowchart's slice over the details' record, its Dict field offered
+     * through the entries index the details are bound with. Its picked keys'
+     * entries are what each read the entries hold draws, added up by kind.
+     */
+    source?: string;
+    /**
+     * Every read, any mix of the four, in the order drawn — on a state's card
+     * or a transition's label, and in the inspector — each where its show says.
+     */
+    details: ReadonlyArray<FlowchartRead<R, FlowchartReadKind, FlowchartShow, boolean>>;
+}
+/**
+ * A transition's: its label draws lines — figures and lists — so a tags or a
+ * histogram read shows in the inspector alone, a type error otherwise, with
+ * the words "A transition's label draws lines: a figure or a list — give the
+ * histogram show: "inspector"".
+ */
+export interface FlowchartTransitionDetailsSpec {
+    /** The rail's source whose picks weigh them (#1522). */
+    source?: string;
+    /** Its reads: figures and lists anywhere, tags and histograms in the inspector alone. */
+    details: ReadonlyArray<FlowchartRead<StructType, "figure" | "list"> | FlowchartRead<StructType, "tags" | "histogram", "inspector">>;
+}
+/**
+ * The binding a kind's details take (R19): `Data.bind(record)`'s handle, read
+ * whole, or `Data.bindPaged(record)`'s, read by key — or, weighed by the
+ * rail's picks (#1522), `Data.bindPaged(record, { indexes: [its entries index] })`'s,
+ * its rows read by key through the index's lean rows.
+ *
+ * @typeParam R - The details' row type
+ * @typeParam P - Through an entries index, an index entry's value: the row, its Dict field emptied
+ * @typeParam M - Through an entries index, the binding's indexes, each its fields and its kind
+ * @typeParam IK - Through an entries index, the binding's index keys
+ * @typeParam N - Through an entries index, the binding's nested part
+ * @typeParam X - Through an entries index, the binding's maintenance part
+ */
+export type FlowchartDetailsBinding<R extends StructType, P extends EastType = EastType, M extends EastType = EastType, IK extends EastType = EastType, N extends EastType = EastType, X extends EastType = EastType> = FlowchartBinding<R> | IndexedSource<StringType, R, P, M, IK, N, X>;
+/** The key a kind's details carry their mark under. */
+export declare const FLOWCHART_DETAILS: unique symbol;
+/** The phantom brand a kind's details carry: their row, their reads, and whether a transition's label draws them. */
+export declare const FlowchartDetailsBrand: unique symbol;
+/** The type of {@link FlowchartDetailsBrand}. */
+export type FlowchartDetailsBrand = typeof FlowchartDetailsBrand;
+/**
+ * A kind's details, declared: what a state's or a transition's `details`
+ * takes.
+ *
+ * @typeParam R - The details' row type
+ * @typeParam S - Their reads, as given
+ * @typeParam L - Whether a transition's label draws them: `true`, or the words saying why not
+ */
+export interface FlowchartDetails<R extends StructType, S, L = FlowchartLabelDraws<S>> {
+    /** What it is. */
+    readonly [FLOWCHART_DETAILS]: "details";
+    /** The details' row type. */
+    readonly rowType: StructType;
+    /** The rail's source whose picks weigh them (#1522); `undefined` for details none weighs. */
+    readonly source: string | undefined;
+    /** Whether a read shows in the inspector alone: refused beside `inspector={false}`. */
+    readonly inspectorReads: boolean;
+    /**
+     * Checks the details where their kind declares them: a transition's label
+     * draws figures and lists, three lines at most under its evidence.
+     *
+     * @param noun - The kind's rows, `states` or `transitions`
+     * @param where - The kind, as a refusal names it
+     * @throws {Error} On a transition: a tags or a histogram read on the canvas, and lines past three
+     */
+    check(noun: "states" | "transitions", where: string): void;
+    /**
+     * The details on the wire, beside their kind.
+     *
+     * @param noun - The kind's rows, `states` or `transitions`: a list's lines, 2 on a card and 1 on a label unless given
+     * @param where - The kind, as a refusal names it
+     * @param throughSource - Whether the kind is read through its source of the slice: details a source weighs are read
+     *   by key whatever their kind's read (#1522)
+     * @returns The details, closed
+     * @throws {Error} When they are bound in a form their kind's read does not take (R19), naming the one to use
+     */
+    build(noun: "states" | "transitions", where: string, throughSource: boolean): ExprType<typeof FlowchartDetailsType>;
+    /** Their row, their reads, and whether a transition's label draws them (phantom). */
+    readonly [FlowchartDetailsBrand]?: {
+        readonly label: L;
+        readonly row: R;
+        readonly spec: S;
+    };
+}
+/**
+ * Whether something is a kind's details: `Flowchart.details`'.
+ *
+ * @param value - What a kind's `details` holds
+ * @returns Whether it is
+ */
+export declare function isFlowchartDetails(value: unknown): value is FlowchartDetails<StructType, unknown, unknown>;
+/**
+ * The rows an index-selected binding's type pages through (#1522): each
+ * entry's joined row and its key, as `Data.bindPaged(record, { indexes })`'s
+ * `page` serves them.
+ *
+ * @param type - The binding's type
+ * @returns The row's struct and the key's type; `undefined` for a binding that pages no such entries
+ * @internal
+ */
+export declare function flowchartIndexedRows(type: EastType): {
+    readonly row: StructType;
+    readonly key: EastType;
+} | undefined;
+/**
+ * One kind's details over the app's rows (R18, R19, R21), keyed as the kind's
+ * are, read only: `Data.bind(record)`, read whole beside a kind read whole,
+ * or `Data.bindPaged(record)`, read by the drawn rows' keys beside one read
+ * through its source.
+ *
+ * Bound through an entries index — `Data.bindPaged(record, { indexes: [it] })`
+ * — and naming the rail's source over that binding with `source`, the details
+ * are weighed by the source's picks of the Dict field the index files (#1522,
+ * R44, R45): read by key whatever the kind's read, each row with that field
+ * emptied, and each read whose field the entries hold drawing the picked keys'
+ * entries added up by kind — a figure adds, a histogram adds bin by bin, a
+ * list adds by name, tags join. A read given `weigh: false`, or one whose field
+ * the entries lack, draws the row's own; with no pick, every read does. A share
+ * or an average is given `weigh: false`, since adding two would make it wrong:
+ * `Flowchart.figure("onTime", { label: "On time", weigh: false })` draws each
+ * state's own share of its parcels through on time, whatever the picks.
+ *
+ * @typeParam R - The details' row type, inferred from the binding
+ * @typeParam S - The reads, as given
+ * @typeParam P - Through an entries index, an index entry's value, inferred from the binding
+ * @typeParam M - Through an entries index, the binding's indexes, inferred from it
+ * @typeParam IK - Through an entries index, the binding's index keys, inferred from it
+ * @typeParam N - Through an entries index, the binding's nested part, inferred from it
+ * @typeParam X - Through an entries index, the binding's maintenance part, inferred from it
+ * @param binding - The details' record: `Data.bind(record)`, `Data.bindPaged(record)`, or `Data.bindPaged(record, { indexes: [its entries index] })`
+ * @param spec - `{ source?, details: [ … ] }`: the rail's source whose picks weigh them, and every read, in the order drawn
+ * @returns The details, for a state's or a transition's `details`
+ * @throws {Error} Naming the binding or the read (R18–R20): `Record.bind` — "Details are read only: bind them with
+ *   Data.bind(record), or Data.bindPaged(record) beside a kind read through its source" — or anything but a binding of
+ *   a record of structs keyed by String; an element that is no read; a read's field the row lacks, or one of another
+ *   type; an Array of counts without bins; a Dict of structs without a draw. Weighed (#1522): `source` naming the
+ *   states' or the transitions' own; a source named while bound without an entries index, or an entries index bound
+ *   with no source named; `weigh` beside details that name no source; a read of the entries' own field; a read whose
+ *   field the entries hold in a type it doesn't take; a list of structs one of whose fields neither adds nor joins,
+ *   unless it says `weigh: false`. The Flowchart refuses a source its slice lacks, and one over rows of another type
+ *   (`Flowchart.payload`)
+ *
+ * @example
+ * ```tsx
+ * // .tsx file with the `@jsxImportSource @elaraai/e3-ui` pragma
+ * import { ArrayType, DictType, East, IntegerType, StringType, StructType, variant } from "@elaraai/east";
+ * import { Box, Reactive, UIComponentType } from "@elaraai/east-ui";
+ * import { Data, Flowchart } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * // A support desk's tickets: the states they pass through, the transitions between them, and the minutes
+ * // each spent in each state. The app's task counts each state's tickets into the app's own bins — minutes at
+ * // first, then hours, a shift and a day — an Array of counts, one a bin, keyed as the states are.
+ * export const DeskState = StructType({ name: StringType, stage: StringType });
+ * export const DeskTransition = StructType({ from: StringType, to: StringType });
+ * export const DeskStage = StructType({ label: StringType, seq: IntegerType });
+ * export const deskStates = e3.input("flowchart_desk_states", DictType(StringType, DeskState), variant("value", new Map([
+ *     ["NEW", { name: "New", stage: "open" }], ["TRI", { name: "Triaged", stage: "open" }],
+ *     ["WIP", { name: "In progress", stage: "work" }], ["WAI", { name: "Waiting on customer", stage: "work" }],
+ *     ["RES", { name: "Resolved", stage: "close" }],
+ * ])));
+ * export const deskTransitions = e3.input("flowchart_desk_transitions", DictType(StringType, DeskTransition), variant("value", new Map([
+ *     ["t1", { from: "NEW", to: "TRI" }], ["t2", { from: "TRI", to: "WIP" }], ["t3", { from: "WIP", to: "WAI" }],
+ *     ["t4", { from: "WAI", to: "WIP" }], ["t5", { from: "WIP", to: "RES" }],
+ * ])));
+ * export const deskStages = e3.input("flowchart_desk_stages", DictType(StringType, DeskStage), variant("value", new Map([
+ *     ["open", { label: "Open", seq: 1n }], ["work", { label: "Work", seq: 2n }], ["close", { label: "Close", seq: 3n }],
+ * ])));
+ * export const TicketMinutes = StructType({ minutes: ArrayType(IntegerType) });
+ * export const ticketMinutes = e3.input("flowchart_ticket_minutes", DictType(StringType, TicketMinutes), variant("value", new Map([
+ *     ["NEW", { minutes: [140n, 96n, 120n, 64n, 30n, 22n, 9n, 4n, 2n, 1n, 0n, 0n] }],
+ *     ["TRI", { minutes: [62n, 88n, 131n, 90n, 41n, 25n, 12n, 6n, 3n, 1n, 0n, 0n] }],
+ *     ["WIP", { minutes: [3n, 8n, 41n, 96n, 120n, 150n, 132n, 88n, 40n, 18n, 9n, 4n] }],
+ *     ["WAI", { minutes: [0n, 1n, 2n, 6n, 9n, 14n, 30n, 58n, 74n, 66n, 41n, 22n] }],
+ *     // A resolved ticket stays resolved: the app counts no time in it, so its row is absent and its card says no data.
+ * ])));
+ *
+ * const flowchartTicketMinutes = East.function([], UIComponentType, (_$) => (
+ *     <Reactive>{$ => {
+ *         const states = $.let(Data.bind(deskStates));
+ *         const transitions = $.let(Data.bind(deskTransitions));
+ *         const stages = $.let(Data.bind(deskStages));
+ *         const minutes = $.let(Data.bind(ticketMinutes));
+ *         return (
+ *             <Box height="560px">
+ *                 <Flowchart
+ *                     states={Flowchart.states(states, {
+ *                         label: "name", lane: "stage",
+ *                         details: Flowchart.details(minutes, {
+ *                             details: [Flowchart.histogram("minutes", {
+ *                                 unit: "minutes",
+ *                                 label: "Time in state",
+ *                                 counts: "tickets",
+ *                                 // The edges, in minutes: an Array of counts is a bin each, in this order.
+ *                                 bins: [0, 1, 2, 5, 10, 15, 30, 60, 120, 240, 480, 1440],
+ *                                 // A bar a bin, whatever its span — the default; "linear" draws them to scale.
+ *                                 scale: "band",
+ *                                 // The edges the axis names besides 0: 5m and 1h printed from the unit,
+ *                                 // the last two in the app's own words.
+ *                                 ticks: [5, 60, { at: 480, label: "a shift" }, { at: 1440, label: "a day" }],
+ *                             })],
+ *                         }),
+ *                     })}
+ *                     transitions={Flowchart.transitions(transitions, { from: "from", to: "to" })}
+ *                     lanes={Flowchart.lanes(stages, { label: "label", order: "seq" })}
+ *                     name="ticketMinutes"
+ *                 />
+ *             </Box>
+ *         );
+ *     }}</Reactive>
+ * ));
+ * ```
+ */
+export declare function flowchartDetails<R extends StructType, const S extends FlowchartDetailsSpec<R>, P extends EastType = EastType, M extends EastType = EastType, IK extends EastType = EastType, N extends EastType = EastType, X extends EastType = EastType>(binding: FlowchartDetailsBinding<R, P, M, IK, N, X>, spec: S & FlowchartLegendOnCanvas<S>): FlowchartDetails<NoInfer<R>, NoInfer<S>>;
+//# sourceMappingURL=details.d.ts.map

package/dist/src/flowchart/details.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"details.d.ts","sourceRoot":"","sources":["../../../src/flowchart/details.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EACH,SAAS,EAAY,QAAQ,EAAc,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAC5E,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,kBAAkB,EAC1F,MAAM,eAAe,CAAC;AACvB,OAAO,EACH,eAAe,EAAE,gBAAgB,EAAgC,KAAK,kBAAkB,EAAE,KAAK,aAAa,EAAE,KAAK,mBAAmB,EACzI,MAAM,2BAA2B,CAAC;AAGnC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAA0B,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAMjG,iEAAiE;AACjE,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IAAI;KACpD,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK;CACtI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,mJAAmJ;AACnJ,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,UAAU,IAAI;KACvD,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,WAAW,GAAG,SAAS,EAAE,WAAW,GAAG,SAAS,CAAC,GAAG,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK;CACxK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,uGAAuG;AACvG,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI;KAClD,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,UAAU,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK;CACnI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI;KAClD,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK;CACpH,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,yDAAyD;AACzD,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,kBAAkB,CAAC,CAAC,CAAC,IAC/E,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAMrE,wFAAwF;AACxF,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,QAAQ,CAAC;AAElD,mGAAmG;AACnG,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,WAAW,yBAAyB;IACtC,qCAAqC;IACrC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,iJAAiJ;IACjJ,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,gDAAgD;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wGAAwG;IACxG,IAAI,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAChD,6BAA6B;IAC7B,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,8EAA8E;IAC9E,KAAK,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;CACxC;AAED,2FAA2F;AAC3F,MAAM,WAAW,iBAAiB;IAC9B,mBAAmB;IACnB,YAAY,EAAE,kBAAkB,CAAC,eAAe,CAAC,GAAG,kBAAkB,CAAC;IACvE,wCAAwC;IACxC,OAAO,CAAC,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,GAAG,mBAAmB,CAAC;CACxE;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3D,qBAAqB;AACrB,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzE,iHAAiH;AACjH,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAAgC,CAAC;AACzE,8CAA8C;AAC9C,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,iBAAiB,EAAE,CAAC,SAAS,aAAa,GAAG,aAAa,EAAE,CAAC,SAAS,OAAO,GAAG,KAAK,IAC3I;IAAE,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;QAAE,GAAG,EAAE,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC;QAAC,MAAM,EAAE,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC;AA8J/E;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG,KAAK,EAC1H,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,GACvE,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAOxC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,uBAAuB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG,KAAK,EAChI,KAAK,EAAE,CAAC,EAER,OAAO,EAAE,yBAAyB,GAAG;IAAE,IAAI,CAAC,EAAE,CAAC,CAAA;CAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,GAC/K,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAe3C;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,kBAAkB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG,KAAK,EACtH,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,EAAI,mCAAmC;AAC9H,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK;IAC9F,KAAK,EAAE,kBAAkB,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;CACrD,GACF,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAUtC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,kBAAkB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG,KAAK,EAAE,KAAK,CAAC,CAAC,SAAS,OAAO,GAAG,KAAK,EACvJ,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE;IACN,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,kBAAkB,CAAC,SAAS,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,CAAC,EAAE,CAAC,CAAC;IACT,KAAK,CAAC,EAAE,OAAO,CAAC;CACnB,GACF,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAWlD;AAMD;;;GAGG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAChF,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GACxF;IAAE,oFAAoF,EAAE,KAAK,CAAA;CAAE,GACnG,OAAO,CAAC;AAEd;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAC5E,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3F,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAC7F;IAAE,0FAA0F,EAAE,KAAK,CAAA;CAAE,GACzG;IAAE,+FAA+F,EAAE,KAAK,CAAA;CAAE,GAC9G,IAAI,CAAC;AAEX,yGAAyG;AACzG,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,UAAU;IACtD;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,iBAAiB,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;CACvF;AAED;;;;;GAKG;AACH,MAAM,WAAW,8BAA8B;IAC3C,wDAAwD;IACxD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,yFAAyF;IACzF,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,UAAU,EAAE,QAAQ,GAAG,MAAM,CAAC,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;CACvI;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,EAAE,SAAS,QAAQ,GAAG,QAAQ,EAClJ,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC1D,gBAAgB,CAAC,CAAC,CAAC,GACnB,aAAa,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnD,uDAAuD;AACvD,eAAO,MAAM,iBAAiB,EAAE,OAAO,MAAoC,CAAC;AAE5E,qHAAqH;AACrH,eAAO,MAAM,qBAAqB,EAAE,OAAO,MAAmC,CAAC;AAC/E,iDAAiD;AACjD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC;IACjF,kBAAkB;IAClB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,SAAS,CAAC;IACxC,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,uFAAuF;IACvF,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC;;;;;;;OAOG;IACH,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3D;;;;;;;;;OASG;IACH,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,GAAG,QAAQ,CAAC,OAAO,oBAAoB,CAAC,CAAC;IACpH,qFAAqF;IACrF,QAAQ,CAAC,CAAC,qBAAqB,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC;CAC/F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAG1G;AAiBD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAAG,SAAS,CAUrH;AAyeD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4GG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EACxJ,EAAE,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAC5F,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EACnD,IAAI,EAAE,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,GACrC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAkI1C"}