@tryghost/metafield-types 0.2.0 → 0.4.0

package/build/shapes.d.ts

@@ -0,0 +1,185 @@
+/**
+ * The rules every field of a shape follows, whatever its type and settings, and the rules a field
+ * adds from its settings when a held value is read.
+ *
+ * A shape's rules look only at structure: they know a list is a list of strings, but not which
+ * strings a field offers. They also say what a write does to a held value, which is part of the
+ * API's contract rather than storage's choice: a client works out a write against the value its
+ * form loaded, and Ghost applies it to whatever is stored when it lands, which another writer may
+ * have changed in between. The two only agree because both read the rules here.
+ *
+ * Each table is keyed by shape, so a shape added to the catalog fails to compile here until it has
+ * an entry. Each translator of a shape into another domain's terms, such as the storage translator
+ * into rows or the CSV translator into cells, keeps its own table of the same form, which `shaped`
+ * lets it index without a cast.
+ *
+ * Zod-free, like `./structure`, so Portal can use it. The strict rule a write must meet is built
+ * from zod and lives in `./index` as `accept`.
+ */
+import { type FieldOfShape, type FieldShape, type FieldType, type FieldTypeOfShape, type Leaf, type LeafKind, type LeafValues, type TypedSettings, type ValueOf, type WriteOf } from './structure.js';
+/** A leaf's value of any kind. */
+export type AnyLeafValue = LeafValues[LeafKind];
+/**
+ * What a value of each JSON kind is. Primitives only: the shape rules compare two leaf values with
+ * `===`, which a kind holding objects would break.
+ */
+interface KindValues {
+    string: string;
+    number: number;
+    boolean: boolean;
+}
+/** The JSON kind a value comes in. */
+type KindOf<V> = {
+    [K in keyof KindValues]: V extends KindValues[K] ? K : never;
+}[keyof KindValues];
+/**
+ * The JSON kinds the catalog's leaves' values come in, which is all that tells two leaves' values
+ * apart without their field: how storage picks a value's column, and a filter what to compare it
+ * in. Read from the leaves, so a leaf kind whose value is a new JSON kind widens it.
+ */
+export type ValueKind = KindOf<AnyLeafValue>;
+/** The leaf values of one JSON kind. */
+export type ValueOfKind<K extends ValueKind> = Extract<AnyLeafValue, KindValues[K]>;
+/**
+ * What the domain knows about each kind of leaf beyond its rule, which needs zod and is
+ * `LEAF_RULES` in `./index`. Keyed by kind, so a kind added to the catalog fails to compile here
+ * until it says each.
+ */
+interface LeafKindRules<K extends LeafKind> {
+    /** The JSON kind its value comes in. */
+    readonly kind: KindOf<LeafValues[K]>;
+    /** A raw value read as this leaf's value, or undefined when it holds none. */
+    read(raw: unknown): LeafValues[K] | undefined;
+    /**
+     * Text, as a form's input or a CSV cell holds it, read as this leaf's value, or the text itself
+     * where it holds none, so the leaf's rule refuses it rather than it being dropped. Writing a
+     * value as text is `String` for every kind.
+     */
+    fromText(text: string): LeafValues[K] | string;
+}
+/**
+ * What a value of each shape holds: whatever a type of that shape holds, read from the catalog, so a
+ * type's parts and leaves are typed the same way here. A value always holds something: a field
+ * holding nothing has no value at all, rather than an empty one, so `0` and an answer left blank are
+ * never confused. A record holds at least one part, and a set at least one option.
+ */
+export type ShapeValue = {
+    [S in FieldShape]: ValueOf<FieldTypeOfShape<S>>;
+};
+/** What a write to a field of each shape gives, from the catalog in the same way; see `WriteOf`. */
+export type ShapeWrite = {
+    [S in FieldShape]: WriteOf<FieldTypeOfShape<S>>;
+};
+export interface ShapeRules<S extends FieldShape> {
+    /**
+     * What `raw` holds as a value of `type`, or undefined when it holds nothing of it. Lenient: a part
+     * the type doesn't declare, or one of another kind than its leaf, is left out.
+     */
+    parse(type: FieldTypeOfShape<S>, raw: unknown): ShapeValue[S] | undefined;
+    /** Whether two values hold the same, which a write that changes nothing leaves alone. */
+    same(a: ShapeValue[S], b: ShapeValue[S]): boolean;
+    /** What a write does to what is held, which is nothing when a record's write clears every part. */
+    apply(held: ShapeValue[S] | undefined, write: ShapeWrite[S]): ShapeValue[S] | undefined;
+    /**
+     * The smallest write that turns `held` into `next`: `null` when `next` holds nothing, and
+     * undefined when the two hold the same.
+     */
+    diff(held: ShapeValue[S] | undefined, next: ShapeValue[S] | undefined): ShapeWrite[S] | null | undefined;
+}
+export declare const LEAVES: {
+    readonly [K in LeafKind]: LeafKindRules<K>;
+};
+/** Each shape's rules. A shape added to the catalog without rules doesn't compile. */
+export declare const SHAPES: {
+    readonly [S in FieldShape]: ShapeRules<S>;
+};
+/**
+ * A field together with its shape, as one of a union with a member per shape. Indexing a table
+ * keyed by shape with `shape` gives the entry for the same shape that `field` has, so a translator
+ * such as the storage translator can call its entry for a field without a cast or a branch per
+ * shape.
+ */
+export type ShapedField<F extends TypedSettings = TypedSettings, S extends FieldShape = FieldShape> = {
+    [K in S]: {
+        readonly shape: K;
+        readonly field: FieldOfShape<K, F>;
+    };
+}[S];
+/** A field paired with its shape: the one place a field's union is branched on by shape. */
+export declare function shaped<F extends TypedSettings>(field: F): ShapedField<F>;
+/**
+ * A type together with its shape, for a translator that knows a field's type but not its settings,
+ * as the CSV translator does.
+ */
+export type ShapedType<S extends FieldShape = FieldShape> = {
+    [K in S]: {
+        readonly shape: K;
+        readonly type: FieldTypeOfShape<K>;
+    };
+}[S];
+/** A type paired with its shape. */
+export declare function shapedType(type: FieldType): ShapedType;
+/** How a field of each shape reads a held value, using its type and settings. */
+export interface FieldReading<S extends FieldShape> {
+    /**
+     * Lenient: what a field holds, read as the field gives it meaning. Keeps answers to options
+     * since removed, and parts saved under an older, looser rule, so tightening a rule never hides
+     * what members hold. Puts a list's answers in the field's order, then the removed ones.
+     */
+    held(field: FieldOfShape<S>, value: ShapeValue[S]): ShapeValue[S] | undefined;
+    /**
+     * What a form can show of a held value. A save that writes what the form shows drops an answer
+     * the form can't show.
+     */
+    editable(field: FieldOfShape<S>, held: ShapeValue[S]): ShapeValue[S] | undefined;
+}
+export declare const FIELD_READING: {
+    readonly [S in FieldShape]: FieldReading<S>;
+};
+/**
+ * What a held raw value reads as for its field: its structure checked, then read as the field
+ * gives it meaning. Undefined when the value isn't the field's structure.
+ */
+export declare function heldValue<S extends FieldShape>({ shape, field }: ShapedField<TypedSettings, S>, raw: unknown): ShapeValue[S] | undefined;
+/** What a form can show of a held raw value, or undefined when it shows nothing. */
+export declare function editableValue<S extends FieldShape>(of: ShapedField<TypedSettings, S>, raw: unknown): ShapeValue[S] | undefined;
+/** A leaf's value as text gives it, or undefined for blank text, which holds nothing. */
+export declare const leafFromText: (leaf: Leaf, text: string) => AnyLeafValue | undefined;
+/**
+ * What a value given as text holds, such as a form's inputs or a row's cells: each leaf read from
+ * its text, then parsed as a value of its type, which drops blank text. Undefined when it holds
+ * nothing.
+ */
+export declare function valueFromText<S extends FieldShape>({ shape, type }: ShapedType<S>, raw: unknown): ShapeValue[S] | undefined;
+/** A value of each shape as a form's inputs hold it: each leaf as its text. */
+export interface ShapeText {
+    scalar: string;
+    record: {
+        readonly [part: string]: string;
+    };
+    set: string[];
+}
+/** A value as a form's inputs hold it, which `valueFromText` reads back as the same value. */
+export declare function textOfValue<S extends FieldShape>(shape: S, value: ShapeValue[S]): ShapeText[S];
+/** What a field holds, each leaf as its text, as a field shown but not edited draws it. */
+export declare function heldTextOf<S extends FieldShape>(of: ShapedField<TypedSettings, S>, held: unknown): ShapeText[S] | undefined;
+/**
+ * What a form's inputs start from for a held raw value: what the form can show of it, each leaf as
+ * its text, or undefined when it shows nothing.
+ */
+export declare function formTextOf<S extends FieldShape>(of: ShapedField<TypedSettings, S>, held: unknown): ShapeText[S] | undefined;
+/**
+ * What a form's inputs show, read as the field reads a value: each leaf from its text, blank text
+ * holding nothing, and only what the form can show. Undefined when they show nothing.
+ */
+export declare function formShows<S extends FieldShape>(of: ShapedField<TypedSettings, S>, inputs: unknown): ShapeValue[S] | undefined;
+/**
+ * The write that turns what a field holds into what a form's inputs show: `null` when the inputs
+ * show nothing of a replacing shape, and undefined when they show what the field holds. The held
+ * value is read as the field reads it first, so a part the form doesn't draw is never written, and
+ * an answer the form can't show, such as one to an option the field no longer offers, is cleared
+ * by the write.
+ */
+export declare function formWrite<S extends FieldShape>(of: ShapedField<TypedSettings, S>, inputs: unknown, held: unknown): ShapeWrite[S] | null | undefined;
+export {};
+//# sourceMappingURL=shapes.d.ts.map

