@elaraai/east 0.0.1-beta.0

package/dist/src/expr/blob.js

@@ -0,0 +1,198 @@
+import { get_location } from "../location.js";
+import { IntegerType, StringType } from "../types.js";
+import { valueOrExprToAstTyped } from "./ast.js";
+import { AstSymbol, Expr, FactorySymbol } from "./expr.js";
+/**
+ * Expression representing binary blob values and operations.
+ *
+ * BlobExpr provides methods for working with binary data including size queries,
+ * byte access, text encoding/decoding (UTF-8, UTF-16), and BEAST binary format operations.
+ * Blobs are immutable sequences of bytes.
+ *
+ * @example
+ * ```ts
+ * // Encoding and decoding text
+ * const encodeText = East.function([StringType], BlobType, ($, text) => {
+ *   $.return(text.encodeUtf8());
+ * });
+ *
+ * const decodeText = East.function([BlobType], StringType, ($, blob) => {
+ *   $.return(blob.decodeUtf8());
+ * });
+ *
+ * // Working with blob bytes
+ * const getByte = East.function([BlobType, IntegerType], IntegerType, ($, blob, offset) => {
+ *   $.return(blob.getUint8(offset));
+ * });
+ * ```
+ */
+export class BlobExpr extends Expr {
+    constructor(ast, createExpr) {
+        super(ast.type, ast, createExpr);
+    }
+    /**
+     * Returns the size of the blob in bytes.
+     *
+     * @returns An IntegerExpr representing the number of bytes
+     *
+     * @example
+     * ```ts
+     * const getSize = East.function([BlobType], IntegerType, ($, blob) => {
+     *   $.return(blob.size());
+     * });
+     * const compiled = East.compile(getSize.toIR(), []);
+     * const text = "hello";
+     * const blob = new TextEncoder().encode(text);
+     * compiled(blob);  // 5n (5 bytes for "hello")
+     * ```
+     */
+    size() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: IntegerType,
+            location: get_location(2),
+            builtin: "BlobSize",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Gets the byte value at the specified offset.
+     *
+     * @param offset - The zero-based byte offset to read from
+     * @returns An IntegerExpr representing the unsigned 8-bit integer (0-255) at that offset
+     *
+     * @throws East runtime error if the offset is out of bounds (< 0 or >= blob size)
+     *
+     * @example
+     * ```ts
+     * const getByte = East.function([BlobType, IntegerType], IntegerType, ($, blob, offset) => {
+     *   $.return(blob.getUint8(offset));
+     * });
+     * const compiled = East.compile(getByte.toIR(), []);
+     * const blob = new Uint8Array([72, 101, 108, 108, 111]); // "Hello"
+     * compiled(blob, 0n);  // 72n (ASCII 'H')
+     * compiled(blob, 1n);  // 101n (ASCII 'e')
+     * // compiled(blob, 10n) would throw error (out of bounds)
+     * ```
+     */
+    getUint8(offset) {
+        const offsetAst = valueOrExprToAstTyped(offset, IntegerType);
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: IntegerType,
+            location: get_location(2),
+            builtin: "BlobGetUint8",
+            type_parameters: [],
+            arguments: [this[AstSymbol], offsetAst],
+        });
+    }
+    /**
+     * Decodes the blob as UTF-8 text, returning a string.
+     *
+     * @returns A StringExpr containing the decoded text
+     *
+     * @throws East runtime error if the blob contains invalid UTF-8 sequences
+     *
+     * @remarks UTF-8 is a superset of ASCII. No byte-order mark (BOM) is expected.
+     *
+     * @example
+     * ```ts
+     * const decode = East.function([BlobType], StringType, ($, blob) => {
+     *   $.return(blob.decodeUtf8());
+     * });
+     * const compiled = East.compile(decode.toIR(), []);
+     * const blob = new TextEncoder().encode("hello");
+     * compiled(blob);  // "hello"
+     *
+     * const emojiBlob = new TextEncoder().encode("😀");
+     * compiled(emojiBlob);  // "😀"
+     * ```
+     */
+    decodeUtf8() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: StringType,
+            location: get_location(2),
+            builtin: "BlobDecodeUtf8",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Decodes the blob as UTF-16 text, returning a string.
+     *
+     * @returns A StringExpr containing the decoded text
+     *
+     * @throws East runtime error if the blob contains invalid UTF-16 sequences
+     *
+     * @remarks UTF-16 is common on Windows. If no byte-order mark (BOM) is present, assumes little-endian.
+     *
+     * @example
+     * ```ts
+     * const decode = East.function([BlobType], StringType, ($, blob) => {
+     *   $.return(blob.decodeUtf16());
+     * });
+     * const compiled = East.compile(decode.toIR(), []);
+     * // Assume blob contains UTF-16 LE encoded "hello" with BOM
+     * const blob = new Uint8Array([0xFF, 0xFE, 0x68, 0x00, 0x65, 0x00, 0x6C, 0x00, 0x6C, 0x00, 0x6F, 0x00]);
+     * compiled(blob);  // "hello"
+     * ```
+     */
+    decodeUtf16() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: StringType,
+            location: get_location(2),
+            builtin: "BlobDecodeUtf16",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Decodes a value from East's binary format (BEAST).
+     *
+     * @param type - The expected East type of the decoded value
+     * @param version - The BEAST format version ('v1' or 'v2', default 'v1')
+     * @returns An expression of the specified type containing the decoded value
+     *
+     * @throws East runtime error if the blob does not contain a valid BEAST encoding of the specified type
+     *
+     * @example
+     * ```ts
+     * const decode = East.function([BlobType], ArrayType(IntegerType), ($, blob) => {
+     *   $.return(blob.decodeBeast(ArrayType(IntegerType), 'v2'));
+     * });
+     * const compiled = East.compile(decode.toIR(), []);
+     * // Assume blob contains BEAST v2 encoding of [1n, 2n, 3n]
+     * const encodedBlob = // ... BEAST encoded data ... ;
+     * compiled(encodedBlob);  // [1n, 2n, 3n]
+     * ```
+     */
+    decodeBeast(type, version = 'v1') {
+        if (version === 'v1') {
+            return this[FactorySymbol]({
+                ast_type: "Builtin",
+                type,
+                location: get_location(2),
+                builtin: "BlobDecodeBeast",
+                type_parameters: [type],
+                arguments: [this[AstSymbol]],
+            });
+        }
+        else if (version === 'v2') {
+            return this[FactorySymbol]({
+                ast_type: "Builtin",
+                type,
+                location: get_location(2),
+                builtin: "BlobDecodeBeast2",
+                type_parameters: [type],
+                arguments: [this[AstSymbol]],
+            });
+        }
+        else {
+            throw new Error(`Unsupported Beast version: ${version}`);
+        }
+    }
+}
+//# sourceMappingURL=blob.js.map

