@elaraai/east 0.0.1-beta.17 → 0.0.1-beta.19

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

@@ -6,7 +6,8 @@ import type { AST } from "../ast.js";
 import { BooleanType, NeverType, StringType, TypeUnion, VariantType } from "../types.js";
 import type { BlockBuilder } from "./block.js";
 import { Expr, type ToExpr } from "./expr.js";
-import type { ExprType, TypeOf } from "./types.js";
+import type { ExprType, TypeOf, SubtypeExprOrValue } from "./types.js";
+import type { BooleanExpr } from "./boolean.js";
 /**
  * Expression representing variant (sum type/tagged union) values.
  *
@@ -134,17 +135,17 @@ export declare class VariantExpr<Cases extends Record<string, any>> extends Expr
     unwrap<Case extends keyof Cases>(name: Case): ExprType<Cases[Case]>;
     unwrap(): "some" extends keyof Cases ? ExprType<Cases["some"]> : ExprType<NeverType>;
     /**
-     * Pattern match on this variant, handling specific cases with a default fallback.
+     * Pattern match on this variant.
      *
-     * This method allows partial matching where you only need to handle the cases you care about,
-     * with a required default handler for any unmatched cases. This is more ergonomic than
-     * exhaustive matching when you only need to handle a subset of cases.
+     * This method supports two modes:
+     * 1. **Exhaustive matching**: Provide handlers for all cases, no default needed
+     * 2. **Partial matching**: Provide handlers for some cases with a default fallback
      *
-     * @typeParam Handlers - Partial record of case handlers
-     * @typeParam Default - Type of the default handler function
-     * @param handlers - Object mapping case names to handler functions (not all cases required)
-     * @param defaultHandler - Required handler for any unmatched cases
-     * @returns Expression of the union type of all handler return types and default return type
+     * @typeParam Handlers - Record of case handlers (all cases required for exhaustive, partial for default mode)
+     * @typeParam Default - Type of the default handler function (only for partial matching)
+     * @param handlers - Object mapping case names to handler functions
+     * @param defaultHandler - Optional handler for unmatched cases (required if not all cases are handled)
+     * @returns Expression of the union type of all handler return types
      *
      * @see {@link Expr.match} for exhaustive pattern matching requiring all cases
      * @see {@link unwrap} for extracting a single case value
@@ -153,7 +154,23 @@ export declare class VariantExpr<Cases extends Record<string, any>> extends Expr
      * ```ts
      * const OptionType = VariantType({ some: IntegerType, none: NullType });
      *
-     * // Handle only the 'some' case, use default for 'none'
+     * // Exhaustive matching - all cases handled, no default needed
+     * const getValue = East.function([OptionType], IntegerType, ($, opt) => {
+     *   $.return(opt.match({
+     *     some: ($, val) => val,
+     *     none: ($) => 0n
+     *   }));
+     * });
+     * const compiled = East.compile(getValue.toIR(), []);
+     * compiled(Expr.variant("some", 42n));   // 42n
+     * compiled(Expr.variant("none", null));  // 0n
+     * ```
+     *
+     * @example
+     * ```ts
+     * const OptionType = VariantType({ some: IntegerType, none: NullType });
+     *
+     * // Partial matching - only handle some cases, use default for rest
      * const getOrZero = East.function([OptionType], IntegerType, ($, opt) => {
      *   $.return(opt.match({
      *     some: ($, val) => val
@@ -181,10 +198,54 @@ export declare class VariantExpr<Cases extends Record<string, any>> extends Expr
      * compiled(Expr.variant("pending", null));  // 0n
      * ```
      */
+    match<Handlers extends {
+        [K in keyof Cases]: ($: BlockBuilder<NeverType>, data: ExprType<Cases[K]>) => any;
+    }>(handlers: Handlers): ExprType<TypeOf<{
+        [K in keyof Handlers]: ReturnType<Handlers[K]>;
+    }[keyof Handlers]>>;
     match<Handlers extends {
         [K in keyof Cases]?: ($: BlockBuilder<NeverType>, data: ExprType<Cases[K]>) => any;
     }, Default extends ($: BlockBuilder<NeverType>) => any>(handlers: Handlers, defaultHandler: Default): ExprType<TypeUnion<TypeOf<{
         [K in keyof Handlers]: ReturnType<NonNullable<Handlers[K]>>;
     }[keyof Handlers]>, TypeOf<ReturnType<Default>>>>;