package/build/shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.d.ts","sourceRoot":"","sources":["../src/shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAML,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,OAAO,EAEb,MAAM,gBAAgB,CAAC;AAExB,kCAAkC;AAClC,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;AAEhD;;;GAGG;AACH,UAAU,UAAU;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,sCAAsC;AACtC,KAAK,MAAM,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,UAAU,GAAG,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,UAAU,CAAC,CAAC;AAEpG;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AAE7C,wCAAwC;AACxC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpF;;;;GAIG;AACH,UAAU,aAAa,CAAC,CAAC,SAAS,QAAQ;IACxC,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,8EAA8E;IAC9E,IAAI,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;CAChD;AAED;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG;KAAG,CAAC,IAAI,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE7E,oGAAoG;AACpG,MAAM,MAAM,UAAU,GAAG;KAAG,CAAC,IAAI,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE7E,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU;IAC9C;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC1E,yFAAyF;IACzF,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;IAClD,mGAAmG;IACnG,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IACxF;;;OAGG;IACH,IAAI,CACF,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,EAC/B,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,GAC9B,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC;CACrC;AAgBD,eAAO,MAAM,MAAM,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC;CAGhE,CAAC;AAuHF,sFAAsF;AACtF,eAAO,MAAM,MAAM,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC;CAA4B,CAAC;AAE7F;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,aAAa,GAAG,aAAa,EACvC,CAAC,SAAS,UAAU,GAAG,UAAU,IAC/B;KACD,CAAC,IAAI,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE;CACpE,CAAC,CAAC,CAAC,CAAC;AAEL,4FAA4F;AAC5F,wBAAgB,MAAM,CAAC,CAAC,SAAS,aAAa,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAMxE;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;KACzD,CAAC,IAAI,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAA;KAAE;CACpE,CAAC,CAAC,CAAC,CAAC;AAEL,oCAAoC;AACpC,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAMtD;AAED,iFAAiF;AACjF,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,UAAU;IAChD;;;;OAIG;IACH,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9E;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;CAClF;AAOD,eAAO,MAAM,aAAa,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC;CAcxE,CAAC;AAEF;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,UAAU,EAC5C,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EAC/C,GAAG,EAAE,OAAO,GACX,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAG3B;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,CAAC,SAAS,UAAU,EAChD,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EACjC,GAAG,EAAE,OAAO,GACX,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAG3B;AAED,yFAAyF;AACzF,eAAO,MAAM,YAAY,SAAU,IAAI,QAAQ,MAAM,KAAG,YAAY,GAAG,SAGtE,CAAC;AAmCF;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,UAAU,EAChD,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,EAC9B,GAAG,EAAE,OAAO,GACX,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAE3B;AAED,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IAC5C,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAeD,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAE9F;AAED,2FAA2F;AAC3F,wBAAgB,UAAU,CAAC,CAAC,SAAS,UAAU,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EACjC,IAAI,EAAE,OAAO,GACZ,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAG1B;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,UAAU,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EACjC,IAAI,EAAE,OAAO,GACZ,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAG1B;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,UAAU,EAC5C,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EACjC,MAAM,EAAE,OAAO,GACd,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAG3B;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,UAAU,EAC5C,EAAE,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,EACjC,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,OAAO,GACZ,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAElC"}

