@elaraai/east 0.0.1-beta.3 → 0.0.1-beta.31

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

@@ -410,5 +410,139 @@ export declare class StringExpr extends Expr<StringType> {
      * ```
      */
     encodeUtf16(): ExprType<BlobType>;
+    /**
+     * Checks if this string equals another value.
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if the values are equal
+     *
+     * @example
+     * ```ts
+     * const isEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.equals(b));
+     * });
+     * const compiled = East.compile(isEqual.toIR(), []);
+     * compiled("hello", "hello");   // true
+     * compiled("hello", "world");   // false
+     * ```
+     */
+    equals(other: StringExpr | string): BooleanExpr;
+    /**
+     * Checks if this string does not equal another value.
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if the values are not equal
+     *
+     * @example
+     * ```ts
+     * const isNotEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.notEquals(b));
+     * });
+     * const compiled = East.compile(isNotEqual.toIR(), []);
+     * compiled("hello", "world");   // true
+     * compiled("hello", "hello");   // false
+     * ```
+     */
+    notEquals(other: StringExpr | string): BooleanExpr;
+    /**
+     * Checks if this string is greater than another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is greater
+     *
+     * @example
+     * ```ts
+     * const isGreater = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.greaterThan(b));
+     * });
+     * const compiled = East.compile(isGreater.toIR(), []);
+     * compiled("b", "a");     // true
+     * compiled("a", "b");     // false
+     * compiled("a", "a");     // false
+     * ```
+     */
+    greaterThan(other: StringExpr | string): BooleanExpr;
+    /**
+     * Checks if this string is less than another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is less
+     *
+     * @example
+     * ```ts
+     * const isLess = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.lessThan(b));
+     * });
+     * const compiled = East.compile(isLess.toIR(), []);
+     * compiled("a", "b");     // true
+     * compiled("b", "a");     // false
+     * compiled("a", "a");     // false
+     * ```
+     */
+    lessThan(other: StringExpr | string): BooleanExpr;
+    /**
+     * Checks if this string is greater than or equal to another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is greater than or equal
+     *
+     * @example
+     * ```ts
+     * const isGreaterOrEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.greaterThanOrEqual(b));
+     * });
+     * const compiled = East.compile(isGreaterOrEqual.toIR(), []);
+     * compiled("b", "a");     // true
+     * compiled("a", "a");     // true
+     * compiled("a", "b");     // false
+     * ```
+     */
+    greaterThanOrEqual(other: StringExpr | string): BooleanExpr;
+    /**
+     * Checks if this string is less than or equal to another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is less than or equal
+     *
+     * @example
+     * ```ts
+     * const isLessOrEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.lessThanOrEqual(b));
+     * });
+     * const compiled = East.compile(isLessOrEqual.toIR(), []);
+     * compiled("a", "b");     // true
+     * compiled("a", "a");     // true
+     * compiled("b", "a");     // false
+     * ```
+     */
+    lessThanOrEqual(other: StringExpr | string): BooleanExpr;
+    /** Alias for {@link equals} */
+    eq: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link equals} */
+    equal: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link notEquals} */
+    ne: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link notEquals} */
+    notEqual: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link greaterThan} */
+    gt: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link greaterThan} */
+    greater: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link lessThan} */
+    lt: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link lessThan} */
+    less: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link greaterThanOrEqual} */
+    gte: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link greaterThanOrEqual} */
+    ge: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link greaterThanOrEqual} */
+    greaterEqual: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link lessThanOrEqual} */
+    lte: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link lessThanOrEqual} */
+    le: (other: StringExpr | string) => BooleanExpr;
+    /** Alias for {@link lessThanOrEqual} */
+    lessEqual: (other: StringExpr | string) => BooleanExpr;
 }
 //# sourceMappingURL=string.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../src/expr/string.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAa,QAAQ,EAAe,WAAW,EAAc,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAa,IAAI,EAAiB,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,UAAW,SAAQ,IAAI,CAAC,UAAU,CAAC;gBAClC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM;IAIxC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAc9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAWnD;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,UAAU;IAYrD;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,UAAU;IAYrD;;;;;;;;;;;;;;;OAeG;IACH,MAAM,IAAI,WAAW;IAWrB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,UAAU;IAavF;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IAYlE;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI,IAAI,UAAU;IAWlB;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,IAAI,UAAU;IAWrB;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,WAAW;IAY1D;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,WAAW;IAYxD;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW;IA0C3E;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW;IA0C1E;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,UAAU;IAgD7G;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC;IAWhC;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW,IAAI,QAAQ,CAAC,QAAQ,CAAC;CAUlC"}
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../src/expr/string.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAa,QAAQ,EAAe,WAAW,EAAc,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAa,IAAI,EAAiB,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,UAAW,SAAQ,IAAI,CAAC,UAAU,CAAC;gBAClC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM;IAIxC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAc9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAWnD;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,UAAU;IAYrD;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,UAAU;IAYrD;;;;;;;;;;;;;;;OAeG;IACH,MAAM,IAAI,WAAW;IAWrB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,UAAU;IAavF;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IAYlE;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI,IAAI,UAAU;IAWlB;;;;;;;;;;;;;;;OAeG;IACH,SAAS,IAAI,UAAU;IAWvB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,IAAI,UAAU;IAWrB;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,WAAW;IAY1D;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,WAAW;IAYxD;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW;IA0C3E;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW;IA0C1E;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,UAAU;IAgD7G;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC;IAWhC;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW,IAAI,QAAQ,CAAC,QAAQ,CAAC;IAWjC;;;;;;;;;;;;;;;OAeG;IACH,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAI/C;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAIlD;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAIpD;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAIjD;;;;;;;;;;;;;;;;OAgBG;IACH,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAI3D;;;;;;;;;;;;;;;;OAgBG;IACH,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW;IAQxD,+BAA+B;IAC/B,EAAE,UAjHY,UAAU,GAAG,MAAM,KAAG,WAAW,CAiH9B;IACjB,+BAA+B;IAC/B,KAAK,UAnHS,UAAU,GAAG,MAAM,KAAG,WAAW,CAmH3B;IAEpB,kCAAkC;IAClC,EAAE,UAlGe,UAAU,GAAG,MAAM,KAAG,WAAW,CAkG9B;IACpB,kCAAkC;IAClC,QAAQ,UApGS,UAAU,GAAG,MAAM,KAAG,WAAW,CAoGxB;IAE1B,oCAAoC;IACpC,EAAE,UAlFiB,UAAU,GAAG,MAAM,KAAG,WAAW,CAkF9B;IACtB,oCAAoC;IACpC,OAAO,UApFY,UAAU,GAAG,MAAM,KAAG,WAAW,CAoFzB;IAE3B,iCAAiC;IACjC,EAAE,UAlEc,UAAU,GAAG,MAAM,KAAG,WAAW,CAkE9B;IACnB,iCAAiC;IACjC,IAAI,UApEY,UAAU,GAAG,MAAM,KAAG,WAAW,CAoE5B;IAErB,2CAA2C;IAC3C,GAAG,UAlDuB,UAAU,GAAG,MAAM,KAAG,WAAW,CAkD7B;IAC9B,2CAA2C;IAC3C,EAAE,UApDwB,UAAU,GAAG,MAAM,KAAG,WAAW,CAoD9B;IAC7B,2CAA2C;IAC3C,YAAY,UAtDc,UAAU,GAAG,MAAM,KAAG,WAAW,CAsDpB;IAEvC,wCAAwC;IACxC,GAAG,UApCoB,UAAU,GAAG,MAAM,KAAG,WAAW,CAoC7B;IAC3B,wCAAwC;IACxC,EAAE,UAtCqB,UAAU,GAAG,MAAM,KAAG,WAAW,CAsC9B;IAC1B,wCAAwC;IACxC,SAAS,UAxCc,UAAU,GAAG,MAAM,KAAG,WAAW,CAwCvB;CAClC"}

package/dist/src/expr/string.js

@@ -1,6 +1,7 @@
 import { get_location } from "../location.js";
 import { ArrayType, BlobType, BooleanType, IntegerType, isDataType, StringType } from "../types.js";
 import { valueOrExprToAstTyped } from "./ast.js";
+import { equal, notEqual, less, lessEqual, greater, greaterEqual } from "./block.js";
 import { AstSymbol, Expr, FactorySymbol } from "./expr.js";
 import { validateCrossPlatformCompatible } from "./regex_validation.js";
 /**
@@ -63,7 +64,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: type,
-            location: get_location(2),
+            location: get_location(),
             builtin: "Parse",
             type_parameters: [type],
             arguments: [this[AstSymbol]],
@@ -93,7 +94,7 @@ export class StringExpr extends Expr {
             ast_type: "Builtin",
             type: type,
             builtin: "StringParseJSON",
-            location: { filename: "stdlib", line: 1, column: 1 },
+            location: [{ filename: "stdlib", line: 1, column: 1 }],
             type_parameters: [type],
             arguments: [this[AstSymbol]],
         });
@@ -120,7 +121,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringConcat",
             type_parameters: [],
             arguments: [this[AstSymbol], stringAst],
@@ -149,7 +150,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringRepeat",
             type_parameters: [],
             arguments: [this[AstSymbol], countAst],
@@ -175,7 +176,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: IntegerType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringLength",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -207,7 +208,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringSubstring",
             type_parameters: [],
             arguments: [this[AstSymbol], fromAst, toAst],
@@ -233,7 +234,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringUpperCase",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -259,7 +260,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringLowerCase",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -288,7 +289,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: ArrayType(StringType),
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringSplit",
             type_parameters: [],
             arguments: [this[AstSymbol], delimiterAst],
@@ -315,7 +316,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringTrim",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -341,7 +342,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringTrimStart",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -367,7 +368,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: StringType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringTrimEnd",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -396,7 +397,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: BooleanType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringStartsWith",
             type_parameters: [],
             arguments: [this[AstSymbol], prefixAst],
@@ -425,7 +426,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: BooleanType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringEndsWith",
             type_parameters: [],
             arguments: [this[AstSymbol], suffixAst],
@@ -476,7 +477,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: BooleanType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "RegexContains",
                 type_parameters: [],
                 arguments: [this[AstSymbol], patternAst, flagsAst],
@@ -487,7 +488,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: BooleanType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "StringContains",
                 type_parameters: [],
                 arguments: [this[AstSymbol], substringAst],
@@ -539,7 +540,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: IntegerType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "RegexIndexOf",
                 type_parameters: [],
                 arguments: [this[AstSymbol], patternAst, flagsAst],
@@ -550,7 +551,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: IntegerType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "StringIndexOf",
                 type_parameters: [],
                 arguments: [this[AstSymbol], substringAst],
@@ -606,7 +607,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: StringType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "RegexReplace",
                 type_parameters: [],
                 arguments: [this[AstSymbol], patternAst, flagsAst, replaceAst],
@@ -618,7 +619,7 @@ export class StringExpr extends Expr {
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: StringType,
-                location: get_location(2),
+                location: get_location(),
                 builtin: "StringReplace",
                 type_parameters: [],
                 arguments: [this[AstSymbol], searchAst, replaceAst],
@@ -646,7 +647,7 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: BlobType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringEncodeUtf8",
             type_parameters: [],
             arguments: [this[AstSymbol]],
@@ -673,11 +674,160 @@ export class StringExpr extends Expr {
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: BlobType,
-            location: get_location(2),
+            location: get_location(),
             builtin: "StringEncodeUtf16",
             type_parameters: [],
             arguments: [this[AstSymbol]],
         });
     }
+    /**
+     * Checks if this string equals another value.
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if the values are equal
+     *
+     * @example
+     * ```ts
+     * const isEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.equals(b));
+     * });
+     * const compiled = East.compile(isEqual.toIR(), []);
+     * compiled("hello", "hello");   // true
+     * compiled("hello", "world");   // false
+     * ```
+     */
+    equals(other) {
+        return equal(this, other);
+    }
+    /**
+     * Checks if this string does not equal another value.
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if the values are not equal
+     *
+     * @example
+     * ```ts
+     * const isNotEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.notEquals(b));
+     * });
+     * const compiled = East.compile(isNotEqual.toIR(), []);
+     * compiled("hello", "world");   // true
+     * compiled("hello", "hello");   // false
+     * ```
+     */
+    notEquals(other) {
+        return notEqual(this, other);
+    }
+    /**
+     * Checks if this string is greater than another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is greater
+     *
+     * @example
+     * ```ts
+     * const isGreater = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.greaterThan(b));
+     * });
+     * const compiled = East.compile(isGreater.toIR(), []);
+     * compiled("b", "a");     // true
+     * compiled("a", "b");     // false
+     * compiled("a", "a");     // false
+     * ```
+     */
+    greaterThan(other) {
+        return greater(this, other);
+    }
+    /**
+     * Checks if this string is less than another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is less
+     *
+     * @example
+     * ```ts
+     * const isLess = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.lessThan(b));
+     * });
+     * const compiled = East.compile(isLess.toIR(), []);
+     * compiled("a", "b");     // true
+     * compiled("b", "a");     // false
+     * compiled("a", "a");     // false
+     * ```
+     */
+    lessThan(other) {
+        return less(this, other);
+    }
+    /**
+     * Checks if this string is greater than or equal to another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is greater than or equal
+     *
+     * @example
+     * ```ts
+     * const isGreaterOrEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.greaterThanOrEqual(b));
+     * });
+     * const compiled = East.compile(isGreaterOrEqual.toIR(), []);
+     * compiled("b", "a");     // true
+     * compiled("a", "a");     // true
+     * compiled("a", "b");     // false
+     * ```
+     */
+    greaterThanOrEqual(other) {
+        return greaterEqual(this, other);
+    }
+    /**
+     * Checks if this string is less than or equal to another value (lexicographically).
+     *
+     * @param other - The value to compare against
+     * @returns A BooleanExpr that is true if this string is less than or equal
+     *
+     * @example
+     * ```ts
+     * const isLessOrEqual = East.function([StringType, StringType], BooleanType, ($, a, b) => {
+     *   $.return(a.lessThanOrEqual(b));
+     * });
+     * const compiled = East.compile(isLessOrEqual.toIR(), []);
+     * compiled("a", "b");     // true
+     * compiled("a", "a");     // true
+     * compiled("b", "a");     // false
+     * ```
+     */
+    lessThanOrEqual(other) {
+        return lessEqual(this, other);
+    }
+    // ============================================================================
+    // Aliases for comparison operations
+    // ============================================================================
+    /** Alias for {@link equals} */
+    eq = this.equals;
+    /** Alias for {@link equals} */
+    equal = this.equals;
+    /** Alias for {@link notEquals} */
+    ne = this.notEquals;
+    /** Alias for {@link notEquals} */
+    notEqual = this.notEquals;
+    /** Alias for {@link greaterThan} */
+    gt = this.greaterThan;
+    /** Alias for {@link greaterThan} */
+    greater = this.greaterThan;
+    /** Alias for {@link lessThan} */
+    lt = this.lessThan;
+    /** Alias for {@link lessThan} */
+    less = this.lessThan;
+    /** Alias for {@link greaterThanOrEqual} */
+    gte = this.greaterThanOrEqual;
+    /** Alias for {@link greaterThanOrEqual} */
+    ge = this.greaterThanOrEqual;
+    /** Alias for {@link greaterThanOrEqual} */
+    greaterEqual = this.greaterThanOrEqual;
+    /** Alias for {@link lessThanOrEqual} */
+    lte = this.lessThanOrEqual;
+    /** Alias for {@link lessThanOrEqual} */
+    le = this.lessThanOrEqual;
+    /** Alias for {@link lessThanOrEqual} */
+    lessEqual = this.lessThanOrEqual;
 }
 //# sourceMappingURL=string.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../src/expr/string.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AACnH,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAIjD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAe,MAAM,WAAW,CAAC;AAExE,OAAO,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AAExE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,OAAO,UAAW,SAAQ,IAAgB;IAC9C,YAAY,GAAQ,EAAE,UAAkB;QACtC,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,CAAI,IAAO;QACd,IAAI,CAAC,UAAU,CAAC,IAAW,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,IAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,OAAO;YAChB,eAAe,EAAE,CAAC,IAAW,CAAC;YAC9B,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAqB,IAAO;QACnC,OAAO,IAAI,CAAC,OAAO,CAAC;YAClB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;YACpD,eAAe,EAAE,CAAC,IAAI,CAAC;YACvB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,MAAiC;QACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,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,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,KAAiC;QACtC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,cAAc;YACvB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,MAAM;QACJ,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,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,IAAgC,EAAE,EAA8B;QACxE,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACrD,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,EAAE,OAAO,EAAE,KAAK,CAAC;SAC7C,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,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;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,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;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,CAAC,SAAoC;QACxC,MAAM,YAAY,GAAG,qBAAqB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;YAC3B,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,aAAa;YACtB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;SAC3C,CAA0B,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,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;;;;;;;;;;;;;;;OAeG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,eAAe;YACxB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,MAAiC;QAC1C,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,kBAAkB;YAC3B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAiC;QACxC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,QAAQ,CAAC,gBAAoD;QAC3D,IAAI,gBAAgB,YAAY,MAAM,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,gBAA0B,CAAC;YAC5C,MAAM,UAAU,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YAE7D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC;aACnD,CAAgB,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,qBAAqB,CAAC,gBAAuC,EAAE,UAAU,CAAC,CAAC;YAChG,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,gBAAgB;gBACzB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;aAC3C,CAAgB,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAoD;QAC1D,IAAI,gBAAgB,YAAY,MAAM,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,gBAA0B,CAAC;YAC5C,MAAM,UAAU,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YAE7D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,cAAc;gBACvB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC;aACnD,CAAgB,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,qBAAqB,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;aAC3C,CAAgB,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,WAA+C,EAAE,YAAuC;QAC9F,IAAI,WAAW,YAAY,MAAM,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,WAAqB,CAAC;YAEvC,uFAAuF;YACvF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,kBAAkB,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YACtE,MAAM,UAAU,GAAG,+BAA+B,CAAC,kBAAkB,CAAC,CAAC;YAEvE,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,cAAc;gBACvB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;aAC/D,CAAe,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,SAAS,GAAG,qBAAqB,CAAC,WAAkC,EAAE,UAAU,CAAC,CAAC;YACxF,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC;aACpD,CAAe,CAAC;QACnB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,kBAAkB;YAC3B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAuB,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,mBAAmB;YAC5B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAuB,CAAC;IAC3B,CAAC;CACF"}
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../src/expr/string.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AACnH,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAGjD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAErF,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAe,MAAM,WAAW,CAAC;AAExE,OAAO,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AAExE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,OAAO,UAAW,SAAQ,IAAgB;IAC9C,YAAY,GAAQ,EAAE,UAAkB;QACtC,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,CAAI,IAAO;QACd,IAAI,CAAC,UAAU,CAAC,IAAW,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,IAAW;YACjB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,OAAO;YAChB,eAAe,EAAE,CAAC,IAAW,CAAC;YAC9B,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAqB,IAAO;QACnC,OAAO,IAAI,CAAC,OAAO,CAAC;YAClB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YACtD,eAAe,EAAE,CAAC,IAAI,CAAC;YACvB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,MAAiC;QACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,cAAc;YACvB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,KAAiC;QACtC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,cAAc;YACvB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,MAAM;QACJ,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,cAAc;YACvB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,IAAgC,EAAE,EAA8B;QACxE,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,iBAAiB;YAC1B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC;SAC7C,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,iBAAiB;YAC1B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,iBAAiB;YAC1B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,CAAC,SAAoC;QACxC,MAAM,YAAY,GAAG,qBAAqB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;YAC3B,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,aAAa;YACtB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;SAC3C,CAA0B,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,iBAAiB;YAC1B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,eAAe;YACxB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAe,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,MAAiC;QAC1C,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,kBAAkB;YAC3B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAiC;QACxC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;SACxC,CAAgB,CAAC;IACpB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,QAAQ,CAAC,gBAAoD;QAC3D,IAAI,gBAAgB,YAAY,MAAM,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,gBAA0B,CAAC;YAC5C,MAAM,UAAU,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YAE7D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC;aACnD,CAAgB,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,qBAAqB,CAAC,gBAAuC,EAAE,UAAU,CAAC,CAAC;YAChG,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,gBAAgB;gBACzB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;aAC3C,CAAgB,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAoD;QAC1D,IAAI,gBAAgB,YAAY,MAAM,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,gBAA0B,CAAC;YAC5C,MAAM,UAAU,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YAE7D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,cAAc;gBACvB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC;aACnD,CAAgB,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,qBAAqB,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;aAC3C,CAAgB,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,WAA+C,EAAE,YAAuC;QAC9F,IAAI,WAAW,YAAY,MAAM,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,WAAqB,CAAC;YAEvC,uFAAuF;YACvF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,kBAAkB,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YACtE,MAAM,UAAU,GAAG,+BAA+B,CAAC,kBAAkB,CAAC,CAAC;YAEvE,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uDAAuD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACnE,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,cAAc;gBACvB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;aAC/D,CAAe,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,SAAS,GAAG,qBAAqB,CAAC,WAAkC,EAAE,UAAU,CAAC,CAAC;YACxF,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;gBACzB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY,EAAE;gBACxB,OAAO,EAAE,eAAe;gBACxB,eAAe,EAAE,EAAE;gBACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC;aACpD,CAAe,CAAC;QACnB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,kBAAkB;YAC3B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAuB,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,EAAE;YACxB,OAAO,EAAE,mBAAmB;YAC5B,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAuB,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,MAAM,CAAC,KAA0B;QAC/B,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,KAA0B;QAClC,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW,CAAC,KAA0B;QACpC,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,KAA0B;QACjC,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,kBAAkB,CAAC,KAA0B;QAC3C,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,eAAe,CAAC,KAA0B;QACxC,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,+EAA+E;IAC/E,oCAAoC;IACpC,+EAA+E;IAE/E,+BAA+B;IAC/B,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;IACjB,+BAA+B;IAC/B,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;IAEpB,kCAAkC;IAClC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;IACpB,kCAAkC;IAClC,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;IAE1B,oCAAoC;IACpC,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;IACtB,oCAAoC;IACpC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IAE3B,iCAAiC;IACjC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;IACnB,iCAAiC;IACjC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAErB,2CAA2C;IAC3C,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAC9B,2CAA2C;IAC3C,EAAE,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAC7B,2CAA2C;IAC3C,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAEvC,wCAAwC;IACxC,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC;IAC3B,wCAAwC;IACxC,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC;IAC1B,wCAAwC;IACxC,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;CAClC"}

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

@@ -20,7 +20,7 @@ export declare const StructExpr: {
     from<T>(value: T): ExprType<import("./types.js").TypeOf<T>>;
     fromAst<T extends AST>(ast: T): ExprType<T["type"]>;
     block<F extends ($: import("./block.js").BlockBuilder<import("../types.js").NeverType>) => any>(body: F): ReturnType<F> extends void ? import("./never.js").NeverExpr : ExprType<import("./types.js").TypeOf<ReturnType<F>>>;
-    error(message: import("./types.js").SubtypeExprOrValue<import("../types.js").StringType>, location?: import("../location.js").Location): ExprType<import("../types.js").NeverType>;
+    error(message: import("./types.js").SubtypeExprOrValue<import("../types.js").StringType>, location?: import("../location.js").Location[]): ExprType<import("../types.js").NeverType>;
     match<Cases extends Record<string, any>, Handlers extends { [K in keyof Cases]: ($: import("./block.js").BlockBuilder<import("../types.js").NeverType>, data: ExprType<Cases[K]>) => any; }>(variant: Expr<import("../types.js").VariantType<Cases>>, handlers: Handlers): ExprType<import("./types.js").TypeOf<{ [K in keyof Cases]: ReturnType<Handlers[K]>; }[keyof Cases]>>;
     tryCatch<T>(try_body: Expr<T>, catch_body: ($: import("./block.js").BlockBuilder<import("../types.js").NeverType>, message: ExprType<import("../types.js").StringType>, stack: ExprType<import("../types.js").ArrayType<StructType<{
         filename: import("../types.js").StringType;

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

@@ -1 +1 @@
-{"version":3,"file":"struct.d.ts","sourceRoot":"","sources":["../../../src/expr/struct.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAEL,SAAS,EACT,IAAI,EACJ,aAAa,EAEb,UAAU,EACV,KAAK,MAAM,EACZ,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AA4D3C,eAAO,MAAM,UAAU;SApBc,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,eAC5C,MAAM,OAAO,GAAG,WAAW,MAAM;;;;;;;;;;;;;;;;;;;;sHAqBqoD,GAAI;uHAAoS,GAAI;2HAAsd,GAAI;4HAA8S,GAAI;;;;;;;;;;;;;CAFptF,CAAC;AACtC,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG;KAAG,GAAG,IAAI,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;CAAE,CAAC"}
+{"version":3,"file":"struct.d.ts","sourceRoot":"","sources":["../../../src/expr/struct.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAEL,SAAS,EACT,IAAI,EACJ,aAAa,EAEb,UAAU,EACV,KAAK,MAAM,EACZ,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AA4D3C,eAAO,MAAM,UAAU;SApBc,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,eAC5C,MAAM,OAAO,GAAG,WAAW,MAAM;;;;;;;;;;;;;;;;;;;;sHAqB4oD,GAAI;uHAAoS,GAAI;2HAAsd,GAAI;4HAA8S,GAAI;;;;;;;;;;;;;CAF3tF,CAAC;AACtC,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG;KAAG,GAAG,IAAI,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;CAAE,CAAC"}

package/dist/src/expr/struct.js

@@ -53,7 +53,7 @@ const _StructExpr = class StructExpr extends Expr {
                 get: () => this[FactorySymbol]({
                     ast_type: "GetField",
                     type,
-                    location: get_location(2),
+                    location: get_location(),
                     field: key,
                     struct: ast,
                 }),

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

@@ -1 +1 @@
-{"version":3,"file":"struct.js","sourceRoot":"","sources":["../../../src/expr/struct.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO;AACL,6DAA6D;AAC7D,SAAS,EACT,IAAI,EACJ,aAAa;AACb,6DAA6D;AAC7D,UAAU,EAEX,MAAM,WAAW,CAAC;AAGnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,GAAG,MAAM,UAA+C,SAAQ,IAAwB;IACvG,YAAY,WAAmB,EAAE,GAAQ,EAAE,OAAe;QACxD,KAAK,CAAC,GAAG,CAAC,IAA0B,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAEpD,sDAAsD;QACtD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE;gBAC/B,UAAU,EAAE,IAAI;gBAChB,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBAC7B,QAAQ,EAAE,UAAU;oBACpB,IAAI;oBACJ,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;oBACzB,KAAK,EAAE,GAAG;oBACV,MAAM,EAAE,GAAG;iBACZ,CAAC;aACH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC"}
+{"version":3,"file":"struct.js","sourceRoot":"","sources":["../../../src/expr/struct.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO;AACL,6DAA6D;AAC7D,SAAS,EACT,IAAI,EACJ,aAAa;AACb,6DAA6D;AAC7D,UAAU,EAEX,MAAM,WAAW,CAAC;AAGnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,GAAG,MAAM,UAA+C,SAAQ,IAAwB;IACvG,YAAY,WAAmB,EAAE,GAAQ,EAAE,OAAe;QACxD,KAAK,CAAC,GAAG,CAAC,IAA0B,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAEpD,sDAAsD;QACtD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE;gBAC/B,UAAU,EAAE,IAAI;gBAChB,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBAC7B,QAAQ,EAAE,UAAU;oBACpB,IAAI;oBACJ,QAAQ,EAAE,YAAY,EAAE;oBACxB,KAAK,EAAE,GAAG;oBACV,MAAM,EAAE,GAAG;iBACZ,CAAC;aACH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC"}

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

@@ -18,6 +18,7 @@ import type { SetExpr } from "./set.js";
 import type { DictExpr } from "./dict.js";
 import type { StructExpr } from "./struct.js";
 import type { VariantExpr } from "./variant.js";
+import type { RecursiveExpr } from "./recursive.js";
 import type { CallableFunctionExpr } from "./function.js";
 import type { BlockBuilder } from "./block.js";
 import type { ref } from "../containers/ref.js";
@@ -31,11 +32,11 @@ export type SubtypeExprOrValue<T> = T extends never ? never : T extends NeverTyp
     [K in keyof Fields]: SubType<Fields[K]>;
 }>> | {
     [K in keyof Fields]: SubtypeExprOrValue<Fields[K]>;
-} : T extends VariantType<infer Cases> ? Expr<NeverType> | Expr<VariantType<{
+} : T extends RecursiveType<infer U> ? RecursiveExpr<ExpandOnce<U, T>> | SubtypeExprOrValue<U> : T extends VariantType<infer Cases> ? Expr<NeverType> | Expr<VariantType<{
     [K in keyof Cases]?: SubType<Cases[K]>;
 }>> | {
     [K in keyof Cases]: variant<K, SubtypeExprOrValue<Cases[K]>>;
-}[keyof Cases] : T extends RecursiveType<infer U> ? Expr<T> | SubtypeExprOrValue<U> : T extends RecursiveTypeMarker ? any : T extends FunctionType<infer I, undefined> ? Expr<FunctionType<I, any>> | (($: BlockBuilder<NeverType>, ...input: {
+}[keyof Cases] : T extends RecursiveTypeMarker ? any : T extends FunctionType<infer I, undefined> ? Expr<FunctionType<I, any>> | (($: BlockBuilder<NeverType>, ...input: {
     [K in keyof I]: ExprType<I[K]>;
 }) => any) : T extends FunctionType<infer I, infer O> ? Expr<FunctionType<I, SubType<O>>> | (($: BlockBuilder<O>, ...input: {
     [K in keyof I]: ExprType<I[K]>;
@@ -47,19 +48,19 @@ export type SubtypeExprOrValue<T> = T extends never ? never : T extends NeverTyp
 /** Expand a given recursive type one level deeper */
 export type ExpandOnce<T, NodeType> = T extends RefType<infer U> ? RefType<ExpandOnce<U, NodeType>> : T extends ArrayType<infer U> ? ArrayType<ExpandOnce<U, NodeType>> : T extends SetType<infer U> ? SetType<ExpandOnce<U, NodeType>> : T extends DictType<infer K, infer V> ? DictType<ExpandOnce<K, NodeType>, ExpandOnce<V, NodeType>> : T extends StructType<infer Fields> ? StructType<{
     [K in keyof Fields]: ExpandOnce<Fields[K], NodeType>;
-}> : T extends VariantType<infer Cases> ? VariantType<{
+}> : T extends RecursiveType<infer U> ? RecursiveType<U> : T extends VariantType<infer Cases> ? VariantType<{
     [K in keyof Cases]: ExpandOnce<Cases[K], NodeType>;
-}> : T extends RecursiveType<infer U> ? RecursiveType<U> : T extends RecursiveTypeMarker ? NodeType : T;
+}> : T extends RecursiveTypeMarker ? NodeType : T;
 /**
  * Type mapping from East types to their corresponding expression classes
  * This is the key type that provides concrete expression types to user code
  */
-export type ExprType<T> = T extends never ? never : T extends NeverType ? NeverExpr : T extends NeverType | NullType ? NullExpr : T extends NeverType | BooleanType ? BooleanExpr : T extends NeverType | IntegerType ? IntegerExpr : T extends NeverType | FloatType ? FloatExpr : T extends NeverType | StringType ? StringExpr : T extends NeverType | DateTimeType ? DateTimeExpr : T extends NeverType | BlobType ? BlobExpr : T extends NeverType | RefType<infer U> ? RefExpr<U> : T extends NeverType | ArrayType<infer V> ? ArrayExpr<V> : T extends NeverType | SetType<infer K> ? SetExpr<K> : T extends NeverType | DictType<infer K, infer V> ? DictExpr<K, V> : T extends NeverType | StructType<infer Fields> ? StructExpr<Fields> : T extends NeverType | VariantType<infer Cases> ? VariantExpr<Cases> : T extends NeverType | RecursiveType<infer U> ? ExprType<ExpandOnce<U, T>> : T extends NeverType | RecursiveTypeMarker ? NeverExpr : T extends NeverType | FunctionType<infer I, infer O> ? CallableFunctionExpr<I, O> : T extends NeverType | AsyncFunctionType<infer I, infer O> ? CallableAsyncFunctionExpr<I, O> : Expr<T>;
+export type ExprType<T> = T extends never ? never : T extends NeverType ? NeverExpr : T extends NeverType | NullType ? NullExpr : T extends NeverType | BooleanType ? BooleanExpr : T extends NeverType | IntegerType ? IntegerExpr : T extends NeverType | FloatType ? FloatExpr : T extends NeverType | StringType ? StringExpr : T extends NeverType | DateTimeType ? DateTimeExpr : T extends NeverType | BlobType ? BlobExpr : T extends NeverType | RefType<infer U> ? RefExpr<U> : T extends NeverType | ArrayType<infer V> ? ArrayExpr<V> : T extends NeverType | SetType<infer K> ? SetExpr<K> : T extends NeverType | DictType<infer K, infer V> ? DictExpr<K, V> : T extends NeverType | StructType<infer Fields> ? StructExpr<Fields> : T extends NeverType | RecursiveType<infer U> ? RecursiveExpr<ExpandOnce<U, T>> : T extends NeverType | VariantType<infer Cases> ? VariantExpr<Cases> : T extends NeverType | RecursiveTypeMarker ? RecursiveExpr<any> : T extends NeverType | FunctionType<infer I, infer O> ? CallableFunctionExpr<I, O> : T extends NeverType | AsyncFunctionType<infer I, infer O> ? CallableAsyncFunctionExpr<I, O> : Expr<T>;
 /**
  * Type mapping from JavaScript/Expression values to East types
  * Used for type inference in factory methods
  */
-export type TypeOf<T> = T extends never ? never : T extends Expr<NeverType> ? NeverType : T extends null | Expr<NullType> ? NullType : T extends boolean | Expr<BooleanType> ? BooleanType : T extends bigint | Expr<IntegerType> ? IntegerType : T extends number | Expr<FloatType> ? FloatType : T extends string | Expr<StringType> ? StringType : T extends Date | Expr<DateTimeType> ? DateTimeType : T extends Uint8Array | Expr<BlobType> ? BlobType : T extends Expr<RefType<infer U>> ? RefType<U> : T extends ref<infer U> ? RefType<TypeOf<U>> : T extends Expr<ArrayType<infer U>> ? ArrayType<U> : T extends Array<infer U> ? ArrayType<TypeOf<U>> : T extends Expr<SetType<infer U>> ? SetType<U> : T extends Set<infer U> ? SetType<TypeOf<U>> : T extends Expr<DictType<infer K, infer V>> ? DictType<K, V> : T extends Map<infer K, infer V> ? DictType<TypeOf<K>, TypeOf<V>> : T extends Expr<FunctionType<infer I, infer O>> ? FunctionType<I, O> : T extends Expr<VariantType<infer Cases>> ? VariantType<Cases> : T extends variant<infer Case, infer U> ? Case extends string ? VariantType<{
+export type TypeOf<T> = T extends never ? never : T extends Expr<NeverType> ? NeverType : T extends null | Expr<NullType> ? NullType : T extends boolean | Expr<BooleanType> ? BooleanType : T extends bigint | Expr<IntegerType> ? IntegerType : T extends number | Expr<FloatType> ? FloatType : T extends string | Expr<StringType> ? StringType : T extends Date | Expr<DateTimeType> ? DateTimeType : T extends Uint8Array | Expr<BlobType> ? BlobType : T extends Expr<RefType<infer U>> ? RefType<U> : T extends ref<infer U> ? RefType<TypeOf<U>> : T extends Expr<ArrayType<infer U>> ? ArrayType<U> : T extends Array<infer U> ? ArrayType<TypeOf<U>> : T extends Expr<SetType<infer U>> ? SetType<U> : T extends Set<infer U> ? SetType<TypeOf<U>> : T extends Expr<DictType<infer K, infer V>> ? DictType<K, V> : T extends Map<infer K, infer V> ? DictType<TypeOf<K>, TypeOf<V>> : T extends Expr<FunctionType<infer I, infer O>> ? FunctionType<I, O> : T extends Expr<RecursiveType<infer _U>> ? (T extends Expr<infer R> ? R : never) : T extends Expr<VariantType<infer Cases>> ? VariantType<Cases> : T extends variant<infer Case, infer U> ? Case extends string ? VariantType<{
     [K in Case]: TypeOf<U>;
 }> : never : T extends Expr<StructType<infer Fields>> ? StructType<keyof Fields extends keyof T ? {
     [K in (string & keyof T)]: TypeOf<T[K]>;