+    /**
+     * Checks if this variant equals another variant (same tag and value).
+     *
+     * @param other - The variant to compare against
+     * @returns A BooleanExpr that is true if the variants are equal
+     *
+     * @example
+     * ```ts
+     * const OptionType = VariantType({ some: IntegerType, none: NullType });
+     *
+     * const isEqual = East.function([OptionType, OptionType], BooleanType, ($, a, b) => {
+     *   $.return(a.equals(b));
+     * });
+     * const compiled = East.compile(isEqual.toIR(), []);
+     * compiled(variant("some", 42n), variant("some", 42n));  // true
+     * compiled(variant("some", 42n), variant("some", 0n));   // false
+     * compiled(variant("some", 42n), variant("none", null)); // false
+     * ```
+     */
+    equals(other: SubtypeExprOrValue<VariantType<Cases>>): BooleanExpr;
+    /**
+     * Checks if this variant does not equal another variant.
+     *
+     * @param other - The variant to compare against
+     * @returns A BooleanExpr that is true if the variants are not equal
+     *
+     * @example
+     * ```ts
+     * const OptionType = VariantType({ some: IntegerType, none: NullType });
+     *
+     * const isNotEqual = East.function([OptionType, OptionType], BooleanType, ($, a, b) => {
+     *   $.return(a.notEquals(b));
+     * });
+     * const compiled = East.compile(isNotEqual.toIR(), []);
+     * compiled(variant("some", 42n), variant("some", 0n));   // true
+     * compiled(variant("some", 42n), variant("some", 42n));  // false
+     * ```
+     */
+    notEquals(other: SubtypeExprOrValue<VariantType<Cases>>): BooleanExpr;
 }
 //# sourceMappingURL=variant.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"variant.d.ts","sourceRoot":"","sources":["../../../src/expr/variant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,qBAAa,WAAW,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAE,SAAQ,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,KAAK;gBAAL,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM;IAI3D;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC;IAK9B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC;IAKhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAsCG;IACH,MAAM,CAAC,IAAI,SAAS,MAAM,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChK,MAAM,CAAC,IAAI,SAAS,MAAM,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,MAAM,SAAS,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IASpF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+CG;IACH,KAAK,CACH,QAAQ,SAAS;SAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;KAAE,EACvG,OAAO,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAEnD,QAAQ,EAAE,QAAQ,EAClB,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,SAAS,CACnB,MAAM,CAAC;SAAG,CAAC,IAAI,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,QAAQ,CAAC,CAAC,EACvF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAC5B,CAAC;CAWH"}