package/build/shapes.js

@@ -0,0 +1,262 @@
+/**
+ * The rules every field of a shape follows, whatever its type and settings, and the rules a field
+ * adds from its settings when a held value is read.
+ *
+ * A shape's rules look only at structure: they know a list is a list of strings, but not which
+ * strings a field offers. They also say what a write does to a held value, which is part of the
+ * API's contract rather than storage's choice: a client works out a write against the value its
+ * form loaded, and Ghost applies it to whatever is stored when it lands, which another writer may
+ * have changed in between. The two only agree because both read the rules here.
+ *
+ * Each table is keyed by shape, so a shape added to the catalog fails to compile here until it has
+ * an entry. Each translator of a shape into another domain's terms, such as the storage translator
+ * into rows or the CSV translator into cells, keeps its own table of the same form, which `shaped`
+ * lets it index without a cast.
+ *
+ * Zod-free, like `./structure`, so Portal can use it. The strict rule a write must meet is built
+ * from zod and lives in `./index` as `accept`.
+ */
+import { FIELD_STRUCTURES, editableAnswers, isRecordValue, matchField, matchShape, keysOf, } from './structure.js';
+/**
+ * A leaf's value, or undefined for text of nothing but spaces, which holds nothing: a form's input
+ * or a CSV cell left blank says no more than one left out.
+ */
+const filled = (raw) => typeof raw === 'string' && raw.trim() === '' ? undefined : raw;
+/** A value JSON carries as a string, without its padding, which every such leaf's rule trims too. */
+const stringRules = {
+    kind: 'string',
+    read: (raw) => (typeof raw === 'string' ? filled(raw.trim()) : undefined),
+    fromText: (text) => text.trim(),
+};
+export const LEAVES = {
+    text: stringRules,
+    choice: stringRules,
+};
+/** A raw value read as its leaf's kind of value, typed by the leaf. */
+const readLeaf = (leaf, raw) => LEAVES[leaf.leaf].read(raw);
+/** A raw value read as a value of any kind of leaf, or undefined when no kind reads it. */
+function readAnyLeaf(raw) {
+    for (const kind of keysOf(LEAVES)) {
+        const value = LEAVES[kind].read(raw);
+        if (value !== undefined) {
+            return value;
+        }
+    }
+    return undefined;
+}
+const isTextList = (raw) => Array.isArray(raw) && raw.every((entry) => typeof entry === 'string');
+/**
+ * The diff of a shape whose write replaces what is held, from how it compares two values that both
+ * hold something: a value going is the write `null`, and a value arriving is the whole value.
+ */
+const diffing = (change) => (held, next) => {
+    if (next === undefined) {
+        return held === undefined ? undefined : null;
+    }
+    return held === undefined ? next : change(held, next);
+};
+/** A record's parts that hold something, or undefined when none does: cleared parts are left out. */
+const someParts = (parts) => {
+    const held = {};
+    for (const part of keysOf(parts)) {
+        const value = filled(parts[part] ?? undefined);
+        if (value !== undefined) {
+            held[part] = value;
+        }
+    }
+    return keysOf(held).length > 0 ? held : undefined;
+};
+/** A set's options, or undefined when it has none. */
+const someOptions = (options) => options.length > 0 ? options : undefined;
+const scalar = {
+    // Any leaf's value rather than only its own leaf's, so text that holds no value of the leaf is
+    // kept for the leaf's rule to refuse; its type decides which kind it must be.
+    parse: (_type, raw) => readAnyLeaf(raw),
+    same: (a, b) => a === b,
+    apply: (_held, write) => write,
+    diff: diffing((held, next) => (held === next ? undefined : next)),
+};
+const record = {
+    // Only the parts the type declares, each read as its leaf's kind of value.
+    parse: (type, raw) => {
+        if (!isRecordValue(raw)) {
+            return undefined;
+        }
+        const parts = FIELD_STRUCTURES[type].parts;
+        const value = {};
+        for (const part of keysOf(parts)) {
+            const held = readLeaf(parts[part], raw[part]);
+            if (held !== undefined) {
+                value[part] = held;
+            }
+        }
+        return keysOf(value).length > 0 ? value : undefined;
+    },
+    same: (a, b) => record.diff(a, b) === undefined,
+    // Merged, as JSON Merge Patch merges objects: a part the write names is set, `null` clears it,
+    // and a part it leaves out is left alone, so writes to different parts don't overwrite each
+    // other.
+    apply: (held, write) => {
+        const merged = { ...held };
+        for (const part of keysOf(write)) {
+            const value = write[part];
+            if (value !== undefined) {
+                merged[part] = value;
+            }
+        }
+        return someParts(merged);
+    },
+    // Never `null`, even when nothing is left: a merged write names only the parts its writer saw, so
+    // a writer clearing the city doesn't also clear a country someone else has just set.
+    diff: (held, next) => {
+        if (held === undefined) {
+            return next;
+        }
+        const now = next ?? {};
+        const write = {};
+        for (const part of keysOf({ ...held, ...now })) {
+            if (held[part] !== now[part]) {
+                write[part] = now[part] ?? null;
+            }
+        }
+        return keysOf(write).length > 0 ? write : undefined;
+    },
+};
+const set = {
+    parse: (_type, raw) => (isTextList(raw) ? someOptions(raw) : undefined),
+    same: (a, b) => {
+        const options = new Set(b);
+        return new Set(a).size === options.size && a.every((option) => options.has(option));
+    },
+    // Replaced, as JSON Merge Patch replaces arrays: a write states the whole answer.
+    apply: (_held, write) => write,
+    diff: diffing((held, next) => (set.same(held, next) ? undefined : next)),
+};
+/** Each shape's rules. A shape added to the catalog without rules doesn't compile. */
+export const SHAPES = { scalar, record, set };
+/** A field paired with its shape: the one place a field's union is branched on by shape. */
+export function shaped(field) {
+    return matchField(field, {
+        scalar: (of) => ({ shape: 'scalar', field: of }),
+        record: (of) => ({ shape: 'record', field: of }),
+        set: (of) => ({ shape: 'set', field: of }),
+    });
+}
+/** A type paired with its shape. */
+export function shapedType(type) {
+    return matchShape(type, {
+        scalar: (_structure, of) => ({ shape: 'scalar', type: of }),
+        record: (_structure, of) => ({ shape: 'record', type: of }),
+        set: (_structure, of) => ({ shape: 'set', type: of }),
+    });
+}
+/** A form shows everything the field holds: true of every shape but a set. */
+const showsWhatItHolds = () => ({
+    editable: (_field, held) => held,
+});
+export const FIELD_READING = {
+    scalar: { held: (_field, value) => value, ...showsWhatItHolds() },
+    // Parsing already kept only the parts the type declares, which are all a client can draw.
+    record: { held: (_field, value) => value, ...showsWhatItHolds() },
+    set: {
+        held: ({ settings }, value) => {
+            const rank = (text) => {
+                const index = settings.options.indexOf(text);
+                return index === -1 ? settings.options.length : index;
+            };
+            return [...value].sort((a, b) => rank(a) - rank(b) || (a < b ? -1 : a > b ? 1 : 0));
+        },
+        editable: ({ settings }, held) => someOptions(editableAnswers(settings, held)),
+    },
+};
+/**
+ * What a held raw value reads as for its field: its structure checked, then read as the field
+ * gives it meaning. Undefined when the value isn't the field's structure.
+ */
+export function heldValue({ shape, field }, raw) {
+    const value = SHAPES[shape].parse(field.type, raw);
+    return value === undefined ? undefined : FIELD_READING[shape].held(field, value);
+}
+/** What a form can show of a held raw value, or undefined when it shows nothing. */
+export function editableValue(of, raw) {
+    const held = heldValue(of, raw);
+    return held === undefined ? undefined : FIELD_READING[of.shape].editable(of.field, held);
+}
+/** A leaf's value as text gives it, or undefined for blank text, which holds nothing. */
+export const leafFromText = (leaf, text) => {
+    const value = filled(text);
+    return value === undefined ? undefined : LEAVES[leaf.leaf].fromText(text);
+};
+/** A leaf read from its text, where it is text; blank text is kept, for parsing to drop. */
+const leafOf = (leaf, raw) => typeof raw === 'string' ? (leafFromText(leaf, raw) ?? raw) : raw;
+const SHAPE_TEXT = {
+    scalar: { fromText: (type, raw) => leafOf(FIELD_STRUCTURES[type].leaf, raw) },
+    record: {
+        fromText: (type, raw) => {
+            if (!isRecordValue(raw)) {
+                return raw;
+            }
+            const leaves = FIELD_STRUCTURES[type].parts;
+            return Object.fromEntries(Object.entries(raw).map(([part, held]) => {
+                const leaf = Object.prototype.hasOwnProperty.call(leaves, part)
+                    ? leaves[part]
+                    : undefined;
+                return [part, leaf ? leafOf(leaf, held) : held];
+            }));
+        },
+    },
+    set: { fromText: (_type, raw) => raw },
+};
+/**
+ * What a value given as text holds, such as a form's inputs or a row's cells: each leaf read from
+ * its text, then parsed as a value of its type, which drops blank text. Undefined when it holds
+ * nothing.
+ */
+export function valueFromText({ shape, type }, raw) {
+    return SHAPES[shape].parse(type, SHAPE_TEXT[shape].fromText(type, raw));
+}
+/** How a value of each shape is held by a form's inputs, each leaf as `String` writes it. */
+const VALUE_TEXT = {
+    scalar: (value) => String(value),
+    record: (value) => Object.fromEntries(keysOf(value).flatMap((part) => {
+        const held = value[part];
+        return held === undefined ? [] : [[part, String(held)]];
+    })),
+    set: (value) => value,
+};
+/** A value as a form's inputs hold it, which `valueFromText` reads back as the same value. */
+export function textOfValue(shape, value) {
+    return VALUE_TEXT[shape](value);
+}
+/** What a field holds, each leaf as its text, as a field shown but not edited draws it. */
+export function heldTextOf(of, held) {
+    const value = heldValue(of, held);
+    return value === undefined ? undefined : textOfValue(of.shape, value);
+}
+/**
+ * What a form's inputs start from for a held raw value: what the form can show of it, each leaf as
+ * its text, or undefined when it shows nothing.
+ */
+export function formTextOf(of, held) {
+    const value = editableValue(of, held);
+    return value === undefined ? undefined : textOfValue(of.shape, value);
+}
+/**
+ * What a form's inputs show, read as the field reads a value: each leaf from its text, blank text
+ * holding nothing, and only what the form can show. Undefined when they show nothing.
+ */
+export function formShows(of, inputs) {
+    const typed = valueFromText({ shape: of.shape, type: of.field.type }, inputs);
+    return typed === undefined ? undefined : editableValue(of, typed);
+}
+/**
+ * The write that turns what a field holds into what a form's inputs show: `null` when the inputs
+ * show nothing of a replacing shape, and undefined when they show what the field holds. The held
+ * value is read as the field reads it first, so a part the form doesn't draw is never written, and
+ * an answer the form can't show, such as one to an option the field no longer offers, is cleared
+ * by the write.
+ */
+export function formWrite(of, inputs, held) {
+    return SHAPES[of.shape].diff(heldValue(of, held), formShows(of, inputs));
+}
+//# sourceMappingURL=shapes.js.map