package/dist/src/expr/blob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blob.js","sourceRoot":"","sources":["../../../src/expr/blob.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAgC,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAe,MAAM,WAAW,CAAC;AAKxE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,QAAS,SAAQ,IAAc;IAC1C,YAAY,GAAQ,EAAE,UAAkB;QACtC,KAAK,CAAC,GAAG,CAAC,IAAgB,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,MAA4B;QACnC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAE7D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,cAAc;YACvB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAQ,CAAC;IACZ,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,iBAAiB;YAC1B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,WAAW,CAAqB,IAAO,EAAE,UAAuB,IAAI;QAClE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI;gBACJ,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,iBAAiB;gBAC1B,eAAe,EAAE,CAAC,IAAI,CAAC;gBACvB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;aAC7B,CAAgB,CAAC;QACpB,CAAC;aAAM,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI;gBACJ,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,kBAAkB;gBAC3B,eAAe,EAAE,CAAC,IAAI,CAAC;gBACvB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;aAC7B,CAAgB,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;CACF"}

package/dist/src/expr/block.d.ts

@@ -0,0 +1,201 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { type AST, type IfElseAST, type Label, type TryCatchAST, type VariableAST } from "../ast.js";
+import { type Location } from "../location.js";
+import { type EastType, NullType, StringType, NeverType, VariantType, TypeUnion, IntegerType, StructType, ArrayType, type ValueTypeOf } from "../types.js";
+import type { ExprType, SubtypeExprOrValue, TypeOf } from "./types.js";
+import { Expr } from "./expr.js";
+import { NeverExpr } from "./never.js";
+import { NullExpr } from "./null.js";
+import { BooleanExpr } from "./boolean.js";
+import { IntegerExpr } from "./integer.js";
+import { StringExpr } from "./string.js";
+import { ArrayExpr } from "./array.js";
+import { SetExpr } from "./set.js";
+import { DictExpr } from "./dict.js";
+import { type CallableFunctionExpr } from "./function.js";
+import type { PlatformFunction } from "../platform.js";
+/** A factory function to help build `Expr` from AST.
+ * We inject this into each concrete `Expr` type so they can create new expressions recursively, without having circular dependencies between JavaScript modules.
+ */
+export declare function fromAst<T extends AST>(ast: T): Expr<T["type"]>;
+/**
+ * Create an East expression from a JavaScript value
+ */
+export declare function from<T>(value: SubtypeExprOrValue<NoInfer<T>>, type: T): ExprType<T>;
+export declare function from<V>(value: V): ExprType<TypeOf<V>>;
+/** Define an East function.
+ *
+ * The function may either be a free function or a closure.
+ * A closure is a function defined within another function that "captures", or refers to, one or more variables from an outer function.
+ * Functions without captures are called free functions and can be compiled and executed.
+ */
+export declare function func<const I extends EastType[], O extends EastType>(input_types: I, output_type: O, body: ($: BlockBuilder<O>, ...inputs: {
+    [K in keyof I]: ExprType<I[K]>;
+}) => SubtypeExprOrValue<O> | void): CallableFunctionExpr<I, O>;
+/** @internal */
+export declare function func<const I extends EastType[], F extends ($: BlockBuilder<NeverType>, ...inputs: {
+    [K in keyof I]: ExprType<I[K]>;
+}) => any>(input_types: I, output_type: undefined, body: F): CallableFunctionExpr<I, TypeOf<ReturnType<F> extends void ? NeverType : ReturnType<F>>>;
+/** Template string literal to create an East string dynamically from components
+ *
+ * @example
+ * ```ts
+ * str`My name is ${name}`
+ * ```
+*/
+export declare function str(strings: TemplateStringsArray, ...expressions: (Expr | string)[]): StringExpr;
+/**
+ * Create an East block expression.
+ * The block may produce a value by returning an expressions.
+ */
+export declare function block<F extends ($: BlockBuilder<NeverType>) => any>(body: F): ReturnType<F> extends void ? NeverExpr : ExprType<TypeOf<ReturnType<F>>>;
+/**
+ * Create an East error expression
+ */
+export declare function error(message: SubtypeExprOrValue<StringType>, location?: Location): NeverExpr;
+/** Create a match expression */
+export declare function matchExpr<Cases extends Record<string, any>, Handlers extends {
+    [K in keyof Cases]: ($: BlockBuilder<NeverType>, data: ExprType<Cases[K]>) => any;
+}>(variant: Expr<VariantType<Cases>>, handlers: Handlers): ExprType<TypeOf<{
+    [K in keyof Cases]: ReturnType<Handlers[K]>;
+}[keyof Cases]>>;
+/**
+ * Create an East try-catch expression
+ */
+export declare function tryCatch<T1, F extends ($: BlockBuilder<NeverType>, message: ExprType<StringType>, stack: ExprType<ArrayType<StructType<{
+    filename: StringType;
+    line: IntegerType;
+    column: IntegerType;
+}>>>) => any>(try_body: Expr<T1>, catch_body: F): ExprType<TypeUnion<T1, TypeOf<ReturnType<F>>>>;
+/** Test if the first value is equal to the second. */
+export declare function equal<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is not equal to the second. */
+export declare function notEqual<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is less than the second. */
+export declare function less<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is less than or equal to the second. */
+export declare function lessEqual<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is greater than the second. */
+export declare function greater<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is greater than or equal to the second. */
+export declare function greaterEqual<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Test if the first value is the same object the second.
+ * For mutable collections, such as arrays, this means that they are the same object in memory.
+ * For immutable data types, such as integers and strings, this is equivalent to equality.
+ */
+export declare function is<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/** Print a value as a string. */
+export declare function print(value: Expr): StringExpr;
+/** Create a callable helper to invoke a platform function.
+ *
+ * Platform functions provide access to external capabilities (logging, I/O, database access, etc.)
+ * that East code can call. They are defined by the platform when compiling and executing East IR.
+ *
+ * @param name - The name of the platform function (must match a function provided in the platform object)
+ * @param input_types - Array of input parameter types for the platform function
+ * @param output_type - The return type of the platform function
+ * @returns A callable function that creates Platform AST nodes when invoked
+ *
+ * @example
+ * ```ts
+// Define a platform function helper for logging
+const log = East.platform("log", [StringType], NullType);
+
+// Use it in East code
+const myFunction = East.function([], NullType, ($) => {
+  $(log("Hello, world!"));
+  $.return(null);
+});
+
+// Provide the implementation when compiling
+const platform = [
+  log.implement(false, (message: string) => console.log(message)),
+];
+const compiled = myFunction.toIR().compile(platform);
+compiled(); // Logs "Hello, world!" to the console
+ * ```
+ */
+export declare function platform<const Inputs extends EastType[], Output extends EastType>(name: string, input_types: Inputs, output_type: Output): ((...args: {
+    [K in keyof Inputs]: SubtypeExprOrValue<Inputs[K]>;
+}) => ExprType<Output>) & {
+    implement: (fn: (...args: {
+        [K in keyof Inputs]: ValueTypeOf<Inputs[K]>;
+    }) => Output extends NullType ? null | undefined | void : ValueTypeOf<Output>) => PlatformFunction;
+    implementAsync: (fn: (...args: {
+        [K in keyof Inputs]: ValueTypeOf<Inputs[K]>;
+    }) => Output extends NullType ? Promise<null | undefined | void> : Promise<ValueTypeOf<Output>>) => PlatformFunction;
+};
+/** A helper for building blocks of code.
+ * Methods like `let`, `if`, `for` etc are available on the builder.
+ * You can also add expressions (having side effects) directly by calling the builder as a function.
+ */
+export type BlockBuilder<Ret> = (<T extends Expr>(expr: T) => T) & {
+    /** @internal */
+    statements: AST[];
+    /** @internal */
+    type(): EastType;
+    /** Define a new variable with a given value, and optionally a type.
+     * The variable may not be reassigned later (use `let` for that).
+     * However the value itself may be mutable (e.g. an array), and internally modified.
+    */
+    const: (<T>(expr: SubtypeExprOrValue<NoInfer<T>>, type: T) => ExprType<T>) & (<V>(expr: V) => ExprType<TypeOf<V>>);
+    /** Define a new variable with a given value, and optionally a type.
+     * The value may be reassigned later with `assign`.
+     */
+    let: (<T>(expr: SubtypeExprOrValue<NoInfer<T>>, type: T) => ExprType<T>) & (<V>(expr: V) => ExprType<TypeOf<V>>);
+    /** Reassign a variable defined with `let` to a new value. */
+    assign: (<T>(variable: ExprType<T>, value: SubtypeExprOrValue<NoInfer<T>>) => ExprType<NullType>);
+    /** Return a value immediately from the current function */
+    return: (value: SubtypeExprOrValue<Ret>) => void;
+    /** Break immediately from the indicated loop */
+    break: (label: Label) => void;
+    /** Continue immediately with the next iteration of the indicated loop */
+    continue: (label: Label) => void;
+    /** Perform logic if a condition is true */
+    if: (predicate: BooleanExpr | boolean, true_branch: ($: BlockBuilder<Ret>) => void | Expr) => IfElseExpr<Ret>;
+    /** Perform logic on different possible variants. For each variant tag, the associated data is unwrapped and provided to the branch. */
+    match: <Cases extends Record<string, any>>(variant: Expr<VariantType<Cases>>, cases: {
+        [K in keyof Cases]?: ($: BlockBuilder<Ret>, data: ExprType<Cases[K]>) => (void | Expr);
+    }) => void;
+    /** Loop while a condition is true */
+    while: (predicate: BooleanExpr | boolean, body: ($: BlockBuilder<Ret>, label: Label) => (void | Expr)) => void;
+    /** Loop over the values in a collection (array, set or dictionary) */
+    for: (<T>(array: ArrayExpr<T>, body: ($: BlockBuilder<Ret>, value: ExprType<T>, key: IntegerExpr, label: Label) => void) => void) & (<K>(array: SetExpr<K>, body: ($: BlockBuilder<Ret>, key: ExprType<K>, label: Label) => void) => void) & (<K, T>(array: DictExpr<K, T>, body: ($: BlockBuilder<Ret>, value: ExprType<T>, key: ExprType<K>, label: Label) => void) => void);
+    /** Throw an error immediately with a given error message. */
+    error: (message: StringExpr | string, location?: Location) => NeverExpr;
+    /** Run some code and catch any errors that occur. */
+    try: (try_block: ($: BlockBuilder<Ret>) => (void | Expr)) => TryCatchExpr<Ret>;
+};
+export declare const BlockBuilder: <Ret>(return_type: Ret) => BlockBuilder<Ret>;
+/** A helper class to perform if-elseif-else control flow. */
+declare class IfElseExpr<Ret> extends NullExpr {
+    private return_type;
+    /** @internal */
+    constructor(ast: IfElseAST, return_type: Ret);
+    /** Define the logic to follow when the condition is false. */
+    else(body: ($: BlockBuilder<Ret>) => void | Expr): NullExpr;
+    /** Check for another predicate, and execute logic if it is true */
+    elseIf(predicate: BooleanExpr | boolean, body: ($: BlockBuilder<Ret>) => void | Expr): this;
+}
+/** A helper class to perform try-catch control flow. */
+declare class TryCatchExpr<Ret> extends NullExpr {
+    private message_variable;
+    private stack_variable;
+    private return_type;
+    private catchCalled;
+    /** @internal */
+    constructor(ast: TryCatchAST, message_variable: VariableAST, stack_variable: VariableAST, return_type: Ret);
+    /** Define the logic to follow when an error is caught. The error message and stack trace is provided. */
+    catch(body: ($: BlockBuilder<Ret>, message: StringExpr, stack: ArrayExpr<StructType<{
+        filename: StringType;
+        line: IntegerType;
+        column: IntegerType;
+    }>>) => void | Expr): this;
+    /** Define cleanup logic that always executes, regardless of whether an error occurred. The finally block is for side effects only and does not affect the return type. */
+    finally(body: ($: BlockBuilder<Ret>) => void | Expr): void;
+}
+export {};
+//# sourceMappingURL=block.d.ts.map