+{"version":3,"file":"variant.d.ts","sourceRoot":"","sources":["../../../src/expr/variant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,qBAAa,WAAW,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAE,SAAQ,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,KAAK;gBAAL,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM;IAI3D;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC;IAK9B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC;IAKhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAsCG;IACH,MAAM,CAAC,IAAI,SAAS,MAAM,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChK,MAAM,CAAC,IAAI,SAAS,MAAM,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,MAAM,SAAS,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IASpF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+DG;IAEH,KAAK,CACH,QAAQ,SAAS;SAAG,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;KAAE,EAEtG,QAAQ,EAAE,QAAQ,GACjB,QAAQ,CAAC,MAAM,CAAC;SAAG,CAAC,IAAI,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC;IAEvF,KAAK,CACH,QAAQ,SAAS;SAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;KAAE,EACvG,OAAO,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAEnD,QAAQ,EAAE,QAAQ,EAClB,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,SAAS,CACnB,MAAM,CAAC;SAAG,CAAC,IAAI,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,QAAQ,CAAC,CAAC,EACvF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAC5B,CAAC;IAiBF;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW;IAIlE;;;;;;;;;;;;;;;;;OAiBG;IACH,SAAS,CAAC,KAAK,EAAE,kBAAkB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW;CAGtE"}

package/dist/src/expr/variant.js

@@ -1,5 +1,6 @@
 import { get_location } from "../location.js";
 import { BooleanType, NeverType, StringType, TypeUnion, VariantType } from "../types.js";
+import { equal, notEqual } from "./block.js";
 import { Expr } from "./expr.js";
 /**
  * Expression representing variant (sum type/tagged union) values.
@@ -101,61 +102,57 @@ export class VariantExpr extends Expr {
         const handlers = Object.fromEntries(Object.keys(this.cases).map(caseName => [caseName, caseName === name ? (_$, data) => data : ($, _data) => onOther($)]));
         return Expr.match(this, handlers);
     }
+    // Implementation
+    match(handlers, defaultHandler) {
+        // Build complete handler set by filling unhandled cases with default (if provided)
+        const completeHandlers = Object.fromEntries(Object.keys(this.cases).map(caseName => [
+            caseName,
+            handlers[caseName] ?? (defaultHandler ? (($, _data) => defaultHandler($)) : undefined)
+        ]));
+        return Expr.match(this, completeHandlers);
+    }
     /**
-     * Pattern match on this variant, handling specific cases with a default fallback.
-     *
-     * This method allows partial matching where you only need to handle the cases you care about,
-     * with a required default handler for any unmatched cases. This is more ergonomic than
-     * exhaustive matching when you only need to handle a subset of cases.
+     * Checks if this variant equals another variant (same tag and value).
      *
-     * @typeParam Handlers - Partial record of case handlers
-     * @typeParam Default - Type of the default handler function
-     * @param handlers - Object mapping case names to handler functions (not all cases required)
-     * @param defaultHandler - Required handler for any unmatched cases
-     * @returns Expression of the union type of all handler return types and default return type
-     *
-     * @see {@link Expr.match} for exhaustive pattern matching requiring all cases
-     * @see {@link unwrap} for extracting a single case value
+     * @param other - The variant to compare against
+     * @returns A BooleanExpr that is true if the variants are equal
      *
      * @example
      * ```ts
      * const OptionType = VariantType({ some: IntegerType, none: NullType });
      *
-     * // Handle only the 'some' case, use default for 'none'
-     * const getOrZero = East.function([OptionType], IntegerType, ($, opt) => {
-     *   $.return(opt.match({
-     *     some: ($, val) => val
-     *   }, ($) => 0n));
+     * const isEqual = East.function([OptionType, OptionType], BooleanType, ($, a, b) => {
+     *   $.return(a.equals(b));
      * });
-     * const compiled = East.compile(getOrZero.toIR(), []);
-     * compiled(Expr.variant("some", 42n));   // 42n
-     * compiled(Expr.variant("none", null));  // 0n
+     * const compiled = East.compile(isEqual.toIR(), []);
+     * compiled(variant("some", 42n), variant("some", 42n));  // true
+     * compiled(variant("some", 42n), variant("some", 0n));   // false
+     * compiled(variant("some", 42n), variant("none", null)); // false
      * ```
+     */
+    equals(other) {
+        return equal(this, other);
+    }
+    /**
+     * Checks if this variant does not equal another variant.
+     *
+     * @param other - The variant to compare against
+     * @returns A BooleanExpr that is true if the variants are not equal
      *
      * @example
      * ```ts
-     * const ResultType = VariantType({ ok: IntegerType, error: StringType, pending: NullType });
+     * const OptionType = VariantType({ some: IntegerType, none: NullType });
      *
-     * // Handle multiple cases with a default for the rest
-     * const handleResult = East.function([ResultType], IntegerType, ($, result) => {
-     *   $.return(result.match({
-     *     ok: ($, val) => val,
-     *     error: ($, _msg) => -1n
-     *   }, ($) => 0n));  // pending -> 0
+     * const isNotEqual = East.function([OptionType, OptionType], BooleanType, ($, a, b) => {
+     *   $.return(a.notEquals(b));
      * });
-     * const compiled = East.compile(handleResult.toIR(), []);
-     * compiled(Expr.variant("ok", 100n));       // 100n
-     * compiled(Expr.variant("error", "fail"));  // -1n
-     * compiled(Expr.variant("pending", null));  // 0n
+     * const compiled = East.compile(isNotEqual.toIR(), []);
+     * compiled(variant("some", 42n), variant("some", 0n));   // true
+     * compiled(variant("some", 42n), variant("some", 42n));  // false
      * ```
      */
-    match(handlers, defaultHandler) {
-        // Build complete handler set by filling unhandled cases with default
-        const completeHandlers = Object.fromEntries(Object.keys(this.cases).map(caseName => [
-            caseName,
-            handlers[caseName] ?? (($, _data) => defaultHandler($))
-        ]));
-        return Expr.match(this, completeHandlers);
+    notEquals(other) {
+        return notEqual(this, other);
     }
 }
 //# sourceMappingURL=variant.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"variant.js","sourceRoot":"","sources":["../../../src/expr/variant.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEzF,OAAO,EAAE,IAAI,EAAe,MAAM,WAAW,CAAC;AAG9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,OAAO,WAA+C,SAAQ,IAAwB;IACtE;IAApB,YAAoB,KAAY,EAAE,GAAQ,EAAE,OAAe;QACzD,KAAK,CAAC,GAAG,CAAC,IAA0B,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QADlC,UAAK,GAAL,KAAK,CAAO;IAEhC,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM;QACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAU,CAAC,CAAsC,CAAC;QACvJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,CAAC,IAAiB;QACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAU,CAAC,CAAuC,CAAC;QACjK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IA4CD,MAAM,CAAC,OAAe,MAAM,EAAE,UAA+C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACxJ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAQ,CAAC,CAAC,yDAAyD;QACzJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAA2B,EAAE,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAA0B,EAAE,KAAU,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAAC,CAAmC,CAAC;QACnQ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAQ,CAAC;IAC3C,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+CG;IACH,KAAK,CAIH,QAAkB,EAClB,cAAuB;QAKvB,qEAAqE;QACrE,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,QAAQ;YACP,QAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAA0B,EAAE,KAAU,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;SAC/G,CAAC,CACoE,CAAC;QAEzE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAQ,CAAC;IACnD,CAAC;CACF"}
+{"version":3,"file":"variant.js","sourceRoot":"","sources":["../../../src/expr/variant.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEzF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAe,MAAM,WAAW,CAAC;AAI9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,OAAO,WAA+C,SAAQ,IAAwB;IACtE;IAApB,YAAoB,KAAY,EAAE,GAAQ,EAAE,OAAe;QACzD,KAAK,CAAC,GAAG,CAAC,IAA0B,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QADlC,UAAK,GAAL,KAAK,CAAO;IAEhC,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM;QACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAU,CAAC,CAAsC,CAAC;QACvJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,CAAC,IAAiB;QACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAU,CAAC,CAAuC,CAAC;QACjK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IA4CD,MAAM,CAAC,OAAe,MAAM,EAAE,UAA+C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACxJ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAQ,CAAC,CAAC,yDAAyD;QACzJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAA2B,EAAE,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAA0B,EAAE,KAAU,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAAC,CAAmC,CAAC;QACnQ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAQ,CAAC;IAC3C,CAAC;IAmFD,iBAAiB;IACjB,KAAK,CACH,QAAwE,EACxE,cAAoD;QAEpD,mFAAmF;QACnF,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,QAAQ;YACR,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAA0B,EAAE,KAAU,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;SACrH,CAAC,CACoE,CAAC;QAEzE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAQ,CAAC;IACnD,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,CAAC,KAA6C;QAClD,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,CAAgB,CAAC;IAC3C,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,SAAS,CAAC,KAA6C;QACrD,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAgB,CAAC;IAC9C,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/east",
-  "version": "0.0.1-beta.17",
+  "version": "0.0.1-beta.19",
   "description": "East is a simple and fast language used by Elara AI Pty Ltd.",
   "main": "dist/src/index.js",
   "types": "dist/src/index.d.ts",