@elaraai/east 0.0.1-beta.0

package/dist/src/types.d.ts

@@ -0,0 +1,648 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { type ref } from "./containers/ref.js";
+import { type variant, variant_symbol } from "./containers/variant.js";
+/** Represents the Never type (bottom type) in East's type system. */
+export type NeverType = {
+    type: "Never";
+};
+/** Singleton instance of the Never type. */
+export declare const NeverType: NeverType;
+/** Represents the Null type (unit type) in East's type system. */
+export type NullType = {
+    type: "Null";
+};
+/** Singleton instance of the Null type. */
+export declare const NullType: NullType;
+/** Represents the Boolean type in East's type system. */
+export type BooleanType = {
+    type: "Boolean";
+};
+/** Singleton instance of the Boolean type. */
+export declare const BooleanType: BooleanType;
+/** Represents the Integer type (arbitrary-precision integers) in East's type system. */
+export type IntegerType = {
+    type: "Integer";
+};
+/** Singleton instance of the Integer type. */
+export declare const IntegerType: IntegerType;
+/** Represents the Float type (64-bit floating point) in East's type system. */
+export type FloatType = {
+    type: "Float";
+};
+/** Singleton instance of the Float type. */
+export declare const FloatType: FloatType;
+/** Represents the String type in East's type system. */
+export type StringType = {
+    type: "String";
+};
+/** Singleton instance of the String type. */
+export declare const StringType: StringType;
+/** Represents the DateTime type in East's type system. */
+export type DateTimeType = {
+    type: "DateTime";
+};
+/** Singleton instance of the DateTime type. */
+export declare const DateTimeType: DateTimeType;
+/** Represents the Blob type (immutable binary data) in East's type system. */
+export type BlobType = {
+    type: "Blob";
+};
+/** Singleton instance of the Blob type. */
+export declare const BlobType: BlobType;
+/**
+ * Represents a reference type in East's type system.
+ *
+ * Conceptually, a reference is a box or cell that can hold a value of a specified type.
+ * The reference can be mutated by updating the contents of the reference.
+ * Multiple references can point to the same underlying value.
+ *
+ * @typeParam T - The type of value held by the reference
+ */
+export type RefType<T = any> = {
+    type: "Ref";
+    value: T;
+};
+/**
+ * Constructs a reference (or cell) type with the specified element type.
+ *
+ * Conceptually, a reference is a box or cell that can hold a value of a specified type.
+ * The reference can be mutated by updating the contents of the reference.
+ * Multiple references can point to the same underlying value.
+ *
+ * @typeParam T - The type of value held by the reference
+ * @param type - The element type
+ * @returns A reference type
+ * @throws When the element type contains functions
+ */
+export declare function RefType<T>(type: T): RefType<T>;
+/**
+ * Represents an Array type in East's type system.
+ *
+ * @typeParam T - The type of elements in the array
+ */
+export type ArrayType<T = any> = {
+    type: "Array";
+    value: T;
+};
+/**
+ * Constructs an Array type with the specified element type.
+ *
+ * @typeParam T - The type of elements in the array
+ * @param type - The element type
+ * @returns An Array type
+ * @throws When the element type contains functions
+ */
+export declare function ArrayType<T>(type: T): ArrayType<T>;
+/**
+ * Represents a Set type in East's type system.
+ *
+ * @typeParam T - The type of keys in the set
+ *
+ * @remarks
+ * Sets are mutable and sorted. Keys must be immutable types with a total ordering.
+ */
+export type SetType<T = any> = {
+    type: "Set";
+    key: T;
+};
+/**
+ * Constructs a Set type with the specified key type.
+ *
+ * @typeParam T - The type of keys in the set
+ * @param type - The key type
+ * @returns A Set type
+ * @throws When the key type is not immutable
+ */
+export declare function SetType<T>(type: T): SetType<T>;
+/**
+ * Represents a Dict type in East's type system.
+ *
+ * @typeParam K - The type of keys in the dictionary
+ * @typeParam T - The type of values in the dictionary
+ *
+ * @remarks
+ * Dicts are mutable and sorted by key. Keys must be immutable types with a total ordering.
+ */
+export type DictType<K = any, T = any> = {
+    type: "Dict";
+    key: K;
+    value: T;
+};
+/**
+ * Constructs a Dict type with the specified key and value types.
+ *
+ * @typeParam K - The type of keys in the dictionary
+ * @typeParam T - The type of values in the dictionary
+ * @param key - The key type
+ * @param value - The value type
+ * @returns A Dict type
+ * @throws When the key type is not immutable or value type contains functions
+ */
+export declare function DictType<K, T>(key: K, value: T): DictType<K, T>;
+/**
+ * Represents a Struct type (product type) in East's type system.
+ *
+ * @typeParam Fields - Object type mapping field names to their types
+ *
+ * @remarks
+ * Structs are immutable and field order is significant for structural typing.
+ */
+export type StructType<Fields extends {
+    [K in string]: any;
+} = {
+    [K in string]: any;
+}> = {
+    type: "Struct";
+    fields: Fields;
+};
+/**
+ * Constructs a Struct type with the specified field types.
+ *
+ * @typeParam Fields - Object type mapping field names to their types
+ * @param field_types - Object mapping field names to {@link EastType} instances
+ * @returns A Struct type
+ */
+export declare function StructType<Fields extends {
+    [K in string]: any;
+}>(field_types: Fields): StructType<Fields>;
+/**
+ * Represents a Variant type (sum type) in East's type system.
+ *
+ * @typeParam Cases - Object type mapping case names to their value types
+ *
+ * @remarks
+ * Variants are immutable and cases are automatically sorted alphabetically by name.
+ */
+export type VariantType<Cases extends {
+    [K in string]: any;
+} = {
+    [K in string]: any;
+}> = {
+    type: "Variant";
+    cases: Cases;
+};
+/**
+ * Constructs a Variant type with the specified cases.
+ *
+ * @typeParam Cases - Object type mapping case names to their value types
+ * @param case_types - Object mapping case names to {@link EastType} instances
+ * @returns A Variant type with cases sorted alphabetically
+ */
+export declare function VariantType<Cases extends {
+    [K in string]: any;
+}>(case_types: Cases): VariantType<Cases>;
+export type RecursiveTypeMarker = {
+    type: "Recursive";
+};
+/**
+ * Represents a recursive data type in East's type system.
+ *
+ * @typeParam T - the type of each node in the recursive structure
+ *
+ * @remarks
+ * Recursive data types can be used to represent tree-like structures or circular data structures.
+ * Only simple recursion (SCC size 1) is supported - nested RecursiveTypes with cross-references
+ * will throw an error during construction.
+ */
+export type RecursiveType<Node = any> = {
+    type: "Recursive";
+    node: Node;
+};
+/**
+ * Constructs a recursive type with the specified node structure.
+ *
+ * @typeParam F - Function type that defines the recursive structure
+ * @param f - Function that receives a self-reference marker and returns the node type
+ * @returns A RecursiveType representing the recursive structure
+ * @throws When the type contains functions or has SCC size > 1 (mutual recursion)
+ *
+ * @remarks
+ * The function `f` receives a `RecursiveTypeMarker` representing the recursive
+ * reference point. This marker should be used wherever the type recursively refers to itself.
+ *
+ * Only simple recursion is supported - the type can reference itself multiple times, but
+ * nested RecursiveTypes with cross-references (mutual recursion) are not allowed.
+ *
+ * @example
+ * ```ts
+ * // Linked list
+ * const ListType = RecursiveType(self =>
+ *   VariantType({
+ *     nil: NullType,
+ *     cons: StructType({ head: IntegerType, tail: self })
+ *   })
+ * );
+ *
+ * // Binary tree
+ * const TreeType = RecursiveType(self =>
+ *   StructType({
+ *     value: IntegerType,
+ *     left: OptionType(self),
+ *     right: OptionType(self)
+ *   })
+ * );
+ * ```
+ */
+export declare function RecursiveType<F extends (self: RecursiveTypeMarker) => EastType>(f: F): RecursiveType<ReturnType<F>>;
+/**
+ * Represents a Function type in East's type system.
+ *
+ * @typeParam I - Tuple type of input parameter types
+ * @typeParam O - The output/return type
+ *
+ * @remarks
+ * Functions are first-class values that can be serialized as IR but not as data.
+ * The `platforms` field tracks which platform functions are invoked by this function
+ * (transitively through any called functions), enabling effect tracking and async analysis.
+ */
+export type FunctionType<I extends any[] = any[], O extends any = any> = {
+    type: "Function";
+    inputs: I;
+    output: O;
+    platforms: string[] | null;
+};
+/**
+ * Constructs a Function type with the specified input and output types.
+ *
+ * @typeParam I - Tuple type of input parameter types
+ * @typeParam O - The output/return type
+ * @param inputs - Array of {@link EastType} instances for each parameter
+ * @param output - The {@link EastType} of the return value
+ * @returns A Function type
+ */
+export declare function FunctionType<const I extends any[], O extends any>(inputs: I, output: O, platforms: string[] | null): FunctionType<I, O>;
+/**
+ * Union of all East types.
+ *
+ * @remarks
+ * This includes all primitive types, compound types, and function types.
+ */
+export type EastType = NeverType | NullType | BooleanType | IntegerType | FloatType | DateTimeType | StringType | BlobType | RefType | ArrayType | SetType | DictType | StructType | VariantType | RecursiveType | FunctionType;
+/**
+ * Union of all East data types (excludes {@link FunctionType}).
+ *
+ * @remarks
+ * Data types can be fully serialized to JSON and transmitted between runtimes.
+ * Functions can be serialized as IR but not as pure data.
+ */
+export type DataType = NeverType | NullType | BooleanType | IntegerType | FloatType | DateTimeType | StringType | BlobType | RefType | ArrayType | SetType | DictType | StructType | VariantType | RecursiveType;
+/**
+ * Union of all immutable East types.
+ *
+ * @remarks
+ * Immutable types can be used as dictionary keys and set elements.
+ * Excludes {@link RefType}, {@link ArrayType}, {@link SetType}, {@link DictType}, and {@link FunctionType}.
+ */
+export type ImmutableType = NeverType | NullType | BooleanType | IntegerType | FloatType | StringType | DateTimeType | BlobType | StructType | VariantType | RecursiveType;
+/**
+ * Checks if a type is a pure data type (excludes functions).
+ *
+ * @param type - The {@link EastType} to check
+ * @param recursive_type - Internal parameter for tracking the current recursive type being checked
+ * @returns `true` if the type is a pure data type, `false` if it contains functions
+ *
+ * @remarks
+ * Data types can be fully serialized and transmitted between runtimes.
+ * This recursively checks {@link StructType}, {@link VariantType}, and {@link RecursiveType} fields.
+ */
+export declare function isDataType(type: EastType, recursive_type?: EastType): type is DataType;
+/**
+ * Checks if a type is immutable (can be used as dict keys or set elements).
+ *
+ * @param type - The {@link EastType} to check
+ * @param recursive_type - Internal parameter for tracking the current recursive type being checked
+ * @returns `true` if the type is immutable, `false` if it contains mutable collections or functions
+ *
+ * @remarks
+ * Immutable types exclude {@link ArrayType}, {@link SetType}, {@link DictType}, and {@link FunctionType}.
+ * This recursively checks {@link StructType}, {@link VariantType}, and {@link RecursiveType} fields.
+ */
+export declare function isImmutableType(type: EastType, recursive_type?: EastType): type is ImmutableType;
+/**
+ * Maps an East type to its corresponding TypeScript value type.
+ *
+ * @typeParam T - The {@link EastType} to convert
+ * @typeParam Node - Internal parameter for tracking the current recursive type node
+ * @typeParam Depth - Internal parameter for preventing infinite recursion in TypeScript
+ *
+ * @remarks
+ * This type-level function converts East types to their runtime TypeScript equivalents:
+ * - {@link IntegerType} → `bigint`
+ * - {@link RefType} → {@link ref} objects
+ * - {@link ArrayType} → JavaScript `Array`
+ * - {@link SetType} → JavaScript `Set`
+ * - {@link DictType} → JavaScript `Map`
+ * - {@link VariantType} → {@link variant} objects
+ * - {@link RecursiveType} → recursive JavaScript values (no wrapper)
+ * - {@link FunctionType} → JavaScript functions
+ */
+export type ValueTypeOf<T> = T extends NeverType ? never : T extends NullType ? null : T extends BooleanType ? boolean : T extends IntegerType ? bigint : T extends RefType<infer U> ? ref<ValueTypeOf<U>> : T extends FloatType ? number : T extends StringType ? string : T extends DateTimeType ? Date : T extends BlobType ? Uint8Array : T extends ArrayType<infer U> ? ValueTypeOf<U>[] : T extends SetType<infer U> ? Set<ValueTypeOf<U>> : T extends DictType<infer U, infer V> ? Map<ValueTypeOf<U>, ValueTypeOf<V>> : T extends StructType<infer U> ? keyof U extends never ? {
+    [K in never]: never;
+} : {
+    [K in keyof U]: U[K] extends undefined ? never : ValueTypeOf<Exclude<U[K], undefined>>;
+} : T extends VariantType<infer U> ? Exclude<{
+    [K in keyof U]: U[K] extends undefined ? never : {
+        type: K;
+        value: ValueTypeOf<Exclude<U[K], undefined>>;
+        [variant_symbol]: null;
+    };
+}[keyof U], undefined> : T extends RecursiveType<infer U> ? ValueTypeOf<U> : T extends RecursiveTypeMarker ? any : T extends FunctionType<infer I, infer O> ? (...inputs: {
+    [K in keyof I]: ValueTypeOf<I[K]>;
+}) => ValueTypeOf<O> : any;
+/**
+ * Maps a TypeScript value type to its corresponding East type (type-level).
+ *
+ * @typeParam V - The TypeScript value type to convert
+ *
+ * @remarks
+ * This is the inverse of {@link ValueTypeOf} at the type level.
+ * Infers the East type from a TypeScript value type.
+ */
+export type EastTypeOf<V> = V extends never ? NeverType : V extends null ? NullType : V extends boolean ? BooleanType : V extends bigint ? IntegerType : V extends number ? FloatType : V extends string ? StringType : V extends Date ? DateTimeType : V extends Uint8Array ? BlobType : V extends ref<infer U> ? RefType<EastTypeOf<U>> : V extends Array<infer U> ? ArrayType<EastTypeOf<U>> : V extends Set<infer K> ? SetType<EastTypeOf<K>> : V extends Map<infer K, infer U> ? DictType<EastTypeOf<K>, EastTypeOf<U>> : V extends variant<infer Name, infer U> ? Name extends string ? VariantType<{
+    [K in Name]: EastTypeOf<U>;
+}> : never : StructType<{
+    [K in keyof V]: EastTypeOf<V[K]>;
+}>;
+/**
+ * Infers the East type from a runtime JavaScript value.
+ *
+ * @typeParam V - The TypeScript type of the value
+ * @param value - The JavaScript value to analyze
+ * @returns The corresponding {@link EastType}
+ * @throws When the value is a JavaScript function or cannot be typed
+ *
+ * @remarks
+ * This is the runtime version of the {@link EastTypeOf} type.
+ * For arrays, it infers the element type from the first element.
+ */
+export declare function EastTypeOf<V>(value: V): EastTypeOf<V>;
+/**
+ * Checks if two East types are structurally equal.
+ *
+ * @param t1 - First {@link EastType} to compare
+ * @param t2 - Second {@link EastType} to compare
+ * @param r1 - Internal parameter for tracking the first recursive type being compared
+ * @param r2 - Internal parameter for tracking the second recursive type being compared
+ * @returns `true` if the types are equal, `false` otherwise
+ *
+ * @remarks
+ * Performs structural equality checking, recursively comparing compound types.
+ * For {@link StructType} and {@link VariantType}, field/case order matters.
+ * For {@link RecursiveType}, uses cycle tracking to handle recursive references.
+ */
+export declare function isTypeEqual(t1: EastType, t2: EastType, r1?: EastType, r2?: EastType): boolean;
+/**
+ * Checks if a JavaScript value conforms to an East type.
+ *
+ * @param value - The JavaScript value to check
+ * @param type - The {@link EastType} to validate against
+ * @param node_type - Internal parameter for tracking the current recursive type node
+ * @param nodes_visited - Internal parameter for tracking visited nodes to detect cycles
+ * @returns `true` if the value matches the type, `false` otherwise
+ *
+ * @remarks
+ * Performs runtime type checking, recursively validating compound types.
+ * Accepts both native JavaScript `Set`/`Map` and {@link SortedSet}/{@link SortedMap}.
+ * For {@link RecursiveType}, uses cycle detection to handle recursive values.
+ */
+export declare function isValueOf(value: any, type: EastType, node_type?: EastType, nodes_visited?: Set<any>): boolean;
+/**
+ * Converts an East type to its string representation.
+ *
+ * @param type - The {@link EastType} to print
+ * @param stack - Internal parameter for tracking recursive types
+ * @returns A human-readable string representation of the type
+ *
+ * @remarks
+ * Uses East's value syntax with leading dots (e.g., `.Integer`, `.Array .String`).
+ */
+export declare function printType(type: EastType, stack?: EastType[]): string;
+/**
+ * Expands a {@link RecursiveType} one level deeper, replacing {@link RecursiveTypeMarker} with the node type.
+ *
+ * @typeParam T - The type to expand
+ * @typeParam NodeType - The recursive type to substitute for markers
+ *
+ * @remarks
+ * Used to unfold recursive types for head covariance while maintaining tail invariance.
+ * Internal helper for {@link SubType}.
+ */
+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<{
+    [K in keyof Cases]: ExpandOnce<Cases[K], NodeType>;
+}> : T extends RecursiveTypeMarker ? NodeType : T;
+/**
+ * Computes the subtype relationship for East types (type-level).
+ *
+ * @typeParam T - The {@link EastType} to compute subtypes for
+ *
+ * @remarks
+ * Subtyping rules:
+ * - {@link ArrayType}, {@link SetType}, {@link DictType} are invariant (mutable)
+ * - {@link StructType} is covariant in all fields
+ * - {@link VariantType} is covariant (subtypes can have fewer cases)
+ * - {@link FunctionType} is contravariant in inputs, covariant in output
+ * - {@link RecursiveType} allows head covariance with tail invariance (one level deep)
+ * - {@link NeverType} is a subtype of all types
+ */
+export type SubType<T> = T extends RecursiveType<infer U> ? RecursiveType<U> | ExpandOnce<SubType<U>, T> : T extends StructType<infer Fields> ? StructType<{
+    [K in keyof Fields]: SubType<Fields[K]>;
+}> : T extends VariantType<infer Cases> ? VariantType<{
+    [K in keyof Cases]?: SubType<Cases[K]>;
+}> : T extends FunctionType<infer I, infer O> ? FunctionType<I, SubType<O>> : T;
+/**
+ * Checks if one East type is a subtype of another.
+ *
+ * @param t1 - The potential subtype
+ * @param t2 - The potential supertype
+ * @returns `true` if t1 is a subtype of t2, `false` otherwise
+ *
+ * @remarks
+ * Implements East's subtyping rules:
+ * - {@link NeverType} is a subtype of all types
+ * - Mutable collections ({@link ArrayType}, {@link SetType}, {@link DictType}) are invariant
+ * - {@link VariantType} supports width subtyping (more cases → fewer cases)
+ * - {@link FunctionType} uses contravariant inputs and covariant outputs
+ */
+export declare function isSubtype(t1: EastType, t2: EastType): boolean;
+/**
+ * Computes the union of two East types (type-level).
+ *
+ * @typeParam T1 - First {@link EastType}
+ * @typeParam T2 - Second {@link EastType}
+ *
+ * @remarks
+ * Type union rules:
+ * - {@link NeverType} is the identity: `Union<Never, T> = T`
+ * - {@link StructType} unions require same fields, unions field types
+ * - {@link VariantType} unions combine all cases from both types
+ * - {@link FunctionType} unions intersect inputs (contravariant), union outputs (covariant)
+ * - Mutable collections must have identical element/key/value types
+ */
+export type TypeUnion<T1, T2> = T1 extends NeverType ? T2 : T2 extends NeverType ? T1 : T1 extends StructType<infer Fields1> ? T2 extends StructType<infer Fields2> ? StructType<{
+    [K in keyof Fields1 & keyof Fields2]: TypeUnion<Fields1[K], Fields2[K]>;
+}> : never : T1 extends VariantType<infer Cases1> ? T2 extends VariantType<infer Cases2> ? VariantType<{
+    [K in Exclude<keyof Cases1, keyof Cases2>]: Cases1[K];
+} & {
+    [K in Exclude<keyof Cases2, keyof Cases1>]: Cases2[K];
+} & {
+    [K in keyof Cases1 & keyof Cases2]: TypeUnion<Cases1[K], Cases2[K]>;
+}> : never : T1 extends FunctionType<infer I1, infer O1> ? T2 extends FunctionType<infer I2, infer O2> ? FunctionType<{
+    [K in keyof I1 & keyof I2]: TypeIntersect<I1[K], I2[K]>;
+}, TypeUnion<O1, O2>> : never : T1 extends T2 ? T1 : never;
+/**
+ * Computes the intersection of two East types (type-level).
+ *
+ * @typeParam T1 - First {@link EastType}
+ * @typeParam T2 - Second {@link EastType}
+ *
+ * @remarks
+ * Type intersection rules:
+ * - {@link NeverType} is absorbing: `Intersect<Never, T> = Never`
+ * - {@link StructType} intersections require same fields, intersect field types
+ * - {@link VariantType} intersections keep only common cases
+ * - {@link FunctionType} intersections union inputs (contravariant), intersect outputs (covariant)
+ * - Mutable collections must have identical element/key/value types
+ */
+export type TypeIntersect<T1, T2> = T1 extends NeverType ? NeverType : T2 extends NeverType ? NeverType : T1 extends StructType<infer Fields1> ? T2 extends StructType<infer Fields2> ? StructType<{
+    [K in keyof Fields1 & keyof Fields2]: TypeIntersect<Fields1[K], Fields2[K]>;
+}> : never : T1 extends VariantType<infer Cases1> ? T2 extends VariantType<infer Cases2> ? VariantType<{
+    [K in keyof Cases1 & keyof Cases2]: TypeIntersect<Cases1[K], Cases2[K]>;
+}> : never : T1 extends FunctionType<infer I1, infer O1> ? T2 extends FunctionType<infer I2, infer O2> ? FunctionType<{
+    [K in keyof I1 & keyof I2]: TypeUnion<I1[K], I2[K]>;
+}, TypeIntersect<O1, O2>> : never : T1 extends T2 ? T1 : never;
+/**
+ * Computes the union of two East types at runtime.
+ *
+ * @typeParam T1 - First {@link EastType}
+ * @typeParam T2 - Second {@link EastType}
+ * @param t1 - First type
+ * @param t2 - Second type
+ * @returns The union type
+ * @throws {TypeMismatchError} When the types cannot be unified
+ *
+ * @remarks
+ * This is the runtime version of the {@link TypeUnion} type.
+ * Error messages include the full type path for debugging.
+ */
+export declare function TypeUnion<T1 extends EastType, T2 extends EastType>(t1: T1, t2: T2): TypeUnion<T1, T2>;
+/**
+ * Computes the intersection of two East types at runtime.
+ *
+ * @typeParam T1 - First {@link EastType}
+ * @typeParam T2 - Second {@link EastType}
+ * @param t1 - First type
+ * @param t2 - Second type
+ * @returns The intersection type
+ * @throws {TypeMismatchError} When the types cannot be intersected
+ *
+ * @remarks
+ * This is the runtime version of the {@link TypeIntersect} type.
+ * For {@link VariantType}, returns {@link NeverType} if no common cases exist.
+ */
+export declare function TypeIntersect<T1 extends EastType, T2 extends EastType>(t1: T1, t2: T2): TypeIntersect<T1, T2>;
+/**
+ * Asserts that two East types are equal, returning the first type.
+ *
+ * @typeParam T1 - First {@link EastType}
+ * @typeParam T2 - Second {@link EastType}
+ * @param t1 - First type
+ * @param t2 - Second type
+ * @param r1 - Internal parameter for tracking the first recursive type being compared
+ * @param r2 - Internal parameter for tracking the second recursive type being compared
+ * @returns The first type if types are equal
+ * @throws {TypeMismatchError} When the types are not equal
+ *
+ * @remarks
+ * This function recursively validates type equality and throws detailed errors
+ * on mismatch. Used to enforce type constraints in compound type constructors.
+ * Unlike {@link isTypeEqual}, this throws rather than returning a boolean.
+ */
+export declare function TypeEqual<T1 extends EastType, T2 extends EastType>(t1: T1, t2: T2, r1?: any, r2?: any): T1;
+/**
+ * Create a type wide enough to hold values from two East types at runtime.
+ *
+ * @param t1 - First type
+ * @param t2 - Second type
+ * @returns The union type
+ * @throws {TypeMismatchError} When the types cannot be unified
+ *
+ * @remarks
+ * This is a more forgiving version of the {@link TypeUnion} type, designed for inferring types from values.
+ * Functions and recursive types are not supported.
+ * Error messages include the full type path for debugging.
+ */
+export declare function TypeWiden(t1: EastType, t2: EastType): EastType;
+/**
+ * Formats an identifier for display in type strings.
+ *
+ * @param x - The identifier to format
+ * @returns The identifier, escaped with backticks if it contains special characters
+ *
+ * @remarks
+ * Used by {@link printType} to format field and case names.
+ * Identifiers matching `/^[a-zA-Z_][a-zA-Z0-9_]*$/` are returned as-is,
+ * others are wrapped in backticks with escaping.
+ */
+export declare function printIdentifier(x: string): string;
+/**
+ * Represents the None case of the {@link OptionType} pattern.
+ *
+ * @remarks
+ * Equivalent to `VariantType({ none: NullType })`.
+ * Use with {@link SomeType} and {@link OptionType} for optional values.
+ */
+export type NoneType = VariantType<{
+    none: NullType;
+}>;
+/** Singleton instance of {@link NoneType}. */
+export declare const NoneType: NoneType;
+/**
+ * Represents the Some case of the {@link OptionType} pattern.
+ *
+ * @typeParam T - The type of the wrapped value
+ */
+export type SomeType<T> = VariantType<{
+    some: T;
+}>;
+/**
+ * Constructs a Some type wrapping a value type.
+ *
+ * @typeParam T - The type of the wrapped value
+ * @param type - The {@link EastType} to wrap
+ * @returns A SomeType variant
+ */
+export declare function SomeType<T>(type: T): SomeType<T>;
+/**
+ * Represents an optional value that may be present or absent.
+ *
+ * @typeParam T - The type of the value when present
+ *
+ * @remarks
+ * This is East's type-level representation of the {@link option} runtime pattern.
+ * Equivalent to `VariantType({ none: NullType, some: T })`.
+ */
+export type OptionType<T> = VariantType<{
+    none: NullType;
+    some: T;
+}>;
+/**
+ * Constructs an Option type for optional values.
+ *
+ * @typeParam T - The type of the value when present
+ * @param type - The {@link EastType} of the wrapped value
+ * @returns An OptionType variant with none and some cases
+ *
+ * @example
+ * ```ts
+ * const maybeInt = OptionType(IntegerType);
+ * // Type: VariantType<{ none: NullType, some: IntegerType }>
+ * ```
+ */
+export declare function OptionType<T>(type: T): OptionType<T>;
+export {};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAS,KAAK,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAGtD,OAAO,EAAE,KAAK,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAgBvE,qEAAqE;AACrE,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAC1C,4CAA4C;AAC5C,eAAO,MAAM,SAAS,EAAE,SAA6B,CAAC;AAEtD,kEAAkE;AAClE,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACxC,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,EAAE,QAA2B,CAAC;AAEnD,yDAAyD;AACzD,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAC9C,8CAA8C;AAC9C,eAAO,MAAM,WAAW,EAAE,WAAiC,CAAC;AAE5D,wFAAwF;AACxF,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAC9C,8CAA8C;AAC9C,eAAO,MAAM,WAAW,EAAE,WAAiC,CAAC;AAE5D,+EAA+E;AAC/E,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAC1C,4CAA4C;AAC5C,eAAO,MAAM,SAAS,EAAE,SAA6B,CAAC;AAEtD,wDAAwD;AACxD,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAC5C,6CAA6C;AAC7C,eAAO,MAAM,UAAU,EAAE,UAA+B,CAAC;AAEzD,0DAA0D;AAC1D,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAChD,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,YAAmC,CAAC;AAE/D,8EAA8E;AAC9E,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACxC,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,EAAE,QAA2B,CAAC;AAEnD;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AACzD;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAK9C;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAC7D;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAKlD;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,CAAC,CAAA;CAAE,CAAC;AACvD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAK9C;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAC5E;;;;;;;;;GASG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAQ/D;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,IAAI;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAC5H;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,MAAM,SAAS;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,EAAE,WAAW,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAQzG;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,IAAI;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAC3H;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,SAAS;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG;CAAE,EAAE,UAAU,EAAE,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAUvG;AAwED,MAAM,MAAM,mBAAmB,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAExD;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAC1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,mBAAmB,KAAK,QAAQ,EAAE,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAanH;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;CAAE,CAAC;AAChJ;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAIvI;AAGD;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAChB,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,GACX,SAAS,GACT,YAAY,GACZ,UAAU,GACV,QAAQ,GACR,OAAO,GACP,SAAS,GACT,OAAO,GACP,QAAQ,GACR,UAAU,GACV,WAAW,GACX,aAAa,GACb,YAAY,CAAC;AAEjB;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAChB,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,GACX,SAAS,GACT,YAAY,GACZ,UAAU,GACV,QAAQ,GACR,OAAO,GACP,SAAS,GACT,OAAO,GACP,QAAQ,GACR,UAAU,GACV,WAAW,GACX,aAAa,CAAC;AAElB;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GACrB,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,GACX,SAAS,GACT,UAAU,GACV,YAAY,GACZ,QAAQ,GACR,UAAU,GACV,WAAW,GACX,aAAa,CAAC;AAElB;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,QAAQ,GAAG,IAAI,IAAI,QAAQ,CAwCtF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,QAAQ,GAAG,IAAI,IAAI,aAAa,CAyChG;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,CAAC,SAAS,SAAS,GAAG,KAAK,GAC3B,CAAC,SAAS,QAAQ,GAAG,IAAI,GACzB,CAAC,SAAS,WAAW,GAAG,OAAO,GAC/B,CAAC,SAAS,WAAW,GAAG,MAAM,GAC9B,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAChD,CAAC,SAAS,SAAS,GAAG,MAAM,GAC5B,CAAC,SAAS,UAAU,GAAG,MAAM,GAC7B,CAAC,SAAS,YAAY,GAAG,IAAI,GAC7B,CAAC,SAAS,QAAQ,GAAG,UAAU,GAC/B,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAC/C,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAChD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAC1E,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,KAAK,GAAG;KAAG,CAAC,IAAI,KAAK,GAAG,KAAK;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,GAC5K,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,KAAK,GAAG;QAAE,IAAI,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAAC,CAAC,cAAc,CAAC,EAAE,IAAI,CAAA;KAAE;CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,GACpM,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GACjD,CAAC,SAAS,mBAAmB,GAAG,GAAG,GACnC,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,WAAW,CAAC,CAAC,CAAC,GAC/G,GAAG,CAAC;AAIN;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,CAAC,SAAS,KAAK,GAAG,SAAS,GAC3B,CAAC,SAAS,IAAI,GAAG,QAAQ,GACzB,CAAC,SAAS,OAAO,GAAG,WAAW,GAC/B,CAAC,SAAS,MAAM,GAAG,WAAW,GAC9B,CAAC,SAAS,MAAM,GAAG,SAAS,GAC5B,CAAC,SAAS,MAAM,GAAG,UAAU,GAC7B,CAAC,SAAS,IAAI,GAAG,YAAY,GAC7B,CAAC,SAAS,UAAU,GAAG,QAAQ,GAC/B,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC/C,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GACnD,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC/C,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GACxE,CAAC,SAAS,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,SAAS,MAAM,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG,KAAK,GAClH,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAC;AAEnD;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAuCrD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAE,QAAa,EAAE,EAAE,GAAE,QAAa,GAAG,OAAO,CAiIrG;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAsF7G;AAED;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,GAAE,QAAQ,EAAO,GAAG,MAAM,CAyExE;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,CAAC,CAAC,EAAE,QAAQ,IACzB,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC7D,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GACjE,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC7D,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GACjG,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;CAAE,CAAC,GACzG,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;CAAE,CAAC,GACxG,CAAC,SAAS,mBAAmB,GAAG,QAAQ,GACxC,CAAC,CAAC;AAEJ;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IACnB,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/E,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAC5F,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAC5F,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GACtE,CAAC,CAAC;AAEJ;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,CA2F7D;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CAAC,EAAE,EAAE,EAAE,IAC1B,EAAE,SAAS,SAAS,GAAG,EAAE,GACzB,EAAE,SAAS,SAAS,GAAG,EAAE,GAEzB,EAAE,SAAS,UAAU,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,SAAS,UAAU,CAAC,MAAM,OAAO,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG,KAAK,GAC7K,EAAE,SAAS,WAAW,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,SAAS,WAAW,CAAC,MAAM,MAAM,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG,KAAK,GAClS,EAAE,SAAS,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,SAAS,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,YAAY,CAAC;KAAG,CAAC,IAAI,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;CAAE,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,GAChM,EAAE,SAAS,EAAE,GAAG,EAAE,GAClB,KAAK,CAAC;AAER;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,CAAC,EAAE,EAAE,EAAE,IAC9B,EAAE,SAAS,SAAS,GAAG,SAAS,GAChC,EAAE,SAAS,SAAS,GAAG,SAAS,GAEhC,EAAE,SAAS,UAAU,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,SAAS,UAAU,CAAC,MAAM,OAAO,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG,KAAK,GACjL,EAAE,SAAS,WAAW,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,SAAS,WAAW,CAAC,MAAM,MAAM,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAAG,KAAK,GAC9K,EAAE,SAAS,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,SAAS,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,YAAY,CAAC;KAAG,CAAC,IAAI,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;CAAE,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,GAChM,EAAE,SAAS,EAAE,GAAG,EAAE,GAClB,KAAK,CAAC;AAER;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,EAAE,SAAS,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAqHrG;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,EAAE,SAAS,QAAQ,EAAE,EAAE,SAAS,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,CAiH7G;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,EAAE,SAAS,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAE,GAAQ,EAAE,EAAE,GAAE,GAAQ,GAAG,EAAE,CAqHlH;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,CAuF9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,UAMxC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAC;AACvD,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,QAA0C,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AACnD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAEhD;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,WAAW,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AACrE;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAEpD"}