package/dist/src/expr/block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../src/expr/block.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAgB,KAAK,GAAG,EAAE,KAAK,SAAS,EAAE,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACnH,OAAO,EAA+B,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,KAAK,QAAQ,EAA2B,QAAQ,EAA0B,UAAU,EAAE,SAAS,EAAE,WAAW,EAAe,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAEzN,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EAAa,IAAI,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,OAAO,EAAE,KAAK,oBAAoB,EAAsB,MAAM,eAAe,CAAC;AAE9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIvD;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CA4C9D;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AACpF,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AA8GtD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3O,gBAAgB;AAChB,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAsFxR;;;;;;EAME;AACF,wBAAgB,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,WAAW,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAwLhG;AAGD;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAyCtJ;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,QAAQ,GAAE,QAA0B,GAAG,SAAS,CAQ9G;AAED,gCAAgC;AAChC,wBAAgB,SAAS,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,SAAS;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAkC3S;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAAE,QAAQ,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAoCtS;AAED,sDAAsD;AACtD,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU1F;AAED,0DAA0D;AAC1D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU7F;AAED,uDAAuD;AACvD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUzF;AAED,mEAAmE;AACnE,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU9F;AAED,0DAA0D;AAC1D,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU5F;AAED,sEAAsE;AACtE,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUjG;AAED;;;GAGG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUvF;AAED,iCAAiC;AACjC,wBAAgB,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,UAAU,CAU7C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,QAAQ,CAAC,KAAK,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EAC/E,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GAClB,CAAC,CAAC,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG;IAC3F,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC;IAC3K,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,OAAO,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,gBAAgB,CAAC;CACnM,CAsFA;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG;IACjE,gBAAgB;IAChB,UAAU,EAAE,GAAG,EAAE,CAAC;IAElB,gBAAgB;IAChB,IAAI,IAAI,QAAQ,CAAC;IAEjB;;;MAGE;IACF,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH;;OAEG;IACH,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,6DAA6D;IAC7D,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClG,2DAA2D;IAC3D,MAAM,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IACjD,gDAAgD;IAChD,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IACjC,2CAA2C;IAC3C,EAAE,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9G,uIAAuI;IACvI,KAAK,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE;SAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;KAAE,KAAK,IAAI,CAAC;IACzL,qCAAqC;IACrC,KAAK,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;IAC/G,sEAAsE;IACtE,GAAG,EACC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GAC5H,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GACtG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,CAAA;IACrI,6DAA6D;IAC7D,KAAK,EAAE,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC;IACxE,qDAAqD;IACrD,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,CAAC;CAChF,CAAA;AAED,eAAO,MAAM,YAAY,GAAI,GAAG,EAAE,aAAa,GAAG,KAAG,YAAY,CAAC,GAAG,CAymBpE,CAAA;AAGD,6DAA6D;AAC7D,cAAM,UAAU,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAER,OAAO,CAAC,WAAW;IAD/C,gBAAgB;gBACJ,GAAG,EAAE,SAAS,EAAU,WAAW,EAAE,GAAG;IAMpD,8DAA8D;IAC9D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,QAAQ;IA4C3D,mEAAmE;IACnE,MAAM,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAiC5F;AAED,wDAAwD;AACxD,cAAM,YAAY,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAIR,OAAO,CAAC,gBAAgB;IAAe,OAAO,CAAC,cAAc;IAAe,OAAO,CAAC,WAAW;IAH7H,OAAO,CAAC,WAAW,CAAS;IAE5B,gBAAgB;gBACJ,GAAG,EAAE,WAAW,EAAU,gBAAgB,EAAE,WAAW,EAAU,cAAc,EAAE,WAAW,EAAU,WAAW,EAAE,GAAG;IAMlI,yGAAyG;IACzG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC;QAAE,QAAQ,EAAE,UAAU,CAAC;QAAC,IAAI,EAAE,WAAW,CAAC;QAAC,MAAM,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;IAkC7K,0KAA0K;IAC1K,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAsB3D"}