@elaraai/east 1.0.84 → 1.0.85

package/dist/src/query/jq/translate.d.ts

@@ -0,0 +1,627 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The jq translator: a checked program as ordinary East IR, typed from the
+ * checker's types (`devdocs/QUERY.md` §15).
+ *
+ * A filter is generated with a continuation that receives each of its
+ * outputs: `a | b` generates `b` in `a`'s continuation, `.[]` is a loop, and
+ * early exit (`first`, `limit`, `label`) is a labelled break out of every loop
+ * between. Every value is built by an East builtin, so a query runs wherever
+ * East IR runs; a runtime's only part is the `Query` builtin, which carries a
+ * query beside its translation and runs the translation (#1041).
+ *
+ * @packageDocumentation
+ */
+import type { AST, Label } from "../../ast.js";
+import type { BuiltinName } from "../../builtins.js";
+import { BlockBuilder } from "../../expr/block.js";
+import { Expr } from "../../expr/expr.js";
+import type { FunctionExpr } from "../../expr/function.js";
+import { type EastType } from "../../types.js";
+import { type CheckJqResult } from "./check.js";
+import { type Facts, type Result, type Shape } from "./shapes.js";
+import { type JqNode, type JqPattern } from "./spans.js";
+/** Options for {@link translateJq}. */
+export interface TranslateJqOptions {
+    /**
+     * Stop after this many outputs of a `many` query, and one more, so a caller
+     * can tell the result was cut short: the caller's limit.
+     */
+    maxOutputs?: number;
+    /** Translate the tooling-only builtins, `signature`, `source`, `calls` and `captures`, to calls of platform functions the host gives. */
+    tooling?: boolean;
+}
+/** A checked program as East IR. */
+export interface JqTranslation {
+    /**
+     * The translation's parameters, in order: one per field of an e3 root the
+     * program reads (`name` the field's), or the one input (`name` `null`).
+     */
+    inputs: {
+        name: string | null;
+        type: EastType;
+    }[];
+    /** The result's type: the element type `T` for `one`, `Option<T>` for `maybe`, `Array<T>` for `many`. */
+    resultType: EastType;
+    /**
+     * The translation over given inputs, as a block expression.
+     *
+     * @param inputs - one expression per {@link JqTranslation.inputs}, in order
+     * @returns the result, of {@link JqTranslation.resultType}
+     */
+    build(...inputs: Expr[]): Expr;
+    /** The translation as an East function of its inputs. */
+    fn(): FunctionExpr<any[], any>;
+    /**
+     * A call of the `Query` builtin over given inputs, as `East.jq` emits it
+     * (#1041): the builtin's arguments are the program as written and a root's
+     * input names, a typed constant (`QueryCallType`), and the translation, an
+     * East function of every input the query was checked against, which reads
+     * those the query reads and whose type carries the query's types; the
+     * call's arguments are the inputs. Running the call runs the translation,
+     * and printers print it back as `East.jq`.
+     *
+     * @param inputs - one expression per field of a root, in the root's order,
+     *   or the one input
+     * @returns the result, of {@link JqTranslation.resultType}
+     * @throws {TranslationError} When the inputs are not one per field of the
+     *   root, or the one input.
+     */
+    call(...inputs: Expr[]): Expr;
+}
+/** The input of a program checked as an e3 root: each field it reads, an input of its own. @internal */
+export interface RootValue {
+    readonly root: true;
+    readonly fields: ReadonlyMap<string, Expr>;
+}
+/** A value the translation passes along: an East expression, or the root. @internal */
+export type Value = Expr | RootValue;
+/**
+ * A type with its parts readable, for code that has decided its kind: an
+ * array's `value`, a dict's `key`, a struct's `fields`.
+ *
+ * @internal
+ */
+export type TypeParts = EastType & {
+    readonly value: EastType;
+    readonly key: EastType;
+    readonly element: EastType;
+    readonly node: EastType;
+    readonly fields: Record<string, EastType>;
+    readonly cases: Record<string, EastType>;
+    readonly inputs: EastType[];
+    readonly output: EastType;
+};
+/** A type, its parts readable. @internal */
+export declare function parts(type: EastType): TypeParts;
+/** A block being written. @internal */
+export type Block = BlockBuilder<any>;
+/** What receives each output of a filter: the block to write in, and the output. @internal */
+export type Emit = ($: Block, value: Expr) => void;
+/**
+ * A position's new value in an update: the value, and whether it is an
+ * option whose `none` deletes the position (`|=` with no output).
+ *
+ * @internal
+ */
+export interface Update {
+    readonly value: Expr;
+    readonly optional: boolean;
+}
+/**
+ * What gives a position's new value in an update, from its old value: the
+ * new value, or `undefined` when the update never gives one there.
+ *
+ * @internal
+ */
+export type UpdateFn = ($: Block, old: Expr) => Update | undefined;
+/** A `def` or a filter parameter in scope. */
+type Binding = {
+    kind: "def";
+    node: Extract<JqNode, {
+        type: "def";
+    }>;
+    path: string;
+    env: () => Env;
+} | {
+    kind: "param";
+    arg: JqNode;
+    path: string;
+    env: Env;
+};
+/** What is in scope where a node is generated. @internal */
+export interface Env {
+    readonly vars: ReadonlyMap<string, Value>;
+    readonly defs: ReadonlyMap<string, Binding>;
+    readonly labels: ReadonlyMap<string, Label>;
+    /** Which instance of a `def`'s body this is, as the checker names it. */
+    readonly instance: string;
+    /** Recursive defs being generated, by their instance signature: the reference holding each one's function. */
+    readonly recursion: ReadonlyMap<string, Expr>;
+    /**
+     * The path of a fold's update that sets a key of the fold's state in place:
+     * nothing else holds the state, so it changes without a copy (#1093).
+     */
+    readonly inPlace?: string;
+}
+/** A call of a builtin being translated. @internal */
+export interface CallSite {
+    /** The builtin as called. */
+    readonly name: string;
+    readonly path: string;
+    readonly args: readonly JqNode[];
+    readonly argPaths: readonly string[];
+    readonly $: Block;
+    readonly x: Value;
+    readonly env: Env;
+    readonly emit: Emit;
+}
+/** A builtin's translation. @internal */
+export type BuiltinRule = (t: Translator, call: CallSite) => void;
+/**
+ * Raised when a checked program holds something the translator cannot
+ * express. The checker refuses what a query may not do, so this marks a gap
+ * in the translation, never a mistake in the query.
+ */
+export declare class TranslationError extends Error {
+    constructor(message: string);
+}
+/** Whether a value is the root. @internal */
+export declare function isRoot(value: Value): value is RootValue;
+/** The translator for one checked program. @internal */
+export declare class Translator {
+    readonly checked: CheckJqResult;
+    readonly options: TranslateJqOptions;
+    private readonly locs;
+    private readonly retyped;
+    constructor(checked: CheckJqResult, options: TranslateJqOptions);
+    /** The error for a gap in the translation. */
+    gap(message: string): TranslationError;
+    /** The location of a node in the jq text, as the IR's source map holds it: file `jq`, its line and column. */
+    loc(path: string): bigint;
+    mk(ast: AST): Expr;
+    ast(e: Expr): AST;
+    type(e: Expr): TypeParts;
+    block(): Block;
+    /** Whether a block has ended: its last statement breaks, raises or returns. */
+    ended($: Block): boolean;
+    /** A call of an East builtin. */
+    b(name: BuiltinName, typeParameters: EastType[], args: Expr[], output: EastType, path: string): Expr;
+    /** A constant of a type. */
+    value(v: unknown, type: EastType, path?: string): Expr;
+    int(n: number | bigint, path?: string): Expr;
+    float(n: number, path?: string): Expr;
+    str(s: string, path?: string): Expr;
+    bool(v: boolean, path?: string): Expr;
+    null(path?: string): Expr;
+    /**
+     * A value as a wider type it is a subtype of. A recursive type equals its
+     * node to East's type checks, but a value passes between the two through
+     * its wrapper, which this adds or takes away.
+     */
+    as(e: Expr, type: EastType): Expr;
+    /**
+     * An option holding a value. An option that can only be none
+     * (`Option<Never>`, over an empty collection's elements) is never made
+     * some: the payload, a value that never arrives, stands for it, as East's
+     * builders cannot spell a case of Never.
+     */
+    some(payload: Expr, optionType: EastType): Expr;
+    none(optionType: EastType): Expr;
+    /**
+     * A case of a variant type, wrapped when the type is recursive. A case of
+     * Never is never made: the payload, which never arrives, stands for it.
+     */
+    variantOf(type: EastType, name: string, payload: Expr): Expr;
+    /**
+     * A struct of a type from its fields' values, wrapped when the type is
+     * recursive. A struct with a field of Never is never made: that field's
+     * value, which never arrives, stands for it.
+     */
+    struct(type: EastType, fields: Readonly<Record<string, Expr>>): Expr;
+    /** A field of a struct value. */
+    field(struct: Expr, name: string): Expr;
+    /** A value read through its recursive wrapper and references: what jq sees. */
+    open(e: Expr): Expr;
+    /** A call of a function value. */
+    callFn(fn: Expr, args: Expr[], path: string): Expr;
+    /** An East function value, built from a body that gives its result. */
+    lambda(inputs: EastType[], output: EastType, names: string[], body: ($: Block, ...params: Expr[]) => Expr | void, path: string): Expr;
+    /** A function of East's float library, called on a number. */
+    round(name: "roundFloor" | "roundCeil" | "roundHalf" | "roundTrunc", v: Expr, $: Block, path: string): Expr;
+    /** Declares a variable holding a value: `let` when `mutable`, else `const`. */
+    declare($: Block, init: Expr, name: string, mutable?: boolean, type?: EastType): Expr;
+    /** A value bound to a variable of its own, unless it is one already or a constant: so it is computed once. */
+    bind($: Block, e: Expr, name: string): Expr;
+    assign($: Block, variable: Expr, value: Expr): void;
+    /** An expression evaluated for its effect. */
+    stmt($: Block, e: Expr): void;
+    /** A runtime error, located at a node. */
+    raise($: Block, message: Expr | string, path: string): void;
+    brk($: Block, label: Label): void;
+    /** A block's statements as one body, closed as the builder closes a block: null-terminated. */
+    body(inner: Block): AST;
+    /**
+     * Statements the last of which diverges, as one body, assembled as the
+     * builders assemble one: a single statement is that statement.
+     */
+    diverging(statements: AST[]): AST;
+    /** A block that gives a value: its statements, then the value. */
+    blockValue(build: ($: Block) => Expr, type: EastType): AST;
+    /** Loops over an array, set, dict, vector or matrix: each element (a set's key; a dict's value, and its key). */
+    forEach($: Block, collection: Expr, each: ($: Block, value: Expr, key: Expr | undefined, label: Label) => void, path: string, name?: string): void;
+    /** A loop while a condition holds; `true` for one left only by `break`. */
+    whileLoop($: Block, condition: Expr | true, body: ($: Block, label: Label) => void, path: string): void;
+    /** A block that runs once, with a label that leaves it early: how a stream stops. */
+    once($: Block, body: ($: Block, label: Label) => void, path: string): void;
+    /** `if`, with an optional `else`. */
+    ifElse($: Block, condition: Expr, then: ($: Block) => void, otherwise: (($: Block) => void) | undefined, path: string): void;
+    /** Runs `then` where a condition holds and `otherwise` where it does not; a known condition runs one of them only. */
+    branch($: Block, condition: Expr | boolean, then: ($: Block) => void, otherwise: ($: Block) => void, path: string): void;
+    /** A statement that runs a handler for the case a variant holds; a case with no handler does nothing. */
+    match($: Block, v: Expr, handlers: Readonly<Record<string, ($: Block, payload: Expr) => void>>, path: string): void;
+    /** A value chosen by the case a variant holds: each case's block gives it. */
+    matchValue(v: Expr, cases: Readonly<Record<string, ($: Block, payload: Expr) => Expr>>, type: EastType, path: string): Expr;
+    /** A variant with each case's payload given by `f` of it, of the variant type the new payloads make. */
+    mapPayloads(v: Expr, f: ($: Block, name: string, payload: Expr) => Expr, path: string): Expr;
+    /** A value chosen by a condition. */
+    ifValue(condition: Expr, then: ($: Block) => Expr, otherwise: ($: Block) => Expr, type: EastType, path: string): Expr;
+    /** `try`/`catch`: the handler receives the error's message. */
+    tryCatch($: Block, body: ($: Block) => void, handler: ($: Block, message: Expr) => void, path: string): void;
+    emptyArray(element: EastType): Expr;
+    /** Appends a value to an array variable. */
+    push($: Block, array: Expr, v: Expr, path: string): void;
+    /** Sets a key of a dict variable, inserting it or replacing its value. */
+    put($: Block, dict: Expr, key: Expr, v: Expr, path: string): void;
+    /** An array-like value as an array: an array itself, a set's keys, a vector's elements, a matrix's rows. */
+    asArray($: Block, v: Expr, path: string): Expr | undefined;
+    /** The number of elements of an array. */
+    size(array: Expr, path: string): Expr;
+    lt(a: Expr, b: Expr, path: string): Expr;
+    eq(a: Expr, b: Expr, path: string): Expr;
+    add(a: Expr, b: Expr, path: string): Expr;
+    not(a: Expr, path: string): Expr;
+    /** A literal node's value and type, as the program writes it. */
+    literal(node: Extract<JqNode, {
+        type: "literal";
+    }>): {
+        type: EastType;
+        value: unknown;
+    };
+    /** A node's value when it is a literal, as the program writes it. */
+    literalOf(node: JqNode | undefined): {
+        type: EastType;
+        value: unknown;
+    } | undefined;
+    /** An expression's value when it is a constant. */
+    constant(e: Expr): {
+        value: unknown;
+    } | undefined;
+    /** What checking a node gave in an instance. */
+    result(path: string, env: Env): Result | null;
+    /** The one type a node's outputs share, as the checker collects them. */
+    typeAt(path: string, env: Env): TypeParts;
+    /** A node's text. */
+    text(path: string): string;
+    /** What narrowing proved about a value of a type in a shape. */
+    factsIn(shape: Shape | null | undefined, type: EastType): Facts | undefined;
+    /** The instance a node's records are in for an input: its own, or one checked again for this input's type. */
+    envFor(path: string, env: Env, x: Value): Env;
+    /**
+     * A value as a type the checker widened it to: Integer as Float, `T` or
+     * `null` as `Option<T>`, and arrays, dicts, structs and variants element by
+     * element; and a string literal the checker read as a DateTime, as the
+     * DateTime it writes.
+     *
+     * @throws {TranslationError} When the type is not wider.
+     */
+    widenTo($: Block, e: Expr, to: EastType, path: string): Expr;
+    /**
+     * Gives a value to `emit` as the checker's type for it: widened, or
+     * narrowed as narrowing proved. A `null` where the checker proved a value
+     * never reaches `emit`, and an option it proved present gives its payload.
+     */
+    emitAs($: Block, e: Expr, to: EastType, path: string, emit: Emit): void;
+    /** Whether a value is true to jq, not `false` or `null`: a constant when its type decides it. */
+    truthy(e: Expr, path: string): Expr | boolean;
+    asExpr(v: Expr | boolean): Expr;
+    /**
+     * Generates a node: code in `$` that gives each of its outputs to `emit`,
+     * as the checker's type for them.
+     */
+    gen(node: JqNode, path: string, $: Block, x: Value, env: Env, emit: Emit): void;
+    /** Generates a node, each output as the one type its outputs share. */
+    collected(node: JqNode, path: string, $: Block, x: Value, env: Env, emit: Emit): void;
+    /**
+     * The one output of a node that gives exactly one, as an expression of a
+     * type: the value itself when the node gives it once in `$`, else a
+     * variable each place that gives it assigns.
+     */
+    one(node: JqNode, path: string, $: Block, x: Value, env: Env, type: EastType): Expr;
+    /** A value of a type to start a variable with, assigned before it is read. */
+    placeholder(type: EastType): Expr;
+    /** A plain value of a type, when there is one. */
+    zeroOf(type: EastType, seen: ReadonlySet<EastType>): Expr | undefined;
+    private genNode;
+    /**
+     * `-v`: a number negated. Any other value raises jq's error, naming its
+     * kind, as a lenient place (`try`, `?`) lets it by; an option is null, or
+     * its value.
+     */
+    negate($: Block, v: Expr, path: string, emit: Emit): void;
+    /** `$__loc__`: where a node is, as jq gives it. */
+    location(path: string): Expr;
+    /** A value that must be an expression: the root is only ever read a field at a time. */
+    expr(v: Value, path: string): Expr;
+    /** `.name` on a value, as jq reads it: `facts` say which cases a variant can hold. */
+    readField($: Block, v: Value, name: string, optional: boolean, path: string, facts: Facts | undefined, emit: Emit): void;
+    /** A dict's value at a key: `null` when it lacks the key. */
+    dictGet($: Block, dict: Expr, key: Expr, path: string, emit: Emit): void;
+    private genIndex;
+    /** `.[k]` on a value. */
+    indexOf($: Block, v: Expr, k: Expr, optional: boolean, path: string, emit: Emit): void;
+    private genSlice;
+    /** `.[a:b]` on a value: half-open, negative bounds counted from the end, clamped. */
+    sliceOf($: Block, v: Expr, a: Expr | undefined, b: Expr | undefined, optional: boolean, path: string, emit: Emit): void;
+    /** A slice bound as an index: absent or null for its default, negative from the end, clamped to the length. */
+    boundOf($: Block, b: Expr | undefined, fallback: Expr, length: Expr, path: string): Expr;
+    /** `.[]` on a value: an array's elements, a set's, a dict's values in key order, a struct's field values in order. */
+    iterate($: Block, v: Expr, optional: boolean, path: string, emit: Emit): void;
+    /** The kinds of value `..` finds directly inside a value of a type, as the checker walks them. */
+    childKinds(type: EastType): EastType[];
+    /** Gives each value `..` finds directly inside a value to `emit`, in order. */
+    children($: Block, v: Expr, path: string, emit: Emit): void;
+    /**
+     * `..`: a value and every value inside it, in pre-order. A recursive type
+     * is walked with a stack of the kinds of value it holds, so the IR needs no
+     * recursion.
+     */
+    descend($: Block, v: Expr, path: string, emit: Emit): void;
+    /**
+     * A depth-first walk with an explicit stack of values of several kinds:
+     * `visit` gets each value in pre-order, and a `push` for the values to walk
+     * after it, first to last.
+     */
+    walkStack($: Block, start: Expr, kinds: readonly EastType[], path: string, visit: ($: Block, value: Expr, push: Emit) => void): void;
+    private genObject;
+    /**
+     * A string with interpolations: each combination of the interpolated
+     * values, each written by `text` (`tostring`, or a format).
+     */
+    genString(parts: readonly {
+        type: string;
+        value: any;
+    }[], path: string, $: Block, x: Value, env: Env, emit: Emit, text: ($: Block, v: Expr) => Expr, partsPath: string): void;
+    /** Two strings joined. */
+    concat(a: Expr, b: Expr, path: string): Expr;
+    /** jq's `tostring`: a string as it is, `null` as `null`, anything else as its East text (§13.9). */
+    tostring($: Block, v: Expr, path: string): Expr;
+    private genBinary;
+    /** A comparison: East's order within a kind, jq's order across kinds (null, booleans, numbers, strings, arrays, objects). */
+    compare($: Block, op: string, a: Expr, b: Expr, path: string): Expr;
+    /**
+     * An arithmetic operator on two values, as jq defines it for their kinds:
+     * its value, or an error expression (of type Never) for kinds it does not
+     * combine, which only a lenient place (`try`, `?`) lets through.
+     */
+    arith($: Block, op: string, a: Expr, b: Expr, path: string): Expr;
+    /**
+     * jq's `%`: the remainder of the numbers truncated to 64-bit integers, one
+     * beyond the range taken as its end (±Infinity too). Integers give an
+     * Integer; with a Float, a NaN gives NaN, and the remainder is a Float. A
+     * divisor of 0 raises, as IntegerRemainder does.
+     */
+    private remainder;
+    /** A Float truncated to an Integer as jq's `dtoi` takes it: below the range its least, above it its greatest. */
+    private truncated;
+    /**
+     * jq's string repetition: `n` copies of a string, a Float count truncated,
+     * at most 2³¹ − 1 as jq takes it. A negative count, or NaN, gives null.
+     */
+    private repeat;
+    /** jq's split of a string by a separator: an empty string has no parts. */
+    split($: Block, s: Expr, separator: Expr, path: string): Expr;
+    /** Whether a Float is NaN: East's order puts it above +Infinity. */
+    isNan(f: Expr, path: string): Expr;
+    /** An expression that raises an error: of type Never, so it stands for a value of any type. */
+    failure(message: string, path: string): Expr;
+    /** Gives a value to `emit`, unless it is an error expression, which runs as a statement instead. */
+    give($: Block, v: Expr, emit: Emit): void;
+    /** A value chosen by the case a variant holds, of the one type the cases' values share. */
+    matchAuto(v: Expr, cases: Readonly<Record<string, ($: Block, payload: Expr) => Expr>>, path: string): Expr;
+    /** `a + b` on structs: `b`'s fields win, and new ones follow; `a * b` merges fields that are objects in both deeply. */
+    mergeStructs($: Block, a: Expr, b: Expr, deep: boolean, path: string): Expr;
+    /**
+     * `a + b` on dicts: every key of both, `b`'s value where both hold one;
+     * `a * b` merges those values deeply where both are objects.
+     */
+    mergeDicts($: Block, a: Expr, b: Expr, deep: boolean, path: string): Expr;
+    /**
+     * Two values merged as jq's `*` merges them: structs and dicts deeply, an
+     * option of one where both hold a value; anything else is `b`.
+     */
+    deepMerge($: Block, a: Expr, b: Expr, path: string): Expr;
+    private genAlternative;
+    /** Gives a value to `emit` when it is neither false nor null, out of its option. */
+    present($: Block, v: Expr, path: string, emit: Emit): void;
+    private genIf;
+    /**
+     * Runs a condition's continuation with its input opened when the condition
+     * tests its type: `type == "number"` on an option then knows which it holds,
+     * and the branch it rules out is never generated.
+     */
+    narrowed($: Block, x: Value, conditionPath: string, env: Env, then: ($: Block, value: Value) => void): void;
+    private genTry;
+    private genFold;
+    /**
+     * Whether a fold's update may set a key of its state in place, as jq
+     * changes a value nothing else holds (#1093). The state is a dict; the
+     * update sets a key of it, `.[k]` or `.name` with `=`, `|=` or an
+     * arithmetic update, perhaps further down (`.[k].n += 1`), where only the
+     * state's own key is set in place; the value of `=` and of an arithmetic
+     * update is one value, which holds nothing of the state; and a `foreach`
+     * gives what its `extract` reads of the state, never the state. A key is
+     * of an immutable type, so it never holds the state, and `|=`'s update runs
+     * on the old value at the key, which cannot reach the state.
+     */
+    private updatesInPlace;
+    /**
+     * Whether a filter's outputs on a fold's state hold nothing of it: they
+     * are of an immutable type, which holds no dict, or {@link stateHeldBy}
+     * finds them read from the state or made without it.
+     */
+    private holdsNoState;
+    private genBind;
+    /**
+     * Binds a pattern's variables to the parts of a value, each as the type the
+     * checker gave the variable where the body runs.
+     */
+    destructure($: Block, pattern: JqPattern, path: string, value: Value, env: Env, bodyPath: string, then: ($: Block, vars: ReadonlyMap<string, Value>) => void): void;
+    private genCall;
+    /**
+     * A recursive def with value parameters: an East function held in a
+     * reference, which its own body calls through the reference. It returns
+     * its whole stream as an array, so early exit does not reach into it.
+     */
+    private genRecursive;
+    /** A call of a recursive def through its reference: its stream, in order. */
+    private callRecursive;
+    /** A builtin, by its rule. */
+    genBuiltin(name: string, args: readonly JqNode[], argPaths: readonly string[], path: string, $: Block, x: Value, env: Env, emit: Emit): void;
+    private genUpdate;
+    /** What an update gives: the value, `null` where it deleted `.` itself (an optional value's `none`), as jq gives it. */
+    private whole;
+    /** The type of an update's new value: an optional one's payload. */
+    updateType(update: Update): EastType;
+    /** The first output of a filter: exactly it when there is always one, else an option whose `none` is no output. */
+    firstOf(node: JqNode, path: string, $: Block, x: Expr, env: Env): Update | undefined;
+    /**
+     * A value with the positions a path names updated: `f` gives each
+     * position's new value from its old one, or none, which deletes it. With
+     * `inPlace`, `v` is a fold's state nothing else holds, and the key of it
+     * the path sets is set in place (#1093); a position further down is set in
+     * a copy, as any other is.
+     *
+     * @returns the value updated; an option of it, none where `.` itself was
+     *   deleted; or `undefined` where it always is
+     */
+    modify($: Block, v: Expr, target: JqNode, path: string, env: Env, f: UpdateFn, inPlace?: boolean): Update | undefined;
+    /**
+     * An update where a filter keeps the value (`select(f)`, `numbers`):
+     * `each` calls `then` with the value, narrowed, each time the filter keeps
+     * it, and `f` gives the new value there; where it is not kept, it stays.
+     */
+    private selected;
+    /** An update's value where the position cannot be deleted (a struct field, a variant's payload): an error where it has none. */
+    required($: Block, update: Update, path: string): Expr;
+    /**
+     * A position that cannot be deleted: its new value, or where the update
+     * never gives one, an error raised there (and a value of its type for the
+     * code after, which never runs).
+     */
+    private kept;
+    /**
+     * A struct of some fields' values: of the original's type, recursive
+     * wrapper and all, when its fields' types are the original's.
+     */
+    private rebuilt;
+    /**
+     * A struct with one field replaced or added, or deleted by an update that
+     * gives none; a dict's string key set, in place with `inPlace`, as
+     * {@link Translator.setIndex} sets it; a variant's payload; `null` made a
+     * struct. With `?`, a value of another kind is unchanged.
+     */
+    setField($: Block, v: Expr, name: string, optional: boolean, path: string, env: Env, f: UpdateFn, inPlace?: boolean): Expr;
+    /**
+     * A variant with its payload updated, in each case the checker found it can
+     * hold there; in the others it is as it was. A payload cannot be deleted.
+     */
+    private setPayload;
+    /** An array without the element at an index. */
+    private without;
+    /**
+     * An array or dict with one element replaced, or deleted where the update
+     * gives none; an empty struct or `null` made a dict. With `?`, a value of
+     * another kind is unchanged. With `inPlace`, a dict nothing else holds is
+     * changed itself, not a copy of it, while its values' type stays (#1093).
+     */
+    setIndex($: Block, v: Expr, key: Expr, optional: boolean, path: string, f: UpdateFn, inPlace?: boolean): Expr;
+    /**
+     * An array with a slice replaced by the array the update gives, or deleted
+     * where it gives none; `null`'s slice is null, so the update's array is
+     * the value. With `?`, a value of another kind is unchanged.
+     */
+    setSlice($: Block, v: Expr, a: Expr | undefined, b: Expr | undefined, optional: boolean, path: string, f: UpdateFn): Expr;
+    /**
+     * Every element, dict value or struct field replaced; an element or value
+     * with no new value is deleted, and a field whose update never gives one.
+     * With `?`, a value of another kind is unchanged.
+     */
+    setEach($: Block, v: Expr, optional: boolean, path: string, f: UpdateFn): Expr;
+    /**
+     * `..`, `recurse` or `recurse(.a[])` in an update's path: in pre-order,
+     * each position the walk visits is updated by `f`, then the positions
+     * inside it that it had before its update, in turn. A value of a recursive
+     * type is walked by a function its own positions call, through a
+     * reference, each declared before the walk.
+     */
+    private walkUpdate;
+    /**
+     * A value with the positions `..` finds inside it walked: an option's
+     * value's positions, a variant's payload (its case's name is not a
+     * position), and the elements, dict values and struct fields of
+     * {@link Translator.walkElements}; only those `old`, the value before its
+     * own update, had.
+     */
+    private walkInside;
+    /**
+     * `recurse(.a.b[])`'s positions inside a value, walked: along the fields,
+     * then each element there that `old` had.
+     */
+    private walkAlong;
+    /**
+     * The positions `.[]` names inside a value, each walked by `node`: an
+     * array's elements, a set's, a dict's values, a struct's fields, and those
+     * of an option's value; only those `old` had. An element or dict value the
+     * walk gives no value is deleted.
+     */
+    private walkElements;
+}
+/** How jq names a value's kind in its error messages. @internal */
+export declare function jqKind(type: EastType): string;
+/**
+ * Translates a checked jq program to East IR.
+ *
+ * @param checked - what {@link checkJq} made of the program; it must have no
+ *   error
+ * @param options - `maxOutputs` for a limit, `tooling` for the tooling-only
+ *   builtins
+ * @returns the translation: its inputs, its result type, and builders for the
+ *   IR
+ * @throws {TranslationError} When the program does not check, or holds
+ *   something the translator cannot express.
+ *
+ * @remarks
+ * Streams become loops that give each output to what consumes it, and the
+ * program's result is its sink: the value for `one`, an `Option` for `maybe`,
+ * an `Array` for `many`. Checked as an e3 root, each root field the program
+ * reads is an input of its own, so a lazy dataset is read only where the
+ * query reads it (`devdocs/QUERY.md` §15).
+ *
+ * @example
+ * ```ts
+ * const Order = StructType({ id: IntegerType, total: FloatType });
+ * const checked = checkJq(".orders | map(.total) | add", StructType({ orders: ArrayType(Order) }), { root: true });
+ * const translation = translateJq(checked);
+ * translation.inputs;       // [{ name: "orders", type: ArrayType(Order) }]
+ * translation.resultType;   // FloatType
+ * const total = East.compile(translation.fn(), []);
+ * total([{ id: 1n, total: 2.5 }, { id: 2n, total: 4.0 }]);   // 6.5
+ * ```
+ */
+export declare function translateJq(checked: CheckJqResult, options?: TranslateJqOptions): JqTranslation;
+export {};
+//# sourceMappingURL=translate.d.ts.map

package/dist/src/query/jq/translate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"translate.d.ts","sourceRoot":"","sources":["../../../../src/query/jq/translate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAe,MAAM,cAAc,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,OAAO,EAAE,YAAY,EAAiB,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAa,IAAI,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAG3D,OAAO,EAEoF,KAAK,QAAQ,EACvG,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE7E,OAAO,EAAkE,KAAK,KAAK,EAAE,KAAK,MAAM,EAAE,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AAClI,OAAO,EAAsC,KAAK,MAAM,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAG7F,uCAAuC;AACvC,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yIAAyI;IACzI,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,oCAAoC;AACpC,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,CAAC;IAClD,yGAAyG;IACzG,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,KAAK,CAAC,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC/B,yDAAyD;IACzD,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;IAC/B;;;;;;;;;;;;;;OAcG;IACH,IAAI,CAAC,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;CAC/B;AAED,wGAAwG;AACxG,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;CAC5C;AAED,uFAAuF;AACvF,MAAM,MAAM,KAAK,GAAG,IAAI,GAAG,SAAS,CAAC;AAErC;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IACjC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,4CAA4C;AAC5C,wBAAgB,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAE/C;AAED,uCAAuC;AACvC,MAAM,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;AAEtC,8FAA8F;AAC9F,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,KAAK,IAAI,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,KAAK,MAAM,GAAG,SAAS,CAAC;AAKnE,8CAA8C;AAC9C,KAAK,OAAO,GACR;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,CAAA;CAAE,GACrF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,CAAC;AAE3D,4DAA4D;AAC5D,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8GAA8G;IAC9G,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,sDAAsD;AACtD,MAAM,WAAW,QAAQ;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAClB,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAClB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yCAAyC;AACzC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC;AAElE;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAI5B;AAED,6CAA6C;AAC7C,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,SAAS,CAEvD;AAED,wDAAwD;AACxD,qBAAa,UAAU;IAIT,QAAQ,CAAC,OAAO,EAAE,aAAa;IAAE,QAAQ,CAAC,OAAO,EAAE,kBAAkB;IAHjF,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA6B;IAClD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;gBAEvC,OAAO,EAAE,aAAa,EAAW,OAAO,EAAE,kBAAkB;IAEjF,8CAA8C;IAC9C,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB;IAMtC,8GAA8G;IAC9G,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAczB,EAAE,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAIlB,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG;IAIjB,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS;IAIxB,KAAK,IAAI,KAAK;IAId,+EAA+E;IAC/E,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,OAAO;IAKxB,iCAAiC;IACjC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpG,4BAA4B;IAC5B,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,SAAK,GAAG,IAAI;IAIlD,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,SAAK,GAAG,IAAI;IAIxC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,SAAK,GAAG,IAAI;IAIjC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,SAAK,GAAG,IAAI;IAI/B,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,SAAK,GAAG,IAAI;IAIjC,IAAI,CAAC,IAAI,SAAK,GAAG,IAAI;IAIrB;;;;OAIG;IACH,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI;IAajC;;;;;OAKG;IACH,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,GAAG,IAAI;IAM/C,IAAI,CAAC,UAAU,EAAE,QAAQ,GAAG,IAAI;IAIhC;;;OAGG;IACH,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,GAAG,IAAI;IAQ5D;;;;OAIG;IACH,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI;IAapE,iCAAiC;IACjC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAOvC,+EAA+E;IAC/E,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI;IAUnB,kCAAkC;IAClC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IASlD,uEAAuE;IACvE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,KAAK,IAAI,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAYrI,8DAA8D;IAC9D,KAAK,CAAC,IAAI,EAAE,YAAY,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAM3G,+EAA+E;IAC/E,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,UAAO,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI;IAOlF,8GAA8G;IAC9G,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAM3C,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI;IAQnD,8CAA8C;IAC9C,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI;IAK7B,0CAA0C;IAC1C,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAM3D,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAKjC,+FAA+F;IAC/F,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG;IAQvB;;;OAGG;IACH,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,GAAG;IAIjC,kEAAkE;IAClE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,QAAQ,GAAG,GAAG;IAS1D,iHAAiH;IACjH,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,SAAS,GAAG,IAAI;IAuClJ,2EAA2E;IAC3E,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IASvG,qFAAqF;IACrF,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAO1E,qCAAqC;IACrC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAY5H,sHAAsH;IACtH,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAQxH,yGAAyG;IACzG,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAiBnH,8EAA8E;IAC9E,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAa3H,wGAAwG;IACxG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAuB5F,qCAAqC;IACrC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAYrH,+DAA+D;IAC/D,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAmB5G,UAAU,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI;IAInC,4CAA4C;IAC5C,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAMxD,0EAA0E;IAC1E,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAYjE,4GAA4G;IAC5G,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAgB1D,0CAA0C;IAC1C,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIxC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIxC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIzC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAMhC,iEAAiE;IACjE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE;IAIvF,qEAAqE;IACrE,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS;IAInF,mDAAmD;IACnD,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS;IAKjD,gDAAgD;IAChD,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,MAAM,GAAG,IAAI;IAI7C,yEAAyE;IACzE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,SAAS;IAOzC,qBAAqB;IACrB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAK1B,gEAAgE;IAChE,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,GAAG,SAAS,EAAE,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,SAAS;IAK3E,8GAA8G;IAC9G,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,GAAG,GAAG;IAgB7C;;;;;;;OAOG;IACH,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IA2E5D;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAwBvE,iGAAiG;IACjG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO;IAiB7C,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO,GAAG,IAAI;IAM/B;;;OAGG;IACH,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAe/E,uEAAuE;IACvE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAUrF;;;;OAIG;IACH,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI;IA+BnF,8EAA8E;IAC9E,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI;IAUjC,kDAAkD;IAClD,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,SAAS;IAoCrE,OAAO,CAAC,OAAO;IAoIf;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAUzD,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAM5B,wFAAwF;IACxF,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAOlC,sFAAsF;IACtF,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAmDxH,6DAA6D;IAC7D,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAcxE,OAAO,CAAC,QAAQ;IAqBhB,yBAAyB;IACzB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IA6BtF,OAAO,CAAC,QAAQ;IAWhB,qFAAqF;IACrF,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAyBvH,+GAA+G;IAC/G,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAcxF,sHAAsH;IACtH,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAyB7E,kGAAkG;IAClG,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,EAAE;IAgBtC,+EAA+E;IAC/E,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IA8B3D;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IA0B1D;;;;OAIG;IACH,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI,GAAG,IAAI;IA4BpI,OAAO,CAAC,SAAS;IAwDjB;;;OAGG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,GAAG,CAAA;KAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,KAAK,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAe7K,0BAA0B;IAC1B,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAM5C,oGAAoG;IACpG,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAa/C,OAAO,CAAC,SAAS;IAyBjB,6HAA6H;IAC7H,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAkCnE;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IA8DjE;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IAWjB,iHAAiH;IACjH,OAAO,CAAC,SAAS;IAMjB;;;OAGG;IACH,OAAO,CAAC,MAAM;IAcd,2EAA2E;IAC3E,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAM7D,oEAAoE;IACpE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIlC,+FAA+F;IAC/F,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI5C,oGAAoG;IACpG,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAMzC,2FAA2F;IAC3F,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IA6B1G,wHAAwH;IACxH,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAiB3E;;;OAGG;IACH,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAgBzE;;;OAGG;IACH,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAoBzD,OAAO,CAAC,cAAc;IActB,oFAAoF;IACpF,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAoB1D,OAAO,CAAC,KAAK;IAkBb;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI;IAU3G,OAAO,CAAC,MAAM;IA0Bd,OAAO,CAAC,OAAO;IA+Bf;;;;;;;;;;OAUG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,OAAO;IA0Cf;;;OAGG;IACH,WAAW,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,GAAG,IAAI;IAwDnK,OAAO,CAAC,OAAO;IAoDf;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAsBpB,6EAA6E;IAC7E,OAAO,CAAC,aAAa;IAOrB,8BAA8B;IAC9B,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAwB5I,OAAO,CAAC,SAAS;IAkCjB,wHAAwH;IACxH,OAAO,CAAC,KAAK;IAIb,oEAAoE;IACpE,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ;IAKpC,mHAAmH;IACnH,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,MAAM,GAAG,SAAS;IAepF;;;;;;;;;OASG;IACH,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,UAAQ,GAAG,MAAM,GAAG,SAAS;IAkEnH;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAmChB,gIAAgI;IAChI,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAStD;;;;OAIG;IACH,OAAO,CAAC,IAAI;IAMZ;;;OAGG;IACH,OAAO,CAAC,OAAO;IAMf;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,UAAQ,GAAG,IAAI;IAoCxH;;;OAGG;IACH,OAAO,CAAC,UAAU;IA2BlB,gDAAgD;IAChD,OAAO,CAAC,OAAO;IAMf;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,UAAQ,GAAG,IAAI;IAwD3G;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,GAAG,IAAI;IAgCzH;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,GAAG,IAAI;IAmD9E;;;;;;OAMG;IACH,OAAO,CAAC,UAAU;IAgDlB;;;;;;OAMG;IACH,OAAO,CAAC,UAAU;IA8BlB;;;OAGG;IACH,OAAO,CAAC,SAAS;IAgBjB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;CA+DrB;AAqGD,mEAAmE;AACnE,wBAAgB,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAc7C;AAoRD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,GAAE,kBAAuB,GAAG,aAAa,CAyEnG"}