package/build/shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.js","sourceRoot":"","sources":["../src/shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,UAAU,EACV,UAAU,EAWV,MAAM,GACP,MAAM,gBAAgB,CAAC;AA6ExB;;;GAGG;AACH,MAAM,MAAM,GAAG,CAAyB,GAAkB,EAAiB,EAAE,CAC3E,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;AAEjE,qGAAqG;AACrG,MAAM,WAAW,GAAG;IAClB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,QAAQ,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;CAC/B,CAAC;AAEX,MAAM,CAAC,MAAM,MAAM,GAAmD;IACpE,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,uEAAuE;AACvE,MAAM,QAAQ,GAAG,CAAqB,IAA0B,EAAE,GAAY,EAAE,EAAE,CAChF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE9B,2FAA2F;AAC3F,SAAS,WAAW,CAAC,GAAY;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAKD,MAAM,UAAU,GAAG,CAAC,GAAY,EAAmB,EAAE,CACnD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;AAExE;;;GAGG;AACH,MAAM,OAAO,GACX,CAAO,MAA2C,EAAE,EAAE,CACtD,CAAC,IAAmB,EAAE,IAAmB,EAA4B,EAAE;IACrE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACxD,CAAC,CAAC;AAEJ,qGAAqG;AACrG,MAAM,SAAS,GAAG,CAAC,KAA2B,EAAoC,EAAE;IAClF,MAAM,IAAI,GAAmC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,WAAW,GAAG,CAAC,OAA0B,EAAiC,EAAE,CAChF,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAE3C,MAAM,MAAM,GAAyB;IACnC,+FAA+F;IAC/F,8EAA8E;IAC9E,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IACvB,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK;IAC9B,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;CAClE,CAAC;AAEF,MAAM,MAAM,GAAyB;IACnC,2EAA2E;IAC3E,KAAK,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,KAAK,GAAmC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,CAAC;IACD,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS;IAC/C,+FAA+F;IAC/F,4FAA4F;IAC5F,SAAS;IACT,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,MAAM,GAAmC,EAAE,GAAG,IAAI,EAAE,CAAC;QAC3D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,kGAAkG;IAClG,qFAAqF;IACrF,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,GAAyB,IAAI,IAAI,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAmC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/C,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YAClC,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,CAAC;CACF,CAAC;AAEF,MAAM,GAAG,GAAsB;IAC7B,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,kFAAkF;IAClF,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK;IAC9B,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;CACzE,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,MAAM,GAAkD,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAe7F,4FAA4F;AAC5F,MAAM,UAAU,MAAM,CAA0B,KAAQ;IACtD,OAAO,UAAU,CAAoB,KAAK,EAAE;QAC1C,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAChD,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;KAC3C,CAAC,CAAC;AACL,CAAC;AAUD,oCAAoC;AACpC,MAAM,UAAU,UAAU,CAAC,IAAe;IACxC,OAAO,UAAU,CAAa,IAAI,EAAE;QAClC,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3D,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3D,GAAG,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAiBD,8EAA8E;AAC9E,MAAM,gBAAgB,GAAG,GAA4D,EAAE,CAAC,CAAC;IACvF,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAoD;IAC5E,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,gBAAgB,EAAY,EAAE;IAC3E,0FAA0F;IAC1F,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,gBAAgB,EAAY,EAAE;IAC3E,GAAG,EAAE;QACH,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE;gBAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YACxD,CAAC,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;KAC/E;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,EAAE,KAAK,EAAE,KAAK,EAAiC,EAC/C,GAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,aAAa,CAC3B,EAAiC,EACjC,GAAY;IAEZ,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAU,EAAE,IAAY,EAA4B,EAAE;IACjF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC,CAAC;AAUF,4FAA4F;AAC5F,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,GAAY,EAAW,EAAE,CACnD,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAEnE,MAAM,UAAU,GAAoD;IAClE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;IAC7E,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;YACtB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,OAAO,GAAG,CAAC;YACb,CAAC;YACD,MAAM,MAAM,GAA+C,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;YACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;gBACvC,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;oBAC7D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,CAAC,CAAC,SAAS,CAAC;gBACd,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC,CACH,CAAC;QACJ,CAAC;KACF;IACD,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;CACvC,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,EAAE,KAAK,EAAE,IAAI,EAAiB,EAC9B,GAAY;IAEZ,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1E,CAAC;AASD,6FAA6F;AAC7F,MAAM,UAAU,GAA2E;IACzF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;IAChC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CACH;IACH,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;CACtB,CAAC;AAEF,8FAA8F;AAC9F,MAAM,UAAU,WAAW,CAAuB,KAAQ,EAAE,KAAoB;IAC9E,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,UAAU,CACxB,EAAiC,EACjC,IAAa;IAEb,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,EAAiC,EACjC,IAAa;IAEb,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACtC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,EAAiC,EACjC,MAAe;IAEf,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,EAAiC,EACjC,MAAe,EACf,IAAa;IAEb,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;AAC3E,CAAC"}